diff options
| author | Florian Hahn <flo@fhahn.com> | 2021-11-16 11:16:07 +0000 |
|---|---|---|
| committer | Florian Hahn <flo@fhahn.com> | 2021-11-16 11:16:07 +0000 |
| commit | b7aec4f08e5e231cda3366af961e227e18c5587b (patch) | |
| tree | b988a4546516cd35af3c3f700566a28327ad0980 /lldb/source/Plugins/ScriptInterpreter/Python/PythonReadline.cpp | |
| parent | f526c600c043d9e83a359e79d617077d947c1dc3 (diff) | |
| download | llvm-b7aec4f08e5e231cda3366af961e227e18c5587b.zip llvm-b7aec4f08e5e231cda3366af961e227e18c5587b.tar.gz llvm-b7aec4f08e5e231cda3366af961e227e18c5587b.tar.bz2 | |
[SCEV] Support rewriting ZExt expressions with loop guard info.
So far, applying loop guard information has been restricted to
SCEVUnknown. In a few cases, like PR40961 and PR52464, this leads to
SCEV failing to determine tight upper bounds for the backedge taken
count.
This patch adjusts SCEVLoopGuardRewriter and applyLoopGuards to support
re-writing ZExt expressions.
This is a first step towards fixing PR40961 and PR52464.
Reviewed By: reames
Differential Revision: https://reviews.llvm.org/D113577
Diffstat (limited to 'lldb/source/Plugins/ScriptInterpreter/Python/PythonReadline.cpp')
0 files changed, 0 insertions, 0 deletions
