diff options
| author | Noah Goldstein <goldstein.w.n@gmail.com> | 2024-03-16 01:51:43 -0500 |
|---|---|---|
| committer | Noah Goldstein <goldstein.w.n@gmail.com> | 2024-07-03 20:18:51 +0800 |
| commit | 7c96469ea86a8d41aaa1bdb51b14894b0fbf16c0 (patch) | |
| tree | 9cb9f86e9e6b3a4396c807adf1e6d9cabd21dd2d /lldb/source/Plugins/ScriptInterpreter/Python/SWIGPythonBridge.h | |
| parent | fb7f65ba468f462103599e762c86f49b420cd984 (diff) | |
| download | llvm-7c96469ea86a8d41aaa1bdb51b14894b0fbf16c0.zip llvm-7c96469ea86a8d41aaa1bdb51b14894b0fbf16c0.tar.gz llvm-7c96469ea86a8d41aaa1bdb51b14894b0fbf16c0.tar.bz2 | |
[ValueTracking] Extend LHS/RHS with matching operand to work without constants.
Previously we only handled the `L0 == R0` case if both `L1` and `R1`
where constant.
We can get more out of the analysis using general constant ranges
instead.
For example, `X u> Y` implies `X != 0`.
In general, any strict comparison on `X` implies that `X` is not equal
to the boundary value for the sign and constant ranges with/without
sign bits can be useful in deducing implications.
Closes #85557
Diffstat (limited to 'lldb/source/Plugins/ScriptInterpreter/Python/SWIGPythonBridge.h')
0 files changed, 0 insertions, 0 deletions