From fe25b30c6dc34d41c7a0090fca59696d5f9d70eb 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. llvm-svn: 28766 --- .../2006-06-13-ComputeMaskedBitsCrash.ll | 50 +++++++++++++++++++ 1 file changed, 50 insertions(+) create mode 100644 llvm/test/Regression/CodeGen/Generic/2006-06-13-ComputeMaskedBitsCrash.ll diff --git a/llvm/test/Regression/CodeGen/Generic/2006-06-13-ComputeMaskedBitsCrash.ll b/llvm/test/Regression/CodeGen/Generic/2006-06-13-ComputeMaskedBitsCrash.ll new file mode 100644 index 000000000000..4b69386d8870 --- /dev/null +++ b/llvm/test/Regression/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 +}