diff options
5 files changed, 50 insertions, 44 deletions
diff --git a/llvm/test/Transforms/InstCombine/2002-03-11-InstCombineHang.ll b/llvm/test/Transforms/InstCombine/2002-03-11-InstCombineHang.ll deleted file mode 100644 index 5d027a74492..00000000000 --- a/llvm/test/Transforms/InstCombine/2002-03-11-InstCombineHang.ll +++ /dev/null @@ -1,9 +0,0 @@ -; This testcase causes instcombine to hang. -; -; RUN: opt < %s -instcombine - -define void @test(i32 %X) { - %reg117 = add i32 %X, 0 ; <i32> [#uses=0] - ret void -} - diff --git a/llvm/test/Transforms/InstCombine/2002-05-14-SubFailure.ll b/llvm/test/Transforms/InstCombine/2002-05-14-SubFailure.ll deleted file mode 100644 index 854ec604d01..00000000000 --- a/llvm/test/Transforms/InstCombine/2002-05-14-SubFailure.ll +++ /dev/null @@ -1,11 +0,0 @@ -; Instcombine was missing a test that caused it to make illegal transformations -; sometimes. In this case, it transforms the sub into an add: -; RUN: opt < %s -instcombine -S | FileCheck %s -; CHECK: sub - -define i32 @test(i32 %i, i32 %j) { - %A = mul i32 %i, %j - %B = sub i32 2, %A - ret i32 %B -} - diff --git a/llvm/test/Transforms/InstCombine/2002-08-02-CastTest.ll b/llvm/test/Transforms/InstCombine/2002-08-02-CastTest.ll deleted file mode 100644 index 363cb21e395..00000000000 --- a/llvm/test/Transforms/InstCombine/2002-08-02-CastTest.ll +++ /dev/null @@ -1,11 +0,0 @@ -; This testcase is incorrectly getting completely eliminated. There should be -; SOME instruction named %c here, even if it's a bitwise and. -; -; RUN: opt < %s -instcombine -S | grep %c -; -define i64 @test3(i64 %A) { - %c1 = trunc i64 %A to i8 ; <i8> [#uses=1] - %c2 = zext i8 %c1 to i64 ; <i64> [#uses=1] - ret i64 %c2 -} - diff --git a/llvm/test/Transforms/InstCombine/2002-12-05-MissedConstProp.ll b/llvm/test/Transforms/InstCombine/2002-12-05-MissedConstProp.ll deleted file mode 100644 index 49e55c620a4..00000000000 --- a/llvm/test/Transforms/InstCombine/2002-12-05-MissedConstProp.ll +++ /dev/null @@ -1,13 +0,0 @@ -; RUN: opt < %s -instcombine -S | FileCheck %s - -; CHECK-NOT: add - -define i32 @test(i32 %A) { - %A.neg = sub i32 0, %A ; <i32> [#uses=1] - %.neg = sub i32 0, 1 ; <i32> [#uses=1] - %X = add i32 %.neg, 1 ; <i32> [#uses=1] - %Y.neg.ra = add i32 %A, %X ; <i32> [#uses=1] - %r = add i32 %A.neg, %Y.neg.ra ; <i32> [#uses=1] - ret i32 %r -} - diff --git a/llvm/test/Transforms/InstCombine/misc-2002.ll b/llvm/test/Transforms/InstCombine/misc-2002.ll new file mode 100644 index 00000000000..9985bbe3c80 --- /dev/null +++ b/llvm/test/Transforms/InstCombine/misc-2002.ll @@ -0,0 +1,50 @@ +; NOTE: Assertions have been autogenerated by update_test_checks.py +; RUN: opt < %s -instcombine -S | FileCheck %s + +define void @hang_2002-03-11(i32 %X) { +; CHECK-LABEL: @hang_2002-03-11( +; CHECK: ret void +; + %reg117 = add i32 %X, 0 + ret void +} + +; Instcombine was missing a test that caused it to make illegal transformations +; sometimes. In this case, it transformed the sub into an add: + +define i32 @sub_failure_2002-05-14(i32 %i, i32 %j) { +; CHECK-LABEL: @sub_failure_2002-05-14( +; CHECK: [[A:%.*]] = mul i32 %i, %j +; CHECK-NEXT: [[B:%.*]] = sub i32 2, [[A]] +; CHECK-NEXT: ret i32 [[B]] +; + %A = mul i32 %i, %j + %B = sub i32 2, %A + ret i32 %B +} + +; This testcase was incorrectly getting completely eliminated. There should be +; SOME instruction named %c here, even if it's a bitwise and. + +define i64 @cast_test_2002-08-02(i64 %A) { +; CHECK-LABEL: @cast_test_2002-08-02( +; CHECK: [[C2:%.*]] = and i64 %A, 255 +; CHECK-NEXT: ret i64 [[C2]] +; + %c1 = trunc i64 %A to i8 + %c2 = zext i8 %c1 to i64 + ret i64 %c2 +} + +define i32 @missed_const_prop_2002-12-05(i32 %A) { +; CHECK-LABEL: @missed_const_prop_2002-12-05( +; CHECK: ret i32 0 +; + %A.neg = sub i32 0, %A + %.neg = sub i32 0, 1 + %X = add i32 %.neg, 1 + %Y.neg.ra = add i32 %A, %X + %r = add i32 %A.neg, %Y.neg.ra + ret i32 %r +} + |
