[PATCH] D100095: [InstCombine] Conditionally emitting nsw/nuw flags when combining two add operations

Sanjay Patel via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Thu Apr 8 05:44:06 PDT 2021


spatel added a comment.

These transforms appear to be untested, so I pushed the tests here:
6fccfd7cbdca <https://reviews.llvm.org/rG6fccfd7cbdca0c1184cdb77f92329534ffde544c>

So now you can rebase, run llvm/utils/update_test_checks.py on that file, and we'll see the diffs.
It would also be good to use Alive2 to confirm that the current results are buggy and the updated results are as expected. For example:
https://alive2.llvm.org/ce/z/c3BeYv


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D100095/new/

https://reviews.llvm.org/D100095



More information about the llvm-commits mailing list