diff options
| author | Roman Lebedev <lebedev.ri@gmail.com> | 2022-02-16 21:46:39 +0300 |
|---|---|---|
| committer | Roman Lebedev <lebedev.ri@gmail.com> | 2022-02-16 22:16:02 +0300 |
| commit | 3c7d48ed902a7136a131c1288d75bfcf7af557c6 (patch) | |
| tree | 2a242f7e089bf6169f4bdb9d03bdb8d0370a9b95 /lldb/test/API/functionalities/scripted_process/TestScriptedProcess.py | |
| parent | 21c6c43e6feaf3e9d079c94ee0027e197076c1cf (diff) | |
[NFC][SCEV] Recognize umin_seq when operand is zext'ed in umin but not in zero-check
zext(umin(x,y)) == umin(zext(x),zext(y))
zext(x) == 0 -> x == 0
Extra leading zeros do not affect the result of comparison with zero,
nor do they matter for the unsigned min/max,
so we should not be dissuaded when we find a zero-extensions,
but instead we should just skip it.
Diffstat (limited to 'lldb/test/API/functionalities/scripted_process/TestScriptedProcess.py')
0 files changed, 0 insertions, 0 deletions