aboutsummaryrefslogtreecommitdiffstats
path: root/test
diff options
context:
space:
mode:
authorJim Laskey <jlaskey@mac.com>2006-06-13 13:10:44 +0000
committerJim Laskey <jlaskey@mac.com>2006-06-13 13:10:44 +0000
commitdf1530a5e3cdd53a816d71b8a243b8a144bf378c (patch)
tree4c74f8d844ed9cc21975b2b4a5b8ce09f807874d /test
parent9bfa2dcff6c341814c18703d6760c3645bcc14e9 (diff)
downloadexternal_llvm-df1530a5e3cdd53a816d71b8a243b8a144bf378c.zip
external_llvm-df1530a5e3cdd53a816d71b8a243b8a144bf378c.tar.gz
external_llvm-df1530a5e3cdd53a816d71b8a243b8a144bf378c.tar.bz2
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
Diffstat (limited to 'test')
-rw-r--r--test/CodeGen/Generic/2006-06-13-ComputeMaskedBitsCrash.ll50
1 files changed, 50 insertions, 0 deletions
diff --git a/test/CodeGen/Generic/2006-06-13-ComputeMaskedBitsCrash.ll b/test/CodeGen/Generic/2006-06-13-ComputeMaskedBitsCrash.ll
new file mode 100644
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
+}