¶bool isValidAssumeForContext(
    const llvm::Instruction* I,
    const llvm::Instruction* CxtI,
    const llvm::DominatorTree* DT = nullptr)

Description

Return true if it is valid to use the assumptions provided by an assume intrinsic, I, at the point in the control-flow identified by the context instruction, CxtI.

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

Parameters

const llvm::Instruction* I

const llvm::Instruction* CxtI

const llvm::DominatorTree* DT = nullptr