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

[Eli Friedman via Phabricator via llvm-commits]

efriedma added a subscriber: hans.
efriedma added inline comments.


================
Comment at: test/CodeGen/X86/negate-i1.ll:134
+; X64-NEXT:    negq %rdi
+; X64-NEXT:    movq %rdi, %rax
 ; X64-NEXT:    retq
----------------
This seems kind of scary... is an "i1 zeroext" actually guaranteed to be zero-extended to 64 bits?


https://reviews.llvm.org/D37017