llvm::isKnownPositiveInLoop

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);

Parameters

Name

Description

This class represents an analyzed expression in the program. These are opaque objects that the client is not allowed to do much with directly.

Represents a single loop in the control flow graph. Note that not all SCCs in the CFG are necessarily loops.

The main scalar evolution driver. Because client code (intentionally) can't do much with the SCEV objects directly, they must ask this class for services.

Created with MrDocs