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

[Chris Lattner]

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

add.ll updated: 1.10 -> 1.11
and.ll updated: 1.13 -> 1.14
or.ll updated: 1.24 -> 1.25

---
Log message:

More testcases, which I'll implement later


---
Diffs of the changes:

Index: llvm/test/Regression/Transforms/InstCombine/add.ll
diff -u llvm/test/Regression/Transforms/InstCombine/add.ll:1.10 llvm/test/Regression/Transforms/InstCombine/add.ll:1.11
--- llvm/test/Regression/Transforms/InstCombine/add.ll:1.10	Sat Jun 28 18:31:56 2003
+++ llvm/test/Regression/Transforms/InstCombine/add.ll	Thu Jul 24 14:44:51 2003
@@ -55,3 +55,8 @@
 	ret int %C
 }
 
+int %test9(int %A) {
+	%B = shl int %A, ubyte 4
+	%C = add int %B, %B      ; === shl int %A, 5
+	ret int %C
+}


Index: llvm/test/Regression/Transforms/InstCombine/and.ll
diff -u llvm/test/Regression/Transforms/InstCombine/and.ll:1.13 llvm/test/Regression/Transforms/InstCombine/and.ll:1.14
--- llvm/test/Regression/Transforms/InstCombine/and.ll:1.13	Wed Jul 23 14:35:51 2003
+++ llvm/test/Regression/Transforms/InstCombine/and.ll	Thu Jul 24 14:44:51 2003
@@ -74,4 +74,17 @@
 	ret uint %D
 }
 
+bool %test12(uint %A, uint %B) {
+	%C1 = setlt uint %A, %B
+	%C2 = setle uint %A, %B
+	%D = and bool %C1, %C2      ; (A < B) & (A <= B) === (A < B)
+	ret bool %D
+}
+
+bool %test13(uint %A, uint %B) {
+	%C1 = setlt uint %A, %B
+	%C2 = setgt uint %A, %B
+	%D = and bool %C1, %C2      ; (A < B) & (A > B) === false
+	ret bool %D
+}
 


Index: llvm/test/Regression/Transforms/InstCombine/or.ll
diff -u llvm/test/Regression/Transforms/InstCombine/or.ll:1.24 llvm/test/Regression/Transforms/InstCombine/or.ll:1.25
--- llvm/test/Regression/Transforms/InstCombine/or.ll:1.24	Thu Jul 24 14:31:08 2003
+++ llvm/test/Regression/Transforms/InstCombine/or.ll	Thu Jul 24 14:44:51 2003
@@ -93,3 +93,10 @@
 	ret bool %D
 }
 
+bool %test15(uint %A, uint %B) {
+        %C1 = setlt uint %A, %B
+        %C2 = seteq uint %A, %B
+        %D = or bool %C1, %C2      ; (A < B) | (A == B) === A <= B
+        ret bool %D
+}
+