llvm::isImpliedByDomCondition

Synopses

Declared in <llvm/Analysis/ValueTracking.h>

Return the boolean condition value in the context of the given instruction if it is known based on dominating conditions.

std::optional<bool>
isImpliedByDomCondition(
    Value const* Cond,
    Instruction const* ContextI,
    DataLayout const& DL);

» more...

Return whether a compare is known from dominating conditions at ContextI.

std::optional<bool>
isImpliedByDomCondition(
    CmpPredicate Pred,
    Value const* LHS,
    Value const* RHS,
    Instruction const* ContextI,
    DataLayout const& DL);

» more...

Return Value

Known boolean value of Cond, or nullopt if unknown.
Known boolean value of the compare, or nullopt if unknown.

Parameters

Name	Description
Cond	Boolean condition to evaluate in context.
ContextI	Instruction providing the dominating-condition context.
DL	Data layout used by the implication analysis.
Pred	Predicate of the compare to evaluate.
LHS	Left-hand operand of the compare.
RHS	Right-hand operand of the compare.