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
This commit is contained in:
Jim Laskey 2006-06-13 13:10:44 +00:00
parent 9bfa2dcff6
commit df1530a5e3

View File

@ -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
}