1 ; RUN: llc < %s -O2 -march=x86-64 | FileCheck %s
2 ; Checks that a zeroing mov is inserted for the trunc/zext pair even when
3 ; the source of the zext is an AssertSext node
6 define i64 @main(i64 %a) {
8 ; CHECK: movl %e{{..}}, %eax
11 %trunc = trunc i64 %or to i32
14 %ext = zext i32 %trunc to i64