#include "llvm/Support/KnownFPClass.h"

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

Public Member Functions
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 (FPClassTest Known=fcAllFlags, std::optional< bool > Sign={})
LLVM_ABI	KnownFPClass (const APFloat &C)
bool	operator== (KnownFPClass Other) const
bool	isKnownNever (FPClassTest Mask) const
	Return true if it's known this can never be one of the mask entries.
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 (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	propagateXorSign (const KnownFPClass &LHS, const KnownFPClass &RHS)
LLVM_ABI void	propagateDenormal (const KnownFPClass &Src, DenormalMode Mode)
	Propagate knowledge from a source value that could be a denormal or zero.
LLVM_ABI void	propagateCanonicalizingSrc (const KnownFPClass &Src, DenormalMode Mode)
	Report known classes if `Src` is evaluated through a potentially canonicalizing operation.
void	resetAll ()

Static Public Member Functions
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	fma_square (const KnownFPClass &Squared, const KnownFPClass &Addend, DenormalMode Mode=DenormalMode::getDynamic())
	Report known values for fma 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=DenormalMode::getDynamic())
	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)
	Propagate known class for fpext.
static LLVM_ABI KnownFPClass	fptrunc (const KnownFPClass &KnownSrc)
	Propagate known class for fptrunc.
static LLVM_ABI KnownFPClass	roundToIntegral (const KnownFPClass &Src, bool IsTrunc, bool IsMultiUnitFPType)
	Propagate known class for rounding intrinsics (trunc, floor, ceil, rint, nearbyint, round, roundeven).
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.

Public Attributes
FPClassTest	KnownFPClasses = fcAllFlags
	Floating-point classes the value could be one of.
std::optional< bool >	SignBitValue

Static Public Attributes
static constexpr FPClassTest	OrderedLessThanZeroMask
static constexpr FPClassTest	OrderedGreaterThanZeroMask

Detailed Description

Definition at line 27 of file KnownFPClass.h.

Member Enumeration Documentation

◆ MinMaxKind

enum class llvm::KnownFPClass::MinMaxKind

strong

Enumerator
minimum
maximum
minimumnum
maximumnum
minnum
maxnum

Definition at line 229 of file KnownFPClass.h.

Constructor & Destructor Documentation

◆ KnownFPClass() [1/2]

llvm::KnownFPClass::KnownFPClass	(	FPClassTest	Known = fcAllFlags,
		std::optional< bool >	Sign = {} )

inline

Definition at line 39 of file KnownFPClass.h.

References llvm::fcAllFlags, and llvm::Known.

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

◆ KnownFPClass() [2/2]

KnownFPClass::KnownFPClass ( const APFloat & C )

Definition at line 21 of file KnownFPClass.cpp.

References C(), KnownFPClasses, and setSignBit().

Member Function Documentation

◆ acos()

KnownFPClass KnownFPClass::acos ( const KnownFPClass & Src )

static

Report known values for acos.

Definition at line 746 of file KnownFPClass.cpp.

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

Referenced by computeKnownFPClass().

◆ asin()

KnownFPClass KnownFPClass::asin ( const KnownFPClass & Src )

static

Report known values for asin.

Definition at line 729 of file KnownFPClass.cpp.

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

Referenced by computeKnownFPClass().

◆ atan()

KnownFPClass KnownFPClass::atan ( const KnownFPClass & Src )

static

Report known values for atan.

Definition at line 767 of file KnownFPClass.cpp.

References llvm::fcInf, llvm::fcNegative, 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 782 of file KnownFPClass.cpp.

References llvm::fcInf, llvm::fcPositive, llvm::fcSubnormal, llvm::fcZero, isKnownNever(), isKnownNeverLogicalPosZero(), 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 233 of file KnownFPClass.cpp.

References assert(), llvm::fcInf, llvm::fcNan, llvm::fcNormal, llvm::fcQNan, llvm::fcSNan, llvm::fcSubnormal, llvm::fcZero, llvm::APInt::getBitsSet(), llvm::APInt::getLowBitsSet(), llvm::APFloatBase::isIEEELikeFP(), isZero(), llvm::Known, KnownFPClass(), llvm::fltSemantics::precision, 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 156 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 134 of file KnownFPClass.h.

References isKnownNever(), and OrderedGreaterThanZeroMask.

Referenced by exp(), fadd_impl(), frem(), 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 145 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 123 of file KnownFPClass.h.

References isKnownNever(), and OrderedLessThanZeroMask.

Referenced by computeKnownFPClass(), exp(), fadd_impl(), fptrunc(), frem(), 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.

This is essentially a stronger form of propagateCanonicalizingSrc.

Definition at line 177 of file KnownFPClass.cpp.

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

◆ copysign() [1/2]

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

inlinestatic

Definition at line 403 of file KnownFPClass.h.

References llvm::Known, and KnownFPClass().

◆ copysign() [2/2]

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

inline

Definition at line 379 of file KnownFPClass.h.

References llvm::fcInf, llvm::fcNan, llvm::fcNegative, llvm::fcNormal, llvm::fcPositive, llvm::fcSubnormal, llvm::fcZero, getSignBit(), isKnownNever(), KnownFPClass(), KnownFPClasses, and setSignBit().

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 673 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 702 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.

Definition at line 593 of file KnownFPClass.cpp.

References cannotBeOrderedGreaterThanZero(), cannotBeOrderedLessThanZero(), llvm::fcNegative, llvm::fcPosInf, llvm::fcPosSubnormal, llvm::fcPosZero, llvm::Known, and KnownFPClass().

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

◆ fabs() [1/2]

void llvm::KnownFPClass::fabs ( )

inline

Definition at line 206 of file KnownFPClass.h.

References llvm::fcNegInf, llvm::fcNegNormal, llvm::fcNegSubnormal, llvm::fcNegZero, llvm::fcPosInf, llvm::fcPosNormal, llvm::fcPosSubnormal, llvm::fcPosZero, KnownFPClasses, and signBitMustBeZero().

Referenced by simplifyDemandedFPClassFabs(), and simplifyDemandedFPClassFnegFabs().

◆ fabs() [2/2]

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

inlinestatic

Definition at line 222 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 366 of file KnownFPClass.cpp.

References fadd_impl(), llvm::fcNegZero, llvm::DenormalMode::IEEE, isKnownNeverLogicalNegZero(), llvm::Known, KnownFPClass(), and llvm::DenormalMode::PositiveZero.

Referenced by computeKnownFPClass(), fadd_self(), fsub(), 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 382 of file KnownFPClass.cpp.

References fadd(), llvm::fcPosZero, llvm::DenormalMode::IEEE, isKnownNeverLogicalPosZero(), isKnownNeverPosSubnormal(), isKnownNeverSubnormal(), llvm::Known, KnownFPClass(), llvm::DenormalMode::PositiveZero, and llvm::DenormalMode::PreserveSign.

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 465 of file KnownFPClass.cpp.

References llvm::fcFinite, llvm::fcInf, llvm::fcNan, llvm::fcNegNormal, llvm::fcNegSubnormal, llvm::fcNormal, llvm::fcPosNormal, llvm::fcPosSubnormal, llvm::fcSubnormal, llvm::fcZero, isKnownAlways(), isKnownNever(), isKnownNeverInfinity(), isKnownNeverLogicalZero(), 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 506 of file KnownFPClass.cpp.

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

Referenced by computeKnownFPClass().

◆ 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 561 of file KnownFPClass.cpp.

References fadd_impl(), fmul(), KnownFPClass(), and llvm::Mul.

Referenced by computeKnownFPClass(), 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 575 of file KnownFPClass.cpp.

References fadd_impl(), llvm::fcNan, llvm::fcNegInf, isKnownNever(), llvm::Known, KnownFPClass(), and square().

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

◆ fmul() [1/2]

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

static

Definition at line 437 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 404 of file KnownFPClass.cpp.

References llvm::fcInf, llvm::fcNan, llvm::fcNormal, llvm::fcSubnormal, llvm::fcZero, isKnownAlways(), isKnownNeverInfinity(), isKnownNeverLogicalZero(), isKnownNeverNaN(), llvm::Known, and KnownFPClass().

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

◆ fneg() [1/2]

void llvm::KnownFPClass::fneg ( )

inline

Definition at line 194 of file KnownFPClass.h.

References llvm::fneg(), getSignBit(), KnownFPClasses, and setSignBit().

Referenced by fsub(), and simplifyDemandedFPClassFnegFabs().

◆ fneg() [2/2]

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

inlinestatic

Definition at line 200 of file KnownFPClass.h.

References llvm::Known, and KnownFPClass().

◆ fpext()

KnownFPClass KnownFPClass::fpext	(	const KnownFPClass &	KnownSrc,
		const fltSemantics &	DstTy,
		const fltSemantics &	SrcTy )

static

Propagate known class for fpext.

Definition at line 808 of file KnownFPClass.cpp.

References llvm::fcNegNormal, llvm::fcNegSubnormal, llvm::fcPosNormal, llvm::fcPosSubnormal, llvm::fcSubnormal, llvm::APFloatBase::isRepresentableAsNormalIn(), llvm::Known, and KnownFPClass().

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

◆ fptrunc()

KnownFPClass KnownFPClass::fptrunc ( const KnownFPClass & KnownSrc )

static

Propagate known class for fptrunc.

Definition at line 830 of file KnownFPClass.cpp.

References cannotBeOrderedLessThanZero(), llvm::Known, KnownFPClass(), and OrderedLessThanZeroMask.

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 519 of file KnownFPClass.cpp.

References cannotBeOrderedGreaterThanZero(), cannotBeOrderedLessThanZero(), llvm::fcInf, llvm::fcNan, llvm::fcNegative, llvm::fcPositive, isKnownNever(), isKnownNeverInfinity(), isKnownNeverLogicalZero(), isKnownNeverNaN(), llvm::Known, KnownFPClass(), OrderedGreaterThanZeroMask, and OrderedLessThanZeroMask.

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 548 of file KnownFPClass.cpp.

References llvm::fcNan, llvm::fcSNan, 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 872 of file KnownFPClass.cpp.

References llvm::fcNegative, llvm::fcNegInf, llvm::fcNegZero, llvm::fcPosInf, llvm::fcPositive, llvm::fcPosZero, llvm::fcSubnormal, isKnownNever(), isKnownNeverLogicalNegZero(), isKnownNeverLogicalPosZero(), 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 398 of file KnownFPClass.cpp.

References fadd(), fneg(), and KnownFPClass().

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

◆ 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.

Definition at line 35 of file KnownFPClass.h.

References SignBitValue.

Referenced by computeKnownFPClass(), copysign(), fneg(), intersectWith(), isUnknown(), knownNot(), minMaxLike(), operator==(), operator|=(), simplifyDemandedFPClassCopysignMag(), simplifyDemandedFPClassFabs(), simplifyDemandedFPClassFnegFabs(), llvm::InstCombinerImpl::SimplifyDemandedUseFPClass(), llvm::InstCombinerImpl::SimplifyMultipleUseDemandedFPClass(), simplifyUnaryIntrinsic(), toKnownBits(), and unionWith().

◆ intersectWith()

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

inline

Definition at line 160 of file KnownFPClass.h.

References getSignBit(), KnownFPClass(), KnownFPClasses, and RHS.

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

◆ isKnownAlways()

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

inline

Definition at line 53 of file KnownFPClass.h.

References isKnownNever().

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

◆ isKnownAlwaysNaN()

bool llvm::KnownFPClass::isKnownAlwaysNaN ( ) const

inline

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

Definition at line 63 of file KnownFPClass.h.

References llvm::fcNan, and isKnownAlways().

Referenced by simplifyFCmpInst().

◆ isKnownNever()

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

References llvm::fcNone, and KnownFPClasses.

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

◆ isKnownNeverInfinity()

bool llvm::KnownFPClass::isKnownNeverInfinity ( ) const

inline

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

Definition at line 66 of file KnownFPClass.h.

References llvm::fcInf, and isKnownNever().

Referenced by fdiv(), fmul(), frem(), 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 69 of file KnownFPClass.h.

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

Referenced by llvm::GCNTTIImpl::canSimplifyLegacyMulToMul(), llvm::computeConstantRange(), computeKnownFPClass(), fdiv_self(), 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 41 of file KnownFPClass.cpp.

References inputDenormalIsIEEEOrPosZero(), isKnownNeverNegSubnormal(), and isKnownNeverNegZero().

Referenced by cannotBeOrderedGreaterEqZero(), computeKnownFPClass(), fadd(), frexp_mant(), ldexp(), 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 46 of file KnownFPClass.cpp.

References llvm::DenormalMode::IEEE, isKnownNeverPosSubnormal(), isKnownNeverPosZero(), isKnownNeverSubnormal(), llvm_unreachable, llvm::DenormalMode::PositiveZero, and llvm::DenormalMode::PreserveSign.

Referenced by atan2(), cannotBeOrderedLessEqZero(), computeKnownFPClass(), fadd_self(), frexp_mant(), ldexp(), 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 36 of file KnownFPClass.cpp.

References inputDenormalIsIEEE(), isKnownNeverSubnormal(), and isKnownNeverZero().

Referenced by llvm::GCNTTIImpl::canSimplifyLegacyMulToMul(), llvm::computeConstantRange(), fdiv(), fdiv_self(), fmul(), 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 60 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 75 of file KnownFPClass.h.

References llvm::fcNegInf, and isKnownNever().

Referenced by ldexp(), and roundToIntegral().

◆ isKnownNeverNegSubnormal()

bool llvm::KnownFPClass::isKnownNeverNegSubnormal ( ) const

inline

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

Definition at line 84 of file KnownFPClass.h.

References llvm::fcNegSubnormal, and isKnownNever().

Referenced by isKnownNeverLogicalNegZero(), and 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 95 of file KnownFPClass.h.

References llvm::fcNegZero, and isKnownNever().

Referenced by isKnownNeverLogicalNegZero(), and minMaxLike().

◆ isKnownNeverPosInfinity()

bool llvm::KnownFPClass::isKnownNeverPosInfinity ( ) const

inline

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

Definition at line 72 of file KnownFPClass.h.

References llvm::fcPosInf, and isKnownNever().

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

◆ isKnownNeverPosSubnormal()

bool llvm::KnownFPClass::isKnownNeverPosSubnormal ( ) const

inline

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

Definition at line 81 of file KnownFPClass.h.

References llvm::fcPosSubnormal, and isKnownNever().

Referenced by fadd_self(), isKnownNeverLogicalPosZero(), and 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 91 of file KnownFPClass.h.

References llvm::fcPosZero, and isKnownNever().

Referenced by isKnownNeverLogicalPosZero(), and minMaxLike().

◆ isKnownNeverSubnormal()

bool llvm::KnownFPClass::isKnownNeverSubnormal ( ) const

inline

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

Definition at line 78 of file KnownFPClass.h.

References llvm::fcSubnormal, and isKnownNever().

Referenced by llvm::computeConstantRange(), fadd_self(), isKnownNeverLogicalPosZero(), isKnownNeverLogicalZero(), 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 88 of file KnownFPClass.h.

References llvm::fcZero, and isKnownNever().

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

◆ isUnknown()

bool llvm::KnownFPClass::isUnknown ( ) const

inline

Definition at line 55 of file KnownFPClass.h.

References llvm::fcAllFlags, getSignBit(), and KnownFPClasses.

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

◆ knownNot()

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

inline

◆ 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 899 of file KnownFPClass.cpp.

References cannotBeOrderedGreaterThanZero(), cannotBeOrderedLessThanZero(), llvm::fcNegative, llvm::fcNegInf, llvm::fcNegSubnormal, llvm::fcNegZero, llvm::fcPosInf, llvm::fcPositive, llvm::fcPosSubnormal, llvm::fcPosZero, llvm::fcSubnormal, isKnownNever(), isKnownNeverLogicalNegZero(), isKnownNeverLogicalPosZero(), isKnownNeverNegInfinity(), isKnownNeverNegSubnormal(), isKnownNeverPosInfinity(), isKnownNeverPosSubnormal(), llvm::APInt::isNonNegative(), llvm::APInt::isNonPositive(), llvm::APInt::isZero(), llvm::Known, KnownFPClass(), OrderedGreaterThanZeroMask, OrderedLessThanZeroMask, 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 946 of file KnownFPClass.cpp.

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

◆ log()

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

static

Propagate known class for log/log2/log10.

Definition at line 620 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 96 of file KnownFPClass.cpp.

References llvm::fcNan, llvm::fcNone, llvm::fcZero, llvm::DenormalMode::getIEEE(), getSignBit(), isKnownNeverNaN(), isKnownNeverNegZero(), isKnownNeverPosZero(), llvm::Known, KnownFPClass(), KnownFPClasses, llvm_unreachable, maximum, maximumnum, maxnum, minimum, minimumnum, minnum, llvm::orderedStrictlyGreater(), llvm::orderedStrictlyLess(), and setSignBit().

Referenced by computeKnownFPClass(), and simplifyDemandedFPClassMinMax().

◆ operator==()

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

inline

Definition at line 43 of file KnownFPClass.h.

References getSignBit(), KnownFPClass(), KnownFPClasses, and llvm::Other.

◆ operator|=()

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

inline

Definition at line 176 of file KnownFPClass.h.

References getSignBit(), KnownFPClass(), KnownFPClasses, RHS, and setSignBit().

◆ pow()

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

static

Propagate known class for pow.

Definition at line 953 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 995 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().

◆ propagateCanonicalizingSrc()

void KnownFPClass::propagateCanonicalizingSrc	(	const KnownFPClass &	Src,
		DenormalMode	Mode )

Report known classes if Src is evaluated through a potentially canonicalizing operation.

We can assume signaling nans will not be introduced, but cannot assume a denormal will be flushed under FTZ/DAZ.

This assumes a copy-like operation and will replace any currently known information.

Definition at line 614 of file KnownFPClass.cpp.

References KnownFPClass(), propagateDenormal(), and propagateNonNaN().

◆ propagateDenormal()

void KnownFPClass::propagateDenormal	(	const KnownFPClass &	Src,
		DenormalMode	Mode )

Propagate knowledge from a source value that could be a denormal or zero.

We have to be conservative since output flushing is not guaranteed, so known-never-zero may not hold.

This assumes a copy-like operation and will replace any currently known information.

Definition at line 69 of file KnownFPClass.cpp.

References llvm::DenormalMode::Dynamic, llvm::fcNegZero, llvm::fcPosZero, llvm::DenormalMode::getIEEE(), llvm::DenormalMode::getPositiveZero(), KnownFPClass(), KnownFPClasses, and llvm::DenormalMode::PositiveZero.

Referenced by propagateCanonicalizingSrc().

◆ propagateNonNaN() [1/2]

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

inline

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

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

Referenced by propagateCanonicalizingSrc().

◆ propagateNonSNaN() [1/2]

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

inline

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

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

Referenced by propagateNonNaN(), and propagateNonNaN().

◆ propagateXorSign()

void llvm::KnownFPClass::propagateXorSign	(	const KnownFPClass &	LHS,
		const KnownFPClass &	RHS )

inline

Definition at line 440 of file KnownFPClass.h.

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

◆ resetAll()

void llvm::KnownFPClass::resetAll ( )

inline

Definition at line 508 of file KnownFPClass.h.

References KnownFPClass().

◆ roundToIntegral()

KnownFPClass KnownFPClass::roundToIntegral	(	const KnownFPClass &	Src,
		bool	IsTrunc,
		bool	IsMultiUnitFPType )

static

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

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

Definition at line 844 of file KnownFPClass.cpp.

References llvm::fcNegFinite, llvm::fcNegInf, llvm::fcPosFinite, llvm::fcPosInf, llvm::fcSubnormal, isKnownNever(), isKnownNeverNegInfinity(), isKnownNeverPosInfinity(), llvm::Known, and KnownFPClass().

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

◆ setSignBit()

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

inline

Definition at line 37 of file KnownFPClass.h.

References SignBitValue.

Referenced by copysign(), fneg(), KnownFPClass(), knownNot(), minMaxLike(), operator|=(), signBitMustBeOne(), and signBitMustBeZero().

◆ signBitIsZeroOrNaN()

bool llvm::KnownFPClass::signBitIsZeroOrNaN ( ) const

inline

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

Definition at line 365 of file KnownFPClass.h.

References llvm::fcNegative, and isKnownNever().

◆ signBitMustBeOne()

void llvm::KnownFPClass::signBitMustBeOne ( )

inline

Assume the sign bit is one.

Definition at line 374 of file KnownFPClass.h.

References llvm::fcNan, llvm::fcNegative, KnownFPClasses, and setSignBit().

Referenced by computeKnownFPClassFromCond().

◆ signBitMustBeZero()

void llvm::KnownFPClass::signBitMustBeZero ( )

inline

Assume the sign bit is zero.

Definition at line 368 of file KnownFPClass.h.

References llvm::fcNan, llvm::fcPositive, KnownFPClasses, and setSignBit().

Referenced by computeKnownFPClassFromCond(), and fabs().

◆ sin()

KnownFPClass KnownFPClass::sin ( const KnownFPClass & Src )

static

Report known values for sin.

Definition at line 662 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 690 of file KnownFPClass.cpp.

References llvm::fcNegative, 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 637 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 276 of file KnownFPClass.h.

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

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

◆ tan()

KnownFPClass KnownFPClass::tan ( const KnownFPClass & Src )

static

Report known values for tan.

Definition at line 677 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 714 of file KnownFPClass.cpp.

References llvm::fcInf, llvm::fcNegative, isKnownNever(), 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 298 of file KnownFPClass.cpp.

References llvm::fcInf, llvm::fcNan, llvm::fcNone, llvm::fcNormal, llvm::fcSubnormal, llvm::fcZero, llvm::APFloat::getInf(), getSignBit(), llvm::APInt::getZero(), isKnownNever(), llvm::Known, KnownFPClasses, llvm::KnownBits::makeConstant(), and llvm::fltSemantics::sizeInBits.

◆ unionWith()

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

inline

Definition at line 166 of file KnownFPClass.h.

References getSignBit(), KnownFPClass(), KnownFPClasses, and RHS.

Referenced by llvm::adjustKnownFPClassForSelectArm().

Member Data Documentation

◆ KnownFPClasses

FPClassTest llvm::KnownFPClass::KnownFPClasses = fcAllFlags

Floating-point classes the value could be one of.

Definition at line 29 of file KnownFPClass.h.

Referenced by canonicalize(), computeKnownFPClass(), copysign(), fabs(), fneg(), intersectWith(), isKnownNever(), isUnknown(), KnownFPClass(), knownNot(), minMaxLike(), operator==(), operator|=(), propagateDenormal(), signBitMustBeOne(), signBitMustBeZero(), simplifyDemandedFPClassMinMax(), toKnownBits(), and unionWith().

◆ OrderedGreaterThanZeroMask

FPClassTest llvm::KnownFPClass::OrderedGreaterThanZeroMask

staticconstexpr

Initial value:

=

fcPosSubnormal | fcPosNormal | fcPosInf

llvm::fcPosNormal

@ fcPosNormal

Definition FloatingPointMode.h:349

llvm::fcPosSubnormal

@ fcPosSubnormal

Definition FloatingPointMode.h:348

llvm::fcPosInf

@ fcPosInf

Definition FloatingPointMode.h:350

Definition at line 112 of file KnownFPClass.h.

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

◆ OrderedLessThanZeroMask

FPClassTest llvm::KnownFPClass::OrderedLessThanZeroMask

staticconstexpr

Initial value:

=

fcNegSubnormal | fcNegNormal | fcNegInf

llvm::fcNegSubnormal

@ fcNegSubnormal

Definition FloatingPointMode.h:345

llvm::fcNegInf

@ fcNegInf

Definition FloatingPointMode.h:343

llvm::fcNegNormal

@ fcNegNormal

Definition FloatingPointMode.h:344

Definition at line 110 of file KnownFPClass.h.

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

◆ SignBitValue

std::optional<bool> llvm::KnownFPClass::SignBitValue

Definition at line 31 of file KnownFPClass.h.

Referenced by getSignBit(), and setSignBit().

The documentation for this struct was generated from the following files:

include/llvm/Support/KnownFPClass.h
lib/Support/KnownFPClass.cpp

Public Types

Public Member Functions

Static Public Member Functions

Public Attributes

Static Public Attributes

Detailed Description

Member Enumeration Documentation

◆ MinMaxKind

Constructor & Destructor Documentation

◆ KnownFPClass() [1/2]

◆ KnownFPClass() [2/2]

Member Function Documentation

◆ acos()

◆ asin()

◆ atan()

◆ atan2()

◆ bitcast()

◆ cannotBeOrderedGreaterEqZero()

◆ cannotBeOrderedGreaterThanZero()

◆ cannotBeOrderedLessEqZero()

◆ cannotBeOrderedLessThanZero()

◆ canonicalize()

◆ copysign() [1/2]

◆ copysign() [2/2]

◆ cos()

◆ cosh()

◆ exp()

◆ fabs() [1/2]

◆ fabs() [2/2]

◆ fadd()

◆ fadd_self()

◆ fdiv()

◆ fdiv_self()

◆ fma()

◆ fma_square()

◆ fmul() [1/2]

◆ fmul() [2/2]

◆ fneg() [1/2]

◆ fneg() [2/2]

◆ fpext()

◆ fptrunc()

◆ frem()

◆ frem_self()

◆ frexp_mant()

◆ fsub()

◆ getSignBit()

◆ intersectWith()

◆ isKnownAlways()

◆ isKnownAlwaysNaN()

◆ isKnownNever()

◆ isKnownNeverInfinity()

◆ isKnownNeverInfOrNaN()

◆ isKnownNeverLogicalNegZero()

◆ isKnownNeverLogicalPosZero()

◆ isKnownNeverLogicalZero()

◆ isKnownNeverNaN()

◆ isKnownNeverNegInfinity()

◆ isKnownNeverNegSubnormal()

◆ isKnownNeverNegZero()

◆ isKnownNeverPosInfinity()

◆ isKnownNeverPosSubnormal()

◆ isKnownNeverPosZero()

◆ isKnownNeverSubnormal()

◆ isKnownNeverZero()

◆ isUnknown()

◆ knownNot()

◆ ldexp() [1/2]

◆ ldexp() [2/2]

◆ log()

◆ minMaxLike()

◆ operator==()

◆ operator|=()

◆ pow()

◆ powi()

◆ propagateCanonicalizingSrc()

◆ propagateDenormal()

◆ propagateNonNaN() [1/2]

◆ propagateNonNaN() [2/2]

◆ propagateNonSNaN() [1/2]

◆ propagateNonSNaN() [2/2]