diff options
| author | Roman Lebedev <lebedev.ri@gmail.com> | 2020-07-02 12:44:48 +0300 |
|---|---|---|
| committer | Roman Lebedev <lebedev.ri@gmail.com> | 2020-07-02 13:22:12 +0300 |
| commit | 2c16100e6f72075564ea1f67fa5a82c269dafcd3 (patch) | |
| tree | 9de594137f255a42c4bee58424d71651e90a44d3 /clang/lib/StaticAnalyzer/Checkers/StdLibraryFunctionsChecker.cpp | |
| parent | 68498ce8af375a97a87738676fc2917c0c9659d6 (diff) | |
| download | llvm-2c16100e6f72075564ea1f67fa5a82c269dafcd3.zip llvm-2c16100e6f72075564ea1f67fa5a82c269dafcd3.tar.gz llvm-2c16100e6f72075564ea1f67fa5a82c269dafcd3.tar.bz2 | |
[ScalarEvolution] createSCEV(): recognize `udiv`/`urem` disguised as an `sdiv`/`srem`
Summary:
While InstCombine trivially converts that `srem` into a `urem`,
it might happen later than wanted, in particular i'd like
for that to happen on https://godbolt.org/z/bwuEmJ test case
early in pipeline, before first instcombine run, just before `-mem2reg`.
SCEV should recognize this case natively.
Reviewers: mkazantsev, efriedma, nikic, reames
Reviewed By: efriedma
Subscribers: clementval, hiraditya, javed.absar, llvm-commits
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D82721
Diffstat (limited to 'clang/lib/StaticAnalyzer/Checkers/StdLibraryFunctionsChecker.cpp')
0 files changed, 0 insertions, 0 deletions