diff options
| author | bipmis <102525366+bipmis@users.noreply.github.com> | 2023-12-20 14:11:58 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-12-20 14:11:58 +0000 |
| commit | 64987c648f87613102eee70ccf9ff50e4f59f55e (patch) | |
| tree | 0bf0c78f628bdbb90ffdaa085ee799f83a89a0fd /llvm/lib/TextAPI/BinaryReader/DylibReader.cpp | |
| parent | 836e71a4254cb7b61f9d1b59591e69bb4055eb45 (diff) | |
| download | llvm-64987c648f87613102eee70ccf9ff50e4f59f55e.zip llvm-64987c648f87613102eee70ccf9ff50e4f59f55e.tar.gz llvm-64987c648f87613102eee70ccf9ff50e4f59f55e.tar.bz2 | |
[ValueTracking] isNonZero sub of ptr2int's with recursive GEP (#68680)
When the sub arguments are ptr2int it is not possible to determine
computeKnownBits() of its arguments.
For scalar case generally sub of 2 ptr2int are converted to sub of
indexes.
However a loop with recursive GEP/PHI where the arguments to sub is of
type ptr2int, if it is possible to determine that a sub of this GEP and
another pointer with the same base is KnownNonZero we can return this.
This helps subsequent passes to optimize the loop further.
Diffstat (limited to 'llvm/lib/TextAPI/BinaryReader/DylibReader.cpp')
0 files changed, 0 insertions, 0 deletions