[PATCH] D37017: [DAGCombiner] fold assertzexts separated by trunc

[Craig Topper via Phabricator via llvm-commits]

craig.topper added inline comments.


================
Comment at: test/CodeGen/X86/negate-i1.ll:134
+; X64-NEXT:    negq %rdi
+; X64-NEXT:    movq %rdi, %rax
 ; X64-NEXT:    retq
----------------
efriedma wrote:
> This seems kind of scary... is an "i1 zeroext" actually guaranteed to be zero-extended to 64 bits?
Nope. It hit PR28540 which should be fixed by D37729


https://reviews.llvm.org/D37017