Skip to content
Commit 2512d0c8 authored by Sanjoy Das's avatar Sanjoy Das
Browse files

[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
parent ca3802bc
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment