The fixed point semantics work similarly to fltSemantics. More...

#include "llvm/ADT/APFixedPoint.h"

Classes
struct	Lsb
	Used to differentiate between constructors with Width and Lsb from the default Width and scale. More...

Public Member Functions
	FixedPointSemantics (unsigned Width, unsigned Scale, bool IsSigned, bool IsSaturated, bool HasUnsignedPadding)

	FixedPointSemantics (unsigned Width, Lsb Weight, bool IsSigned, bool IsSaturated, bool HasUnsignedPadding)

bool	isValidLegacySema () const
	Check if the Semantic follow the requirements of an older more limited version of this class.

unsigned	getWidth () const

unsigned	getScale () const

int	getLsbWeight () const

int	getMsbWeight () const

bool	isSigned () const

bool	isSaturated () const

bool	hasUnsignedPadding () const

void	setSaturated (bool Saturated)

bool	hasSignOrPaddingBit () const
	return true if the first bit doesn't have a strictly positive weight

unsigned	getIntegralBits () const
	Return the number of integral bits represented by these semantics.

FixedPointSemantics	getCommonSemantics (const FixedPointSemantics &Other) const
	Return the FixedPointSemantics that allows for calculating the full precision semantic that can precisely represent the precision and ranges of both input values.

void	print (llvm::raw_ostream &OS) const
	Print semantics for debug purposes.

bool	fitsInFloatSemantics (const fltSemantics &FloatSema) const
	Returns true if this fixed-point semantic with its value bits interpreted as an integer can fit in the given floating point semantic without overflowing to infinity.

bool	operator== (FixedPointSemantics Other) const

bool	operator!= (FixedPointSemantics Other) const

Static Public Member Functions
static FixedPointSemantics	GetIntegerSemantics (unsigned Width, bool IsSigned)
	Return the FixedPointSemantics for an integer type.

Static Public Attributes
static constexpr unsigned	WidthBitWidth = 16

static constexpr unsigned	LsbWeightBitWidth = 13

Detailed Description

The fixed point semantics work similarly to fltSemantics.

The width specifies the whole bit width of the underlying scaled integer (with padding if any). The scale represents the number of fractional bits in this type. When HasUnsignedPadding is true and this type is unsigned, the first bit in the value this represents is treated as padding.

Definition at line 34 of file APFixedPoint.h.

Constructor & Destructor Documentation

◆ FixedPointSemantics() [1/2]

llvm::FixedPointSemantics::FixedPointSemantics	(	unsigned	Width,
		unsigned	Scale,
		bool	IsSigned,
		bool	IsSaturated,
		bool	HasUnsignedPadding
	)

inline

Definition at line 43 of file APFixedPoint.h.

◆ FixedPointSemantics() [2/2]

llvm::FixedPointSemantics::FixedPointSemantics	(	unsigned	Width,
		Lsb	Weight,
		bool	IsSigned,
		bool	IsSaturated,
		bool	HasUnsignedPadding
	)

inline

Definition at line 47 of file APFixedPoint.h.

References assert(), and llvm::FixedPointSemantics::Lsb::LsbWeight.

Member Function Documentation

◆ fitsInFloatSemantics()

bool llvm::FixedPointSemantics::fitsInFloatSemantics ( const fltSemantics & FloatSema ) const

Returns true if this fixed-point semantic with its value bits interpreted as an integer can fit in the given floating point semantic without overflowing to infinity.

For example, a signed 8-bit fixed-point semantic has a maximum and minimum integer representation of 127 and -128, respectively. If both of these values can be represented (possibly inexactly) in the floating point semantic without overflowing, this returns true.

Definition at line 138 of file APFixedPoint.cpp.

References F, llvm::APFixedPoint::getMax(), llvm::APFixedPoint::getMin(), llvm::APFixedPoint::getValue(), isSigned(), llvm::APSInt::isSigned(), llvm::APFloatBase::opOverflow, and llvm::APFloatBase::rmNearestTiesToAway.

Referenced by llvm::APFixedPoint::convertToFloat(), and llvm::APFixedPoint::getFromFloatValue().

◆ getCommonSemantics()

FixedPointSemantics llvm::FixedPointSemantics::getCommonSemantics ( const FixedPointSemantics & Other ) const

Return the FixedPointSemantics that allows for calculating the full precision semantic that can precisely represent the precision and ranges of both input values.

This does not compute the resulting semantics for a given binary operation.

Definition at line 161 of file APFixedPoint.cpp.

References getLsbWeight(), getMsbWeight(), hasSignOrPaddingBit(), hasUnsignedPadding(), isSaturated(), isSigned(), and llvm::Other.

Referenced by llvm::APFixedPoint::add(), llvm::FixedPointBuilder< IRBuilderTy >::CreateAdd(), llvm::FixedPointBuilder< IRBuilderTy >::CreateDiv(), llvm::FixedPointBuilder< IRBuilderTy >::CreateMul(), llvm::FixedPointBuilder< IRBuilderTy >::CreateSub(), llvm::APFixedPoint::div(), llvm::APFixedPoint::mul(), and llvm::APFixedPoint::sub().

◆ GetIntegerSemantics()

static FixedPointSemantics llvm::FixedPointSemantics::GetIntegerSemantics	(	unsigned	Width,
		bool	IsSigned
	)

inlinestatic

Return the FixedPointSemantics for an integer type.

Definition at line 103 of file APFixedPoint.h.

Referenced by llvm::FixedPointBuilder< IRBuilderTy >::CreateFixedToInteger(), llvm::FixedPointBuilder< IRBuilderTy >::CreateIntegerToFixed(), and llvm::APFixedPoint::getFromIntValue().

◆ getIntegralBits()

unsigned llvm::FixedPointSemantics::getIntegralBits ( ) const

inline

Return the number of integral bits represented by these semantics.

These are separate from the fractional bits and do not include the sign or padding bit.

Definition at line 79 of file APFixedPoint.h.

References getMsbWeight(), and hasSignOrPaddingBit().

Referenced by llvm::APFixedPoint::convert().

◆ getLsbWeight()

int llvm::FixedPointSemantics::getLsbWeight ( ) const

inline

Definition at line 63 of file APFixedPoint.h.

Referenced by llvm::APFixedPoint::convert(), llvm::APFixedPoint::convertToFloat(), getCommonSemantics(), llvm::APFixedPoint::getFromFloatValue(), llvm::APFixedPoint::getLsbWeight(), and print().

◆ getMsbWeight()

int llvm::FixedPointSemantics::getMsbWeight ( ) const

inline

Definition at line 64 of file APFixedPoint.h.

Referenced by getCommonSemantics(), getIntegralBits(), llvm::APFixedPoint::getMsbWeight(), and print().

◆ getScale()

unsigned llvm::FixedPointSemantics::getScale ( ) const

inline

Definition at line 62 of file APFixedPoint.h.

References assert(), and isValidLegacySema().

Referenced by llvm::FixedPointBuilder< IRBuilderTy >::CreateFixedToFloating(), llvm::FixedPointBuilder< IRBuilderTy >::CreateFloatingToFixed(), llvm::APFixedPoint::getScale(), and print().

◆ getWidth()

unsigned llvm::FixedPointSemantics::getWidth ( ) const

inline

Definition at line 61 of file APFixedPoint.h.

Referenced by llvm::APFixedPoint::APFixedPoint(), llvm::APFixedPoint::convert(), llvm::FixedPointBuilder< IRBuilderTy >::CreateFloatingToFixed(), llvm::APFixedPoint::getEpsilon(), llvm::APFixedPoint::getFromFloatValue(), llvm::APFixedPoint::getMax(), llvm::APFixedPoint::getMin(), llvm::APFixedPoint::getWidth(), print(), and llvm::APFixedPoint::shl().

◆ hasSignOrPaddingBit()

bool llvm::FixedPointSemantics::hasSignOrPaddingBit ( ) const

inline

return true if the first bit doesn't have a strictly positive weight

Definition at line 74 of file APFixedPoint.h.

Referenced by getCommonSemantics(), and getIntegralBits().

◆ hasUnsignedPadding()

bool llvm::FixedPointSemantics::hasUnsignedPadding ( ) const

inline

Definition at line 69 of file APFixedPoint.h.

Referenced by llvm::FixedPointBuilder< IRBuilderTy >::CreateFloatingToFixed(), llvm::FixedPointBuilder< IRBuilderTy >::CreateShl(), getCommonSemantics(), llvm::APFixedPoint::getMax(), and llvm::APFixedPoint::hasPadding().

◆ isSaturated()

bool llvm::FixedPointSemantics::isSaturated ( ) const

inline

Definition at line 68 of file APFixedPoint.h.

Referenced by llvm::APFixedPoint::convert(), llvm::FixedPointBuilder< IRBuilderTy >::CreateFloatingToFixed(), llvm::FixedPointBuilder< IRBuilderTy >::CreateShl(), getCommonSemantics(), llvm::APFixedPoint::getFromFloatValue(), llvm::APFixedPoint::isSaturated(), and llvm::APFixedPoint::shl().

◆ isSigned()

bool llvm::FixedPointSemantics::isSigned ( ) const

inline

Definition at line 67 of file APFixedPoint.h.

◆ isValidLegacySema()

bool llvm::FixedPointSemantics::isValidLegacySema ( ) const

inline

Check if the Semantic follow the requirements of an older more limited version of this class.

Definition at line 58 of file APFixedPoint.h.

Referenced by getScale(), and print().

◆ operator!=()

bool llvm::FixedPointSemantics::operator!= ( FixedPointSemantics Other ) const

inline

Definition at line 115 of file APFixedPoint.h.

References llvm::Other.

◆ operator==()

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

inline

Definition at line 110 of file APFixedPoint.h.

References llvm::Other.

◆ print()

void llvm::FixedPointSemantics::print ( llvm::raw_ostream & OS ) const

Print semantics for debug purposes.

Definition at line 21 of file APFixedPoint.cpp.

References getLsbWeight(), getMsbWeight(), getScale(), getWidth(), isValidLegacySema(), and OS.

Referenced by llvm::APFixedPoint::print().

◆ setSaturated()

void llvm::FixedPointSemantics::setSaturated ( bool Saturated )

inline

Definition at line 71 of file APFixedPoint.h.

Member Data Documentation

◆ LsbWeightBitWidth

constexpr unsigned llvm::FixedPointSemantics::LsbWeightBitWidth = 13

staticconstexpr

Definition at line 37 of file APFixedPoint.h.

◆ WidthBitWidth

constexpr unsigned llvm::FixedPointSemantics::WidthBitWidth = 16

staticconstexpr

Definition at line 36 of file APFixedPoint.h.

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

include/llvm/ADT/APFixedPoint.h
lib/Support/APFixedPoint.cpp

Classes

Public Member Functions

Static Public Member Functions

Static Public Attributes

Detailed Description

Constructor & Destructor Documentation

◆ FixedPointSemantics() [1/2]

◆ FixedPointSemantics() [2/2]

Member Function Documentation

◆ fitsInFloatSemantics()

◆ getCommonSemantics()

◆ GetIntegerSemantics()

◆ getIntegralBits()

◆ getLsbWeight()

◆ getMsbWeight()

◆ getScale()

◆ getWidth()

◆ hasSignOrPaddingBit()

◆ hasUnsignedPadding()

◆ isSaturated()

◆ isSigned()

◆ isValidLegacySema()

◆ operator!=()

◆ operator==()

◆ print()

◆ setSaturated()

Member Data Documentation

◆ LsbWeightBitWidth

◆ WidthBitWidth