Returns true if we can prove that S is defined and always non-negative in loop L.
Declared in <llvm/Transforms/Utils/LoopUtils.h>
bool
isKnownNonNegativeInLoop(
SCEV const* S,
Loop const* L,
ScalarEvolution& SE);True if S is defined and always non-negative in L.
| Name | Description |
|---|---|
| S | SCEV expression to classify. |
| L | Loop in which S is evaluated. |
| SE | ScalarEvolution used for the proof. |