diff options
| author | Antonio Frighetto <me@antoniofrighetto.com> | 2024-09-05 17:01:56 +0200 |
|---|---|---|
| committer | Antonio Frighetto <me@antoniofrighetto.com> | 2024-09-05 17:01:56 +0200 |
| commit | e80f48986c7ba6cc41378b8d8e12d804cf26895d (patch) | |
| tree | d1c8d90be9ae75860c34732281373744ad4659bb /lldb/source/Plugins/ScriptInterpreter/Python/PythonDataObjects.cpp | |
| parent | 3b19e480c056a35a60e3c65de476b6097329ceac (diff) | |
[SCEV] BECount to zero if `((-C + (C smax %x)) /u %x), C > 0` holds
The SCEV expression `((-C + (C smax %x)) /u %x)` can be folded
to zero for any positive constant C.
Proof: https://alive2.llvm.org/ce/z/_dLm8C.
Diffstat (limited to 'lldb/source/Plugins/ScriptInterpreter/Python/PythonDataObjects.cpp')
0 files changed, 0 insertions, 0 deletions