[llvm] r264424 - [InstCombine] consolidate regression tests of the ancients (2002)

[Sanjay Patel via llvm-commits]

Author: spatel
Date: Fri Mar 25 12:16:32 2016
New Revision: 264424

URL: http://llvm.org/viewvc/llvm-project?rev=264424&view=rev
Log:
[InstCombine] consolidate regression tests of the ancients (2002)

Testing out the check-generator-script that's now in the utils folder.

Added:
    llvm/trunk/test/Transforms/InstCombine/misc-2002.ll
Removed:
    llvm/trunk/test/Transforms/InstCombine/2002-03-11-InstCombineHang.ll
    llvm/trunk/test/Transforms/InstCombine/2002-05-14-SubFailure.ll
    llvm/trunk/test/Transforms/InstCombine/2002-08-02-CastTest.ll
    llvm/trunk/test/Transforms/InstCombine/2002-12-05-MissedConstProp.ll

Removed: llvm/trunk/test/Transforms/InstCombine/2002-03-11-InstCombineHang.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/InstCombine/2002-03-11-InstCombineHang.ll?rev=264423&view=auto
==============================================================================
--- llvm/trunk/test/Transforms/InstCombine/2002-03-11-InstCombineHang.ll (original)
+++ llvm/trunk/test/Transforms/InstCombine/2002-03-11-InstCombineHang.ll (removed)
@@ -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
-}
-

Removed: llvm/trunk/test/Transforms/InstCombine/2002-05-14-SubFailure.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/InstCombine/2002-05-14-SubFailure.ll?rev=264423&view=auto
==============================================================================
--- llvm/trunk/test/Transforms/InstCombine/2002-05-14-SubFailure.ll (original)
+++ llvm/trunk/test/Transforms/InstCombine/2002-05-14-SubFailure.ll (removed)
@@ -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
-}
-

Removed: llvm/trunk/test/Transforms/InstCombine/2002-08-02-CastTest.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/InstCombine/2002-08-02-CastTest.ll?rev=264423&view=auto
==============================================================================
--- llvm/trunk/test/Transforms/InstCombine/2002-08-02-CastTest.ll (original)
+++ llvm/trunk/test/Transforms/InstCombine/2002-08-02-CastTest.ll (removed)
@@ -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
-}
-

Removed: llvm/trunk/test/Transforms/InstCombine/2002-12-05-MissedConstProp.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/InstCombine/2002-12-05-MissedConstProp.ll?rev=264423&view=auto
==============================================================================
--- llvm/trunk/test/Transforms/InstCombine/2002-12-05-MissedConstProp.ll (original)
+++ llvm/trunk/test/Transforms/InstCombine/2002-12-05-MissedConstProp.ll (removed)
@@ -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
-}
-

Added: llvm/trunk/test/Transforms/InstCombine/misc-2002.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/InstCombine/misc-2002.ll?rev=264424&view=auto
==============================================================================
--- llvm/trunk/test/Transforms/InstCombine/misc-2002.ll (added)
+++ llvm/trunk/test/Transforms/InstCombine/misc-2002.ll Fri Mar 25 12:16:32 2016
@@ -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
+}
+