More testcases, which I'll implement later
llvm-svn: 7298
diff --git a/llvm/test/Regression/Transforms/InstCombine/and.ll b/llvm/test/Regression/Transforms/InstCombine/and.ll
index 3eeac3b..23bd2df 100644
--- a/llvm/test/Regression/Transforms/InstCombine/and.ll
+++ b/llvm/test/Regression/Transforms/InstCombine/and.ll
@@ -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
+}