[llvm-commits] CVS: llvm/test/Regression/Transforms/Reassociate/inverses.ll

[Chris Lattner]

Changes in directory llvm/test/Regression/Transforms/Reassociate:

inverses.ll added (r1.1)
---
Log message:

new testcase


---
Diffs of the changes:  (+24 -0)

 inverses.ll |   24 ++++++++++++++++++++++++
 1 files changed, 24 insertions(+)


Index: llvm/test/Regression/Transforms/Reassociate/inverses.ll
diff -c /dev/null llvm/test/Regression/Transforms/Reassociate/inverses.ll:1.1
*** /dev/null	Sun May  8 13:54:50 2005
--- llvm/test/Regression/Transforms/Reassociate/inverses.ll	Sun May  8 13:54:40 2005
***************
*** 0 ****
--- 1,24 ----
+ ; RUN: llvm-as < %s | opt -reassociate -dce | llvm-dis | not grep '\(and\|sub\)'
+ 
+ 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
+ }
+ 
+ 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
+ }
+ 
+ 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
+ }