diff options
| author | Sanjoy Das <sanjoy@playingwithpointers.com> | 2016-05-10 00:31:49 +0000 |
|---|---|---|
| committer | Sanjoy Das <sanjoy@playingwithpointers.com> | 2016-05-10 00:31:49 +0000 |
| commit | 2512d0c8375d43b2d55e6c10f28f6c82c746269d (patch) | |
| tree | 3430a3b64128d7546c783ae37c0c9b6400140cef /llvm/lib/Analysis/ScalarEvolutionExpander.cpp | |
| parent | ca3802bc01bbf1eae3cc44e0c58ad2ebe333d03b (diff) | |
| download | llvm-2512d0c8375d43b2d55e6c10f28f6c82c746269d.zip llvm-2512d0c8375d43b2d55e6c10f28f6c82c746269d.tar.gz llvm-2512d0c8375d43b2d55e6c10f28f6c82c746269d.tar.bz2 | |
[SCEV] Use guards to prove predicates
We can use calls to @llvm.experimental.guard to prove predicates,
relying on the fact that in all locations domianted by a call to
@llvm.experimental.guard the predicate it is guarding is known to be
true.
llvm-svn: 268997
Diffstat (limited to 'llvm/lib/Analysis/ScalarEvolutionExpander.cpp')
0 files changed, 0 insertions, 0 deletions