Tests to make sure that ComputeMaskedBits discards bits for shifts.

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

diff --git a/test/CodeGen/Generic/2006-06-13-ComputeMaskedBitsCrash.ll b/test/CodeGen/Generic/2006-06-13-ComputeMaskedBitsCrash.ll
new file mode 100644 (file)
index 0000000..4b69386
--- /dev/null
+++ b/test/CodeGen/Generic/2006-06-13-ComputeMaskedBitsCrash.ll
@@ -0,0 +1,50 @@
+; RUN: llvm-as < %s | llc -fast
+
+uint %test1(uint %tmp1) {
+  %tmp2 = or uint %tmp1, 2147483648
+  %tmp3 = shr uint %tmp2, ubyte 31
+  %tmp4 = and uint %tmp3, 2147483648
+  %tmp5 = seteq uint %tmp4, 0
+  br bool %tmp5, label %cond_true, label %cond_false
+  
+cond_true:
+  ret uint %tmp1
+  
+cond_false:
+
+  ret uint %tmp2
+}
+
+
+uint %test2(uint %tmp1) {
+  %tmp2 = or uint %tmp1, 2147483648
+  %tmp3 = cast uint %tmp2 to int
+  %tmp4 = shr int %tmp3, ubyte 31
+  %tmp5 = cast int %tmp4 to uint
+  %tmp6 = and uint %tmp5, 2147483648
+  %tmp7 = seteq uint %tmp6, 0
+  br bool %tmp7, label %cond_true, label %cond_false
+  
+cond_true:
+  ret uint %tmp1
+  
+cond_false:
+
+  ret uint %tmp2
+}
+
+
+uint %test3(uint %tmp1) {
+  %tmp2 = or uint %tmp1, 1
+  %tmp3 = shl uint %tmp2, ubyte 31
+  %tmp4 = and uint %tmp3, 1
+  %tmp5 = seteq uint %tmp4, 0
+  br bool %tmp5, label %cond_true, label %cond_false
+  
+cond_true:
+  ret uint %tmp1
+  
+cond_false:
+
+  ret uint %tmp2
+}