diff options
| author | Noah Goldstein <goldstein.w.n@gmail.com> | 2024-04-12 15:55:52 -0500 |
|---|---|---|
| committer | Noah Goldstein <goldstein.w.n@gmail.com> | 2024-05-20 15:25:40 -0500 |
| commit | 223284316081e1af369c2d560da88e6211669250 (patch) | |
| tree | 7571b93abcf5171b5d12156fc4acc8ab59d908c5 /lldb/test/API/python_api/debugger/TestDebuggerAPI.py | |
| parent | 2a45f89aee8b05bb031c6e337df1524921de2e97 (diff) | |
[ValueTracking] Recognize `X op (X != 0)` as non-zero
The ops supported are: `add`, `sub`, `xor`, `or`, `umax`, `uadd.sat`
Proofs: https://alive2.llvm.org/ce/z/8ZMSRg
The `add` case actually comes up in SPECInt, the rest are here mostly
for completeness.
Closes #88579
Diffstat (limited to 'lldb/test/API/python_api/debugger/TestDebuggerAPI.py')
0 files changed, 0 insertions, 0 deletions