diff options
| author | David Sherwood <david.sherwood@arm.com> | 2024-09-23 09:56:37 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-09-23 09:56:37 +0100 |
| commit | 02ee96eca90741031a26f0f06cd48bb0ba558d1a (patch) | |
| tree | cdcffa4043a5cc06d117cc1888c708cdee8ad488 /lldb/source/Plugins/ScriptInterpreter/Python/Interfaces | |
| parent | 6fc2451167ec991361dd0568de9a9fa2926f8da8 (diff) | |
| download | llvm-02ee96eca90741031a26f0f06cd48bb0ba558d1a.zip llvm-02ee96eca90741031a26f0f06cd48bb0ba558d1a.tar.gz llvm-02ee96eca90741031a26f0f06cd48bb0ba558d1a.tar.bz2 | |
[Analysis] Teach isDereferenceableAndAlignedInLoop about SCEV predicates (#106562)
Currently if a loop contains loads that we can prove at compile time
are dereferenceable when certain conditions are satisfied the function
isDereferenceableAndAlignedInLoop will still return false because
getSmallConstantMaxTripCount will return 0 when SCEV predicates
are required. This patch changes getSmallConstantMaxTripCount to take
an optional Predicates pointer argument so that we can permit
functions such as isDereferenceableAndAlignedInLoop to consider more
cases.
Diffstat (limited to 'lldb/source/Plugins/ScriptInterpreter/Python/Interfaces')
0 files changed, 0 insertions, 0 deletions