LLVM 19.0.0git
Classes | Typedefs | Functions
llvm::at Namespace Reference

Assignment Tracking (at). More...

Classes

struct  AssignmentInfo
 Describes properties of a store that has a static size and offset into a some base storage. More...
 
class  DbgAssignIt
 High level: this is an iterator for llvm.dbg.assign intrinsics. More...
 
struct  VarRecord
 Helper struct for trackAssignments, below. More...
 

Typedefs

using AssignmentInstRange = iterator_range< SmallVectorImpl< Instruction * >::iterator >
 A range of instructions.
 
using AssignmentMarkerRange = iterator_range< DbgAssignIt >
 A range of llvm.dbg.assign intrinsics.
 
using StorageToVarsMap = DenseMap< const AllocaInst *, SmallSetVector< VarRecord, 2 > >
 Map of backing storage to a set of variables that are stored to it.
 

Functions

AssignmentInstRange getAssignmentInsts (DIAssignID *ID)
 Return a range of instructions (typically just one) that have ID as an attachment.
 
AssignmentInstRange getAssignmentInsts (const DbgAssignIntrinsic *DAI)
 Return a range of instructions (typically just one) that perform the assignment that DAI encodes.
 
AssignmentInstRange getAssignmentInsts (const DbgVariableRecord *DVR)
 
AssignmentMarkerRange getAssignmentMarkers (DIAssignID *ID)
 Return a range of dbg.assign intrinsics which use \ID as an operand.
 
AssignmentMarkerRange getAssignmentMarkers (const Instruction *Inst)
 Return a range of dbg.assign intrinsics for which Inst performs the assignment they encode.
 
SmallVector< DbgVariableRecord * > getDVRAssignmentMarkers (const Instruction *Inst)
 
void deleteAssignmentMarkers (const Instruction *Inst)
 Delete the llvm.dbg.assign intrinsics linked to Inst.
 
void RAUW (DIAssignID *Old, DIAssignID *New)
 Replace all uses (and attachments) of Old with New.
 
void deleteAll (Function *F)
 Remove all Assignment Tracking related intrinsics and metadata from F.
 
bool calculateFragmentIntersect (const DataLayout &DL, const Value *Dest, uint64_t SliceOffsetInBits, uint64_t SliceSizeInBits, const DbgAssignIntrinsic *DbgAssign, std::optional< DIExpression::FragmentInfo > &Result)
 Calculate the fragment of the variable in DAI covered from (Dest + SliceOffsetInBits) to to (Dest + SliceOffsetInBits + SliceSizeInBits)
 
bool calculateFragmentIntersect (const DataLayout &DL, const Value *Dest, uint64_t SliceOffsetInBits, uint64_t SliceSizeInBits, const DbgVariableRecord *DVRAssign, std::optional< DIExpression::FragmentInfo > &Result)
 
void trackAssignments (Function::iterator Start, Function::iterator End, const StorageToVarsMap &Vars, const DataLayout &DL, bool DebugPrints=false)
 Track assignments to Vars between Start and End.
 
std::optional< AssignmentInfogetAssignmentInfo (const DataLayout &DL, const MemIntrinsic *I)
 
std::optional< AssignmentInfogetAssignmentInfo (const DataLayout &DL, const StoreInst *SI)
 
std::optional< AssignmentInfogetAssignmentInfo (const DataLayout &DL, const AllocaInst *AI)
 

Detailed Description

Assignment Tracking (at).

Typedef Documentation

◆ AssignmentInstRange

A range of instructions.

Definition at line 184 of file DebugInfo.h.

◆ AssignmentMarkerRange

A range of llvm.dbg.assign intrinsics.

Definition at line 223 of file DebugInfo.h.

◆ StorageToVarsMap

Map of backing storage to a set of variables that are stored to it.

TODO: Backing storage shouldn't be limited to allocas only. Some local variables have their storage allocated by the calling function (addresses passed in with sret & byval parameters).

Definition at line 321 of file DebugInfo.h.

Function Documentation

◆ calculateFragmentIntersect() [1/2]

bool llvm::at::calculateFragmentIntersect ( const DataLayout DL,
const Value Dest,
uint64_t  SliceOffsetInBits,
uint64_t  SliceSizeInBits,
const DbgAssignIntrinsic DbgAssign,
std::optional< DIExpression::FragmentInfo > &  Result 
)

Calculate the fragment of the variable in DAI covered from (Dest + SliceOffsetInBits) to to (Dest + SliceOffsetInBits + SliceSizeInBits)

Return false if it can't be calculated for any reason. Result is set to nullopt if the intersect equals the variable fragment (or variable size) in DAI.

Result contains a zero-sized fragment if there's no intersect.

Definition at line 2080 of file DebugInfo.cpp.

References calculateFragmentIntersectImpl(), and DL.

Referenced by buildOverlapMapAndRecordDeclares(), and shortenAssignment().

◆ calculateFragmentIntersect() [2/2]

bool llvm::at::calculateFragmentIntersect ( const DataLayout DL,
const Value Dest,
uint64_t  SliceOffsetInBits,
uint64_t  SliceSizeInBits,
const DbgVariableRecord DVRAssign,
std::optional< DIExpression::FragmentInfo > &  Result 
)

Definition at line 2087 of file DebugInfo.cpp.

References calculateFragmentIntersectImpl(), and DL.

◆ deleteAll()

void llvm::at::deleteAll ( Function F)

Remove all Assignment Tracking related intrinsics and metadata from F.

Definition at line 1896 of file DebugInfo.cpp.

References F, llvm::filterDbgVars(), I, and llvm::SmallVectorTemplateBase< T, bool >::push_back().

◆ deleteAssignmentMarkers()

void llvm::at::deleteAssignmentMarkers ( const Instruction Inst)

Delete the llvm.dbg.assign intrinsics linked to Inst.

Definition at line 1871 of file DebugInfo.cpp.

References llvm::SmallVectorBase< Size_T >::empty(), getAssignmentMarkers(), and getDVRAssignmentMarkers().

Referenced by promoteSingleBlockAlloca(), and rewriteSingleStoreAlloca().

◆ getAssignmentInfo() [1/3]

std::optional< AssignmentInfo > llvm::at::getAssignmentInfo ( const DataLayout DL,
const AllocaInst AI 
)

Definition at line 2137 of file DebugInfo.cpp.

References DL, llvm::AllocaInst::getAllocatedType(), and getAssignmentInfoImpl().

◆ getAssignmentInfo() [2/3]

std::optional< AssignmentInfo > llvm::at::getAssignmentInfo ( const DataLayout DL,
const MemIntrinsic I 
)

◆ getAssignmentInfo() [3/3]

std::optional< AssignmentInfo > llvm::at::getAssignmentInfo ( const DataLayout DL,
const StoreInst SI 
)

Definition at line 2131 of file DebugInfo.cpp.

References DL, and getAssignmentInfoImpl().

◆ getAssignmentInsts() [1/3]

AssignmentInstRange llvm::at::getAssignmentInsts ( const DbgAssignIntrinsic DAI)
inline

Return a range of instructions (typically just one) that perform the assignment that DAI encodes.

Iterators invalidated by adding or removing DIAssignID metadata to/from any instruction (including by deleting or cloning instructions).

Definition at line 195 of file DebugInfo.h.

References llvm::DbgAssignIntrinsic::getAssignID(), and getAssignmentInsts().

◆ getAssignmentInsts() [2/3]

AssignmentInstRange llvm::at::getAssignmentInsts ( const DbgVariableRecord DVR)
inline

◆ getAssignmentInsts() [3/3]

AssignmentInstRange llvm::at::getAssignmentInsts ( DIAssignID ID)

Return a range of instructions (typically just one) that have ID as an attachment.

Iterators invalidated by adding or removing DIAssignID metadata to/from any instruction (including by deleting or cloning instructions).

Definition at line 1845 of file DebugInfo.cpp.

References assert(), llvm::LLVMContextImpl::AssignmentIDToInstrs, llvm::make_range(), and llvm::LLVMContext::pImpl.

Referenced by DbgVariableRecordsRemoveRedundantDbgInstrsUsingBackwardScan(), DbgVariableRecordsRemoveRedundantDbgInstrsUsingForwardScan(), DbgVariableRecordsRemoveUndefDbgAssignsFromEntryBlock(), getAssignmentInsts(), RAUW(), removeRedundantDbgInstrsUsingBackwardScan(), removeRedundantDbgInstrsUsingForwardScan(), and removeUndefDbgAssignsFromEntryBlock().

◆ getAssignmentMarkers() [1/2]

AssignmentMarkerRange llvm::at::getAssignmentMarkers ( const Instruction Inst)
inline

Return a range of dbg.assign intrinsics for which Inst performs the assignment they encode.

Iterators invalidated by deleting an intrinsic contained in this range.

Definition at line 230 of file DebugInfo.h.

References getAssignmentMarkers(), llvm::Instruction::getMetadata(), and llvm::make_range().

◆ getAssignmentMarkers() [2/2]

AssignmentMarkerRange llvm::at::getAssignmentMarkers ( DIAssignID ID)

Return a range of dbg.assign intrinsics which use \ID as an operand.

Iterators invalidated by deleting an intrinsic contained in this range.

Definition at line 1857 of file DebugInfo.cpp.

References assert(), llvm::MetadataAsValue::getIfExists(), and llvm::make_range().

Referenced by buildOverlapMapAndRecordDeclares(), collectEscapedLocals(), deleteAssignmentMarkers(), findVarsWithStackSlot(), getAssignmentMarkers(), migrateDebugInfo(), shortenAssignment(), and llvm::InstCombinerImpl::SimplifyAnyMemSet().

◆ getDVRAssignmentMarkers()

SmallVector< DbgVariableRecord * > llvm::at::getDVRAssignmentMarkers ( const Instruction Inst)
inline

◆ RAUW()

void llvm::at::RAUW ( DIAssignID Old,
DIAssignID New 
)

◆ trackAssignments()

void llvm::at::trackAssignments ( Function::iterator  Start,
Function::iterator  End,
const StorageToVarsMap Vars,
const DataLayout DL,
bool  DebugPrints = false 
)