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 /llvm/lib/Bitcode/Reader/BitcodeReader.cpp | |
| parent | 3b19e480c056a35a60e3c65de476b6097329ceac (diff) | |
| download | llvm-e80f48986c7ba6cc41378b8d8e12d804cf26895d.zip llvm-e80f48986c7ba6cc41378b8d8e12d804cf26895d.tar.gz llvm-e80f48986c7ba6cc41378b8d8e12d804cf26895d.tar.bz2 | |
[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 'llvm/lib/Bitcode/Reader/BitcodeReader.cpp')
0 files changed, 0 insertions, 0 deletions