llvm::isImpliedCondition

Synopses

Declared in <llvm/Analysis/ValueTracking.h>

Return whether RHS is implied true or false by LHS, if known.

std::optional<bool>
isImpliedCondition(
    Value const* LHS,
    Value const* RHS,
    DataLayout const& DL,
    bool LHSIsTrue = true,
    unsigned int Depth = 0);

» more...

Return whether a compare is implied true or false by LHS, if known.

std::optional<bool>
isImpliedCondition(
    Value const* LHS,
    CmpPredicate RHSPred,
    Value const* RHSOp0,
    Value const* RHSOp1,
    DataLayout const& DL,
    bool LHSIsTrue = true,
    unsigned int Depth = 0);

» more...

Return Value

True/false if implied, or nullopt if unknown.

Parameters

Name	Description
LHS	Condition assumed true or false according to `LHSIsTrue.`
RHS	Condition whose implication from `LHS` is tested.
DL	Data layout used by the implication analysis.
LHSIsTrue	Whether `LHS` is assumed true (vs false).
Depth	Current recursion depth for this query.
RHSPred	Predicate of the right-hand compare.
RHSOp0	Left operand of the right-hand compare.
RHSOp1	Right operand of the right-hand compare.