diff options
| author | Max Kazantsev <mkazantsev@azul.com> | 2020-10-01 15:58:31 +0700 |
|---|---|---|
| committer | Max Kazantsev <mkazantsev@azul.com> | 2020-10-01 17:09:38 +0700 |
| commit | 69acdfe075fa8eb18781f88f4d0cd1ea40fa6e48 (patch) | |
| tree | 3f9777a7ded37f490b452e57526b23158c6fb55c /llvm/lib/Object/SymbolicFile.cpp | |
| parent | 38f625d0d1360b035271422bab922d22ed04d79a (diff) | |
| download | llvm-69acdfe075fa8eb18781f88f4d0cd1ea40fa6e48.zip llvm-69acdfe075fa8eb18781f88f4d0cd1ea40fa6e48.tar.gz llvm-69acdfe075fa8eb18781f88f4d0cd1ea40fa6e48.tar.bz2 | |
[SCEV] Prove implicaitons via AddRec start
If we know that some predicate is true for AddRec and an invariant
(w.r.t. this AddRec's loop), this fact is, in particular, true on the first
iteration. We can try to prove the facts we need using the start value.
The motivating example is proving things like
```
isImpliedCondOperands(>=, X, 0, {X,+,-1}, 0}
```
Differential Revision: https://reviews.llvm.org/D88208
Reviewed By: reames
Diffstat (limited to 'llvm/lib/Object/SymbolicFile.cpp')
0 files changed, 0 insertions, 0 deletions