diff options
| author | Philip Reames <listmail@philipreames.com> | 2021-04-20 10:51:25 -0700 |
|---|---|---|
| committer | Philip Reames <listmail@philipreames.com> | 2021-04-20 10:52:22 -0700 |
| commit | be20eae25f50f5ef648aeefa1143e1c31e4410fc (patch) | |
| tree | 4b3409b862d99c57b7333f761205ce3330e5634d /llvm/tools/llvm-objdump/llvm-objdump.cpp | |
| parent | 4a292eda25bc999ec175f0d21b87cb0225b6da86 (diff) | |
| download | llvm-be20eae25f50f5ef648aeefa1143e1c31e4410fc.zip llvm-be20eae25f50f5ef648aeefa1143e1c31e4410fc.tar.gz llvm-be20eae25f50f5ef648aeefa1143e1c31e4410fc.tar.bz2 | |
Look through invertible recurrences in isKnownNonEqual
This extends the phi handling in isKnownNonEqual with a special case based on invertible recurrences. If we can prove the recurrence is invertible (which many common ones are), we can recurse through the start operands of the recurrence skipping the phi cycle.
(Side note: Instcombine currently does not push back through these cases. I will implement that in a follow up change w/separate review.)
Differential Revision: https://reviews.llvm.org/D99912
Diffstat (limited to 'llvm/tools/llvm-objdump/llvm-objdump.cpp')
0 files changed, 0 insertions, 0 deletions