[llvm-commits] [llvm] r93775 - /llvm/trunk/test/Transforms/Reassociate/inverses.ll

[Chris Lattner]

Author: lattner
Date: Mon Jan 18 15:58:32 2010
New Revision: 93775

URL: http://llvm.org/viewvc/llvm-project?rev=93775&view=rev
Log:
filecheckize

Modified:
    llvm/trunk/test/Transforms/Reassociate/inverses.ll

Modified: llvm/trunk/test/Transforms/Reassociate/inverses.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/Reassociate/inverses.ll?rev=93775&r1=93774&r2=93775&view=diff

==============================================================================
--- llvm/trunk/test/Transforms/Reassociate/inverses.ll (original)
+++ llvm/trunk/test/Transforms/Reassociate/inverses.ll Mon Jan 18 15:58:32 2010
@@ -1,28 +1,34 @@
-; RUN: opt < %s -reassociate -dce -S | \
-; RUN:   not grep {\\(and\\|sub\\)}
+; RUN: opt < %s -reassociate -die -S | FileCheck %s
 
 define i32 @test1(i32 %a, i32 %b) {
-	%tmp.2 = and i32 %b, %a		; <i32> [#uses=1]
-	%tmp.4 = xor i32 %a, -1		; <i32> [#uses=1]
+	%tmp.2 = and i32 %b, %a
+	%tmp.4 = xor i32 %a, -1
         ; (A&B)&~A == 0
-	%tmp.5 = and i32 %tmp.2, %tmp.4		; <i32> [#uses=1]
+	%tmp.5 = and i32 %tmp.2, %tmp.4
 	ret i32 %tmp.5
+; CHECK: @test1
+; CHECK: ret i32 0
 }
 
 define i32 @test2(i32 %a, i32 %b) {
-	%tmp.1 = and i32 %a, 1234		; <i32> [#uses=1]
-	%tmp.2 = and i32 %b, %tmp.1		; <i32> [#uses=1]
-	%tmp.4 = xor i32 %a, -1		; <i32> [#uses=1]
+	%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		; <i32> [#uses=1]
+        %tmp.5 = and i32 %tmp.2, %tmp.4
 	ret i32 %tmp.5
+; CHECK: @test2
+; CHECK: ret i32 0
 }
 
 define i32 @test3(i32 %b, i32 %a) {
-	%tmp.1 = add i32 %a, 1234		; <i32> [#uses=1]
-	%tmp.2 = add i32 %b, %tmp.1		; <i32> [#uses=1]
-	%tmp.4 = sub i32 0, %a		; <i32> [#uses=1]
+	%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		; <i32> [#uses=1]
+  	%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
 }