diff options
| author | Philip Reames <preames@rivosinc.com> | 2022-10-03 12:54:38 -0700 |
|---|---|---|
| committer | Philip Reames <listmail@philipreames.com> | 2022-10-03 13:57:38 -0700 |
| commit | e88432414517c8f2e6efa9f02828053e6e25bc6a (patch) | |
| tree | be628c10eb0f65102626b7dca7a204cbec911d7f /llvm/tools/llvm-objdump/llvm-objdump.cpp | |
| parent | dcd02a524befcec71f46ab76d725b2a8f8623d69 (diff) | |
| download | llvm-e88432414517c8f2e6efa9f02828053e6e25bc6a.zip llvm-e88432414517c8f2e6efa9f02828053e6e25bc6a.tar.gz llvm-e88432414517c8f2e6efa9f02828053e6e25bc6a.tar.bz2 | |
[RISCV] Generalize select (and (x , 0x1) == 0), y, (z ^ y) ) and select (and (x , 0x1) == 0), y, (z | y) ) transforms by removing and-clause
These transforms were recently added (by me) in D134881. Looking at the code again, I realized we don't need the (and x, 0x1) portion of the pattern, we just need to know that the result of that sub-tree is either 0 or 1. Checking for this directly allows us to match slightly more broadly. The test changes are zext i1 arguments, but this could also kick in for e.g. shifts of high bits, or any other source of known bits.
Differential Revision: https://reviews.llvm.org/D135081
Diffstat (limited to 'llvm/tools/llvm-objdump/llvm-objdump.cpp')
0 files changed, 0 insertions, 0 deletions