Returns true if we can prove that S is defined and always positive in loop L.

Synopsis

Declared in <llvm/Transforms/Utils/LoopUtils.h>

bool
isKnownPositiveInLoop(
    SCEV const* S,
    Loop const* L,
    ScalarEvolution& SE);

Return Value

True if S is defined and always positive in L.

Parameters

Name

Description

S

SCEV expression to classify.

L

Loop in which S is evaluated.

SE

ScalarEvolution used for the proof.

Created with MrDocs