38 lines · plain
1; PR28852: Check machine code sinking is not stopped by SUBREG_TO_REG.2; RUN: llc < %s | FileCheck %s3 4target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"5target triple = "x86_64-unknown-linux-gnu"6 7; CHECK: foo8; CHECK-NOT: imull9; CHECK: retq10; CHECK: imull11 12define void @foo(i64 %value, i32 %kLengthBits, ptr nocapture %bits, ptr nocapture %bit_buffer_64, i32 %x) local_unnamed_addr {13entry:14 %mul = mul i32 %x, %kLengthBits15 %add = add i32 %mul, 316 %conv = zext i32 %add to i6417 %mul2 = mul nuw nsw i64 %conv, 518 %sub = sub i64 64, %value19 %conv4 = trunc i64 %sub to i3220 %tmp0 = load i32, ptr %bits, align 421 %cmp = icmp ult i32 %tmp0, %conv422 br i1 %cmp, label %if.then, label %if.end, !prof !023 24if.then: ; preds = %entry25 %add7 = add i64 %mul2, %value26 %tmp1 = load i64, ptr %bit_buffer_64, align 827 %add8 = add i64 %add7, %tmp128 store i64 %add8, ptr %bit_buffer_64, align 829 %conv9 = trunc i64 %mul2 to i3230 store i32 %conv9, ptr %bits, align 431 br label %if.end32 33if.end: ; preds = %if.then, %entry34 ret void35}36 37!0 = !{!"branch_weights", i32 1, i32 2000}38