diff options
| author | Florian Hahn <flo@fhahn.com> | 2022-03-18 14:41:15 +0000 |
|---|---|---|
| committer | Florian Hahn <flo@fhahn.com> | 2022-03-18 14:41:15 +0000 |
| commit | 1b7ef6aac8a3cad245c0ed14fe21725e31261f73 (patch) | |
| tree | f2f26d397f4a39f58c01d8c861b020c8951527ce /lldb/source/Commands/CommandObjectThread.cpp | |
| parent | a36c2dd6d54c6ff854cb4872cd2831ed995e9275 (diff) | |
| download | llvm-1b7ef6aac8a3cad245c0ed14fe21725e31261f73.zip llvm-1b7ef6aac8a3cad245c0ed14fe21725e31261f73.tar.gz llvm-1b7ef6aac8a3cad245c0ed14fe21725e31261f73.tar.bz2 | |
[BasicAA] Account for wrapping when using abs(VarIndex) >= abs(Scale).
The patch adds an extra check to only set MinAbsVarIndex if
abs(V * Scale) won't wrap. In the absence of IsNSW, try to use the
bitwidths of the original V and Scale to rule out wrapping.
Attempt to model https://alive2.llvm.org/ce/z/HE8ZKj
The code in the else if below probably needs the same treatment, but I
need to come up with a test first.
Reviewed By: asbirlea
Differential Revision: https://reviews.llvm.org/D121695
Diffstat (limited to 'lldb/source/Commands/CommandObjectThread.cpp')
0 files changed, 0 insertions, 0 deletions