Compute the possible floating‐point classes that LHS could be based on fcmp Pred LHS, RHS.

Synopses

Declared in <llvm/Analysis/FloatingPointPredicateUtils.h>

std::tuple<Value*, FPClassTest, FPClassTest>
fcmpImpliesClass(
    CmpInst::Predicate Pred,
    Function const& F,
    Value* LHS,
    FPClassTest RHSClass,
    bool LookThroughSrc = true);

» more...

std::tuple<Value*, FPClassTest, FPClassTest>
fcmpImpliesClass(
    CmpInst::Predicate Pred,
    Function const& F,
    Value* LHS,
    APFloat const& ConstRHS,
    bool LookThroughSrc = true);

» more...

std::tuple<Value*, FPClassTest, FPClassTest>
fcmpImpliesClass(
    CmpInst::Predicate Pred,
    Function const& F,
    Value* LHS,
    Value* RHS,
    bool LookThroughSrc = true);

» more...

Compute the possible floating‐point classes that LHS could be based on fcmp Pred LHS, RHS.

std::tuple<Register, FPClassTest, FPClassTest>
fcmpImpliesClass(
    CmpInst::Predicate Pred,
    MachineFunction const& MF,
    Register LHS,
    Register RHS,
    bool LookThroughSrc = true);

» more...

Return Value

{ TestedValue, ClassesIfTrue, ClassesIfFalse }

Created with MrDocs