LLVM  10.0.0svn
Public Member Functions | Public Attributes | Protected Attributes | List of all members
llvm::DerefState Struct Reference

State for dereferenceable attribute. More...

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

Inheritance diagram for llvm::DerefState:
Inheritance graph
[legend]
Collaboration diagram for llvm::DerefState:
Collaboration graph
[legend]

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 AANonNullNonNullAA = nullptr
 

Detailed Description

State for dereferenceable attribute.

Definition at line 1656 of file Attributor.h.

Member Function Documentation

◆ indicateOptimisticFixpoint()

ChangeStatus llvm::DerefState::indicateOptimisticFixpoint ( )
inlineoverridevirtual

◆ indicatePessimisticFixpoint()

ChangeStatus llvm::DerefState::indicatePessimisticFixpoint ( )
inlineoverridevirtual

◆ isAtFixpoint()

bool llvm::DerefState::isAtFixpoint ( ) const
inlineoverridevirtual

◆ isValidState()

bool llvm::DerefState::isValidState ( ) const
inlineoverridevirtual

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