mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-11-24 19:52:54 +01:00
bdfdb24819
Summary: Previously we were trying to represent this with the "contains" list of the .cv_inline_linetable directive, which was not enough information. Now we directly represent the chain of inlined call sites, so we know what location to emit when we encounter a .cv_loc directive of an inner inlined call site while emitting the line table of an outer function or inlined call site. Fixes PR29146. Also fixes PR29147, where we would crash when .cv_loc directives crossed sections. Now we write down the section of the first .cv_loc directive, and emit an error if any other .cv_loc directive for that function is in a different section. Also fixes issues with discontiguous inlined source locations, like in this example: volatile int unlikely_cond = 0; extern void __declspec(noreturn) abort(); __forceinline void f() { if (!unlikely_cond) abort(); } int main() { unlikely_cond = 0; f(); unlikely_cond = 0; } Previously our tables gave bad location information for the 'abort' call, and the debugger wouldn't snow the inlined stack frame for 'f'. It is important to emit good line tables for this code pattern, because it comes up whenever an asan bug occurs in an inlined function. The __asan_report* stubs are generally placed after the normal function epilogue, leading to discontiguous regions of inlined code. Reviewers: majnemer, amccarth Subscribers: llvm-commits Differential Revision: https://reviews.llvm.org/D24014 llvm-svn: 280822
312 lines
11 KiB
C++
312 lines
11 KiB
C++
//===- MCCodeView.h - Machine Code CodeView support -------------*- C++ -*-===//
|
|
//
|
|
// The LLVM Compiler Infrastructure
|
|
//
|
|
// This file is distributed under the University of Illinois Open Source
|
|
// License. See LICENSE.TXT for details.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
//
|
|
// Holds state from .cv_file and .cv_loc directives for later emission.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#ifndef LLVM_MC_MCCODEVIEW_H
|
|
#define LLVM_MC_MCCODEVIEW_H
|
|
|
|
#include "llvm/ADT/StringRef.h"
|
|
#include "llvm/ADT/StringMap.h"
|
|
#include "llvm/MC/MCObjectStreamer.h"
|
|
#include "llvm/MC/MCFragment.h"
|
|
#include <map>
|
|
#include <vector>
|
|
|
|
namespace llvm {
|
|
class MCContext;
|
|
class MCObjectStreamer;
|
|
class MCStreamer;
|
|
class CodeViewContext;
|
|
|
|
/// \brief Instances of this class represent the information from a
|
|
/// .cv_loc directive.
|
|
class MCCVLoc {
|
|
uint32_t FunctionId;
|
|
uint32_t FileNum;
|
|
uint32_t Line;
|
|
uint16_t Column;
|
|
uint16_t PrologueEnd : 1;
|
|
uint16_t IsStmt : 1;
|
|
|
|
private: // CodeViewContext manages these
|
|
friend class CodeViewContext;
|
|
MCCVLoc(unsigned functionid, unsigned fileNum, unsigned line, unsigned column,
|
|
bool prologueend, bool isstmt)
|
|
: FunctionId(functionid), FileNum(fileNum), Line(line), Column(column),
|
|
PrologueEnd(prologueend), IsStmt(isstmt) {}
|
|
|
|
// Allow the default copy constructor and assignment operator to be used
|
|
// for an MCCVLoc object.
|
|
|
|
public:
|
|
unsigned getFunctionId() const { return FunctionId; }
|
|
|
|
/// \brief Get the FileNum of this MCCVLoc.
|
|
unsigned getFileNum() const { return FileNum; }
|
|
|
|
/// \brief Get the Line of this MCCVLoc.
|
|
unsigned getLine() const { return Line; }
|
|
|
|
/// \brief Get the Column of this MCCVLoc.
|
|
unsigned getColumn() const { return Column; }
|
|
|
|
bool isPrologueEnd() const { return PrologueEnd; }
|
|
bool isStmt() const { return IsStmt; }
|
|
|
|
void setFunctionId(unsigned FID) { FunctionId = FID; }
|
|
|
|
/// \brief Set the FileNum of this MCCVLoc.
|
|
void setFileNum(unsigned fileNum) { FileNum = fileNum; }
|
|
|
|
/// \brief Set the Line of this MCCVLoc.
|
|
void setLine(unsigned line) { Line = line; }
|
|
|
|
/// \brief Set the Column of this MCCVLoc.
|
|
void setColumn(unsigned column) {
|
|
assert(column <= UINT16_MAX);
|
|
Column = column;
|
|
}
|
|
|
|
void setPrologueEnd(bool PE) { PrologueEnd = PE; }
|
|
void setIsStmt(bool IS) { IsStmt = IS; }
|
|
};
|
|
|
|
/// \brief Instances of this class represent the line information for
|
|
/// the CodeView line table entries. Which is created after a machine
|
|
/// instruction is assembled and uses an address from a temporary label
|
|
/// created at the current address in the current section and the info from
|
|
/// the last .cv_loc directive seen as stored in the context.
|
|
class MCCVLineEntry : public MCCVLoc {
|
|
const MCSymbol *Label;
|
|
|
|
private:
|
|
// Allow the default copy constructor and assignment operator to be used
|
|
// for an MCCVLineEntry object.
|
|
|
|
public:
|
|
// Constructor to create an MCCVLineEntry given a symbol and the dwarf loc.
|
|
MCCVLineEntry(const MCSymbol *Label, const MCCVLoc loc)
|
|
: MCCVLoc(loc), Label(Label) {}
|
|
|
|
const MCSymbol *getLabel() const { return Label; }
|
|
|
|
// This is called when an instruction is assembled into the specified
|
|
// section and if there is information from the last .cv_loc directive that
|
|
// has yet to have a line entry made for it is made.
|
|
static void Make(MCObjectStreamer *MCOS);
|
|
};
|
|
|
|
/// Information describing a function or inlined call site introduced by
|
|
/// .cv_func_id or .cv_inline_site_id. Accumulates information from .cv_loc
|
|
/// directives used with this function's id or the id of an inlined call site
|
|
/// within this function or inlined call site.
|
|
struct MCCVFunctionInfo {
|
|
/// If this represents an inlined call site, then ParentFuncIdPlusOne will be
|
|
/// the parent function id plus one. If this represents a normal function,
|
|
/// then there is no parent, and ParentFuncIdPlusOne will be FunctionSentinel.
|
|
/// If this struct is an unallocated slot in the function info vector, then
|
|
/// ParentFuncIdPlusOne will be zero.
|
|
unsigned ParentFuncIdPlusOne = 0;
|
|
|
|
enum : unsigned { FunctionSentinel = ~0U };
|
|
|
|
struct LineInfo {
|
|
unsigned File;
|
|
unsigned Line;
|
|
unsigned Col;
|
|
};
|
|
|
|
LineInfo InlinedAt;
|
|
|
|
/// The section of the first .cv_loc directive used for this function, or null
|
|
/// if none has been seen yet.
|
|
MCSection *Section = nullptr;
|
|
|
|
/// Map from inlined call site id to the inlined at location to use for that
|
|
/// call site. Call chains are collapsed, so for the call chain 'f -> g -> h',
|
|
/// the InlinedAtMap of 'f' will contain entries for 'g' and 'h' that both
|
|
/// list the line info for the 'g' call site.
|
|
DenseMap<unsigned, LineInfo> InlinedAtMap;
|
|
|
|
/// Returns true if this is function info has not yet been used in a
|
|
/// .cv_func_id or .cv_inline_site_id directive.
|
|
bool isUnallocatedFunctionInfo() const { return ParentFuncIdPlusOne == 0; }
|
|
|
|
/// Returns true if this represents an inlined call site, meaning
|
|
/// ParentFuncIdPlusOne is neither zero nor ~0U.
|
|
bool isInlinedCallSite() const {
|
|
return !isUnallocatedFunctionInfo() &&
|
|
ParentFuncIdPlusOne != FunctionSentinel;
|
|
}
|
|
|
|
unsigned getParentFuncId() const {
|
|
assert(isInlinedCallSite());
|
|
return ParentFuncIdPlusOne - 1;
|
|
}
|
|
};
|
|
|
|
/// Holds state from .cv_file and .cv_loc directives for later emission.
|
|
class CodeViewContext {
|
|
public:
|
|
CodeViewContext();
|
|
~CodeViewContext();
|
|
|
|
bool isValidFileNumber(unsigned FileNumber) const;
|
|
bool addFile(unsigned FileNumber, StringRef Filename);
|
|
ArrayRef<StringRef> getFilenames() { return Filenames; }
|
|
|
|
/// Records the function id of a normal function. Returns false if the
|
|
/// function id has already been used, and true otherwise.
|
|
bool recordFunctionId(unsigned FuncId);
|
|
|
|
/// Records the function id of an inlined call site. Records the "inlined at"
|
|
/// location info of the call site, including what function or inlined call
|
|
/// site it was inlined into. Returns false if the function id has already
|
|
/// been used, and true otherwise.
|
|
bool recordInlinedCallSiteId(unsigned FuncId, unsigned IAFunc,
|
|
unsigned IAFile, unsigned IALine,
|
|
unsigned IACol);
|
|
|
|
/// Retreive the function info if this is a valid function id, or nullptr.
|
|
MCCVFunctionInfo *getCVFunctionInfo(unsigned FuncId) {
|
|
if (FuncId >= Functions.size())
|
|
return nullptr;
|
|
if (Functions[FuncId].isUnallocatedFunctionInfo())
|
|
return nullptr;
|
|
return &Functions[FuncId];
|
|
}
|
|
|
|
/// Saves the information from the currently parsed .cv_loc directive
|
|
/// and sets CVLocSeen. When the next instruction is assembled an entry
|
|
/// in the line number table with this information and the address of the
|
|
/// instruction will be created.
|
|
void setCurrentCVLoc(unsigned FunctionId, unsigned FileNo, unsigned Line,
|
|
unsigned Column, bool PrologueEnd, bool IsStmt) {
|
|
CurrentCVLoc.setFunctionId(FunctionId);
|
|
CurrentCVLoc.setFileNum(FileNo);
|
|
CurrentCVLoc.setLine(Line);
|
|
CurrentCVLoc.setColumn(Column);
|
|
CurrentCVLoc.setPrologueEnd(PrologueEnd);
|
|
CurrentCVLoc.setIsStmt(IsStmt);
|
|
CVLocSeen = true;
|
|
}
|
|
void clearCVLocSeen() { CVLocSeen = false; }
|
|
|
|
bool getCVLocSeen() { return CVLocSeen; }
|
|
const MCCVLoc &getCurrentCVLoc() { return CurrentCVLoc; }
|
|
|
|
bool isValidCVFileNumber(unsigned FileNumber);
|
|
|
|
/// \brief Add a line entry.
|
|
void addLineEntry(const MCCVLineEntry &LineEntry) {
|
|
size_t Offset = MCCVLines.size();
|
|
auto I = MCCVLineStartStop.insert(
|
|
{LineEntry.getFunctionId(), {Offset, Offset + 1}});
|
|
if (!I.second)
|
|
I.first->second.second = Offset + 1;
|
|
MCCVLines.push_back(LineEntry);
|
|
}
|
|
|
|
std::vector<MCCVLineEntry> getFunctionLineEntries(unsigned FuncId) {
|
|
std::vector<MCCVLineEntry> FilteredLines;
|
|
|
|
auto I = MCCVLineStartStop.find(FuncId);
|
|
if (I != MCCVLineStartStop.end())
|
|
for (size_t Idx = I->second.first, End = I->second.second; Idx != End;
|
|
++Idx)
|
|
if (MCCVLines[Idx].getFunctionId() == FuncId)
|
|
FilteredLines.push_back(MCCVLines[Idx]);
|
|
return FilteredLines;
|
|
}
|
|
|
|
std::pair<size_t, size_t> getLineExtent(unsigned FuncId) {
|
|
auto I = MCCVLineStartStop.find(FuncId);
|
|
// Return an empty extent if there are no cv_locs for this function id.
|
|
if (I == MCCVLineStartStop.end())
|
|
return {~0ULL, 0};
|
|
return I->second;
|
|
}
|
|
|
|
ArrayRef<MCCVLineEntry> getLinesForExtent(size_t L, size_t R) {
|
|
if (R <= L)
|
|
return None;
|
|
if (L >= MCCVLines.size())
|
|
return None;
|
|
return makeArrayRef(&MCCVLines[L], R - L);
|
|
}
|
|
|
|
/// Emits a line table substream.
|
|
void emitLineTableForFunction(MCObjectStreamer &OS, unsigned FuncId,
|
|
const MCSymbol *FuncBegin,
|
|
const MCSymbol *FuncEnd);
|
|
|
|
void emitInlineLineTableForFunction(MCObjectStreamer &OS,
|
|
unsigned PrimaryFunctionId,
|
|
unsigned SourceFileId,
|
|
unsigned SourceLineNum,
|
|
const MCSymbol *FnStartSym,
|
|
const MCSymbol *FnEndSym);
|
|
|
|
/// Encodes the binary annotations once we have a layout.
|
|
void encodeInlineLineTable(MCAsmLayout &Layout,
|
|
MCCVInlineLineTableFragment &F);
|
|
|
|
void
|
|
emitDefRange(MCObjectStreamer &OS,
|
|
ArrayRef<std::pair<const MCSymbol *, const MCSymbol *>> Ranges,
|
|
StringRef FixedSizePortion);
|
|
|
|
void encodeDefRange(MCAsmLayout &Layout, MCCVDefRangeFragment &F);
|
|
|
|
/// Emits the string table substream.
|
|
void emitStringTable(MCObjectStreamer &OS);
|
|
|
|
/// Emits the file checksum substream.
|
|
void emitFileChecksums(MCObjectStreamer &OS);
|
|
|
|
private:
|
|
/// The current CodeView line information from the last .cv_loc directive.
|
|
MCCVLoc CurrentCVLoc = MCCVLoc(0, 0, 0, 0, false, true);
|
|
bool CVLocSeen = false;
|
|
|
|
/// Map from string to string table offset.
|
|
StringMap<unsigned> StringTable;
|
|
|
|
/// The fragment that ultimately holds our strings.
|
|
MCDataFragment *StrTabFragment = nullptr;
|
|
bool InsertedStrTabFragment = false;
|
|
|
|
MCDataFragment *getStringTableFragment();
|
|
|
|
/// Add something to the string table.
|
|
StringRef addToStringTable(StringRef S);
|
|
|
|
/// Get a string table offset.
|
|
unsigned getStringTableOffset(StringRef S);
|
|
|
|
/// An array of absolute paths. Eventually this may include the file checksum.
|
|
SmallVector<StringRef, 4> Filenames;
|
|
|
|
/// The offset of the first and last .cv_loc directive for a given function
|
|
/// id.
|
|
std::map<unsigned, std::pair<size_t, size_t>> MCCVLineStartStop;
|
|
|
|
/// A collection of MCCVLineEntry for each section.
|
|
std::vector<MCCVLineEntry> MCCVLines;
|
|
|
|
/// All known functions and inlined call sites, indexed by function id.
|
|
std::vector<MCCVFunctionInfo> Functions;
|
|
};
|
|
|
|
} // end namespace llvm
|
|
#endif
|