From: Chris Lattner <sabre@nondot.org>
Date: Tue, 28 Sep 2004 21:39:35 +0000 (+0000)
Subject: New testcases
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=3b03395b38ea901803806c7b227980308ca21041;p=oota-llvm.git

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 3743cbc8ffb..1b2dafb218d 100644
--- 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
+}
+