From: Chris Lattner <sabre@nondot.org>
Date: Mon, 10 Mar 2003 19:16:20 +0000 (+0000)
Subject: Add a bunch of new tests
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=c232870b6feb938098cfe9163d0e5439c802565f;p=oota-llvm.git

Add a bunch of new tests


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

diff --git a/test/Transforms/InstCombine/shift.ll b/test/Transforms/InstCombine/shift.ll
index 3465baf5a37..66a08178900 100644
--- a/test/Transforms/InstCombine/shift.ll
+++ b/test/Transforms/InstCombine/shift.ll
@@ -33,6 +33,11 @@ uint %test5(uint %A) {
 	ret uint %B
 }
 
+uint %test5a(uint %A) {
+	%B = shl uint %A, ubyte 32  ;; shift all bits out
+	ret uint %B
+}
+
 uint %test6(uint %A) {
 	%B = shl uint %A, ubyte 1   ;; convert to an add instruction
 	ret uint %B
@@ -42,3 +47,28 @@ int %test7(ubyte %A) {
 	%B = shr int -1, ubyte %A   ;; Always equal to -1
 	ret int %B
 }
+
+ubyte %test8(ubyte %A) {              ;; (A << 5) << 3 === A << 8 == 0
+	%B = shl ubyte %A, ubyte 5
+	%C = shl ubyte %B, ubyte 3
+	ret ubyte %C
+}
+
+ubyte %test9(ubyte %A) {              ;; (A << 7) >> 7 === A & 1
+	%B = shl ubyte %A, ubyte 7
+	%C = shr ubyte %B, ubyte 7
+	ret ubyte %C
+}
+
+ubyte %test10(ubyte %A) {              ;; (A >> 7) << 7 === A & 128
+	%B = shr ubyte %A, ubyte 7
+	%C = shl ubyte %B, ubyte 7
+	ret ubyte %C
+}
+
+ubyte %test11(ubyte %A) {              ;; (A >> 3) << 4 == (A & 0x1F) << 1
+	%B = shr ubyte %A, ubyte 3
+	%C = shl ubyte %B, ubyte 4
+	ret ubyte %C
+}
+