diff options
| author | Nikita Popov <npopov@redhat.com> | 2023-06-19 11:42:21 +0200 |
|---|---|---|
| committer | Nikita Popov <npopov@redhat.com> | 2023-06-19 11:49:38 +0200 |
| commit | f6a8775c5d9fa6cd49f404da70982f2e7b91c88c (patch) | |
| tree | 4e47c1a4f94f1e8190c8334328bb1c1bba2fdf17 /libcxx/src | |
| parent | 4511d3c33cba90d5d53a1fd6eed89ef9a3f696e1 (diff) | |
| download | llvm-f6a8775c5d9fa6cd49f404da70982f2e7b91c88c.zip llvm-f6a8775c5d9fa6cd49f404da70982f2e7b91c88c.tar.gz llvm-f6a8775c5d9fa6cd49f404da70982f2e7b91c88c.tar.bz2 | |
[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.
Diffstat (limited to 'libcxx/src')
0 files changed, 0 insertions, 0 deletions