projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4511d3c) | patch
[InstSimplify] Fold icmp of uadd.sat/usub.sat (PR63381)
authorNikita Popov <npopov@redhat.com>
Mon, 19 Jun 2023 09:42:21 +0000 (11:42 +0200)
committerNikita Popov <npopov@redhat.com>
Mon, 19 Jun 2023 09:49:38 +0000 (11:49 +0200)
commitf6a8775c5d9fa6cd49f404da70982f2e7b91c88c
tree4e47c1a4f94f1e8190c8334328bb1c1bba2fdf17tree | snapshot
parent4511d3c33cba90d5d53a1fd6eed89ef9a3f696e1commit | diff
[InstSimplify] Fold icmp of uadd.sat/usub.sat (PR63381)

Fold uadd.sat(X, Y) uge X and usub.sat(X, Y) ule X to true.

Proof: https://alive2.llvm.org/ce/z/596m9X

Fixes https://github.com/llvm/llvm-project/issues/63381.
llvm/lib/Analysis/InstructionSimplify.cpp diff | blob | history
llvm/test/Transforms/InstSimplify/saturating-add-sub.ll diff | blob | history
Domain: System / Toolchain;