llvm::DerefState Struct Reference

State for dereferenceable attribute. More...

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

Inheritance diagram for llvm::DerefState:

Collaboration diagram for llvm::DerefState:

Public Member Functions
bool	isValidState () const override
	See AbstractState::isValidState() More...
bool	isAtFixpoint () const override
	See AbstractState::isAtFixpoint() More...
ChangeStatus	indicateOptimisticFixpoint () override
	See AbstractState::indicateOptimisticFixpoint(...) More...
ChangeStatus	indicatePessimisticFixpoint () override
	See AbstractState::indicatePessimisticFixpoint(...) More...
void	takeKnownDerefBytesMaximum (uint64_t Bytes)
	Update known dereferenceable bytes. More...
void	takeAssumedDerefBytesMinimum (uint64_t Bytes)
	Update assumed dereferenceable bytes. More...
bool	operator== (const DerefState &R)
	Equality for DerefState. More...
bool	operator!= (const DerefState &R)
	Inequality for IntegerState. More...
DerefState	operator^= (const DerefState &R)
	See IntegerState::operator^=. More...
DerefState	operator+= (const DerefState &R)
	See IntegerState::operator+=. More...
DerefState	operator &= (const DerefState &R)
	See IntegerState::operator&=. More...
DerefState	operator|= (const DerefState &R)
	See IntegerState::operator|=. More...
Public Member Functions inherited from llvm::AbstractState
virtual	~AbstractState ()

Public Attributes
IntegerState	DerefBytesState
	State representing for dereferenceable bytes. More...
BooleanState	GlobalState
	State representing that whether the value is globaly dereferenceable. More...

Protected Attributes
const AANonNull *	NonNullAA = nullptr

Detailed Description

State for dereferenceable attribute.

Definition at line 1656 of file Attributor.h.

Member Function Documentation

indicateOptimisticFixpoint()

ChangeStatus llvm::DerefState::indicateOptimisticFixpoint ( )

inlineoverridevirtual

See AbstractState::indicateOptimisticFixpoint(...)

Implements llvm::AbstractState.

Definition at line 1674 of file Attributor.h.

References llvm::IntegerState::indicateOptimisticFixpoint(), and llvm::UNCHANGED.

indicatePessimisticFixpoint()

ChangeStatus llvm::DerefState::indicatePessimisticFixpoint ( )

inlineoverridevirtual

See AbstractState::indicatePessimisticFixpoint(...)

Implements llvm::AbstractState.

Definition at line 1681 of file Attributor.h.

References llvm::CHANGED, and llvm::IntegerState::indicatePessimisticFixpoint().

isAtFixpoint()

bool llvm::DerefState::isAtFixpoint ( ) const

inlineoverridevirtual

See AbstractState::isAtFixpoint()

Implements llvm::AbstractState.

Definition at line 1668 of file Attributor.h.

References llvm::IntegerState::isAtFixpoint().

isValidState()

bool llvm::DerefState::isValidState ( ) const

inlineoverridevirtual

See AbstractState::isValidState()

Implements llvm::AbstractState.

Definition at line 1665 of file Attributor.h.

References llvm::IntegerState::isValidState().

operator &=()

DerefState llvm::DerefState::operator&= ( const DerefState &  R )

inline

See IntegerState::operator&=.

Definition at line 1721 of file Attributor.h.

References DerefBytesState, and GlobalState.

operator!=()

bool llvm::DerefState::operator!= ( const DerefState &  R )

inline

Inequality for IntegerState.

Definition at line 1704 of file Attributor.h.

operator+=()

DerefState llvm::DerefState::operator+= ( const DerefState &  R )

inline

See IntegerState::operator+=.

Definition at line 1714 of file Attributor.h.

References DerefBytesState, and GlobalState.

operator==()

bool llvm::DerefState::operator== ( const DerefState &  R )

inline

Equality for DerefState.

Definition at line 1698 of file Attributor.h.

References DerefBytesState, and GlobalState.

operator^=()

DerefState llvm::DerefState::operator^= ( const DerefState &  R )

inline

See IntegerState::operator^=.

Definition at line 1707 of file Attributor.h.

References DerefBytesState, and GlobalState.

operator|=()

DerefState llvm::DerefState::operator|= ( const DerefState &  R )

inline

See IntegerState::operator|=.

Definition at line 1728 of file Attributor.h.

References DerefBytesState, and GlobalState.

takeAssumedDerefBytesMinimum()

void llvm::DerefState::takeAssumedDerefBytesMinimum ( uint64_t  Bytes )

inline

Update assumed dereferenceable bytes.

Definition at line 1693 of file Attributor.h.

References llvm::IntegerState::takeAssumedMinimum().

takeKnownDerefBytesMaximum()

void llvm::DerefState::takeKnownDerefBytesMaximum ( uint64_t  Bytes )

inline

Update known dereferenceable bytes.

Definition at line 1688 of file Attributor.h.

References llvm::IntegerState::takeKnownMaximum().

Member Data Documentation

DerefBytesState

IntegerState llvm::DerefState::DerefBytesState

State representing for dereferenceable bytes.

Definition at line 1659 of file Attributor.h.

Referenced by llvm::IRPosition::getAttrs(), operator &=(), operator+=(), operator==(), operator^=(), and operator|=().

GlobalState

BooleanState llvm::DerefState::GlobalState

State representing that whether the value is globaly dereferenceable.

Definition at line 1662 of file Attributor.h.

Referenced by llvm::IRPosition::getAttrs(), operator &=(), operator+=(), operator==(), operator^=(), and operator|=().

NonNullAA

const AANonNull* llvm::DerefState::NonNullAA = nullptr

protected

Definition at line 1735 of file Attributor.h.

---

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

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