New testcases

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@16556 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/test/Transforms/InstCombine/and.ll b/test/Transforms/InstCombine/and.ll
index 3743cbc8ffb2e213fc080c5a7858d36d9e60b1c7..1b2dafb218dfc6fc5cb8f698d80af2ef56c07eb7 100644 (file)
--- a/test/Transforms/InstCombine/and.ll
+++ b/test/Transforms/InstCombine/and.ll
@@ -142,3 +142,39 @@ sbyte %test21(sbyte %A) {
        %D = and sbyte %C, 1         ;; chop off sign
        ret sbyte %D
 }
+
+bool %test22(int %A) {
+       %B = seteq int %A, 1
+       %C = setge int %A, 3
+       %D = and bool %B, %C   ;; False
+       ret bool %D
+}
+
+bool %test23(int %A) {
+       %B = setgt int %A, 1
+       %C = setle int %A, 2
+       %D = and bool %B, %C   ;; A == 2
+       ret bool %D
+}
+
+bool %test24(int %A) {
+       %B = setgt int %A, 1
+       %C = setne int %A, 2
+       %D = and bool %B, %C   ;; A > 2
+       ret bool %D
+}
+
+bool %test25(int %A) {
+       %B = setge int %A, 50
+       %C = setlt int %A, 100
+       %D = and bool %B, %C   ;; (A-50) <u 50
+       ret bool %D
+}
+
+bool %test26(int %A) {
+        %B = setne int %A, 50
+        %C = setne int %A, 51
+        %D = and bool %B, %C   ;; (A-50) > 1
+        ret bool %D
+}
+