¶bool isGuaranteedToExecuteForEveryIteration(
    const llvm::Instruction* I,
    const llvm::Loop* L)

Description

Return true if this function can prove that the instruction I is executed for every iteration of the loop L. Note that this currently only considers the loop header.

Declared at: llvm/include/llvm/Analysis/ValueTracking.h:615

Parameters

const llvm::Instruction* I

const llvm::Loop* L