43 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc < %s -O2 -mtriple=x86_64-unknown-unknown | FileCheck %s3; Checks that a zeroing mov is inserted for the trunc/zext pair even when4; the source of the zext is an AssertZext node5; PR285406 7define i64 @foo() {8; CHECK-LABEL: foo:9; CHECK: # %bb.0:10; CHECK-NEXT: movq $-1, %rax11; CHECK-NEXT: retq12 ret i64 -113}14 15define i64 @main() {16; CHECK-LABEL: main:17; CHECK: # %bb.0:18; CHECK-NEXT: pushq %rax19; CHECK-NEXT: .cfi_def_cfa_offset 1620; CHECK-NEXT: callq foo@PLT21; CHECK-NEXT: movabsq $-4294967041, %rcx # imm = 0xFFFFFFFF000000FF22; CHECK-NEXT: andq %rax, %rcx23; CHECK-NEXT: movl %ecx, %ecx24; CHECK-NEXT: leaq (,%rcx,8), %rax25; CHECK-NEXT: subq %rcx, %rax26; CHECK-NEXT: shrq $32, %rax27; CHECK-NEXT: popq %rcx28; CHECK-NEXT: .cfi_def_cfa_offset 829; CHECK-NEXT: retq30 %b = call i64 @foo()31 %or = and i64 %b, 18446744069414584575 ; this is 0xffffffff000000ff32 %trunc = trunc i64 %or to i3233 br label %l34l:35 %ext = zext i32 %trunc to i6436 %mul = mul i64 %ext, 737 br label %m38m: ; keeps dag combine from seeing the multiply and the shift together39 %shr = lshr i64 %mul, 3240 trunc i64 %or to i32 ; keeps the and alive so it doesn't simplify41 ret i64 %shr42}43