diff options
| author | Sanjay Patel <spatel@rotateright.com> | 2022-02-04 11:24:01 -0500 |
|---|---|---|
| committer | Sanjay Patel <spatel@rotateright.com> | 2022-02-04 11:40:54 -0500 |
| commit | 0236c571810dea1b72d99ee0af124a7a09976e00 (patch) | |
| tree | 5c29a37eb949c65cc18fb331a034136d8eb4de77 /llvm/unittests/Support/MathExtrasTest.cpp | |
| parent | 1eb4f88bfef1ab93b8286fdfd05a8b814507e329 (diff) | |
| download | llvm-0236c571810dea1b72d99ee0af124a7a09976e00.zip llvm-0236c571810dea1b72d99ee0af124a7a09976e00.tar.gz llvm-0236c571810dea1b72d99ee0af124a7a09976e00.tar.bz2 | |
[InstCombine] try to fold one-demanded-bit-of-multiply
This is a generalization of the icmp fold in D118061 (and that can be abandoned).
We're looking for a disguised form of "odd * odd must be odd".
Some Alive2 proofs to show correctness:
https://alive2.llvm.org/ce/z/60Y8hz
https://alive2.llvm.org/ce/z/HfAP6R
Differential Revision: https://reviews.llvm.org/D118539
Diffstat (limited to 'llvm/unittests/Support/MathExtrasTest.cpp')
0 files changed, 0 insertions, 0 deletions