[PATCH] D157187: [InstCombine] Propagate the nsw for instruction neg-sub
Nikita Popov via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Mon Aug 21 08:17:03 PDT 2023
nikic requested changes to this revision.
nikic added a comment.
This revision now requires changes to proceed.
I'm going to implement this myself. We need something along these lines, just with full proofs and test coverage: https://gist.github.com/nikic/07bfd88af3607cdb4ba84bdaf299b07f
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D157187/new/
https://reviews.llvm.org/D157187
More information about the llvm-commits
mailing list