21 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 AssertSext node5; PR204946 7define i64 @main(i64 %a) {8; CHECK-LABEL: main:9; CHECK: # %bb.0:10; CHECK-NEXT: orq $-2, %rdi11; CHECK-NEXT: movl %edi, %eax12; CHECK-NEXT: retq13 %or = or i64 %a, -214 %trunc = trunc i64 %or to i3215 br label %l16l:17 %ext = zext i32 %trunc to i6418 trunc i64 %or to i32 ; to keep the or from being narrowed19 ret i64 %ext20}21