[PATCH] D145457: [InstSimplify] Add simplifications for `umin/umax(uadd/usub.sat(X, Y), X)`

Nikita Popov via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Thu Mar 9 07:13:48 PST 2023


nikic requested changes to this revision.
nikic added a comment.
This revision now requires changes to proceed.

I believe this is taking the wrong approach to these folds. What you want to implement is simplification for something like this: https://alive2.llvm.org/ce/z/f_Eg7U And then min/max simplification should fall out of that for free.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D145457



More information about the llvm-commits mailing list