LLVM 19.0.0git
Static Public Member Functions | Public 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]

Static Public Member Functions

static DerefState getBestState ()
 
static DerefState getBestState (const DerefState &)
 
static DerefState getWorstState ()
 Return the worst possible representable state.
 
static DerefState getWorstState (const DerefState &)
 

Public Attributes

IncIntegerState DerefBytesState
 State representing for dereferenceable bytes.
 
std::map< int64_t, uint64_tAccessedBytesMap
 Map representing for accessed memory offsets and sizes.
 

Additional Inherited Members

- Public Member Functions inherited from llvm::AbstractState
virtual ~AbstractState ()=default
 
virtual bool isValidState () const =0
 Return if this abstract state is in a valid state.
 
virtual bool isAtFixpoint () const =0
 Return if this abstract state is fixed, thus does not need to be updated if information changes as it cannot change itself.
 
virtual ChangeStatus indicateOptimisticFixpoint ()=0
 Indicate that the abstract state should converge to the optimistic state.
 
virtual ChangeStatus indicatePessimisticFixpoint ()=0
 Indicate that the abstract state should converge to the pessimistic state.
 

Detailed Description

State for dereferenceable attribute.

Definition at line 4070 of file Attributor.h.

Member Function Documentation

◆ getBestState() [1/2]

static DerefState llvm::DerefState::getBestState ( )
inlinestatic

Definition at line 4072 of file Attributor.h.

◆ getBestState() [2/2]

static DerefState llvm::DerefState::getBestState ( const DerefState )
inlinestatic

Definition at line 4073 of file Attributor.h.

References getBestState().

Referenced by getBestState().

◆ getWorstState() [1/2]

static DerefState llvm::DerefState::getWorstState ( )
inlinestatic

Return the worst possible representable state.

Definition at line 4076 of file Attributor.h.

Referenced by getWorstState().

◆ getWorstState() [2/2]

static DerefState llvm::DerefState::getWorstState ( const DerefState )
inlinestatic

Definition at line 4081 of file Attributor.h.

References getWorstState().

Member Data Documentation

◆ AccessedBytesMap

std::map<int64_t, uint64_t> llvm::DerefState::AccessedBytesMap

Map representing for accessed memory offsets and sizes.

A key is Offset and a value is size. If there is a load/store instruction something like, p[offset] = v; (offset, sizeof(v)) will be inserted to this map. std::map is used because we want to iterate keys in ascending order.

Definition at line 4094 of file Attributor.h.

◆ DerefBytesState

IncIntegerState llvm::DerefState::DerefBytesState

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