ΒΆOptional<bool> isImpliedByDomCondition(
    CmpInst::Predicate Pred,
    const llvm::Value* LHS,
    const llvm::Value* RHS,
    const llvm::Instruction* ContextI,
    const llvm::DataLayout& DL)

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

Parameters

CmpInst::Predicate Pred
const llvm::Value* LHS
const llvm::Value* RHS
const llvm::Instruction* ContextI
const llvm::DataLayout& DL