diff options
| author | Max Kazantsev <mkazantsev@azul.com> | 2021-09-20 11:26:33 +0700 |
|---|---|---|
| committer | Max Kazantsev <mkazantsev@azul.com> | 2021-09-20 11:26:33 +0700 |
| commit | def15c5fb6a117c1b6d8b2835f6760f814410582 (patch) | |
| tree | bb92e68ed62814e901d6fbd099e65f61bf82145d /clang/lib/Frontend/CreateInvocationFromCommandLine.cpp | |
| parent | cb42bb355061235f1c4190c8a35e59e4cfb15163 (diff) | |
| download | llvm-def15c5fb6a117c1b6d8b2835f6760f814410582.zip llvm-def15c5fb6a117c1b6d8b2835f6760f814410582.tar.gz llvm-def15c5fb6a117c1b6d8b2835f6760f814410582.tar.bz2 | |
[SCEV] Support negative values in signed/unsigned predicate reasoning
There is a piece of logic that uses the fact that signed and unsigned
versions of the same predicate are equivalent when both values are
non-negative. It's also true when both of them are negative.
Differential Revision: https://reviews.llvm.org/D109957
Reviewed By: nikic
Diffstat (limited to 'clang/lib/Frontend/CreateInvocationFromCommandLine.cpp')
0 files changed, 0 insertions, 0 deletions