test/CodeGen/X86/TruncAssertSext.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc < %s -O2 -mtriple=x86_64-unknown-unknown | FileCheck %s
   3 ; Checks that a zeroing mov is inserted for the trunc/zext pair even when
   4 ; the source of the zext is an AssertSext node
   5 ; PR20494
   6
   7 define i64 @main(i64 %a) {
   8 ; CHECK-LABEL: main:
   9 ; CHECK:       # %bb.0:
  10 ; CHECK-NEXT:    orq $-2, %rdi
  11 ; CHECK-NEXT:    movl %edi, %eax
  12 ; CHECK-NEXT:    retq
  13   %or = or i64 %a, -2
  14   %trunc = trunc i64 %or to i32
  15   br label %l
  16 l:
  17   %ext = zext i32 %trunc to i64
  18   trunc i64 %or to i32 ; to keep the or from being narrowed
  19   ret i64 %ext
  20 }