ΒΆOptional<bool> isImpliedCondition(
    const llvm::Value* LHS,
    CmpInst::Predicate RHSPred,
    const llvm::Value* RHSOp0,
    const llvm::Value* RHSOp1,
    const llvm::DataLayout& DL,
    bool LHSIsTrue = true,
    unsigned int Depth = 0)

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

Parameters

const llvm::Value* LHS
CmpInst::Predicate RHSPred
const llvm::Value* RHSOp0
const llvm::Value* RHSOp1
const llvm::DataLayout& DL
bool LHSIsTrue = true
unsigned int Depth = 0