From: Chris Lattner <sabre@nondot.org>
Date: Wed, 9 Jun 2004 07:59:40 +0000 (+0000)
Subject: More instcombine testcases
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=9e28f18fb3a5a8df03119d9321993795adde820e;p=oota-llvm.git

More instcombine testcases


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

diff --git a/test/Transforms/InstCombine/select.ll b/test/Transforms/InstCombine/select.ll
index 891f057d57a..fe89d93a664 100644
--- a/test/Transforms/InstCombine/select.ll
+++ b/test/Transforms/InstCombine/select.ll
@@ -109,3 +109,30 @@ bool %test14b(bool %C, int %X) {
 	ret bool %R
 }
 
+int %test15a(int %X) {       ;; Code sequence for (X & 16) ? 16 : 0
+        %t1 = and int %X, 16
+        %t2 = seteq int %t1, 0
+        %t3 = select bool %t2, int 0, int 16 ;; X & 16
+        ret int %t3
+}
+
+int %test15b(int %X) {       ;; Code sequence for (X & 32) ? 0 : 24
+        %t1 = and int %X, 32
+        %t2 = seteq int %t1, 0
+        %t3 = select bool %t2, int 32, int 0 ;; ~X & 32
+        ret int %t3
+}
+
+int %test15c(int %X) {       ;; Alternate code sequence for (X & 16) ? 16 : 0
+        %t1 = and int %X, 16
+        %t2 = seteq int %t1, 16
+        %t3 = select bool %t2, int 16, int 0 ;; X & 16
+        ret int %t3
+}
+
+int %test15d(int %X) {       ;; Alternate code sequence for (X & 16) ? 16 : 0
+        %t1 = and int %X, 16
+        %t2 = setne int %t1, 0
+        %t3 = select bool %t2, int 16, int 0 ;; X & 16
+        ret int %t3
+}