[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