LLVM 19.0.0git
Classes | Public Member Functions | List of all members
llvm::GlobalsAAResult::FunctionInfo Class Reference

The mod/ref information collected for a particular function. More...

Public Member Functions

 FunctionInfo ()=default
 Checks to document the invariants of the bit packing here.
 
 ~FunctionInfo ()
 
 FunctionInfo (const FunctionInfo &Arg)
 
 FunctionInfo (FunctionInfo &&Arg)
 
FunctionInfooperator= (const FunctionInfo &RHS)
 
FunctionInfooperator= (FunctionInfo &&RHS)
 
ModRefInfo globalClearMayReadAnyGlobal (int I) const
 This method clears MayReadAnyGlobal bit added by GlobalsAAResult to return the corresponding ModRefInfo.
 
ModRefInfo getModRefInfo () const
 Returns the ModRefInfo info for this function.
 
void addModRefInfo (ModRefInfo NewMRI)
 Adds new ModRefInfo for this function to its state.
 
bool mayReadAnyGlobal () const
 Returns whether this function may read any global variable, and we don't know which global.
 
void setMayReadAnyGlobal ()
 Sets this function as potentially reading from any global.
 
ModRefInfo getModRefInfoForGlobal (const GlobalValue &GV) const
 Returns the ModRefInfo info for this function w.r.t.
 
void addFunctionInfo (const FunctionInfo &FI)
 Add mod/ref info from another function into ours, saturating towards ModRef.
 
void addModRefInfoForGlobal (const GlobalValue &GV, ModRefInfo NewMRI)
 
void eraseModRefInfoForGlobal (const GlobalValue &GV)
 Clear a global's ModRef info.
 

Detailed Description

The mod/ref information collected for a particular function.

We collect information about mod/ref behavior of a function here, both in general and as pertains to specific globals. We only have this detailed information when we know something useful about the behavior. If we saturate to fully general mod/ref, we remove the info for the function.

Definition at line 63 of file GlobalsModRef.cpp.

Constructor & Destructor Documentation

◆ FunctionInfo() [1/3]

llvm::GlobalsAAResult::FunctionInfo::FunctionInfo ( )
default

Checks to document the invariants of the bit packing here.

◆ ~FunctionInfo()

llvm::GlobalsAAResult::FunctionInfo::~FunctionInfo ( )
inline

◆ FunctionInfo() [2/3]

llvm::GlobalsAAResult::FunctionInfo::FunctionInfo ( const FunctionInfo Arg)
inline

◆ FunctionInfo() [3/3]

llvm::GlobalsAAResult::FunctionInfo::FunctionInfo ( FunctionInfo &&  Arg)
inline

Definition at line 113 of file GlobalsModRef.cpp.

Member Function Documentation

◆ addFunctionInfo()

void llvm::GlobalsAAResult::FunctionInfo::addFunctionInfo ( const FunctionInfo FI)
inline

◆ addModRefInfo()

void llvm::GlobalsAAResult::FunctionInfo::addModRefInfo ( ModRefInfo  NewMRI)
inline

◆ addModRefInfoForGlobal()

void llvm::GlobalsAAResult::FunctionInfo::addModRefInfoForGlobal ( const GlobalValue GV,
ModRefInfo  NewMRI 
)
inline

◆ eraseModRefInfoForGlobal()

void llvm::GlobalsAAResult::FunctionInfo::eraseModRefInfoForGlobal ( const GlobalValue GV)
inline

Clear a global's ModRef info.

Should be used when a global is being deleted.

Definition at line 192 of file GlobalsModRef.cpp.

References llvm::PointerIntPair< PointerTy, IntBits, IntType, PtrTraits, Info >::getPointer(), and P.

◆ getModRefInfo()

ModRefInfo llvm::GlobalsAAResult::FunctionInfo::getModRefInfo ( ) const
inline

◆ getModRefInfoForGlobal()

ModRefInfo llvm::GlobalsAAResult::FunctionInfo::getModRefInfoForGlobal ( const GlobalValue GV) const
inline

Returns the ModRefInfo info for this function w.r.t.

a particular global, which may be more precise than the general information above.

Definition at line 156 of file GlobalsModRef.cpp.

References llvm::PointerIntPair< PointerTy, IntBits, IntType, PtrTraits, Info >::getPointer(), I, llvm::GlobalsAAResult::FunctionInfo::mayReadAnyGlobal(), llvm::NoModRef, P, and llvm::Ref.

◆ globalClearMayReadAnyGlobal()

ModRefInfo llvm::GlobalsAAResult::FunctionInfo::globalClearMayReadAnyGlobal ( int  I) const
inline

This method clears MayReadAnyGlobal bit added by GlobalsAAResult to return the corresponding ModRefInfo.

Definition at line 133 of file GlobalsModRef.cpp.

References I, and llvm::ModRef.

Referenced by llvm::GlobalsAAResult::FunctionInfo::getModRefInfo().

◆ mayReadAnyGlobal()

bool llvm::GlobalsAAResult::FunctionInfo::mayReadAnyGlobal ( ) const
inline

Returns whether this function may read any global variable, and we don't know which global.

Definition at line 149 of file GlobalsModRef.cpp.

References llvm::PointerIntPair< PointerTy, IntBits, IntType, PtrTraits, Info >::getInt().

Referenced by llvm::GlobalsAAResult::FunctionInfo::addFunctionInfo(), and llvm::GlobalsAAResult::FunctionInfo::getModRefInfoForGlobal().

◆ operator=() [1/2]

FunctionInfo & llvm::GlobalsAAResult::FunctionInfo::operator= ( const FunctionInfo RHS)
inline

◆ operator=() [2/2]

FunctionInfo & llvm::GlobalsAAResult::FunctionInfo::operator= ( FunctionInfo &&  RHS)
inline

◆ setMayReadAnyGlobal()

void llvm::GlobalsAAResult::FunctionInfo::setMayReadAnyGlobal ( )
inline

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