From d97f0544e96b04b7bcabbb57ec42ef153865615f Mon Sep 17 00:00:00 2001
From: Chris Lattner <sabre@nondot.org>
Date: Mon, 10 Mar 2003 19:16:20 +0000
Subject: [PATCH] Add a bunch of new tests

llvm-svn: 5730
---
 .../Transforms/InstCombine/shift.ll           | 30 +++++++++++++++++++
 1 file changed, 30 insertions(+)

diff --git a/llvm/test/Regression/Transforms/InstCombine/shift.ll b/llvm/test/Regression/Transforms/InstCombine/shift.ll
index 3465baf5a378..66a081789003 100644
--- a/llvm/test/Regression/Transforms/InstCombine/shift.ll
+++ b/llvm/test/Regression/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
+}
+