DbgEntityHistoryCalculator.cpp File Reference

#include "llvm/CodeGen/DbgEntityHistoryCalculator.h"
#include "llvm/ADT/STLExtras.h"
#include "llvm/ADT/SmallSet.h"
#include "llvm/ADT/SmallVector.h"
#include "llvm/CodeGen/LexicalScopes.h"
#include "llvm/CodeGen/MachineBasicBlock.h"
#include "llvm/CodeGen/MachineFunction.h"
#include "llvm/CodeGen/MachineInstr.h"
#include "llvm/CodeGen/MachineOperand.h"
#include "llvm/CodeGen/TargetLowering.h"
#include "llvm/CodeGen/TargetRegisterInfo.h"
#include "llvm/CodeGen/TargetSubtargetInfo.h"
#include "llvm/IR/DebugInfoMetadata.h"
#include "llvm/IR/DebugLoc.h"
#include "llvm/MC/MCRegisterInfo.h"
#include "llvm/Support/Debug.h"
#include "llvm/Support/raw_ostream.h"
#include <cassert>
#include <map>
#include <optional>

Go to the source code of this file.

Macros
#define	DEBUG_TYPE   "dwarfdebug"

Functions
static std::optional< ArrayRef< InsnRange >::iterator >	intersects (const MachineInstr *StartMI, const MachineInstr *EndMI, ArrayRef< InsnRange > Ranges, const InstructionOrdering &Ordering)
	Check if the instruction range [StartMI, EndMI] intersects any instruction range in Ranges.
static void	dropRegDescribedVar (RegDescribedVarsMap &RegVars, unsigned RegNo, InlinedEntity Var)
static void	addRegDescribedVar (RegDescribedVarsMap &RegVars, unsigned RegNo, InlinedEntity Var)
static void	clobberRegEntries (InlinedEntity Var, unsigned RegNo, const MachineInstr &ClobberingInstr, DbgValueEntriesMap &LiveEntries, DbgValueHistoryMap &HistMap, SmallVectorImpl< Register > &FellowRegisters)
	Create a clobbering entry and end all open debug value entries for Var that are described by RegNo using that entry.
static void	handleNewDebugValue (InlinedEntity Var, const MachineInstr &DV, RegDescribedVarsMap &RegVars, DbgValueEntriesMap &LiveEntries, DbgValueHistoryMap &HistMap)
	Add a new debug value for Var. Closes all overlapping debug values.
static void	clobberRegisterUses (RegDescribedVarsMap &RegVars, RegDescribedVarsMap::iterator I, DbgValueHistoryMap &HistMap, DbgValueEntriesMap &LiveEntries, const MachineInstr &ClobberingInstr)
static void	clobberRegisterUses (RegDescribedVarsMap &RegVars, unsigned RegNo, DbgValueHistoryMap &HistMap, DbgValueEntriesMap &LiveEntries, const MachineInstr &ClobberingInstr)

Macro Definition Documentation

DEBUG_TYPE

#define DEBUG_TYPE   "dwarfdebug"

Definition at line 32 of file DbgEntityHistoryCalculator.cpp.

Function Documentation

addRegDescribedVar()

void addRegDescribedVar ( RegDescribedVarsMap & RegVars, unsigned RegNo, InlinedEntity Var )

static

Definition at line 315 of file DbgEntityHistoryCalculator.cpp.

References assert(), and llvm::is_contained().

Referenced by handleNewDebugValue().

clobberRegEntries()

void clobberRegEntries ( InlinedEntity Var, unsigned RegNo, const MachineInstr & ClobberingInstr, DbgValueEntriesMap & LiveEntries, DbgValueHistoryMap & HistMap, SmallVectorImpl< Register > & FellowRegisters )

static

Create a clobbering entry and end all open debug value entries for Var that are described by RegNo using that entry.

Inserts into FellowRegisters the set of Registers that were also used to describe Var alongside RegNo.

Definition at line 327 of file DbgEntityHistoryCalculator.cpp.

References assert(), llvm::SmallSet< T, N, C >::contains(), llvm::SmallVectorImpl< T >::erase(), llvm::DbgValueHistoryMap::getEntry(), llvm::SmallSet< T, N, C >::insert(), llvm::SmallVectorTemplateBase< T, bool >::push_back(), Reg, and llvm::DbgValueHistoryMap::startClobber().

Referenced by clobberRegisterUses().

clobberRegisterUses() [1/2]

void clobberRegisterUses ( RegDescribedVarsMap & RegVars, RegDescribedVarsMap::iterator I, DbgValueHistoryMap & HistMap, DbgValueEntriesMap & LiveEntries, const MachineInstr & ClobberingInstr )

static

Definition at line 436 of file DbgEntityHistoryCalculator.cpp.

References clobberRegEntries(), dropRegDescribedVar(), and I.

Referenced by llvm::calculateDbgEntityHistory(), and clobberRegisterUses().

clobberRegisterUses() [2/2]

void clobberRegisterUses ( RegDescribedVarsMap & RegVars, unsigned RegNo, DbgValueHistoryMap & HistMap, DbgValueEntriesMap & LiveEntries, const MachineInstr & ClobberingInstr )

static

Definition at line 457 of file DbgEntityHistoryCalculator.cpp.

References clobberRegisterUses(), and I.

dropRegDescribedVar()

void dropRegDescribedVar ( RegDescribedVarsMap & RegVars, unsigned RegNo, InlinedEntity Var )

static

Definition at line 301 of file DbgEntityHistoryCalculator.cpp.

References assert(), llvm::find(), and I.

Referenced by clobberRegisterUses(), and handleNewDebugValue().

handleNewDebugValue()

void handleNewDebugValue ( InlinedEntity Var, const MachineInstr & DV, RegDescribedVarsMap & RegVars, DbgValueEntriesMap & LiveEntries, DbgValueHistoryMap & HistMap )

static

Add a new debug value for Var. Closes all overlapping debug values.

Definition at line 369 of file DbgEntityHistoryCalculator.cpp.

References addRegDescribedVar(), assert(), llvm::MachineInstr::debug_operands(), dropRegDescribedVar(), llvm::SmallVectorImpl< T >::erase(), llvm::DIExpression::fragmentsOverlap(), llvm::MachineInstr::getDebugExpression(), llvm::DbgValueHistoryMap::getEntry(), I, llvm::SmallVectorImpl< T >::insert(), llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::insert_or_assign(), llvm::MachineInstr::isDebugEntryValue(), llvm::SmallVectorTemplateBase< T, bool >::push_back(), and llvm::DbgValueHistoryMap::startDbgValue().

Referenced by llvm::calculateDbgEntityHistory().

intersects()

std::optional< ArrayRef< InsnRange >::iterator > intersects ( const MachineInstr * StartMI, const MachineInstr * EndMI, ArrayRef< InsnRange > Ranges, const InstructionOrdering & Ordering )

static

Check if the instruction range [StartMI, EndMI] intersects any instruction range in Ranges.

EndMI can be nullptr to indicate that the range is unbounded. Assumes Ranges is ordered and disjoint. Returns true and points to the first intersecting scope range if one exists.

Definition at line 113 of file DbgEntityHistoryCalculator.cpp.

Referenced by llvm::ResourceSegments::add(), and llvm::DbgValueHistoryMap::trimLocationRanges().