Check for extractelement with a variable operand for the element number.

[oota-llvm.git] / test / Transforms / Reassociate / inverses.ll

diff --git a/test/Transforms/Reassociate/inverses.ll b/test/Transforms/Reassociate/inverses.ll
index 0ce704698a2fbe7e778fdba0a1b337d41139ad6a..34abdc7aae0df4e3139ce1b423fbac6ffe80d04a 100644 (file)
--- a/test/Transforms/Reassociate/inverses.ll
+++ b/test/Transforms/Reassociate/inverses.ll
@@ -1,24 +1,34 @@
-; RUN: llvm-as < %s | opt -reassociate -dce | llvm-dis | not grep '\(and\|sub\)'
+; RUN: opt < %s -reassociate -die -S | FileCheck %s
 
-int %test1(int %a, int %b) {
-        %tmp.2 = and int %b, %a
-        %tmp.4 = xor int %a, -1
-        %tmp.5 = and int %tmp.2, %tmp.4 ; (A&B)&~A == 0
-        ret int %tmp.5
+define i32 @test1(i32 %a, i32 %b) {
+       %tmp.2 = and i32 %b, %a
+       %tmp.4 = xor i32 %a, -1
+        ; (A&B)&~A == 0
+       %tmp.5 = and i32 %tmp.2, %tmp.4
+       ret i32 %tmp.5
+; CHECK: @test1
+; CHECK: ret i32 0
 }
 
-int %test2(int %a, int %b) {
-       %tmp.1 = and int %a, 1234
-        %tmp.2 = and int %b, %tmp.1
-        %tmp.4 = xor int %a, -1
-        %tmp.5 = and int %tmp.2, %tmp.4 ; A&~A == 0
-        ret int %tmp.5
+define i32 @test2(i32 %a, i32 %b) {
+       %tmp.1 = and i32 %a, 1234
+       %tmp.2 = and i32 %b, %tmp.1
+       %tmp.4 = xor i32 %a, -1
+       ; A&~A == 0
+        %tmp.5 = and i32 %tmp.2, %tmp.4
+       ret i32 %tmp.5
+; CHECK: @test2
+; CHECK: ret i32 0
 }
 
-int %test3(int %b, int %a) {
-       %tmp.1 = add int %a, 1234
-        %tmp.2 = add int %b, %tmp.1
-        %tmp.4 = sub int 0, %a
-        %tmp.5 = add int %tmp.2, %tmp.4   ; (b+(a+1234))+-a -> b+1234
-        ret int %tmp.5
+define i32 @test3(i32 %b, i32 %a) {
+       %tmp.1 = add i32 %a, 1234
+       %tmp.2 = add i32 %b, %tmp.1
+       %tmp.4 = sub i32 0, %a
+        ; (b+(a+1234))+-a -> b+1234
+       %tmp.5 = add i32 %tmp.2, %tmp.4
+       ret i32 %tmp.5
+; CHECK: @test3
+; CHECK: %tmp.5 = add i32 %b, 1234
+; CHECK: ret i32 %tmp.5
 }