diff options
| author | Hari Limaye <hari.limaye@arm.com> | 2024-08-20 11:00:03 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-08-20 11:00:03 +0100 |
| commit | ba84cfbe0ce2c697702c377b32e4dbf50dd1e114 (patch) | |
| tree | fa4f4715b9e6765ea385f58ff2cdef3f7c230c1c /lldb/source/Plugins/ScriptInterpreter/Python/ScriptInterpreterPython.cpp | |
| parent | b432afc28406b670a58933c2fe56c73e6f85911e (diff) | |
[BasicAA] Use nuw attribute of GEPs (#98608)
Use the nuw attribute of GEPs to prove that pointers do not alias, in
cases matching the following:
+ + +
| BaseOffset | +<nuw> Indices |
---------------->|-------------------->|
|-->V2Size | |-------> V1Size
LHS RHS
If the difference between pointers is Offset +<nuw> Indices then we know
that the addition does not wrap the pointer index type (add nuw) and the
constant Offset is a lower bound on the distance between the pointers. We
can then prove NoAlias via Offset u>= V2Size.
Diffstat (limited to 'lldb/source/Plugins/ScriptInterpreter/Python/ScriptInterpreterPython.cpp')
0 files changed, 0 insertions, 0 deletions