2010-07-23 20:03:30 +02:00
|
|
|
; RUN: llc -march=x86-64 < %s | FileCheck %s
|
|
|
|
|
|
|
|
|
|
; Codegen should be able to use a 32-bit shift instead of a 64-bit shift.
|
|
|
|
|
; CHECK: shll $16
|
|
|
|
|
|
|
|
|
|
define fastcc void @test(i32 %level, i64 %a, i64 %b, i64 %c, i64 %d, i32* %p) nounwind {
|
|
|
|
|
if.end523: ; preds = %if.end453
|
|
|
|
|
%conv7981749 = zext i32 %level to i64 ; <i64> [#uses=1]
|
|
|
|
|
%and799 = shl i64 %conv7981749, 16 ; <i64> [#uses=1]
|
|
|
|
|
%shl800 = and i64 %and799, 16711680 ; <i64> [#uses=1]
|
|
|
|
|
%or801 = or i64 %shl800, %a ; <i64> [#uses=1]
|
|
|
|
|
%or806 = or i64 %or801, %b ; <i64> [#uses=1]
|
|
|
|
|
%or811 = or i64 %or806, %c ; <i64> [#uses=1]
|
|
|
|
|
%or819 = or i64 %or811, %d ; <i64> [#uses=1]
|
|
|
|
|
%conv820 = trunc i64 %or819 to i32 ; <i32> [#uses=1]
|
|
|
|
|
store i32 %conv820, i32* %p
|
|
|
|
|
ret void
|
|
|
|
|
}
|
2010-07-23 23:08:12 +02:00
|
|
|
|
|
|
|
|
; CHECK: foo:
|
|
|
|
|
|
|
|
|
|
declare void @bar(i64)
|
|
|
|
|
|
|
|
|
|
define fastcc void @foo(i32 %t) {
|
|
|
|
|
bb:
|
|
|
|
|
%tmp = add i32 %t, -1 ; <i32> [#uses=1]
|
|
|
|
|
br label %bb1
|
|
|
|
|
|
|
|
|
|
bb1: ; preds = %bb
|
|
|
|
|
%tmp2 = zext i32 %tmp to i64 ; <i64> [#uses=2]
|
|
|
|
|
%tmp3 = add i64 %tmp2, 1 ; <i64> [#uses=1]
|
|
|
|
|
%tmp4 = xor i64 %tmp2, 536870911 ; <i64> [#uses=1]
|
|
|
|
|
%tmp5 = and i64 %tmp3, %tmp4 ; <i64> [#uses=1]
|
|
|
|
|
%tmp6 = shl i64 %tmp5, 3 ; <i64> [#uses=1]
|
|
|
|
|
%tmp7 = sub i64 64, %tmp6 ; <i64> [#uses=1]
|
|
|
|
|
%tmp8 = and i64 %tmp7, 4294967288 ; <i64> [#uses=1]
|
|
|
|
|
%tmp9 = lshr i64 -1, %tmp8 ; <i64> [#uses=1]
|
|
|
|
|
call void @bar(i64 %tmp9)
|
|
|
|
|
ret void
|
|
|
|
|
}
|
