From df1530a5e3cdd53a816d71b8a243b8a144bf378c Mon Sep 17 00:00:00 2001 From: Jim Laskey Date: Tue, 13 Jun 2006 13:10:44 +0000 Subject: [PATCH] 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 --- .../2006-06-13-ComputeMaskedBitsCrash.ll | 50 +++++++++++++++++++ 1 file changed, 50 insertions(+) create mode 100644 test/CodeGen/Generic/2006-06-13-ComputeMaskedBitsCrash.ll 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 00000000000..4b69386d887 --- /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 +} -- 2.34.1