#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.
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 KnownFPClass	getEmpty ()
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 419 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(), getEmpty(), 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 1037 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(), fdiv_self(), fma(), fma_square(), fmul(), fpconvert(), frem(), frem_self(), frexp_mant(), fsub(), isKnownNeverLogicalNegZero(), isKnownNeverLogicalPosZero(), isKnownNeverLogicalZero(), ldexp(), log(), 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(), frem(), fsub(), ldexp(), log(), and minMaxLike().

◆ asin()

KnownFPClass KnownFPClass::asin ( const KnownFPClass & Src )

static

Report known values for asin.

Definition at line 1017 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 1058 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 1083 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 325 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 303 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 314 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 292 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.

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 1305 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 601 of file KnownFPClass.h.

References llvm::Known, and KnownFPClass().

◆ copysign() [2/2]

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

inline

Definition at line 578 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 943 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 980 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 856 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 393 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 412 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 664 of file KnownFPClass.cpp.

References applyInputDenormalMode(), applyOutputDenormalMode(), llvm::fcInf, llvm::fcNan, llvm::fcNegative, llvm::fcNegInf, llvm::fcNegNormal, llvm::fcNegSubnormal, llvm::fcNegZero, llvm::fcPosInf, llvm::fcPositive, llvm::fcPosNormal, llvm::fcPosSubnormal, llvm::fcPosZero, llvm::fcZero, isKnownAlways(), isKnownNever(), isKnownNeverInfinity(), isKnownNeverNaN(), 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 715 of file KnownFPClass.cpp.

References applyInputDenormalMode(), llvm::fcNan, llvm::fcPosNormal, llvm::fcZero, isKnownNever(), isKnownNeverInfOrNaN(), 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 1294 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 789 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 825 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 636 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::fcNegInf, llvm::fcNegNormal, llvm::fcNegSubnormal, llvm::fcNegZero, llvm::fcPosInf, llvm::fcPositive, llvm::fcPosNormal, llvm::fcPosSubnormal, llvm::fcPosZero, llvm::fcZero, isKnownAlways(), isKnownNever(), isKnownNeverInfinity(), isKnownNeverNaN(), 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 814 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 848 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 356 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 387 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 1222 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 1235 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 731 of file KnownFPClass.cpp.

References applyInputDenormalMode(), applyOutputDenormalMode(), llvm::fcInf, llvm::fcNan, llvm::fcNegFinite, llvm::fcNegNormal, llvm::fcNegSubnormal, llvm::fcNegZero, llvm::fcPosFinite, llvm::fcPosNormal, llvm::fcPosSubnormal, llvm::fcPosZero, llvm::fcZero, isKnownNever(), isKnownNeverInfOrNaN(), 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 767 of file KnownFPClass.cpp.

References applyInputDenormalMode(), llvm::fcNan, llvm::fcNegNormal, llvm::fcNegSubnormal, llvm::fcNegZero, llvm::fcPosNormal, llvm::fcPosSubnormal, llvm::fcPosZero, llvm::fcZero, isKnownNever(), isKnownNeverInfOrNaN(), 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 1316 of file KnownFPClass.cpp.

References applyInputDenormalMode(), llvm::fcNegInf, llvm::fcNegNormal, llvm::fcNegSubnormal, llvm::fcNegZero, llvm::fcPosInf, llvm::fcPosNormal, llvm::fcPosSubnormal, llvm::fcPosZero, llvm::fcSubnormal, isKnownNever(), 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().

◆ getEmpty()

KnownFPClass llvm::KnownFPClass::getEmpty ( )

inlinestatic

Definition at line 215 of file KnownFPClass.h.

References llvm::kfcNone, and KnownFPClass().

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

◆ 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 339 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 231 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 233 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 243 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 222 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(), fdiv_self(), fma(), fma_square(), fmul(), fmul(), foldFPtoI(), fpconvert(), frem(), frem_self(), frexp_mant(), isKnownAlways(), isKnownNever(), isKnownNeverInfinity(), isKnownNeverInfOrNaN(), isKnownNeverLogicalNegZero(), isKnownNeverLogicalPosZero(), isKnownNeverLogicalZero(), llvm::GISelValueTracking::isKnownNeverNaN(), isKnownNeverNaN(), isKnownNeverNegInfinity(), isKnownNeverNegSubnormal(), isKnownNeverPosInfinity(), isKnownNeverPosSubnormal(), isKnownNeverSubnormal(), ldexp(), log(), llvm::LegalizerHelper::lowerFMinimumMaximum(), 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 227 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 246 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 249 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(), llvm::fcNegZero, and isKnownNever().

Referenced by cannotBeOrderedGreaterEqZero(), computeKnownFPClass(), 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(), llvm::fcPosZero, and isKnownNever().

Referenced by cannotBeOrderedLessEqZero(), computeKnownFPClass(), 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 isKnownNever(fcZero) 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(), llvm::fcZero, and isKnownNever().

Referenced by llvm::GCNTTIImpl::canSimplifyLegacyMulToMul(), llvm::computeConstantRange(), 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 240 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 255 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 264 of file KnownFPClass.h.

References llvm::fcNegSubnormal, and isKnownNever().

Referenced by ldexp().

◆ isKnownNeverPosInfinity()

bool llvm::KnownFPClass::isKnownNeverPosInfinity ( ) const

inline

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

Definition at line 252 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 261 of file KnownFPClass.h.

References llvm::fcPosSubnormal, and isKnownNever().

Referenced by ldexp().

◆ isKnownNeverSubnormal()

bool llvm::KnownFPClass::isKnownNeverSubnormal ( ) const

inline

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

Definition at line 258 of file KnownFPClass.h.

References llvm::fcSubnormal, and isKnownNever().

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

◆ isUnknown()

bool llvm::KnownFPClass::isUnknown ( ) const

inline

Definition at line 237 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 352 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 354 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 1343 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(), isKnownNeverPosInfinity(), isKnownNeverPosSubnormal(), 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 1401 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 880 of file KnownFPClass.cpp.

References applyInputDenormalMode(), applyOutputDenormalMode(), cannotBeOrderedLessThanZero(), llvm::fcNan, llvm::fcNegInf, llvm::fcNegZero, llvm::fcPosInf, llvm::fcSubnormal, llvm::fcZero, isKnownNever(), 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() )