From 464dc8180318b18f71ed47acef091cd0839e36f7 Mon Sep 17 00:00:00 2001 From: Chris Lattner Date: Tue, 5 Jan 2010 21:16:30 +0000 Subject: [PATCH] just remove this xform which is subsumed by others. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@92775 91177308-0d34-0410-b5e6-96231b3b80d8 --- .../InstCombine/InstCombineCasts.cpp | 27 +------------------ test/Transforms/InstCombine/sub.ll | 4 +-- 2 files changed, 3 insertions(+), 28 deletions(-) diff --git a/lib/Transforms/InstCombine/InstCombineCasts.cpp b/lib/Transforms/InstCombine/InstCombineCasts.cpp index 8a66660e92d..4d44cc97704 100644 --- a/lib/Transforms/InstCombine/InstCombineCasts.cpp +++ b/lib/Transforms/InstCombine/InstCombineCasts.cpp @@ -680,32 +680,7 @@ Instruction *InstCombiner::visitTrunc(TruncInst &CI) { Value *V2 = ConstantExpr::getTrunc(ShAmtV, DestTy); return BinaryOperator::CreateShl(V1, V2); } - - // If we are discarding information from a simple binop, rewrite. - if (Src->hasOneUse() && isa(Src)) { - Instruction *SrcI = cast(Src); - switch (SrcI->getOpcode()) { - default: break; - case Instruction::Add: - // TODO: SUB? - case Instruction::Mul: - case Instruction::And: - case Instruction::Or: - case Instruction::Xor: - Value *Op0 = SrcI->getOperand(0); - Value *Op1 = SrcI->getOperand(1); - - // Don't insert two casts unless at least one can be eliminated. - if (!ValueRequiresCast(Instruction::Trunc, Op1, DestTy) || - !ValueRequiresCast(Instruction::Trunc, Op0, DestTy)) { - Op0 = Builder->CreateTrunc(Op0, DestTy, Op0->getName()); - Op1 = Builder->CreateTrunc(Op1, DestTy, Op1->getName()); - return BinaryOperator::Create(cast(SrcI)->getOpcode(), - Op0, Op1); - } - } - } - + return 0; } diff --git a/test/Transforms/InstCombine/sub.ll b/test/Transforms/InstCombine/sub.ll index f8f7c447fa8..fa0322a44e8 100644 --- a/test/Transforms/InstCombine/sub.ll +++ b/test/Transforms/InstCombine/sub.ll @@ -223,8 +223,8 @@ define i32 @test23(i8* %P, i64 %A){ %G = sub i32 %D, %F ret i32 %G ; CHECK: @test23 -; CHECK: %A1 = trunc i64 %A to i32 -; CHECK: ret i32 %A1 +; CHECK-NEXT: = trunc i64 %A to i32 +; CHECK-NEXT: ret i32 } define i64 @test24(i8* %P, i64 %A){ -- 2.34.1