[PATCH] D156499: [InstCombine] Fold abs of known sign operand when source is sub

[Allen zhong via Phabricator via llvm-commits]

Allen updated this revision to Diff 546334.
Allen edited the summary of this revision.
Allen added a comment.

Address comment
1、Add proof link alive2, https://alive2.llvm.org/ce/z/KkeEsd
2、abs allows INT_MIN，and its related tests


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

https://reviews.llvm.org/D156499

Files:
  llvm/lib/Transforms/InstCombine/InstCombineCalls.cpp
  llvm/test/Transforms/InstCombine/abs-intrinsic.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D156499.546334.patch
Type: text/x-patch
Size: 4926 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20230802/8c702b8a/attachment.bin>