LLVM 22.0.0git
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.

Referenced by addFunctionInfo(), FunctionInfo(), FunctionInfo(), operator=(), and operator=().

◆ ~FunctionInfo()

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

Definition at line 102 of file GlobalsModRef.cpp.

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

References FunctionInfo().

Member Function Documentation

◆ addFunctionInfo()

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

Add mod/ref info from another function into ours, saturating towards ModRef.

Definition at line 169 of file GlobalsModRef.cpp.

References addModRefInfo(), addModRefInfoForGlobal(), FunctionInfo(), G, getModRefInfo(), llvm::PointerIntPair< PointerTy, IntBits, IntType, PtrTraits, Info >::getPointer(), mayReadAnyGlobal(), P, and setMayReadAnyGlobal().

◆ addModRefInfo()

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

Adds new ModRefInfo for this function to its state.

Definition at line 143 of file GlobalsModRef.cpp.

Referenced by addFunctionInfo().

◆ addModRefInfoForGlobal()

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

Definition at line 180 of file GlobalsModRef.cpp.

References P.

Referenced by addFunctionInfo().

◆ 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 P.

◆ getModRefInfo()

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

Returns the ModRefInfo info for this function.

Definition at line 138 of file GlobalsModRef.cpp.

References globalClearMayReadAnyGlobal().

Referenced by addFunctionInfo().

◆ 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 I, 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 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.

Referenced by addFunctionInfo(), and getModRefInfoForGlobal().

◆ operator=() [1/2]

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

Definition at line 117 of file GlobalsModRef.cpp.

References FunctionInfo().

◆ operator=() [2/2]

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

◆ setMayReadAnyGlobal()

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

Sets this function as potentially reading from any global.

Definition at line 152 of file GlobalsModRef.cpp.

Referenced by addFunctionInfo().


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