[llvm-commits] CVS: llvm/test/Regression/Transforms/InstCombine/and.ll or.ll

Chris Lattner lattner at cs.uiuc.edu
Wed Jul 23 13:29:01 PDT 2003


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

and.ll updated: 1.11 -> 1.12
or.ll updated: 1.17 -> 1.18

---
Log message:

New testcases


---
Diffs of the changes:

Index: llvm/test/Regression/Transforms/InstCombine/and.ll
diff -u llvm/test/Regression/Transforms/InstCombine/and.ll:1.11 llvm/test/Regression/Transforms/InstCombine/and.ll:1.12
--- llvm/test/Regression/Transforms/InstCombine/and.ll:1.11	Wed Jul 23 12:56:34 2003
+++ llvm/test/Regression/Transforms/InstCombine/and.ll	Wed Jul 23 13:28:42 2003
@@ -62,6 +62,6 @@
 uint %test10(uint %A) {
 	%B = and uint %A, 12
 	%C = xor uint %B, 15
-	%D = and uint %C, 1
+	%D = and uint %C, 1   ; (X ^ C1) & C2 --> (X & C2) ^ (C1&C2)
 	ret uint %D
 }


Index: llvm/test/Regression/Transforms/InstCombine/or.ll
diff -u llvm/test/Regression/Transforms/InstCombine/or.ll:1.17 llvm/test/Regression/Transforms/InstCombine/or.ll:1.18
--- llvm/test/Regression/Transforms/InstCombine/or.ll:1.17	Wed Jul 23 12:56:34 2003
+++ llvm/test/Regression/Transforms/InstCombine/or.ll	Wed Jul 23 13:28:42 2003
@@ -129,3 +129,17 @@
 	ret bool %G
 }
 
+ubyte %test21(ubyte %A) {
+	%B = or ubyte %A, 1
+	%C = and ubyte %B, 254
+	%D = or ubyte %C, 254  ; (X & C1) | C2 --> (X | C2) & (C1|C2)
+	ret ubyte %D
+}
+
+ubyte %test22(ubyte %A) {
+	%B = or ubyte %A, 254
+	%C = xor ubyte %B, 13
+	%D = or ubyte %C, 1    ; (X ^ C1) | C2 --> (X | C2) ^ (C1&~C2)
+	%E = xor ubyte %D, 12
+	ret ubyte %E
+}





More information about the llvm-commits mailing list