LLVM 24.0.0git
Public Types | Public Member Functions | Static Public Member Functions | Static Public Attributes | List of all members
llvm::KnownFPClass Class Reference

#include "llvm/Support/KnownFPClass.h"

Public Types

enum class  MinMaxKind {
  minimum , maximum , minimumnum , maximumnum ,
  minnum , maxnum
}

Public Member Functions

FPClassTest getKnownFPClasses () const
 Floating-point classes the value could be one of.
void setKnownFPClasses (FPClassTest Classes)
std::optional< bool > getSignBit () const
 std::nullopt if the sign bit is unknown, true if the sign bit is definitely set or false if the sign bit is definitely unset.
void setSignBit (std::optional< bool > Sign)
 KnownFPClass (FPClassMask Known=FPClassMask::kfcAllFlags)
 KnownFPClass (FPClassTest Known)
 KnownFPClass (FPClassTest Known, bool Sign)
LLVM_ABI KnownFPClass (const APFloat &C)
bool operator== (KnownFPClass Other) const
bool isKnownNever (FPClassMask Mask) const
 Return true if it's known this can never be one of the mask entries.
bool isKnownNever (FPClassTest Mask) const
 Return true if it's known this can never be one of the mask entries.
bool isKnownAlways (FPClassMask Mask) const
bool isKnownAlways (FPClassTest Mask) const
bool isUnknown () const
bool isKnownNeverNaN () const
 Return true if it's known this can never be a nan.
bool isKnownAlwaysNaN () const
 Return true if it's known this must always be a nan.
bool isKnownNeverInfinity () const
 Return true if it's known this can never be an infinity.
bool isKnownNeverInfOrNaN () const
 Return true if it's known this can never be an infinity or nan.
bool isKnownNeverPosInfinity () const
 Return true if it's known this can never be +infinity.
bool isKnownNeverNegInfinity () const
 Return true if it's known this can never be -infinity.
bool isKnownNeverSubnormal () const
 Return true if it's known this can never be a subnormal.
bool isKnownNeverPosSubnormal () const
 Return true if it's known this can never be a positive subnormal.
bool isKnownNeverNegSubnormal () const
 Return true if it's known this can never be a negative subnormal.
bool isKnownNeverZero () const
 Return true if it's known this can never be a zero.
bool isKnownNeverPosZero () const
 Return true if it's known this can never be a literal positive zero.
bool isKnownNeverNegZero () const
 Return true if it's known this can never be a negative zero.
LLVM_ABI bool isKnownNeverLogicalZero (DenormalMode Mode) const
 Return true if it's known this can never be interpreted as a zero.
LLVM_ABI bool isKnownNeverLogicalNegZero (DenormalMode Mode) const
 Return true if it's known this can never be interpreted as a negative zero.
LLVM_ABI bool isKnownNeverLogicalPosZero (DenormalMode Mode) const
 Return true if it's known this can never be interpreted as a positive zero.
bool cannotBeOrderedLessThanZero () const
 Return true if we can prove that the analyzed floating-point value is either NaN or never less than -0.0.
bool cannotBeOrderedGreaterThanZero () const
 Return true if we can prove that the analyzed floating-point value is either NaN or never greater than -0.0.
bool cannotBeOrderedLessEqZero (DenormalMode Mode) const
 Return true if it's known this can never be a positive value or a logical 0.
bool cannotBeOrderedGreaterEqZero (DenormalMode Mode) const
 Return true if it's know this can never be a negative value or a logical 0.
KnownFPClass intersectWith (const KnownFPClass &RHS) const
KnownFPClass unionWith (const KnownFPClass &RHS) const
KnownFPClass & operator|= (const KnownFPClass &RHS)
void knownNot (FPClassMask RuleOut)
void knownNot (FPClassTest RuleOut)
void fneg ()
void fabs ()
LLVM_ABI KnownBits toKnownBits (const fltSemantics &FltSemantics) const
 Report known bits for a float with provided semantics.
bool signBitIsZeroOrNaN () const
 Return true if the sign bit must be 0, ignoring the sign of nans.
void signBitMustBeZero ()
 Assume the sign bit is zero.
void signBitMustBeOne ()
 Assume the sign bit is one.
void copysign (const KnownFPClass &Sign)
void propagateNonSNaN (const KnownFPClass &Src)
void propagateNonSNaN (const KnownFPClass &LHS, const KnownFPClass &RHS)
void propagateNonNaN (const KnownFPClass &Src)
void propagateNonNaN (const KnownFPClass &LHS, const KnownFPClass &RHS)
void resetAll ()

Static Public Member Functions

static LLVM_ABI KnownFPClass applyInputDenormalMode (const KnownFPClass &Src, DenormalMode Mode)
 Return the known classes of Src after passing through an input that may flush subnormals to zero according to Mode.
static LLVM_ABI KnownFPClass applyOutputDenormalMode (const KnownFPClass &Src, DenormalMode Mode)
 Return the known classes of Src after producing an output that may flush subnormals to zero according to Mode.
static KnownFPClass fneg (const KnownFPClass &Src)
static KnownFPClass fabs (const KnownFPClass &Src)
static LLVM_ABI KnownFPClass minMaxLike (const KnownFPClass &LHS, const KnownFPClass &RHS, MinMaxKind Kind, DenormalMode DenormMode=DenormalMode::getDynamic())
static LLVM_ABI KnownFPClass canonicalize (const KnownFPClass &Src, DenormalMode DenormMode=DenormalMode::getDynamic())
 Apply the canonicalize intrinsic to this value.
static LLVM_ABI KnownFPClass bitcast (const fltSemantics &FltSemantics, const KnownBits &Bits)
 Report known values for a bitcast into a float with provided semantics.
static LLVM_ABI KnownFPClass fadd (const KnownFPClass &LHS, const KnownFPClass &RHS, DenormalMode Mode=DenormalMode::getDynamic())
 Report known values for fadd.
static LLVM_ABI KnownFPClass fadd_self (const KnownFPClass &Src, DenormalMode Mode=DenormalMode::getDynamic())
 Report known values for fadd x, x.
static LLVM_ABI KnownFPClass fsub (const KnownFPClass &LHS, const KnownFPClass &RHS, DenormalMode Mode=DenormalMode::getDynamic())
 Report known values for fsub.
static LLVM_ABI KnownFPClass fmul (const KnownFPClass &LHS, const KnownFPClass &RHS, DenormalMode Mode=DenormalMode::getDynamic())
 Report known values for fmul.
static KnownFPClass square (const KnownFPClass &Src, DenormalMode Mode=DenormalMode::getDynamic())
static LLVM_ABI KnownFPClass fmul (const KnownFPClass &LHS, const APFloat &RHS, DenormalMode Mode=DenormalMode::getDynamic())
static LLVM_ABI KnownFPClass fdiv (const KnownFPClass &LHS, const KnownFPClass &RHS, DenormalMode Mode=DenormalMode::getDynamic())
 Report known values for fdiv.
static LLVM_ABI KnownFPClass fdiv_self (const KnownFPClass &Src, DenormalMode Mode=DenormalMode::getDynamic())
 Report known values for fdiv x, x.
static LLVM_ABI KnownFPClass frem (const KnownFPClass &LHS, const KnownFPClass &RHS, DenormalMode Mode=DenormalMode::getDynamic())
 Report known values for frem.
static LLVM_ABI KnownFPClass frem_self (const KnownFPClass &Src, DenormalMode Mode=DenormalMode::getDynamic())
 Report known values for frem x, x.
static LLVM_ABI KnownFPClass fma (const KnownFPClass &LHS, const KnownFPClass &RHS, const KnownFPClass &Addend, DenormalMode Mode=DenormalMode::getDynamic())
 Report known values for fma.
static LLVM_ABI KnownFPClass fmuladd (const KnownFPClass &LHS, const KnownFPClass &RHS, const KnownFPClass &Addend, DenormalMode Mode=DenormalMode::getDynamic())
 Report known values for fmuladd.
static LLVM_ABI KnownFPClass fma_square (const KnownFPClass &Squared, const KnownFPClass &Addend, DenormalMode Mode=DenormalMode::getDynamic())
 Report known values for fma squared, squared, addend.
static LLVM_ABI KnownFPClass fmuladd_square (const KnownFPClass &Squared, const KnownFPClass &Addend, DenormalMode Mode=DenormalMode::getDynamic())
 Report known values for fmuladd squared, squared, addend.
static LLVM_ABI KnownFPClass sqrt (const KnownFPClass &Src, DenormalMode Mode=DenormalMode::getDynamic())
 Propagate known class for sqrt.
static LLVM_ABI KnownFPClass log (const KnownFPClass &Src, DenormalMode Mode, bool IsMultiUnitFPType)
 Propagate known class for log/log2/log10.
static LLVM_ABI KnownFPClass exp (const KnownFPClass &Src)
 Report known values for exp, exp2 and exp10.
static LLVM_ABI KnownFPClass sin (const KnownFPClass &Src)
 Report known values for sin.
static LLVM_ABI KnownFPClass cos (const KnownFPClass &Src)
 Report known values for cos.
static LLVM_ABI KnownFPClass tan (const KnownFPClass &Src)
 Report known values for tan.
static LLVM_ABI KnownFPClass sinh (const KnownFPClass &Src)
 Report known values for sinh.
static LLVM_ABI KnownFPClass cosh (const KnownFPClass &Src)
 Report known values for cosh.
static LLVM_ABI KnownFPClass tanh (const KnownFPClass &Src)
 Report known values for tanh.
static LLVM_ABI KnownFPClass asin (const KnownFPClass &Src)
 Report known values for asin.
static LLVM_ABI KnownFPClass acos (const KnownFPClass &Src)
 Report known values for acos.
static LLVM_ABI KnownFPClass atan (const KnownFPClass &Src)
 Report known values for atan.
static LLVM_ABI KnownFPClass atan2 (const KnownFPClass &LHS, const KnownFPClass &RHS, DenormalMode Mode=DenormalMode::getDynamic())
 Report known values for atan2.
static KnownFPClass copysign (const KnownFPClass &KnownMag, const KnownFPClass &KnownSign)
static LLVM_ABI KnownFPClass fpext (const KnownFPClass &KnownSrc, const fltSemantics &DstTy, const fltSemantics &SrcTy, DenormalMode DstMode, DenormalMode SrcMode)
 Propagate known class for fpext.
static LLVM_ABI KnownFPClass fptrunc (const KnownFPClass &KnownSrc, const fltSemantics &DstTy, const fltSemantics &SrcTy, DenormalMode DstMode, DenormalMode SrcMode)
 Propagate known class for fptrunc and fptrunc_round.
static LLVM_ABI KnownFPClass roundToIntegral (const KnownFPClass &Src, bool IsMultiUnitFPType, DenormalMode Mode=DenormalMode::getDynamic())
 Propagate known class for rounding intrinsics (rint, nearbyint, round, roundeven).
static LLVM_ABI KnownFPClass trunc (const KnownFPClass &Src, DenormalMode Mode=DenormalMode::getDynamic())
 Propagate known class for trunc.
static LLVM_ABI KnownFPClass floor (const KnownFPClass &Src, bool IsMultiUnitFPType, DenormalMode Mode=DenormalMode::getDynamic())
 Propagate known class for floor.
static LLVM_ABI KnownFPClass ceil (const KnownFPClass &Src, bool IsMultiUnitFPType, DenormalMode Mode=DenormalMode::getDynamic())
 Propagate known class for ceil.
static LLVM_ABI KnownFPClass frexp_mant (const KnownFPClass &Src, DenormalMode Mode=DenormalMode::getDynamic())
 Propagate known class for mantissa component of frexp.
static LLVM_ABI KnownFPClass ldexp (const KnownFPClass &Src, const APInt &ConstantRangeMin, const APInt &ConstantRangeMax, const fltSemantics &Flt, DenormalMode Mode=DenormalMode::getDynamic())
 Propagate known class for ldexp, assuming the exponent is known to be within [ConstantRangeMin, ConstantRangeMax].
static LLVM_ABI KnownFPClass ldexp (const KnownFPClass &Src, const KnownBits &ExpBits, const fltSemantics &Flt, DenormalMode Mode=DenormalMode::getDynamic())
static LLVM_ABI KnownFPClass pow (const KnownFPClass &LHS, const KnownFPClass &RHS)
 Propagate known class for pow.
static LLVM_ABI KnownFPClass powi (const KnownFPClass &Src, const KnownBits &N)
 Propagate known class for powi.

Static Public Attributes

static constexpr FPClassTest OrderedLessThanZeroMask
static constexpr FPClassTest OrderedGreaterThanZeroMask

Detailed Description

Definition at line 66 of file KnownFPClass.h.

Member Enumeration Documentation

◆ MinMaxKind

enum class llvm::KnownFPClass::MinMaxKind
strong
Enumerator
minimum 
maximum 
minimumnum 
maximumnum 
minnum 
maxnum 

Definition at line 428 of file KnownFPClass.h.

Constructor & Destructor Documentation

◆ KnownFPClass() [1/4]

llvm::KnownFPClass::KnownFPClass ( FPClassMask Known = FPClassMask::kfcAllFlags)
inline

Definition at line 208 of file KnownFPClass.h.

References llvm::kfcAllFlags, and llvm::Known.

Referenced by acos(), applyInputDenormalMode(), applyOutputDenormalMode(), asin(), atan(), atan2(), bitcast(), canonicalize(), ceil(), copysign(), copysign(), cos(), cosh(), exp(), fabs(), fadd(), fadd_self(), fdiv(), fdiv_self(), floor(), fma(), fma_square(), fmul(), fmul(), fmuladd(), fmuladd_square(), fneg(), fpext(), fptrunc(), frem(), frem_self(), frexp_mant(), fsub(), intersectWith(), KnownFPClass(), ldexp(), ldexp(), log(), minMaxLike(), operator==(), operator|=(), pow(), powi(), propagateNonNaN(), propagateNonNaN(), propagateNonSNaN(), propagateNonSNaN(), resetAll(), roundToIntegral(), sin(), sinh(), sqrt(), square(), tan(), tanh(), trunc(), and unionWith().

◆ KnownFPClass() [2/4]

llvm::KnownFPClass::KnownFPClass ( FPClassTest Known)
inline

Definition at line 210 of file KnownFPClass.h.

References llvm::Known.

◆ KnownFPClass() [3/4]

llvm::KnownFPClass::KnownFPClass ( FPClassTest Known,
bool Sign )
inline

Definition at line 211 of file KnownFPClass.h.

References llvm::Known.

◆ KnownFPClass() [4/4]

KnownFPClass::KnownFPClass ( const APFloat & C)

Definition at line 21 of file KnownFPClass.cpp.

References C(), and KnownFPClass().

Member Function Documentation

◆ acos()

KnownFPClass KnownFPClass::acos ( const KnownFPClass & Src)
static

Report known values for acos.

Definition at line 1022 of file KnownFPClass.cpp.

References llvm::fcInf, llvm::fcNegative, llvm::fcPosNormal, llvm::fcSubnormal, llvm::fcZero, isKnownNever(), llvm::Known, and KnownFPClass().

Referenced by computeKnownFPClass().

◆ applyInputDenormalMode()

KnownFPClass KnownFPClass::applyInputDenormalMode ( const KnownFPClass & Src,
DenormalMode Mode )
static

Return the known classes of Src after passing through an input that may flush subnormals to zero according to Mode.

Definition at line 24 of file KnownFPClass.cpp.

References llvm::fcNegSubnormal, llvm::fcNegZero, llvm::fcPosSubnormal, llvm::fcPosZero, llvm::fcSubnormal, getKnownFPClasses(), llvm::DenormalMode::IEEE, llvm::Known, KnownFPClass(), llvm_unreachable, llvm::DenormalMode::PositiveZero, and llvm::DenormalMode::PreserveSign.

Referenced by atan2(), fadd(), fadd_self(), fdiv(), fma(), fma_square(), fmul(), fpconvert(), fsub(), isKnownNeverLogicalNegZero(), isKnownNeverLogicalPosZero(), isKnownNeverLogicalZero(), ldexp(), and minMaxLike().

◆ applyOutputDenormalMode()

KnownFPClass KnownFPClass::applyOutputDenormalMode ( const KnownFPClass & Src,
DenormalMode Mode )
static

Return the known classes of Src after producing an output that may flush subnormals to zero according to Mode.

Definition at line 51 of file KnownFPClass.cpp.

References llvm::fcNegSubnormal, llvm::fcNegZero, llvm::fcPosSubnormal, llvm::fcPosZero, llvm::fcSubnormal, getKnownFPClasses(), llvm::DenormalMode::IEEE, llvm::Known, KnownFPClass(), llvm_unreachable, llvm::DenormalMode::PositiveZero, and llvm::DenormalMode::PreserveSign.

Referenced by atan2(), fadd(), fadd_self(), fdiv(), fma(), fma_square(), fmul(), fpconvert(), fsub(), ldexp(), and minMaxLike().

◆ asin()

KnownFPClass KnownFPClass::asin ( const KnownFPClass & Src)
static

Report known values for asin.

Definition at line 1002 of file KnownFPClass.cpp.

References llvm::fcInf, llvm::fcNegFinite, llvm::fcPosNormal, llvm::fcPosSubnormal, isKnownNever(), llvm::Known, and KnownFPClass().

Referenced by computeKnownFPClass().

◆ atan()

KnownFPClass KnownFPClass::atan ( const KnownFPClass & Src)
static

Report known values for atan.

Definition at line 1043 of file KnownFPClass.cpp.

References llvm::fcInf, llvm::fcNegInf, llvm::fcNegNormal, llvm::fcNegSubnormal, llvm::fcNegZero, llvm::fcPosInf, llvm::fcPosNormal, llvm::fcPosSubnormal, isKnownNever(), llvm::Known, and KnownFPClass().

Referenced by computeKnownFPClass().

◆ atan2()

KnownFPClass KnownFPClass::atan2 ( const KnownFPClass & LHS,
const KnownFPClass & RHS,
DenormalMode Mode = DenormalMode::getDynamic() )
static

Report known values for atan2.

Definition at line 1068 of file KnownFPClass.cpp.

References applyInputDenormalMode(), applyOutputDenormalMode(), llvm::fcInf, llvm::fcNegative, llvm::fcPositive, llvm::fcSubnormal, llvm::fcZero, isKnownNever(), llvm::Known, and KnownFPClass().

Referenced by computeKnownFPClass().

◆ bitcast()

KnownFPClass KnownFPClass::bitcast ( const fltSemantics & FltSemantics,
const KnownBits & Bits )
static

Report known values for a bitcast into a float with provided semantics.

Definition at line 220 of file KnownFPClass.cpp.

References assert(), llvm::BitWidth, llvm::fcInf, llvm::fcNan, llvm::fcNormal, llvm::fcQNan, llvm::fcSNan, llvm::fcSubnormal, llvm::fcZero, llvm::APInt::getBitsSet(), llvm::APInt::getLowBitsSet(), isZero(), llvm::Known, KnownFPClass(), llvm_unreachable, llvm::fltSemantics::precision, llvm::APFloatBase::S_BFloat, llvm::APFloatBase::S_IEEEdouble, llvm::APFloatBase::S_IEEEhalf, llvm::APFloatBase::S_IEEEquad, llvm::APFloatBase::S_IEEEsingle, llvm::APFloatBase::S_x87DoubleExtended, llvm::APFloatBase::SemanticsToEnum(), and llvm::fltSemantics::sizeInBits.

Referenced by computeKnownFPClass(), llvm::SelectionDAG::computeKnownFPClass(), and tryReduceF64CompareToHiHalf().

◆ cannotBeOrderedGreaterEqZero()

bool llvm::KnownFPClass::cannotBeOrderedGreaterEqZero ( DenormalMode Mode) const
inline

Return true if it's know this can never be a negative value or a logical 0. 

 NaN --> true

x >= -0 --> false nsub --> true if mode is ieee, false otherwise. x < -0 --> true

Definition at line 334 of file KnownFPClass.h.

References llvm::fcPositive, isKnownNever(), isKnownNeverLogicalNegZero(), and Mode.

Referenced by llvm::InstCombinerImpl::SimplifyDemandedUseFPClass().

◆ cannotBeOrderedGreaterThanZero()

bool llvm::KnownFPClass::cannotBeOrderedGreaterThanZero ( ) const
inline

Return true if we can prove that the analyzed floating-point value is either NaN or never greater than -0.0.

NaN --> true +0 --> true -0 --> true x > +0 --> false x < -0 --> true

Definition at line 312 of file KnownFPClass.h.

References isKnownNever(), and OrderedGreaterThanZeroMask.

Referenced by fadd_impl(), and ldexp().

◆ cannotBeOrderedLessEqZero()

bool llvm::KnownFPClass::cannotBeOrderedLessEqZero ( DenormalMode Mode) const
inline

Return true if it's known this can never be a positive value or a logical 0. 

 NaN --> true

x <= +0 --> false psub --> true if mode is ieee, false otherwise. x > +0 --> true

Definition at line 323 of file KnownFPClass.h.

References llvm::fcNegative, isKnownNever(), isKnownNeverLogicalPosZero(), and Mode.

◆ cannotBeOrderedLessThanZero()

bool llvm::KnownFPClass::cannotBeOrderedLessThanZero ( ) const
inline

Return true if we can prove that the analyzed floating-point value is either NaN or never less than -0.0. 

 NaN --> true
  +0 --> true
  -0 --> true

x > +0 --> true x < -0 --> false

Definition at line 301 of file KnownFPClass.h.

References isKnownNever(), and OrderedLessThanZeroMask.

Referenced by computeKnownFPClass(), fadd_impl(), ldexp(), log(), simplifyFCmpInst(), simplifyUnaryIntrinsic(), and sqrt().

◆ canonicalize()

KnownFPClass KnownFPClass::canonicalize ( const KnownFPClass & Src,
DenormalMode DenormMode = DenormalMode::getDynamic() )
static

Apply the canonicalize intrinsic to this value.

Definition at line 168 of file KnownFPClass.cpp.

References llvm::fcNan, llvm::fcNegSubnormal, llvm::fcNegZero, llvm::fcPosSubnormal, llvm::fcPosZero, llvm::fcQNan, llvm::fcSNan, llvm::fcSubnormal, llvm::fcZero, llvm::DenormalMode::getIEEE(), getKnownFPClasses(), llvm::DenormalMode::getPreserveSign(), llvm::DenormalMode::IEEE, llvm::DenormalMode::Input, llvm::DenormalMode::inputsAreZero(), isKnownNever(), isKnownNeverNaN(), llvm::Known, KnownFPClass(), llvm::DenormalMode::Output, llvm::DenormalMode::outputsAreZero(), and llvm::DenormalMode::PositiveZero.

Referenced by computeKnownFPClass(), and llvm::InstCombinerImpl::SimplifyDemandedUseFPClass().

◆ ceil()

KnownFPClass KnownFPClass::ceil ( const KnownFPClass & Src,
bool IsMultiUnitFPType,
DenormalMode Mode = DenormalMode::getDynamic() )
static

Propagate known class for ceil.

IsMultiUnitFPType if this is for a multi-unit floating-point type.

Definition at line 1290 of file KnownFPClass.cpp.

References llvm::fcNegInf, isKnownNeverNegInfinity(), llvm::Known, KnownFPClass(), and roundToIntegral().

Referenced by computeKnownFPClass(), and llvm::InstCombinerImpl::SimplifyDemandedUseFPClass().

◆ copysign() [1/2]

KnownFPClass llvm::KnownFPClass::copysign ( const KnownFPClass & KnownMag,
const KnownFPClass & KnownSign )
inlinestatic

Definition at line 610 of file KnownFPClass.h.

References llvm::Known, and KnownFPClass().

◆ copysign() [2/2]

void llvm::KnownFPClass::copysign ( const KnownFPClass & Sign)
inline

Definition at line 587 of file KnownFPClass.h.

References getSignBit(), llvm::kfcInf, llvm::kfcNegSignBit, llvm::kfcNone, llvm::kfcNormal, llvm::kfcPosSignBit, llvm::kfcQNan, llvm::kfcSNan, llvm::kfcSubnormal, llvm::kfcZero, and KnownFPClass().

Referenced by llvm::InstCombinerImpl::SimplifyDemandedUseFPClass(), and llvm::InstCombinerImpl::SimplifyMultipleUseDemandedFPClass().

◆ cos()

KnownFPClass KnownFPClass::cos ( const KnownFPClass & Src)
static

Report known values for cos.

Definition at line 928 of file KnownFPClass.cpp.

References KnownFPClass(), and sin().

Referenced by computeKnownFPClass().

◆ cosh()

KnownFPClass KnownFPClass::cosh ( const KnownFPClass & Src)
static

Report known values for cosh.

Definition at line 965 of file KnownFPClass.cpp.

References llvm::fcNegative, llvm::fcSubnormal, llvm::fcZero, llvm::Known, and KnownFPClass().

Referenced by computeKnownFPClass().

◆ exp()

KnownFPClass KnownFPClass::exp ( const KnownFPClass & Src)
static

Report known values for exp, exp2 and exp10.

This function assumes that exp10(-1.0) = +0.1 and exp10(+1.0) = +10.0 are both finite normal values, which holds for formats with a corresponding LLVM IR type (e.g. does not hold for Float4E2M1FN).

Definition at line 843 of file KnownFPClass.cpp.

References llvm::fcNegative, llvm::fcNegInf, llvm::fcNegNormal, llvm::fcPosInf, llvm::fcPosNormal, llvm::fcPosSubnormal, llvm::fcPosZero, isKnownNever(), llvm::Known, and KnownFPClass().

Referenced by computeKnownFPClass(), and llvm::InstCombinerImpl::SimplifyDemandedUseFPClass().

◆ fabs() [1/2]

void llvm::KnownFPClass::fabs ( )
inline

Definition at line 402 of file KnownFPClass.h.

References llvm::kfcInf, llvm::kfcNone, llvm::kfcNormal, llvm::kfcPosInf, llvm::kfcPosNormal, llvm::kfcPosQNan, llvm::kfcPosSNan, llvm::kfcPosSubnormal, llvm::kfcPosZero, llvm::kfcQNan, llvm::kfcSNan, llvm::kfcSubnormal, llvm::kfcZero, and llvm::Known.

Referenced by simplifyDemandedFPClassFabs(), and simplifyDemandedFPClassFnegFabs().

◆ fabs() [2/2]

KnownFPClass llvm::KnownFPClass::fabs ( const KnownFPClass & Src)
inlinestatic

Definition at line 421 of file KnownFPClass.h.

References llvm::Known, and KnownFPClass().

◆ fadd()

KnownFPClass KnownFPClass::fadd ( const KnownFPClass & LHS,
const KnownFPClass & RHS,
DenormalMode Mode = DenormalMode::getDynamic() )
static

Report known values for fadd.

Definition at line 539 of file KnownFPClass.cpp.

References applyInputDenormalMode(), applyOutputDenormalMode(), fadd_impl(), llvm::Known, and KnownFPClass().

Referenced by computeKnownFPClass(), fmuladd(), fmuladd_square(), and llvm::InstCombinerImpl::SimplifyDemandedUseFPClass().

◆ fadd_self()

KnownFPClass KnownFPClass::fadd_self ( const KnownFPClass & Src,
DenormalMode Mode = DenormalMode::getDynamic() )
static

Report known values for fadd x, x.

Definition at line 550 of file KnownFPClass.cpp.

References applyInputDenormalMode(), applyOutputDenormalMode(), fadd_impl(), llvm::fcNegSubnormal, llvm::fcPosSubnormal, llvm::fcPosZero, isKnownNever(), llvm::Known, and KnownFPClass().

Referenced by computeKnownFPClass(), and llvm::InstCombinerImpl::SimplifyDemandedUseFPClass().

◆ fdiv()

KnownFPClass KnownFPClass::fdiv ( const KnownFPClass & LHS,
const KnownFPClass & RHS,
DenormalMode Mode = DenormalMode::getDynamic() )
static

Report known values for fdiv.

Definition at line 652 of file KnownFPClass.cpp.

References applyInputDenormalMode(), applyOutputDenormalMode(), llvm::fcFinite, llvm::fcInf, llvm::fcNan, llvm::fcNegative, llvm::fcNegNormal, llvm::fcNegSubnormal, llvm::fcNormal, llvm::fcPositive, llvm::fcPosNormal, llvm::fcPosSubnormal, llvm::fcSubnormal, llvm::fcZero, isKnownAlways(), isKnownNever(), isKnownNeverInfinity(), isKnownNeverNaN(), isKnownNeverZero(), llvm::Known, and KnownFPClass().

Referenced by computeKnownFPClass(), and llvm::InstCombinerImpl::SimplifyDemandedUseFPClass().

◆ fdiv_self()

KnownFPClass KnownFPClass::fdiv_self ( const KnownFPClass & Src,
DenormalMode Mode = DenormalMode::getDynamic() )
static

Report known values for fdiv x, x.

Definition at line 704 of file KnownFPClass.cpp.

References llvm::fcNan, llvm::fcPosNormal, isKnownNeverInfOrNaN(), isKnownNeverLogicalZero(), llvm::Known, and KnownFPClass().

Referenced by computeKnownFPClass().

◆ floor()

KnownFPClass KnownFPClass::floor ( const KnownFPClass & Src,
bool IsMultiUnitFPType,
DenormalMode Mode = DenormalMode::getDynamic() )
static

Propagate known class for floor.

IsMultiUnitFPType if this is for a multi-unit floating-point type.

Definition at line 1279 of file KnownFPClass.cpp.

References llvm::fcPosInf, isKnownNeverPosInfinity(), llvm::Known, KnownFPClass(), and roundToIntegral().

Referenced by computeKnownFPClass(), and llvm::InstCombinerImpl::SimplifyDemandedUseFPClass().

◆ fma()

KnownFPClass KnownFPClass::fma ( const KnownFPClass & LHS,
const KnownFPClass & RHS,
const KnownFPClass & Addend,
DenormalMode Mode = DenormalMode::getDynamic() )
static

Report known values for fma.

Definition at line 776 of file KnownFPClass.cpp.

References applyInputDenormalMode(), applyOutputDenormalMode(), fadd_impl(), llvm::fcSNan, fmul(), llvm::DenormalMode::getIEEE(), isKnownNever(), llvm::Known, KnownFPClass(), and llvm::Mul.

Referenced by computeKnownFPClass(), fmuladd(), and llvm::InstCombinerImpl::SimplifyDemandedUseFPClass().

◆ fma_square()

KnownFPClass KnownFPClass::fma_square ( const KnownFPClass & Squared,
const KnownFPClass & Addend,
DenormalMode Mode = DenormalMode::getDynamic() )
static

Report known values for fma squared, squared, addend.

Definition at line 812 of file KnownFPClass.cpp.

References applyInputDenormalMode(), applyOutputDenormalMode(), fadd_impl(), llvm::fcNan, llvm::fcNegInf, llvm::DenormalMode::getIEEE(), isKnownNever(), llvm::Known, KnownFPClass(), and square().

Referenced by computeKnownFPClass(), fmuladd_square(), and llvm::InstCombinerImpl::SimplifyDemandedUseFPClass().

◆ fmul() [1/2]

KnownFPClass KnownFPClass::fmul ( const KnownFPClass & LHS,
const APFloat & RHS,
DenormalMode Mode = DenormalMode::getDynamic() )
static

Definition at line 624 of file KnownFPClass.cpp.

References llvm::APFloatBase::cmpEqual, llvm::APFloat::compareAbsoluteValue(), llvm::fcInf, llvm::fcSubnormal, fmul(), llvm::APFloat::getOne(), llvm::APFloat::getSemantics(), llvm::ilogb(), isKnownNever(), llvm::Known, KnownFPClass(), and llvm::APFloatBase::semanticsPrecision().

◆ fmul() [2/2]

KnownFPClass KnownFPClass::fmul ( const KnownFPClass & LHS,
const KnownFPClass & RHS,
DenormalMode Mode = DenormalMode::getDynamic() )
static

Report known values for fmul.

Definition at line 583 of file KnownFPClass.cpp.

References applyInputDenormalMode(), applyOutputDenormalMode(), llvm::fcInf, llvm::fcNan, llvm::fcNegative, llvm::fcNormal, llvm::fcPositive, llvm::fcSubnormal, llvm::fcZero, isKnownAlways(), isKnownNever(), isKnownNeverInfinity(), isKnownNeverNaN(), isKnownNeverZero(), llvm::Known, and KnownFPClass().

Referenced by computeKnownFPClass(), fma(), fmul(), fmuladd(), llvm::InstCombinerImpl::SimplifyDemandedUseFPClass(), and square().

◆ fmuladd()

KnownFPClass KnownFPClass::fmuladd ( const KnownFPClass & LHS,
const KnownFPClass & RHS,
const KnownFPClass & Addend,
DenormalMode Mode = DenormalMode::getDynamic() )
static

Report known values for fmuladd.

Definition at line 801 of file KnownFPClass.cpp.

References fadd(), fma(), fmul(), and KnownFPClass().

Referenced by computeKnownFPClass().

◆ fmuladd_square()

KnownFPClass KnownFPClass::fmuladd_square ( const KnownFPClass & Squared,
const KnownFPClass & Addend,
DenormalMode Mode = DenormalMode::getDynamic() )
static

Report known values for fmuladd squared, squared, addend.

Definition at line 835 of file KnownFPClass.cpp.

References fadd(), fma_square(), KnownFPClass(), and square().

Referenced by computeKnownFPClass().

◆ fneg() [1/2]

void llvm::KnownFPClass::fneg ( )
inline

Definition at line 365 of file KnownFPClass.h.

References llvm::kfcNegInf, llvm::kfcNegNormal, llvm::kfcNegQNan, llvm::kfcNegSNan, llvm::kfcNegSubnormal, llvm::kfcNegZero, llvm::kfcNone, llvm::kfcPosInf, llvm::kfcPosNormal, llvm::kfcPosQNan, llvm::kfcPosSNan, llvm::kfcPosSubnormal, llvm::kfcPosZero, and llvm::Known.

Referenced by fsub(), and simplifyDemandedFPClassFnegFabs().

◆ fneg() [2/2]

KnownFPClass llvm::KnownFPClass::fneg ( const KnownFPClass & Src)
inlinestatic

Definition at line 396 of file KnownFPClass.h.

References llvm::Known, and KnownFPClass().

◆ fpext()

KnownFPClass KnownFPClass::fpext ( const KnownFPClass & KnownSrc,
const fltSemantics & DstTy,
const fltSemantics & SrcTy,
DenormalMode DstMode,
DenormalMode SrcMode )
static

Propagate known class for fpext.

DstMode and SrcMode are the denormal modes of the destination and source types.

Definition at line 1207 of file KnownFPClass.cpp.

References fpconvert(), getConvertDenormalMode(), and KnownFPClass().

Referenced by computeKnownFPClass(), and llvm::InstCombinerImpl::SimplifyDemandedUseFPClass().

◆ fptrunc()

KnownFPClass KnownFPClass::fptrunc ( const KnownFPClass & KnownSrc,
const fltSemantics & DstTy,
const fltSemantics & SrcTy,
DenormalMode DstMode,
DenormalMode SrcMode )
static

Propagate known class for fptrunc and fptrunc_round.

DstMode and SrcMode are the denormal modes of the destination and source types.

Definition at line 1220 of file KnownFPClass.cpp.

References fpconvert(), getConvertDenormalMode(), and KnownFPClass().

Referenced by computeKnownFPClassForFPTrunc(), and simplifyDemandedUseFPClassFPTrunc().

◆ frem()

KnownFPClass KnownFPClass::frem ( const KnownFPClass & LHS,
const KnownFPClass & RHS,
DenormalMode Mode = DenormalMode::getDynamic() )
static

Report known values for frem.

Definition at line 717 of file KnownFPClass.cpp.

References llvm::fcInf, llvm::fcNan, llvm::fcNegFinite, llvm::fcNegNormal, llvm::fcNegSubnormal, llvm::fcNegZero, llvm::fcPosFinite, llvm::fcPosNormal, llvm::fcPosSubnormal, llvm::fcPosZero, isKnownNever(), isKnownNeverInfOrNaN(), isKnownNeverLogicalPosZero(), isKnownNeverLogicalZero(), isKnownNeverNaN(), llvm::Known, and KnownFPClass().

Referenced by computeKnownFPClass().

◆ frem_self()

KnownFPClass KnownFPClass::frem_self ( const KnownFPClass & Src,
DenormalMode Mode = DenormalMode::getDynamic() )
static

Report known values for frem x, x.

Definition at line 755 of file KnownFPClass.cpp.

References llvm::fcNan, llvm::fcNegNormal, llvm::fcNegSubnormal, llvm::fcNegZero, llvm::fcPosNormal, llvm::fcPosSubnormal, llvm::fcPosZero, llvm::fcZero, isKnownNever(), isKnownNeverInfOrNaN(), isKnownNeverLogicalZero(), llvm::Known, and KnownFPClass().

Referenced by computeKnownFPClass().

◆ frexp_mant()

KnownFPClass KnownFPClass::frexp_mant ( const KnownFPClass & Src,
DenormalMode Mode = DenormalMode::getDynamic() )
static

Propagate known class for mantissa component of frexp.

Definition at line 1301 of file KnownFPClass.cpp.

References llvm::fcNegInf, llvm::fcNegNormal, llvm::fcNegSubnormal, llvm::fcNegZero, llvm::fcPosInf, llvm::fcPosNormal, llvm::fcPosSubnormal, llvm::fcPosZero, llvm::fcSubnormal, isKnownNever(), isKnownNeverLogicalNegZero(), isKnownNeverLogicalPosZero(), isKnownNeverNegInfinity(), isKnownNeverPosInfinity(), llvm::Known, and KnownFPClass().

Referenced by computeKnownFPClass(), and llvm::InstCombinerImpl::SimplifyDemandedUseFPClass().

◆ fsub()

KnownFPClass KnownFPClass::fsub ( const KnownFPClass & LHS,
const KnownFPClass & RHS,
DenormalMode Mode = DenormalMode::getDynamic() )
static

Report known values for fsub.

Definition at line 568 of file KnownFPClass.cpp.

References applyInputDenormalMode(), applyOutputDenormalMode(), fadd_impl(), fneg(), llvm::Known, and KnownFPClass().

Referenced by computeKnownFPClass(), and llvm::InstCombinerImpl::SimplifyDemandedUseFPClass().

◆ getKnownFPClasses()

FPClassTest llvm::KnownFPClass::getKnownFPClasses ( ) const
inline

Floating-point classes the value could be one of.

Definition at line 163 of file KnownFPClass.h.

Referenced by applyInputDenormalMode(), applyOutputDenormalMode(), canonicalize(), computeKnownFPClass(), ldexp(), minMaxLike(), printGISelValueTracking(), simplifyDemandedFPClassMinMax(), and toKnownBits().

◆ getSignBit()

std::optional< bool > llvm::KnownFPClass::getSignBit ( ) const
inline

std::nullopt if the sign bit is unknown, true if the sign bit is definitely set or false if the sign bit is definitely unset.

By convention, returns false for kfcNone/poison.

Definition at line 172 of file KnownFPClass.h.

References llvm::kfcNegSignBit, llvm::kfcNone, and llvm::kfcPosSignBit.

Referenced by computeKnownFPClass(), copysign(), printGISelValueTracking(), simplifyDemandedFPClassCopysignMag(), simplifyDemandedFPClassFabs(), simplifyDemandedFPClassFnegFabs(), llvm::InstCombinerImpl::SimplifyDemandedUseFPClass(), llvm::InstCombinerImpl::SimplifyMultipleUseDemandedFPClass(), simplifyUnaryIntrinsic(), and toKnownBits().

◆ intersectWith()

KnownFPClass llvm::KnownFPClass::intersectWith ( const KnownFPClass & RHS) const
inline

Definition at line 348 of file KnownFPClass.h.

References KnownFPClass(), and RHS.

Referenced by llvm::SelectionDAG::computeKnownFPClass(), llvm::InstCombinerImpl::SimplifyDemandedUseFPClass(), and llvm::InstCombinerImpl::SimplifyMultipleUseDemandedFPClass().

◆ isKnownAlways() [1/2]

bool llvm::KnownFPClass::isKnownAlways ( FPClassMask Mask) const
inline

Definition at line 229 of file KnownFPClass.h.

References isKnownNever().

Referenced by fdiv(), fmul(), isKnownAlways(), isKnownAlwaysNaN(), simplifyDemandedFPClassCopysignMag(), and llvm::InstCombinerImpl::SimplifyDemandedUseFPClass().

◆ isKnownAlways() [2/2]

bool llvm::KnownFPClass::isKnownAlways ( FPClassTest Mask) const
inline

Definition at line 231 of file KnownFPClass.h.

References isKnownAlways().

◆ isKnownAlwaysNaN()

bool llvm::KnownFPClass::isKnownAlwaysNaN ( ) const
inline

Return true if it's known this must always be a nan.

Definition at line 241 of file KnownFPClass.h.

References llvm::fcNan, and isKnownAlways().

Referenced by simplifyFCmpInst().

◆ isKnownNever() [1/2]

bool llvm::KnownFPClass::isKnownNever ( FPClassMask Mask) const
inline

Return true if it's known this can never be one of the mask entries.

Definition at line 220 of file KnownFPClass.h.

References llvm::kfcNone.

Referenced by acos(), addNoUndefAttrs(), asin(), atan(), atan2(), cannotBeOrderedGreaterEqZero(), cannotBeOrderedGreaterThanZero(), cannotBeOrderedLessEqZero(), cannotBeOrderedLessThanZero(), canonicalize(), computeKnownBitsFromOperator(), computeKnownFPClass(), exp(), fadd_impl(), fadd_self(), fdiv(), fma(), fma_square(), fmul(), fmul(), foldFPtoI(), fpconvert(), frem(), frem_self(), frexp_mant(), isKnownAlways(), isKnownNever(), isKnownNeverInfinity(), isKnownNeverInfOrNaN(), llvm::GISelValueTracking::isKnownNeverNaN(), isKnownNeverNaN(), isKnownNeverNegInfinity(), isKnownNeverNegSubnormal(), isKnownNeverNegZero(), isKnownNeverPosInfinity(), isKnownNeverPosSubnormal(), isKnownNeverPosZero(), isKnownNeverSubnormal(), isKnownNeverZero(), ldexp(), pow(), powi(), roundToIntegral(), signBitIsZeroOrNaN(), simplifyDemandedFPClassFabs(), simplifyDemandedFPClassFnegFabs(), simplifyDemandedFPClassMinMax(), llvm::InstCombinerImpl::SimplifyDemandedUseFPClass(), llvm::InstCombinerImpl::SimplifyMultipleUseDemandedFPClass(), simplifyX86FPMaxMin(), sinh(), tanh(), and toKnownBits().

◆ isKnownNever() [2/2]

bool llvm::KnownFPClass::isKnownNever ( FPClassTest Mask) const
inline

Return true if it's known this can never be one of the mask entries.

Definition at line 225 of file KnownFPClass.h.

References isKnownNever().

◆ isKnownNeverInfinity()

bool llvm::KnownFPClass::isKnownNeverInfinity ( ) const
inline

Return true if it's known this can never be an infinity.

Definition at line 244 of file KnownFPClass.h.

References llvm::fcInf, and isKnownNever().

Referenced by fdiv(), fmul(), inferFastMathValueFlags(), sin(), and tan().

◆ isKnownNeverInfOrNaN()

bool llvm::KnownFPClass::isKnownNeverInfOrNaN ( ) const
inline

Return true if it's known this can never be an infinity or nan.

Definition at line 247 of file KnownFPClass.h.

References llvm::fcInf, llvm::fcNan, and isKnownNever().

Referenced by llvm::GCNTTIImpl::canSimplifyLegacyMulToMul(), llvm::computeConstantRange(), computeKnownFPClass(), fdiv_self(), frem(), frem_self(), and llvm::InstCombinerImpl::SimplifyDemandedUseFPClass().

◆ isKnownNeverLogicalNegZero()

bool KnownFPClass::isKnownNeverLogicalNegZero ( DenormalMode Mode) const

Return true if it's known this can never be interpreted as a negative zero.

Definition at line 82 of file KnownFPClass.cpp.

References applyInputDenormalMode(), and isKnownNeverNegZero().

Referenced by cannotBeOrderedGreaterEqZero(), computeKnownFPClass(), frexp_mant(), llvm::InstCombinerImpl::SimplifyDemandedUseFPClass(), and sqrt().

◆ isKnownNeverLogicalPosZero()

bool KnownFPClass::isKnownNeverLogicalPosZero ( DenormalMode Mode) const

Return true if it's known this can never be interpreted as a positive zero.

Definition at line 86 of file KnownFPClass.cpp.

References applyInputDenormalMode(), and isKnownNeverPosZero().

Referenced by cannotBeOrderedLessEqZero(), computeKnownFPClass(), frem(), frexp_mant(), and llvm::InstCombinerImpl::SimplifyDemandedUseFPClass().

◆ isKnownNeverLogicalZero()

bool KnownFPClass::isKnownNeverLogicalZero ( DenormalMode Mode) const

Return true if it's known this can never be interpreted as a zero.

This extends isKnownNeverZero to cover the case where the assumed floating-point mode for the function interprets denormals as zero.

Definition at line 78 of file KnownFPClass.cpp.

References applyInputDenormalMode(), and isKnownNeverZero().

Referenced by llvm::GCNTTIImpl::canSimplifyLegacyMulToMul(), llvm::computeConstantRange(), fdiv_self(), frem(), frem_self(), log(), and llvm::InstCombinerImpl::SimplifyDemandedUseFPClass().

◆ isKnownNeverNaN()

bool llvm::KnownFPClass::isKnownNeverNaN ( ) const
inline

Return true if it's known this can never be a nan.

Definition at line 238 of file KnownFPClass.h.

References llvm::fcNan, and isKnownNever().

Referenced by canonicalize(), computeKnownFPClass(), fadd_impl(), fdiv(), fmul(), llvm::InstCombinerImpl::foldSelectIntoOp(), frem(), inferFastMathValueFlags(), llvm::GISelValueTracking::isKnownNeverNaN(), log(), minMaxLike(), pow(), llvm::InstCombinerImpl::SimplifyDemandedUseFPClass(), simplifyFCmpInst(), simplifyUnaryIntrinsic(), sin(), sqrt(), tan(), and tryReduceF64CompareToHiHalf().

◆ isKnownNeverNegInfinity()

bool llvm::KnownFPClass::isKnownNeverNegInfinity ( ) const
inline

Return true if it's known this can never be -infinity.

Definition at line 253 of file KnownFPClass.h.

References llvm::fcNegInf, and isKnownNever().

Referenced by ceil(), frexp_mant(), ldexp(), roundToIntegral(), and trunc().

◆ isKnownNeverNegSubnormal()

bool llvm::KnownFPClass::isKnownNeverNegSubnormal ( ) const
inline

Return true if it's known this can never be a negative subnormal.

Definition at line 262 of file KnownFPClass.h.

References llvm::fcNegSubnormal, and isKnownNever().

Referenced by ldexp().

◆ isKnownNeverNegZero()

bool llvm::KnownFPClass::isKnownNeverNegZero ( ) const
inline

Return true if it's known this can never be a negative zero.

This means a literal -0 and does not include denormal inputs implicitly treated as -0.

Definition at line 273 of file KnownFPClass.h.

References llvm::fcNegZero, and isKnownNever().

Referenced by isKnownNeverLogicalNegZero(), ldexp(), and tanh().

◆ isKnownNeverPosInfinity()

bool llvm::KnownFPClass::isKnownNeverPosInfinity ( ) const
inline

Return true if it's known this can never be +infinity.

Definition at line 250 of file KnownFPClass.h.

References llvm::fcPosInf, and isKnownNever().

Referenced by computeKnownFPClass(), floor(), frexp_mant(), ldexp(), log(), roundToIntegral(), sqrt(), and trunc().

◆ isKnownNeverPosSubnormal()

bool llvm::KnownFPClass::isKnownNeverPosSubnormal ( ) const
inline

Return true if it's known this can never be a positive subnormal.

Definition at line 259 of file KnownFPClass.h.

References llvm::fcPosSubnormal, and isKnownNever().

Referenced by ldexp().

◆ isKnownNeverPosZero()

bool llvm::KnownFPClass::isKnownNeverPosZero ( ) const
inline

Return true if it's known this can never be a literal positive zero.

Definition at line 269 of file KnownFPClass.h.

References llvm::fcPosZero, and isKnownNever().

Referenced by isKnownNeverLogicalPosZero(), and ldexp().

◆ isKnownNeverSubnormal()

bool llvm::KnownFPClass::isKnownNeverSubnormal ( ) const
inline

Return true if it's known this can never be a subnormal.

Definition at line 256 of file KnownFPClass.h.

References llvm::fcSubnormal, and isKnownNever().

Referenced by llvm::computeConstantRange(), and llvm::InstCombinerImpl::SimplifyDemandedUseFPClass().

◆ isKnownNeverZero()

bool llvm::KnownFPClass::isKnownNeverZero ( ) const
inline

Return true if it's known this can never be a zero.

This means a literal [+-]0, and does not include denormal inputs implicitly treated as [+-]0.

Definition at line 266 of file KnownFPClass.h.

References llvm::fcZero, and isKnownNever().

Referenced by fdiv(), fmul(), isKnownNeverLogicalZero(), and llvm::LegalizerHelper::lowerFMinimumMaximum().

◆ isUnknown()

bool llvm::KnownFPClass::isUnknown ( ) const
inline

Definition at line 235 of file KnownFPClass.h.

References llvm::kfcAllFlags.

Referenced by llvm::adjustKnownFPClassForSelectArm(), computeKnownFPClass(), llvm::SelectionDAG::computeKnownFPClass(), and llvm::InstCombinerImpl::SimplifyMultipleUseDemandedFPClass().

◆ knownNot() [1/2]

void llvm::KnownFPClass::knownNot ( FPClassMask RuleOut)
inline

Definition at line 361 of file KnownFPClass.h.

Referenced by computeKnownFPClass(), computeKnownFPClassFromCond(), propagateNonNaN(), propagateNonNaN(), propagateNonSNaN(), propagateNonSNaN(), simplifyDemandedFPClassFabs(), simplifyDemandedFPClassFnegFabs(), llvm::InstCombinerImpl::SimplifyDemandedUseFPClass(), and llvm::InstCombinerImpl::SimplifyMultipleUseDemandedFPClass().

◆ knownNot() [2/2]

void llvm::KnownFPClass::knownNot ( FPClassTest RuleOut)
inline

Definition at line 363 of file KnownFPClass.h.

References knownNot().

Referenced by knownNot().

◆ ldexp() [1/2]

KnownFPClass KnownFPClass::ldexp ( const KnownFPClass & Src,
const APInt & ConstantRangeMin,
const APInt & ConstantRangeMax,
const fltSemantics & Flt,
DenormalMode Mode = DenormalMode::getDynamic() )
static

Propagate known class for ldexp, assuming the exponent is known to be within [ConstantRangeMin, ConstantRangeMax].

Definition at line 1332 of file KnownFPClass.cpp.

References applyInputDenormalMode(), applyOutputDenormalMode(), cannotBeOrderedGreaterThanZero(), cannotBeOrderedLessThanZero(), llvm::fcNan, llvm::fcNegative, llvm::fcNegInf, llvm::fcNegSubnormal, llvm::fcNegZero, llvm::fcPosInf, llvm::fcPositive, llvm::fcPosSubnormal, llvm::fcPosZero, llvm::fcSubnormal, getKnownFPClasses(), isKnownNever(), isKnownNeverNegInfinity(), isKnownNeverNegSubnormal(), isKnownNeverNegZero(), isKnownNeverPosInfinity(), isKnownNeverPosSubnormal(), isKnownNeverPosZero(), llvm::APInt::isNonNegative(), llvm::APInt::isNonPositive(), llvm::APInt::isZero(), llvm::Known, KnownFPClass(), OrderedGreaterThanZeroMask, OrderedLessThanZeroMask, llvm::APFloatBase::PPCDoubleDouble(), llvm::APFloatBase::semanticsPrecision(), and llvm::APInt::sge().

Referenced by computeKnownFPClass(), ldexp(), and llvm::InstCombinerImpl::SimplifyDemandedUseFPClass().

◆ ldexp() [2/2]

KnownFPClass KnownFPClass::ldexp ( const KnownFPClass & Src,
const KnownBits & ExpBits,
const fltSemantics & Flt,
DenormalMode Mode = DenormalMode::getDynamic() )
static

Definition at line 1390 of file KnownFPClass.cpp.

References llvm::KnownBits::getSignedMaxValue(), llvm::KnownBits::getSignedMinValue(), KnownFPClass(), and ldexp().

◆ log()

KnownFPClass KnownFPClass::log ( const KnownFPClass & Src,
DenormalMode Mode,
bool IsMultiUnitFPType )
static

Propagate known class for log/log2/log10.

IsMultiUnitFPType if this is for a multi-unit floating-point type.

Definition at line 867 of file KnownFPClass.cpp.

References cannotBeOrderedLessThanZero(), llvm::fcNan, llvm::fcNegInf, llvm::fcNegZero, llvm::fcPosInf, llvm::fcSubnormal, isKnownNeverLogicalZero(), isKnownNeverNaN(), isKnownNeverPosInfinity(), llvm::Known, and KnownFPClass().

Referenced by computeKnownFPClass(), and llvm::InstCombinerImpl::SimplifyDemandedUseFPClass().

◆ minMaxLike()

KnownFPClass KnownFPClass::minMaxLike ( const KnownFPClass & LHS,
const KnownFPClass & RHS,
MinMaxKind Kind,
DenormalMode DenormMode = DenormalMode::getDynamic() )
static

Definition at line 90 of file KnownFPClass.cpp.

References applyInputDenormalMode(), applyOutputDenormalMode(), llvm::fcNan, getKnownFPClasses(), isKnownNeverNaN(), llvm::Known, KnownFPClass(), maximum, maximumnum, maxnum, minimum, minimumnum, minnum, llvm::orderedStrictlyGreater(), and llvm::orderedStrictlyLess().

Referenced by computeKnownFPClass(), and simplifyDemandedFPClassMinMax().

◆ operator==()

bool llvm::KnownFPClass::operator== ( KnownFPClass Other) const
inline

Definition at line 215 of file KnownFPClass.h.

References KnownFPClass(), and llvm::Other.

◆ operator|=()

KnownFPClass & llvm::KnownFPClass::operator|= ( const KnownFPClass & RHS)
inline

Definition at line 356 of file KnownFPClass.h.

References KnownFPClass(), and RHS.

◆ pow()

KnownFPClass KnownFPClass::pow ( const KnownFPClass & LHS,
const KnownFPClass & RHS )
static

Propagate known class for pow.

Definition at line 1397 of file KnownFPClass.cpp.

References llvm::fcNan, llvm::fcNegative, llvm::fcNegInf, llvm::fcNegNormal, llvm::fcNegSubnormal, llvm::fcNegZero, llvm::fcPosNormal, isKnownNever(), isKnownNeverNaN(), llvm::Known, and KnownFPClass().

Referenced by computeKnownFPClass().

◆ powi()

KnownFPClass KnownFPClass::powi ( const KnownFPClass & Src,
const KnownBits & N )
static

Propagate known class for powi.

Definition at line 1439 of file KnownFPClass.cpp.

References llvm::fcInf, llvm::fcNan, llvm::fcNegative, llvm::fcNegInf, llvm::fcNegNormal, llvm::fcNegSubnormal, llvm::fcNegZero, llvm::fcNormal, llvm::fcPosNormal, llvm::fcSNan, llvm::fcSubnormal, llvm::fcZero, llvm::KnownBits::getSignedMaxValue(), llvm::KnownBits::getSignedMinValue(), llvm::KnownBits::isEven(), isKnownNever(), llvm::APInt::isNegative(), llvm::KnownBits::isNegative(), llvm::KnownBits::isNonNegative(), llvm::APInt::isStrictlyPositive(), llvm::APInt::isZero(), llvm::KnownBits::isZero(), llvm::Known, KnownFPClass(), llvm::APInt::sgt(), llvm::APInt::slt(), and llvm::KnownBits::Zero.

Referenced by computeKnownFPClass().

◆ propagateNonNaN() [1/2]

void llvm::KnownFPClass::propagateNonNaN ( const KnownFPClass & LHS,
const KnownFPClass & RHS )
inline

Definition at line 638 of file KnownFPClass.h.

References llvm::fcNan, KnownFPClass(), knownNot(), LHS, propagateNonSNaN(), and RHS.

◆ propagateNonNaN() [2/2]

void llvm::KnownFPClass::propagateNonNaN ( const KnownFPClass & Src)
inline

Definition at line 632 of file KnownFPClass.h.

References llvm::fcNan, KnownFPClass(), knownNot(), and propagateNonSNaN().

◆ propagateNonSNaN() [1/2]

void llvm::KnownFPClass::propagateNonSNaN ( const KnownFPClass & LHS,
const KnownFPClass & RHS )
inline

Definition at line 624 of file KnownFPClass.h.

References llvm::fcSNan, KnownFPClass(), knownNot(), LHS, and RHS.

◆ propagateNonSNaN() [2/2]

void llvm::KnownFPClass::propagateNonSNaN ( const KnownFPClass & Src)
inline

Definition at line 618 of file KnownFPClass.h.

References llvm::fcSNan, KnownFPClass(), and knownNot().

Referenced by propagateNonNaN(), and propagateNonNaN().

◆ resetAll()

void llvm::KnownFPClass::resetAll ( )
inline

Definition at line 708 of file KnownFPClass.h.

References KnownFPClass().

◆ roundToIntegral()

KnownFPClass KnownFPClass::roundToIntegral ( const KnownFPClass & Src,
bool IsMultiUnitFPType,
DenormalMode Mode = DenormalMode::getDynamic() )
static

Propagate known class for rounding intrinsics (rint, nearbyint, round, roundeven).

IsMultiUnitFPType if this is for a multi-unit floating-point type.

Definition at line 1229 of file KnownFPClass.cpp.

References llvm::fcNegFinite, llvm::fcNegInf, llvm::fcNegNormal, llvm::fcNegSubnormal, llvm::fcNegZero, llvm::fcPosFinite, llvm::fcPosInf, llvm::fcPosNormal, llvm::fcPosSubnormal, llvm::fcPosZero, llvm::fcSubnormal, isKnownNever(), isKnownNeverNegInfinity(), isKnownNeverPosInfinity(), llvm::Known, and KnownFPClass().

Referenced by ceil(), computeKnownFPClass(), floor(), llvm::InstCombinerImpl::SimplifyDemandedUseFPClass(), and trunc().

◆ setKnownFPClasses()

void llvm::KnownFPClass::setKnownFPClasses ( FPClassTest Classes)
inline

Definition at line 165 of file KnownFPClass.h.

◆ setSignBit()

void llvm::KnownFPClass::setSignBit ( std::optional< bool > Sign)
inline

Definition at line 184 of file KnownFPClass.h.

References llvm::kfcInf, llvm::kfcNegSignBit, llvm::kfcNone, llvm::kfcNormal, llvm::kfcPosSignBit, llvm::kfcQNan, llvm::kfcSNan, llvm::kfcSubnormal, and llvm::kfcZero.

◆ signBitIsZeroOrNaN()

bool llvm::KnownFPClass::signBitIsZeroOrNaN ( ) const
inline

Return true if the sign bit must be 0, ignoring the sign of nans.

Definition at line 579 of file KnownFPClass.h.

References llvm::fcNegative, and isKnownNever().

Referenced by llvm::AMDGPUTargetLowering::lowerFPOW().

◆ signBitMustBeOne()

void llvm::KnownFPClass::signBitMustBeOne ( )
inline

Assume the sign bit is one.

Definition at line 585 of file KnownFPClass.h.

References llvm::kfcNegSignBit.

Referenced by computeKnownFPClassFromCond().

◆ signBitMustBeZero()

void llvm::KnownFPClass::signBitMustBeZero ( )
inline

Assume the sign bit is zero.

Definition at line 582 of file KnownFPClass.h.

References llvm::kfcPosSignBit.

Referenced by computeKnownFPClassFromCond().

◆ sin()

KnownFPClass KnownFPClass::sin ( const KnownFPClass & Src)
static

Report known values for sin.

Definition at line 915 of file KnownFPClass.cpp.

References llvm::fcInf, llvm::fcNan, isKnownNeverInfinity(), isKnownNeverNaN(), llvm::Known, and KnownFPClass().

Referenced by computeKnownFPClass(), and cos().

◆ sinh()

KnownFPClass KnownFPClass::sinh ( const KnownFPClass & Src)
static

Report known values for sinh.

Definition at line 947 of file KnownFPClass.cpp.

References llvm::fcNegative, llvm::fcPosInf, llvm::fcPosNormal, llvm::fcPosSubnormal, isKnownNever(), llvm::Known, and KnownFPClass().

Referenced by computeKnownFPClass().

◆ sqrt()

KnownFPClass KnownFPClass::sqrt ( const KnownFPClass & Src,
DenormalMode Mode = DenormalMode::getDynamic() )
static

Propagate known class for sqrt.

Definition at line 890 of file KnownFPClass.cpp.

References cannotBeOrderedLessThanZero(), llvm::fcNan, llvm::fcNegInf, llvm::fcNegNormal, llvm::fcNegSubnormal, llvm::fcNegZero, llvm::fcPosInf, llvm::fcPosSubnormal, isKnownNeverLogicalNegZero(), isKnownNeverNaN(), isKnownNeverPosInfinity(), llvm::Known, and KnownFPClass().

Referenced by computeKnownFPClass(), and llvm::InstCombinerImpl::SimplifyDemandedUseFPClass().

◆ square()

KnownFPClass llvm::KnownFPClass::square ( const KnownFPClass & Src,
DenormalMode Mode = DenormalMode::getDynamic() )
inlinestatic

Definition at line 474 of file KnownFPClass.h.

References llvm::fcNegative, fmul(), llvm::DenormalMode::getDynamic(), llvm::Known, KnownFPClass(), and Mode.

Referenced by computeKnownFPClass(), fma_square(), fmuladd_square(), and llvm::InstCombinerImpl::SimplifyDemandedUseFPClass().

◆ tan()

KnownFPClass KnownFPClass::tan ( const KnownFPClass & Src)
static

Report known values for tan.

Definition at line 932 of file KnownFPClass.cpp.

References llvm::fcInf, llvm::fcNan, isKnownNeverInfinity(), isKnownNeverNaN(), llvm::Known, and KnownFPClass().

Referenced by computeKnownFPClass().

◆ tanh()

KnownFPClass KnownFPClass::tanh ( const KnownFPClass & Src)
static

Report known values for tanh.

Definition at line 977 of file KnownFPClass.cpp.

References llvm::fcInf, llvm::fcNegInf, llvm::fcNegNormal, llvm::fcNegSubnormal, llvm::fcNegZero, llvm::fcPosInf, llvm::fcPosNormal, llvm::fcPosSubnormal, isKnownNever(), isKnownNeverNegZero(), llvm::Known, and KnownFPClass().

Referenced by computeKnownFPClass().

◆ toKnownBits()

KnownBits KnownFPClass::toKnownBits ( const fltSemantics & FltSemantics) const

Report known bits for a float with provided semantics.

Definition at line 381 of file KnownFPClass.cpp.

References llvm::BitWidth, llvm::APInt::clearBit(), llvm::fcInf, llvm::fcNan, llvm::fcNone, llvm::fcNormal, llvm::fcQNan, llvm::fcSNan, llvm::fcSubnormal, llvm::fcZero, llvm::APInt::getBitsSet(), llvm::APFloat::getInf(), getKnownFPClasses(), llvm::APInt::getLowBitsSet(), getSignBit(), llvm::APInt::getZero(), isKnownNever(), llvm::Known, llvm_unreachable, llvm::KnownBits::makeConstant(), llvm::fltSemantics::precision, llvm::APFloatBase::S_BFloat, llvm::APFloatBase::S_IEEEdouble, llvm::APFloatBase::S_IEEEhalf, llvm::APFloatBase::S_IEEEquad, llvm::APFloatBase::S_IEEEsingle, llvm::APFloatBase::S_x87DoubleExtended, llvm::APFloatBase::SemanticsToEnum(), and llvm::fltSemantics::sizeInBits.

◆ trunc()

KnownFPClass KnownFPClass::trunc ( const KnownFPClass & Src,
DenormalMode Mode = DenormalMode::getDynamic() )
static

Propagate known class for trunc.

Definition at line 1266 of file KnownFPClass.cpp.

References llvm::fcNegInf, llvm::fcPosInf, isKnownNeverNegInfinity(), isKnownNeverPosInfinity(), llvm::Known, KnownFPClass(), and roundToIntegral().

Referenced by computeKnownFPClass(), and llvm::InstCombinerImpl::SimplifyDemandedUseFPClass().

◆ unionWith()

KnownFPClass llvm::KnownFPClass::unionWith ( const KnownFPClass & RHS) const
inline

Definition at line 352 of file KnownFPClass.h.

References KnownFPClass(), and RHS.

Referenced by llvm::adjustKnownFPClassForSelectArm().

Member Data Documentation

◆ OrderedGreaterThanZeroMask

FPClassTest llvm::KnownFPClass::OrderedGreaterThanZeroMask
staticconstexpr
Initial value:
=
fcPosSubnormal | fcPosNormal | fcPosInf

Definition at line 290 of file KnownFPClass.h.

Referenced by cannotBeOrderedGreaterThanZero(), fadd_impl(), ldexp(), and simplifyDemandedFPClassFnegFabs().

◆ OrderedLessThanZeroMask

FPClassTest llvm::KnownFPClass::OrderedLessThanZeroMask
staticconstexpr
Initial value:
=
fcNegSubnormal | fcNegNormal | fcNegInf

Definition at line 288 of file KnownFPClass.h.

Referenced by llvm::cannotBeOrderedLessThanZero(), cannotBeOrderedLessThanZero(), computeKnownFPClass(), computeKnownFPClassForFPTrunc(), fadd_impl(), ldexp(), simplifyDemandedFPClassFabs(), llvm::InstCombinerImpl::SimplifyDemandedUseFPClass(), and simplifyFCmpInst().

The documentation for this class was generated from the following files:
Generated on for LLVM by doxygen 1.14.0