llvm::DenormalFPMathState Struct Reference

#include "llvm/Transforms/IPO/Attributor.h"

Inheritance diagram for llvm::DenormalFPMathState:

Classes
struct	DenormalState

Public Member Functions
	DenormalFPMathState ()=default
DenormalState	getKnown () const
DenormalState	getAssumed () const
bool	isValidState () const override
	Return if this abstract state is in a valid state.
bool	isModeFixed () const
	Return true if there are no dynamic components to the denormal mode worth specializing.
bool	isAtFixpoint () const override
	Return if this abstract state is fixed, thus does not need to be updated if information changes as it cannot change itself.
ChangeStatus	indicateFixpoint ()
ChangeStatus	indicateOptimisticFixpoint () override
	Indicate that the abstract state should converge to the optimistic state.
ChangeStatus	indicatePessimisticFixpoint () override
	Indicate that the abstract state should converge to the pessimistic state.
DenormalFPMathState	operator^= (const DenormalFPMathState &Caller)
Public Member Functions inherited from llvm::AbstractState
virtual	~AbstractState ()=default

Public Attributes
DenormalState	Known
bool	IsAtFixedpoint = false
	Explicitly track whether we've hit a fixed point.

Detailed Description

Definition at line 5187 of file Attributor.h.

Constructor & Destructor Documentation

DenormalFPMathState()

llvm::DenormalFPMathState::DenormalFPMathState ( )

default

Referenced by operator^=().

Member Function Documentation

getAssumed()

DenormalState llvm::DenormalFPMathState::getAssumed ( ) const

inline

Definition at line 5238 of file Attributor.h.

References Known.

getKnown()

DenormalState llvm::DenormalFPMathState::getKnown ( ) const

inline

Definition at line 5234 of file Attributor.h.

References Known.

indicateFixpoint()

ChangeStatus llvm::DenormalFPMathState::indicateFixpoint ( )

inline

Definition at line 5253 of file Attributor.h.

References llvm::CHANGED, Changed, IsAtFixedpoint, and llvm::UNCHANGED.

Referenced by indicateOptimisticFixpoint(), and indicatePessimisticFixpoint().

indicateOptimisticFixpoint()

ChangeStatus llvm::DenormalFPMathState::indicateOptimisticFixpoint ( )

inlineoverridevirtual

Indicate that the abstract state should converge to the optimistic state.

This will usually make the optimistically assumed state the known to be true state.

Returns

ChangeStatus::UNCHANGED as the assumed value should not change.

Implements llvm::AbstractState.

Definition at line 5259 of file Attributor.h.

References indicateFixpoint().

indicatePessimisticFixpoint()

ChangeStatus llvm::DenormalFPMathState::indicatePessimisticFixpoint ( )

inlineoverridevirtual

Indicate that the abstract state should converge to the pessimistic state.

This will usually revert the optimistically assumed state to the known to be true state.

Returns

ChangeStatus::CHANGED as the assumed value may change.

Implements llvm::AbstractState.

Definition at line 5263 of file Attributor.h.

References indicateFixpoint().

isAtFixpoint()

bool llvm::DenormalFPMathState::isAtFixpoint ( ) const

inlineoverridevirtual

Return if this abstract state is fixed, thus does not need to be updated if information changes as it cannot change itself.

Implements llvm::AbstractState.

Definition at line 5251 of file Attributor.h.

References IsAtFixedpoint.

isModeFixed()

bool llvm::DenormalFPMathState::isModeFixed ( ) const

inline

Return true if there are no dynamic components to the denormal mode worth specializing.

Definition at line 5244 of file Attributor.h.

References llvm::DenormalMode::Dynamic, and Known.

isValidState()

bool llvm::DenormalFPMathState::isValidState ( ) const

inlineoverridevirtual

Return if this abstract state is in a valid state.

If false, no information provided should be used.

Implements llvm::AbstractState.

Definition at line 5240 of file Attributor.h.

References Known.

operator^=()

DenormalFPMathState llvm::DenormalFPMathState::operator^= ( const DenormalFPMathState & Caller )

inline

Definition at line 5267 of file Attributor.h.

References DenormalFPMathState(), and Known.

Member Data Documentation

IsAtFixedpoint

bool llvm::DenormalFPMathState::IsAtFixedpoint = false

Explicitly track whether we've hit a fixed point.

Definition at line 5230 of file Attributor.h.

Referenced by indicateFixpoint(), and isAtFixpoint().

Known

DenormalState llvm::DenormalFPMathState::Known

Definition at line 5227 of file Attributor.h.

Referenced by getAssumed(), getKnown(), isModeFixed(), isValidState(), and operator^=().

---

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

• include/llvm/Transforms/IPO/Attributor.h