[PATCH] D143883: [InstCombine] canonicalize urem as cmp+select

[Allen zhong via Phabricator via llvm-commits]

Allen updated this revision to Diff 498535.
Allen added a comment.

Address comments:
a)	Drop all the attribute noundef on the argument and return value
b)	Change all the value type to i8 as Alive2 can run quickly on all tests to verify correctness
c)	Update case urem_without_assume


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

https://reviews.llvm.org/D143883

Files:
  llvm/lib/Transforms/InstCombine/InstCombineMulDivRem.cpp
  llvm/test/Transforms/InstCombine/urem-via-cmp-select.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D143883.498535.patch
Type: text/x-patch
Size: 5526 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20230218/b92855f3/attachment.bin>