| commit | cbda428c365eb501f11292870bee26d514a0e002 | [log] [tgz] |
|---|---|---|
| author | Sanjoy Das <sanjoy@playingwithpointers.com> | Tue May 10 00:31:49 2016 +0000 |
| committer | Sanjoy Das <sanjoy@playingwithpointers.com> | Tue May 10 00:31:49 2016 +0000 |
| tree | 25ca08972c39c83fccc391325dbd391d016d25de | |
| parent | e598f97f6c933b38107facfd7ad561b2ccf0a675 [diff] |
[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. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@268997 91177308-0d34-0410-b5e6-96231b3b80d8