kpn added a comment. Is this an allowed transform? If we transform "y = -x + x;" into "y = 0;" then won't that eliminate a trap? Is that allowed? Repository: rL LLVM CHANGES SINCE LAST ACTION https://reviews.llvm.org/D61916/new/ https://reviews.llvm.org/D61916