blob: dbf560c6267eb039f04811b57115cadd8e1b781b [file] [log] [blame]
; RUN: llc -mtriple=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
}
; CHECK-LABEL: 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
}