diff options
| author | Max Kazantsev <mkazantsev@azul.com> | 2021-10-15 11:01:28 +0700 |
|---|---|---|
| committer | Max Kazantsev <mkazantsev@azul.com> | 2021-10-15 11:49:18 +0700 |
| commit | 90ae538cab4b0535450b079244241424ff90711c (patch) | |
| tree | 2ca4e7abea32c9c4a3787c4090a13f90df5dc48f /llvm/lib/Transforms/Utils/LoopUnrollRuntime.cpp | |
| parent | 9e9b0f462146e91570f8a4d86611d737f65b0404 (diff) | |
| download | llvm-90ae538cab4b0535450b079244241424ff90711c.zip llvm-90ae538cab4b0535450b079244241424ff90711c.tar.gz llvm-90ae538cab4b0535450b079244241424ff90711c.tar.bz2 | |
[SCEV] Prove implication of predicates to their sign-flipped counterparts
This patch teaches SCEV two implication rules:
x <u y && y >=s 0 --> x <s y,
x <s y && y <s 0 --> x <u y.
And all equivalents with signs/parts swapped.
Differential Revision: https://reviews.llvm.org/D110517
Reviewed By: nikic
Diffstat (limited to 'llvm/lib/Transforms/Utils/LoopUnrollRuntime.cpp')
0 files changed, 0 insertions, 0 deletions