ΒΆbool isKnownNonNegativeInLoop(
    const llvm::SCEV* S,
    const llvm::Loop* L,
    llvm::ScalarEvolution& SE)

Description

Returns true if we can prove that \p S is defined and always non-negative in loop \p L.

Declared at: llvm/include/llvm/Transforms/Utils/LoopUtils.h:427

Parameters

const llvm::SCEV* S
const llvm::Loop* L
llvm::ScalarEvolution& SE