diff options
| author | Florian Hahn <flo@fhahn.com> | 2024-05-22 13:11:01 +0100 |
|---|---|---|
| committer | Florian Hahn <flo@fhahn.com> | 2024-05-22 13:11:04 +0100 |
| commit | ba0e871db81d8527382a051a0abf1ce2a171d8bf (patch) | |
| tree | cb66494f033ca7b86e7d3ade53dafde710034e66 /lldb/source/Plugins/ScriptInterpreter/Python/ScriptInterpreterPython.cpp | |
| parent | f68548135b8f9a02beac842646ab89bcaad9d400 (diff) | |
[ConstraintElim] Look through SExt with precond Op sge 0.
Look through SExt with a precondition that the operand is signed
positive.
https://alive2.llvm.org/ce/z/zvVVHj
Diffstat (limited to 'lldb/source/Plugins/ScriptInterpreter/Python/ScriptInterpreterPython.cpp')
0 files changed, 0 insertions, 0 deletions