fcmpImpliesClass overloads

Synopses

Declared in <llvm/Analysis/FloatingPointPredicateUtils.h>

Compute the floating‐point classes implied for LHS by an fcmp against a class mask.

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

» more...

Compute the floating‐point classes implied for LHS by an fcmp against a constant.

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

» more...

Compute the floating‐point classes implied for LHS by an fcmp against a value.

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

  • Tuple of (tested value, classes if true, classes if false) implied by the fcmp.

  • { TestedValue, ClassesIfTrue, ClassesIfFalse }

Parameters

Name

Description

Pred

FCmp predicate of the compare.

F

Function providing denormal mode for the operands.

LHS

Left‐hand operand of the compare.

RHSClass

Known floating‐point class of the right‐hand operand.

LookThroughSrc

Whether to look through sign‐bit operations on LHS.

ConstRHS

Constant right‐hand operand of the compare.

RHS

Right‐hand operand of the compare.

MF

Machine function providing context for the compare.

Created with MrDocs