2012-12-18 22:30:41 +08:00
|
|
|
//===--- CGDebugInfo.h - DebugInfo for LLVM CodeGen -------------*- C++ -*-===//
|
|
|
|
//
|
|
|
|
// The LLVM Compiler Infrastructure
|
|
|
|
//
|
|
|
|
// This file is distributed under the University of Illinois Open Source
|
|
|
|
// License. See LICENSE.TXT for details.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
//
|
2014-07-09 22:06:35 +08:00
|
|
|
// This is the source-level debug info generator for llvm translation.
|
2012-12-18 22:30:41 +08:00
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
2014-08-14 00:25:19 +08:00
|
|
|
#ifndef LLVM_CLANG_LIB_CODEGEN_CGDEBUGINFO_H
|
|
|
|
#define LLVM_CLANG_LIB_CODEGEN_CGDEBUGINFO_H
|
2012-12-18 22:30:41 +08:00
|
|
|
|
|
|
|
#include "CGBuilder.h"
|
|
|
|
#include "clang/AST/Expr.h"
|
|
|
|
#include "clang/AST/Type.h"
|
|
|
|
#include "clang/Basic/SourceLocation.h"
|
2013-05-16 08:45:23 +08:00
|
|
|
#include "clang/Frontend/CodeGenOptions.h"
|
2012-12-18 22:30:41 +08:00
|
|
|
#include "llvm/ADT/DenseMap.h"
|
2014-03-06 08:22:29 +08:00
|
|
|
#include "llvm/IR/DIBuilder.h"
|
2014-03-06 08:46:56 +08:00
|
|
|
#include "llvm/IR/DebugInfo.h"
|
2014-03-04 19:18:19 +08:00
|
|
|
#include "llvm/IR/ValueHandle.h"
|
2012-12-18 22:30:41 +08:00
|
|
|
#include "llvm/Support/Allocator.h"
|
|
|
|
|
|
|
|
namespace llvm {
|
|
|
|
class MDNode;
|
|
|
|
}
|
|
|
|
|
|
|
|
namespace clang {
|
|
|
|
class CXXMethodDecl;
|
|
|
|
class VarDecl;
|
|
|
|
class ObjCInterfaceDecl;
|
2013-03-07 06:03:30 +08:00
|
|
|
class ObjCIvarDecl;
|
2012-12-18 22:30:41 +08:00
|
|
|
class ClassTemplateSpecializationDecl;
|
|
|
|
class GlobalDecl;
|
2013-05-20 12:58:53 +08:00
|
|
|
class UsingDecl;
|
2012-12-18 22:30:41 +08:00
|
|
|
|
|
|
|
namespace CodeGen {
|
|
|
|
class CodeGenModule;
|
|
|
|
class CodeGenFunction;
|
|
|
|
class CGBlockInfo;
|
|
|
|
|
2015-01-28 02:32:19 +08:00
|
|
|
/// \brief This class gathers all debug information during compilation
|
2012-12-18 22:30:41 +08:00
|
|
|
/// and is responsible for emitting to llvm globals or pass directly to
|
|
|
|
/// the backend.
|
|
|
|
class CGDebugInfo {
|
2013-07-18 09:36:04 +08:00
|
|
|
friend class ArtificialLocation;
|
2014-01-17 08:15:10 +08:00
|
|
|
friend class SaveAndRestoreLocation;
|
2012-12-18 22:30:41 +08:00
|
|
|
CodeGenModule &CGM;
|
2013-05-21 03:59:06 +08:00
|
|
|
const CodeGenOptions::DebugInfoKind DebugKind;
|
2012-12-18 22:30:41 +08:00
|
|
|
llvm::DIBuilder DBuilder;
|
|
|
|
llvm::DICompileUnit TheCU;
|
2015-01-14 15:38:27 +08:00
|
|
|
SourceLocation CurLoc;
|
2012-12-18 22:30:41 +08:00
|
|
|
llvm::DIType VTablePtrType;
|
|
|
|
llvm::DIType ClassTy;
|
2013-04-03 06:59:11 +08:00
|
|
|
llvm::DICompositeType ObjTy;
|
2012-12-18 22:30:41 +08:00
|
|
|
llvm::DIType SelTy;
|
2012-12-18 22:38:23 +08:00
|
|
|
llvm::DIType OCLImage1dDITy, OCLImage1dArrayDITy, OCLImage1dBufferDITy;
|
|
|
|
llvm::DIType OCLImage2dDITy, OCLImage2dArrayDITy;
|
|
|
|
llvm::DIType OCLImage3dDITy;
|
2013-01-20 20:31:11 +08:00
|
|
|
llvm::DIType OCLEventDITy;
|
2013-07-15 05:12:44 +08:00
|
|
|
llvm::DIType BlockLiteralGeneric;
|
2013-05-16 08:52:23 +08:00
|
|
|
|
2015-01-28 02:32:19 +08:00
|
|
|
/// \brief Cache of previously constructed Types.
|
2014-12-10 02:39:32 +08:00
|
|
|
llvm::DenseMap<const void *, llvm::TrackingMDRef> TypeCache;
|
2012-12-18 22:30:41 +08:00
|
|
|
|
2014-05-06 07:23:53 +08:00
|
|
|
struct ObjCInterfaceCacheEntry {
|
|
|
|
const ObjCInterfaceType *Type;
|
|
|
|
llvm::DIType Decl;
|
|
|
|
llvm::DIFile Unit;
|
|
|
|
ObjCInterfaceCacheEntry(const ObjCInterfaceType *Type, llvm::DIType Decl,
|
|
|
|
llvm::DIFile Unit)
|
|
|
|
: Type(Type), Decl(Decl), Unit(Unit) {}
|
|
|
|
};
|
|
|
|
|
2015-01-28 02:32:19 +08:00
|
|
|
/// \brief Cache of previously constructed interfaces
|
2014-05-06 07:23:53 +08:00
|
|
|
/// which may change.
|
|
|
|
llvm::SmallVector<ObjCInterfaceCacheEntry, 32> ObjCInterfaceCache;
|
2013-03-07 06:03:30 +08:00
|
|
|
|
2015-01-28 02:32:19 +08:00
|
|
|
/// \brief list of interfaces we want to keep even if orphaned.
|
2013-03-12 02:33:46 +08:00
|
|
|
std::vector<void *> RetainedTypes;
|
|
|
|
|
2015-01-28 02:32:19 +08:00
|
|
|
/// \brief Cache of forward declared types to RAUW at the end of
|
2012-12-18 22:30:41 +08:00
|
|
|
/// compilation.
|
2014-12-10 02:39:32 +08:00
|
|
|
std::vector<std::pair<const TagType *, llvm::TrackingMDRef>> ReplaceMap;
|
2012-12-18 22:30:41 +08:00
|
|
|
|
2014-11-18 11:40:51 +08:00
|
|
|
/// \brief Cache of replaceable forward declarartions (functions and
|
|
|
|
/// variables) to RAUW at the end of compilation.
|
2014-12-10 02:39:32 +08:00
|
|
|
std::vector<std::pair<const DeclaratorDecl *, llvm::TrackingMDRef>>
|
|
|
|
FwdDeclReplaceMap;
|
2014-11-18 11:40:51 +08:00
|
|
|
|
2012-12-18 22:30:41 +08:00
|
|
|
// LexicalBlockStack - Keep track of our current nested lexical block.
|
2014-12-10 02:39:32 +08:00
|
|
|
std::vector<llvm::TrackingMDNodeRef> LexicalBlockStack;
|
|
|
|
llvm::DenseMap<const Decl *, llvm::TrackingMDRef> RegionMap;
|
2012-12-18 22:30:41 +08:00
|
|
|
// FnBeginRegionCount - Keep track of LexicalBlockStack counter at the
|
|
|
|
// beginning of a function. This is used to pop unbalanced regions at
|
|
|
|
// the end of a function.
|
|
|
|
std::vector<unsigned> FnBeginRegionCount;
|
|
|
|
|
2015-01-28 02:32:19 +08:00
|
|
|
/// \brief This is a storage for names that are
|
2012-12-18 22:30:41 +08:00
|
|
|
/// constructed on demand. For example, C++ destructors, C++ operators etc..
|
|
|
|
llvm::BumpPtrAllocator DebugInfoNames;
|
|
|
|
StringRef CWDName;
|
|
|
|
|
2014-12-10 02:39:32 +08:00
|
|
|
llvm::DenseMap<const char *, llvm::TrackingMDRef> DIFileCache;
|
|
|
|
llvm::DenseMap<const FunctionDecl *, llvm::TrackingMDRef> SPCache;
|
2013-05-20 12:58:53 +08:00
|
|
|
/// \brief Cache declarations relevant to DW_TAG_imported_declarations (C++
|
|
|
|
/// using declarations) that aren't covered by other more specific caches.
|
2014-12-10 02:39:32 +08:00
|
|
|
llvm::DenseMap<const Decl *, llvm::TrackingMDRef> DeclCache;
|
|
|
|
llvm::DenseMap<const NamespaceDecl *, llvm::TrackingMDRef> NameSpaceCache;
|
|
|
|
llvm::DenseMap<const NamespaceAliasDecl *, llvm::TrackingMDRef>
|
|
|
|
NamespaceAliasCache;
|
|
|
|
llvm::DenseMap<const Decl *, llvm::TrackingMDRef> StaticDataMemberCache;
|
2012-12-18 22:30:41 +08:00
|
|
|
|
|
|
|
/// Helper functions for getOrCreateType.
|
2013-03-07 06:03:30 +08:00
|
|
|
unsigned Checksum(const ObjCInterfaceDecl *InterfaceDecl);
|
2012-12-18 22:30:41 +08:00
|
|
|
llvm::DIType CreateType(const BuiltinType *Ty);
|
|
|
|
llvm::DIType CreateType(const ComplexType *Ty);
|
2013-09-05 06:03:57 +08:00
|
|
|
llvm::DIType CreateQualifiedType(QualType Ty, llvm::DIFile Fg);
|
|
|
|
llvm::DIType CreateType(const TypedefType *Ty, llvm::DIFile Fg);
|
2014-04-07 01:14:06 +08:00
|
|
|
llvm::DIType CreateType(const TemplateSpecializationType *Ty, llvm::DIFile Fg);
|
2012-12-18 22:30:41 +08:00
|
|
|
llvm::DIType CreateType(const ObjCObjectPointerType *Ty,
|
|
|
|
llvm::DIFile F);
|
|
|
|
llvm::DIType CreateType(const PointerType *Ty, llvm::DIFile F);
|
|
|
|
llvm::DIType CreateType(const BlockPointerType *Ty, llvm::DIFile F);
|
|
|
|
llvm::DIType CreateType(const FunctionType *Ty, llvm::DIFile F);
|
2013-09-05 06:03:57 +08:00
|
|
|
llvm::DIType CreateType(const RecordType *Tyg);
|
2013-08-16 04:49:17 +08:00
|
|
|
llvm::DIType CreateTypeDefinition(const RecordType *Ty);
|
2013-08-21 05:03:29 +08:00
|
|
|
llvm::DICompositeType CreateLimitedType(const RecordType *Ty);
|
2013-08-19 00:55:33 +08:00
|
|
|
void CollectContainingType(const CXXRecordDecl *RD, llvm::DICompositeType CT);
|
2012-12-18 22:30:41 +08:00
|
|
|
llvm::DIType CreateType(const ObjCInterfaceType *Ty, llvm::DIFile F);
|
2014-05-06 07:23:53 +08:00
|
|
|
llvm::DIType CreateTypeDefinition(const ObjCInterfaceType *Ty, llvm::DIFile F);
|
2012-12-18 22:30:41 +08:00
|
|
|
llvm::DIType CreateType(const ObjCObjectType *Ty, llvm::DIFile F);
|
|
|
|
llvm::DIType CreateType(const VectorType *Ty, llvm::DIFile F);
|
|
|
|
llvm::DIType CreateType(const ArrayType *Ty, llvm::DIFile F);
|
|
|
|
llvm::DIType CreateType(const LValueReferenceType *Ty, llvm::DIFile F);
|
|
|
|
llvm::DIType CreateType(const RValueReferenceType *Ty, llvm::DIFile Unit);
|
|
|
|
llvm::DIType CreateType(const MemberPointerType *Ty, llvm::DIFile F);
|
|
|
|
llvm::DIType CreateType(const AtomicType *Ty, llvm::DIFile F);
|
2013-08-29 05:20:28 +08:00
|
|
|
llvm::DIType CreateEnumType(const EnumType *Ty);
|
2014-05-07 02:35:21 +08:00
|
|
|
llvm::DIType CreateTypeDefinition(const EnumType *Ty);
|
2013-03-30 03:20:29 +08:00
|
|
|
llvm::DIType CreateSelfType(const QualType &QualTy, llvm::DIType Ty);
|
2012-12-18 22:30:41 +08:00
|
|
|
llvm::DIType getTypeOrNull(const QualType);
|
2013-05-23 07:22:42 +08:00
|
|
|
llvm::DICompositeType getOrCreateMethodType(const CXXMethodDecl *Method,
|
|
|
|
llvm::DIFile F);
|
|
|
|
llvm::DICompositeType getOrCreateInstanceMethodType(
|
2013-01-08 07:06:35 +08:00
|
|
|
QualType ThisPtr, const FunctionProtoType *Func, llvm::DIFile Unit);
|
2013-05-23 07:22:42 +08:00
|
|
|
llvm::DICompositeType getOrCreateFunctionType(const Decl *D, QualType FnType,
|
|
|
|
llvm::DIFile F);
|
2012-12-18 22:30:41 +08:00
|
|
|
llvm::DIType getOrCreateVTablePtrType(llvm::DIFile F);
|
|
|
|
llvm::DINameSpace getOrCreateNameSpace(const NamespaceDecl *N);
|
2013-05-25 05:33:22 +08:00
|
|
|
llvm::DIType getOrCreateTypeDeclaration(QualType PointeeTy, llvm::DIFile F);
|
2014-05-07 20:49:30 +08:00
|
|
|
llvm::DIType CreatePointerLikeType(llvm::dwarf::Tag Tag,
|
2012-12-18 22:30:41 +08:00
|
|
|
const Type *Ty, QualType PointeeTy,
|
|
|
|
llvm::DIFile F);
|
2012-12-18 22:38:23 +08:00
|
|
|
|
2013-03-12 02:33:46 +08:00
|
|
|
llvm::Value *getCachedInterfaceTypeOrNull(const QualType Ty);
|
2012-12-18 22:38:23 +08:00
|
|
|
llvm::DIType getOrCreateStructPtrType(StringRef Name, llvm::DIType &Cache);
|
|
|
|
|
2012-12-18 22:30:41 +08:00
|
|
|
llvm::DISubprogram CreateCXXMemberFunction(const CXXMethodDecl *Method,
|
|
|
|
llvm::DIFile F,
|
|
|
|
llvm::DIType RecordTy);
|
2013-05-16 08:52:23 +08:00
|
|
|
|
2014-12-10 02:39:32 +08:00
|
|
|
void CollectCXXMemberFunctions(const CXXRecordDecl *Decl, llvm::DIFile F,
|
|
|
|
SmallVectorImpl<llvm::Metadata *> &E,
|
2012-12-18 22:30:41 +08:00
|
|
|
llvm::DIType T);
|
|
|
|
|
2014-12-10 02:39:32 +08:00
|
|
|
void CollectCXXBases(const CXXRecordDecl *Decl, llvm::DIFile F,
|
|
|
|
SmallVectorImpl<llvm::Metadata *> &EltTys,
|
2012-12-18 22:30:41 +08:00
|
|
|
llvm::DIType RecordTy);
|
2013-05-16 08:52:23 +08:00
|
|
|
|
2012-12-18 22:30:41 +08:00
|
|
|
llvm::DIArray
|
|
|
|
CollectTemplateParams(const TemplateParameterList *TPList,
|
2013-06-23 02:59:18 +08:00
|
|
|
ArrayRef<TemplateArgument> TAList,
|
2012-12-18 22:30:41 +08:00
|
|
|
llvm::DIFile Unit);
|
|
|
|
llvm::DIArray
|
|
|
|
CollectFunctionTemplateParams(const FunctionDecl *FD, llvm::DIFile Unit);
|
2013-05-16 08:52:23 +08:00
|
|
|
llvm::DIArray
|
2012-12-18 22:30:41 +08:00
|
|
|
CollectCXXTemplateParams(const ClassTemplateSpecializationDecl *TS,
|
|
|
|
llvm::DIFile F);
|
|
|
|
|
|
|
|
llvm::DIType createFieldType(StringRef name, QualType type,
|
|
|
|
uint64_t sizeInBitsOverride, SourceLocation loc,
|
2014-08-30 06:44:27 +08:00
|
|
|
AccessSpecifier AS,
|
|
|
|
uint64_t offsetInBits,
|
2012-12-18 22:30:41 +08:00
|
|
|
llvm::DIFile tunit,
|
2014-08-30 06:44:27 +08:00
|
|
|
llvm::DIScope scope,
|
|
|
|
const RecordDecl* RD = nullptr);
|
2013-01-16 09:22:32 +08:00
|
|
|
|
|
|
|
// Helpers for collecting fields of a record.
|
|
|
|
void CollectRecordLambdaFields(const CXXRecordDecl *CXXDecl,
|
2014-12-10 02:39:32 +08:00
|
|
|
SmallVectorImpl<llvm::Metadata *> &E,
|
2013-01-16 09:22:32 +08:00
|
|
|
llvm::DIType RecordTy);
|
2013-08-16 06:50:29 +08:00
|
|
|
llvm::DIDerivedType CreateRecordStaticField(const VarDecl *Var,
|
2014-08-30 06:44:27 +08:00
|
|
|
llvm::DIType RecordTy,
|
|
|
|
const RecordDecl* RD);
|
2013-01-16 09:22:32 +08:00
|
|
|
void CollectRecordNormalField(const FieldDecl *Field, uint64_t OffsetInBits,
|
|
|
|
llvm::DIFile F,
|
2014-12-10 02:39:32 +08:00
|
|
|
SmallVectorImpl<llvm::Metadata *> &E,
|
|
|
|
llvm::DIType RecordTy, const RecordDecl *RD);
|
2012-12-18 22:30:41 +08:00
|
|
|
void CollectRecordFields(const RecordDecl *Decl, llvm::DIFile F,
|
2014-12-10 02:39:32 +08:00
|
|
|
SmallVectorImpl<llvm::Metadata *> &E,
|
2013-08-17 04:40:25 +08:00
|
|
|
llvm::DICompositeType RecordTy);
|
2012-12-18 22:30:41 +08:00
|
|
|
|
2014-12-10 02:39:32 +08:00
|
|
|
void CollectVTableInfo(const CXXRecordDecl *Decl, llvm::DIFile F,
|
|
|
|
SmallVectorImpl<llvm::Metadata *> &EltTys);
|
2012-12-18 22:30:41 +08:00
|
|
|
|
|
|
|
// CreateLexicalBlock - Create a new lexical block node and push it on
|
|
|
|
// the stack.
|
|
|
|
void CreateLexicalBlock(SourceLocation Loc);
|
2013-05-16 08:52:23 +08:00
|
|
|
|
2012-12-18 22:30:41 +08:00
|
|
|
public:
|
|
|
|
CGDebugInfo(CodeGenModule &CGM);
|
|
|
|
~CGDebugInfo();
|
|
|
|
|
|
|
|
void finalize();
|
|
|
|
|
2015-01-28 02:32:19 +08:00
|
|
|
/// \brief Update the current source location. If \arg loc is
|
2012-12-18 22:30:41 +08:00
|
|
|
/// invalid it is ignored.
|
|
|
|
void setLocation(SourceLocation Loc);
|
|
|
|
|
2015-01-28 02:32:19 +08:00
|
|
|
/// \brief Emit metadata to indicate a change in line/column
|
2012-12-18 22:30:41 +08:00
|
|
|
/// information in the source file.
|
2015-01-22 07:08:17 +08:00
|
|
|
void EmitLocation(CGBuilderTy &Builder, SourceLocation Loc);
|
2012-12-18 22:30:41 +08:00
|
|
|
|
2015-01-28 02:32:19 +08:00
|
|
|
/// \brief Emit a call to llvm.dbg.function.start to indicate
|
2012-12-18 22:30:41 +08:00
|
|
|
/// start of a new function.
|
2014-04-11 07:21:53 +08:00
|
|
|
/// \param Loc The location of the function header.
|
|
|
|
/// \param ScopeLoc The location of the function body.
|
|
|
|
void EmitFunctionStart(GlobalDecl GD,
|
|
|
|
SourceLocation Loc, SourceLocation ScopeLoc,
|
|
|
|
QualType FnType, llvm::Function *Fn,
|
|
|
|
CGBuilderTy &Builder);
|
2012-12-18 22:30:41 +08:00
|
|
|
|
2015-01-28 02:32:19 +08:00
|
|
|
/// \brief Constructs the debug code for exiting a function.
|
2012-12-18 22:30:41 +08:00
|
|
|
void EmitFunctionEnd(CGBuilderTy &Builder);
|
|
|
|
|
2015-01-28 02:32:19 +08:00
|
|
|
/// \brief Emit metadata to indicate the beginning of a
|
2012-12-18 22:30:41 +08:00
|
|
|
/// new lexical block and push the block onto the stack.
|
|
|
|
void EmitLexicalBlockStart(CGBuilderTy &Builder, SourceLocation Loc);
|
|
|
|
|
2015-01-28 02:32:19 +08:00
|
|
|
/// \brief Emit metadata to indicate the end of a new lexical
|
2012-12-18 22:30:41 +08:00
|
|
|
/// block and pop the current block.
|
|
|
|
void EmitLexicalBlockEnd(CGBuilderTy &Builder, SourceLocation Loc);
|
|
|
|
|
2015-01-28 02:32:19 +08:00
|
|
|
/// \brief Emit call to llvm.dbg.declare for an automatic
|
2012-12-18 22:30:41 +08:00
|
|
|
/// variable declaration.
|
|
|
|
void EmitDeclareOfAutoVariable(const VarDecl *Decl, llvm::Value *AI,
|
|
|
|
CGBuilderTy &Builder);
|
|
|
|
|
2015-01-28 02:32:19 +08:00
|
|
|
/// \brief Emit call to llvm.dbg.declare for an
|
2012-12-18 22:30:41 +08:00
|
|
|
/// imported variable declaration in a block.
|
|
|
|
void EmitDeclareOfBlockDeclRefVariable(const VarDecl *variable,
|
|
|
|
llvm::Value *storage,
|
|
|
|
CGBuilderTy &Builder,
|
2014-11-21 08:35:25 +08:00
|
|
|
const CGBlockInfo &blockInfo,
|
|
|
|
llvm::Instruction *InsertPoint = 0);
|
2012-12-18 22:30:41 +08:00
|
|
|
|
2015-01-28 02:32:19 +08:00
|
|
|
/// \brief Emit call to llvm.dbg.declare for an argument
|
2012-12-18 22:30:41 +08:00
|
|
|
/// variable declaration.
|
|
|
|
void EmitDeclareOfArgVariable(const VarDecl *Decl, llvm::Value *AI,
|
|
|
|
unsigned ArgNo, CGBuilderTy &Builder);
|
|
|
|
|
2015-01-28 02:32:19 +08:00
|
|
|
/// \brief Emit call to
|
2012-12-18 22:30:41 +08:00
|
|
|
/// llvm.dbg.declare for the block-literal argument to a block
|
|
|
|
/// invocation function.
|
|
|
|
void EmitDeclareOfBlockLiteralArgVariable(const CGBlockInfo &block,
|
2014-08-09 01:10:14 +08:00
|
|
|
llvm::Value *Arg, unsigned ArgNo,
|
2013-03-15 01:53:33 +08:00
|
|
|
llvm::Value *LocalAddr,
|
2012-12-18 22:30:41 +08:00
|
|
|
CGBuilderTy &Builder);
|
|
|
|
|
2015-01-28 02:32:19 +08:00
|
|
|
/// \brief Emit information about a global variable.
|
2013-08-30 16:53:09 +08:00
|
|
|
void EmitGlobalVariable(llvm::GlobalVariable *GV, const VarDecl *Decl);
|
2012-12-18 22:30:41 +08:00
|
|
|
|
2015-01-28 02:32:19 +08:00
|
|
|
/// \brief Emit global variable's debug info.
|
2013-08-30 16:53:09 +08:00
|
|
|
void EmitGlobalVariable(const ValueDecl *VD, llvm::Constant *Init);
|
2012-12-18 22:30:41 +08:00
|
|
|
|
2015-01-28 02:32:19 +08:00
|
|
|
/// \brief Emit C++ using directive.
|
2013-04-22 14:13:21 +08:00
|
|
|
void EmitUsingDirective(const UsingDirectiveDecl &UD);
|
|
|
|
|
2015-01-28 02:32:19 +08:00
|
|
|
/// \brief Emit the type explicitly casted to.
|
2014-09-25 01:01:27 +08:00
|
|
|
void EmitExplicitCastType(QualType Ty);
|
|
|
|
|
2015-01-28 02:32:19 +08:00
|
|
|
/// \brief Emit C++ using declaration.
|
2013-05-20 12:58:53 +08:00
|
|
|
void EmitUsingDecl(const UsingDecl &UD);
|
|
|
|
|
2015-01-28 02:32:19 +08:00
|
|
|
/// \brief Emit C++ namespace alias.
|
2013-05-21 06:50:41 +08:00
|
|
|
llvm::DIImportedEntity EmitNamespaceAlias(const NamespaceAliasDecl &NA);
|
|
|
|
|
2015-01-28 02:32:19 +08:00
|
|
|
/// \brief Emit record type's standalone debug info.
|
2012-12-18 22:30:41 +08:00
|
|
|
llvm::DIType getOrCreateRecordType(QualType Ty, SourceLocation L);
|
|
|
|
|
2015-01-28 02:32:19 +08:00
|
|
|
/// \brief Emit an objective c interface type standalone
|
2012-12-18 22:30:41 +08:00
|
|
|
/// debug info.
|
|
|
|
llvm::DIType getOrCreateInterfaceType(QualType Ty,
|
2013-05-16 08:45:23 +08:00
|
|
|
SourceLocation Loc);
|
2012-12-18 22:30:41 +08:00
|
|
|
|
2014-05-07 02:35:21 +08:00
|
|
|
void completeType(const EnumDecl *ED);
|
2013-08-16 04:49:17 +08:00
|
|
|
void completeType(const RecordDecl *RD);
|
|
|
|
void completeRequiredType(const RecordDecl *RD);
|
2013-08-20 09:28:15 +08:00
|
|
|
void completeClassData(const RecordDecl *RD);
|
2013-06-21 08:40:50 +08:00
|
|
|
|
2014-03-04 07:48:23 +08:00
|
|
|
void completeTemplateDefinition(const ClassTemplateSpecializationDecl &SD);
|
|
|
|
|
2012-12-18 22:30:41 +08:00
|
|
|
private:
|
2015-01-28 02:32:19 +08:00
|
|
|
/// \brief Emit call to llvm.dbg.declare for a variable declaration.
|
2014-05-07 20:49:30 +08:00
|
|
|
/// Tag accepts custom types DW_TAG_arg_variable and DW_TAG_auto_variable,
|
|
|
|
/// otherwise would be of type llvm::dwarf::Tag.
|
|
|
|
void EmitDeclare(const VarDecl *decl, llvm::dwarf::LLVMConstants Tag,
|
|
|
|
llvm::Value *AI, unsigned ArgNo, CGBuilderTy &Builder);
|
2012-12-18 22:30:41 +08:00
|
|
|
|
2013-05-16 08:52:23 +08:00
|
|
|
// EmitTypeForVarWithBlocksAttr - Build up structure info for the byref.
|
2012-12-18 22:30:41 +08:00
|
|
|
// See BuildByRefType.
|
|
|
|
llvm::DIType EmitTypeForVarWithBlocksAttr(const VarDecl *VD,
|
|
|
|
uint64_t *OffSet);
|
|
|
|
|
2015-01-28 02:32:19 +08:00
|
|
|
/// \brief Get context info for the decl.
|
2013-04-19 14:56:38 +08:00
|
|
|
llvm::DIScope getContextDescriptor(const Decl *Decl);
|
2012-12-18 22:30:41 +08:00
|
|
|
|
2013-05-20 12:58:53 +08:00
|
|
|
llvm::DIScope getCurrentContextDescriptor(const Decl *Decl);
|
|
|
|
|
2013-08-16 02:59:40 +08:00
|
|
|
/// \brief Create a forward decl for a RecordType in a given context.
|
2013-08-29 05:20:28 +08:00
|
|
|
llvm::DICompositeType getOrCreateRecordFwdDecl(const RecordType *,
|
2013-08-21 05:03:29 +08:00
|
|
|
llvm::DIDescriptor);
|
2013-05-16 08:52:23 +08:00
|
|
|
|
2015-01-28 02:32:19 +08:00
|
|
|
/// \brief Create a set of decls for the context chain.
|
2012-12-18 22:30:41 +08:00
|
|
|
llvm::DIDescriptor createContextChain(const Decl *Decl);
|
|
|
|
|
2015-01-28 02:32:19 +08:00
|
|
|
/// \brief Return current directory name.
|
2012-12-18 22:30:41 +08:00
|
|
|
StringRef getCurrentDirname();
|
|
|
|
|
2015-01-28 02:32:19 +08:00
|
|
|
/// \brief Create new compile unit.
|
2012-12-18 22:30:41 +08:00
|
|
|
void CreateCompileUnit();
|
|
|
|
|
2015-01-28 02:32:19 +08:00
|
|
|
/// \brief Get the file debug info descriptor for the input
|
2012-12-18 22:30:41 +08:00
|
|
|
/// location.
|
|
|
|
llvm::DIFile getOrCreateFile(SourceLocation Loc);
|
|
|
|
|
2015-01-28 02:32:19 +08:00
|
|
|
/// \brief Get the file info for main compile unit.
|
2012-12-18 22:30:41 +08:00
|
|
|
llvm::DIFile getOrCreateMainFile();
|
|
|
|
|
2015-01-28 02:32:19 +08:00
|
|
|
/// \brief Get the type from the cache or create a new type if
|
2012-12-18 22:30:41 +08:00
|
|
|
/// necessary.
|
2013-09-05 06:03:57 +08:00
|
|
|
llvm::DIType getOrCreateType(QualType Ty, llvm::DIFile Fg);
|
2012-12-18 22:30:41 +08:00
|
|
|
|
2015-01-28 02:32:19 +08:00
|
|
|
/// \brief Get the type from the cache or create a new
|
2012-12-18 22:30:41 +08:00
|
|
|
/// partial type if necessary.
|
2013-08-13 06:24:20 +08:00
|
|
|
llvm::DIType getOrCreateLimitedType(const RecordType *Ty, llvm::DIFile F);
|
2012-12-18 22:30:41 +08:00
|
|
|
|
2015-01-28 02:32:19 +08:00
|
|
|
/// \brief Create type metadata for a source language type.
|
2013-09-05 06:03:57 +08:00
|
|
|
llvm::DIType CreateTypeNode(QualType Ty, llvm::DIFile Fg);
|
2012-12-18 22:30:41 +08:00
|
|
|
|
2015-01-28 02:32:19 +08:00
|
|
|
/// \brief return the underlying ObjCInterfaceDecl
|
2013-03-07 06:03:30 +08:00
|
|
|
/// if Ty is an ObjCInterface or a pointer to one.
|
|
|
|
ObjCInterfaceDecl* getObjCInterfaceDecl(QualType Ty);
|
|
|
|
|
2015-01-28 02:32:19 +08:00
|
|
|
/// \brief Create new member and increase Offset by FType's size.
|
2012-12-18 22:30:41 +08:00
|
|
|
llvm::DIType CreateMemberType(llvm::DIFile Unit, QualType FType,
|
|
|
|
StringRef Name, uint64_t *Offset);
|
|
|
|
|
2014-11-07 05:12:06 +08:00
|
|
|
/// \brief Retrieve the DIDescriptor, if any, for the canonical form of this
|
2013-05-20 12:58:53 +08:00
|
|
|
/// declaration.
|
2014-11-07 05:12:06 +08:00
|
|
|
llvm::DIDescriptor getDeclarationOrDefinition(const Decl *D);
|
2013-05-20 12:58:53 +08:00
|
|
|
|
2015-01-28 02:32:19 +08:00
|
|
|
/// \brief Return debug info descriptor to describe method
|
2012-12-18 22:30:41 +08:00
|
|
|
/// declaration for the given method definition.
|
|
|
|
llvm::DISubprogram getFunctionDeclaration(const Decl *D);
|
|
|
|
|
2013-08-20 09:28:15 +08:00
|
|
|
/// Return debug info descriptor to describe in-class static data member
|
|
|
|
/// declaration for the given out-of-class definition.
|
|
|
|
llvm::DIDerivedType
|
|
|
|
getOrCreateStaticDataMemberDeclarationOrNull(const VarDecl *D);
|
2013-01-16 09:22:32 +08:00
|
|
|
|
2014-11-18 11:40:51 +08:00
|
|
|
/// \brief Create a DISubprogram describing the forward
|
|
|
|
/// decalration represented in the given FunctionDecl.
|
|
|
|
llvm::DISubprogram getFunctionForwardDeclaration(const FunctionDecl *FD);
|
|
|
|
|
|
|
|
/// \brief Create a DIGlobalVariable describing the forward
|
|
|
|
/// decalration represented in the given VarDecl.
|
|
|
|
llvm::DIGlobalVariable getGlobalVariableForwardDeclaration(const VarDecl *VD);
|
|
|
|
|
2014-04-10 13:20:00 +08:00
|
|
|
/// Return a global variable that represents one of the collection of
|
|
|
|
/// global variables created for an anonmyous union.
|
|
|
|
llvm::DIGlobalVariable
|
|
|
|
CollectAnonRecordDecls(const RecordDecl *RD, llvm::DIFile Unit, unsigned LineNo,
|
|
|
|
StringRef LinkageName, llvm::GlobalVariable *Var,
|
|
|
|
llvm::DIDescriptor DContext);
|
|
|
|
|
2015-01-28 02:32:19 +08:00
|
|
|
/// \brief Get function name for the given FunctionDecl. If the
|
2013-09-09 22:48:42 +08:00
|
|
|
/// name is constructed on demand (e.g. C++ destructor) then the name
|
2012-12-18 22:30:41 +08:00
|
|
|
/// is stored on the side.
|
|
|
|
StringRef getFunctionName(const FunctionDecl *FD);
|
|
|
|
|
2015-01-28 02:32:19 +08:00
|
|
|
/// \brief Returns the unmangled name of an Objective-C method.
|
2013-05-16 08:52:23 +08:00
|
|
|
/// This is the display name for the debugging info.
|
2012-12-18 22:30:41 +08:00
|
|
|
StringRef getObjCMethodName(const ObjCMethodDecl *FD);
|
|
|
|
|
2015-01-28 02:32:19 +08:00
|
|
|
/// \brief Return selector name. This is used for debugging
|
2012-12-18 22:30:41 +08:00
|
|
|
/// info.
|
|
|
|
StringRef getSelectorName(Selector S);
|
|
|
|
|
2015-01-28 02:32:19 +08:00
|
|
|
/// \brief Get class name including template argument list.
|
2012-12-18 22:30:41 +08:00
|
|
|
StringRef getClassName(const RecordDecl *RD);
|
|
|
|
|
2015-01-28 02:32:19 +08:00
|
|
|
/// \brief Get vtable name for the given Class.
|
2012-12-18 22:30:41 +08:00
|
|
|
StringRef getVTableName(const CXXRecordDecl *Decl);
|
|
|
|
|
2015-01-28 02:32:19 +08:00
|
|
|
/// \brief Get line number for the location. If location is invalid
|
2012-12-18 22:30:41 +08:00
|
|
|
/// then use current location.
|
|
|
|
unsigned getLineNumber(SourceLocation Loc);
|
|
|
|
|
2015-01-28 02:32:19 +08:00
|
|
|
/// \brief Get column number for the location. If location is
|
2012-12-18 22:30:41 +08:00
|
|
|
/// invalid then use current location.
|
2013-03-13 04:43:25 +08:00
|
|
|
/// \param Force Assume DebugColumnInfo option is true.
|
|
|
|
unsigned getColumnNumber(SourceLocation Loc, bool Force=false);
|
2013-09-10 00:39:06 +08:00
|
|
|
|
2014-11-18 11:40:46 +08:00
|
|
|
/// \brief Collect various properties of a FunctionDecl.
|
|
|
|
/// \param GD A GlobalDecl whose getDecl() must return a FunctionDecl.
|
|
|
|
void collectFunctionDeclProps(GlobalDecl GD,
|
|
|
|
llvm::DIFile Unit,
|
|
|
|
StringRef &Name, StringRef &LinkageName,
|
|
|
|
llvm::DIDescriptor &FDContext,
|
|
|
|
llvm::DIArray &TParamsArray,
|
|
|
|
unsigned &Flags);
|
|
|
|
|
|
|
|
/// \brief Collect various properties of a VarDecl.
|
|
|
|
void collectVarDeclProps(const VarDecl *VD, llvm::DIFile &Unit,
|
|
|
|
unsigned &LineNo, QualType &T,
|
|
|
|
StringRef &Name, StringRef &LinkageName,
|
|
|
|
llvm::DIDescriptor &VDContext);
|
|
|
|
|
2015-01-28 02:32:19 +08:00
|
|
|
/// \brief Allocate a copy of \p A using the DebugInfoNames allocator
|
2013-09-10 00:39:06 +08:00
|
|
|
/// and return a reference to it. If multiple arguments are given the strings
|
|
|
|
/// are concatenated.
|
|
|
|
StringRef internString(StringRef A, StringRef B = StringRef()) {
|
|
|
|
char *Data = DebugInfoNames.Allocate<char>(A.size() + B.size());
|
|
|
|
std::memcpy(Data, A.data(), A.size());
|
|
|
|
std::memcpy(Data + A.size(), B.data(), B.size());
|
|
|
|
return StringRef(Data, A.size() + B.size());
|
|
|
|
}
|
2012-12-18 22:30:41 +08:00
|
|
|
};
|
2013-07-18 08:28:02 +08:00
|
|
|
|
2015-01-29 03:50:09 +08:00
|
|
|
/// A scoped helper to set the current debug location to the specified location
|
|
|
|
/// or preferred location of the specified Expr.
|
2015-01-14 15:38:27 +08:00
|
|
|
class ApplyDebugLocation {
|
DebugInfo: Use the preferred location rather than the start location for expression line info
This causes things like assignment to refer to the '=' rather than the
LHS when attributing the store instruction, for example.
There were essentially 3 options for this:
* The beginning of an expression (this was the behavior prior to this
commit). This meant that stepping through subexpressions would bounce
around from subexpressions back to the start of the outer expression,
etc. (eg: x + y + z would go x, y, x, z, x (the repeated 'x's would be
where the actual addition occurred)).
* The end of an expression. This seems to be what GCC does /mostly/, and
certainly this for function calls. This has the advantage that
progress is always 'forwards' (never jumping backwards - except for
independent subexpressions if they're evaluated in interesting orders,
etc). "x + y + z" would go "x y z" with the additions occurring at y
and z after the respective loads.
The problem with this is that the user would still have to think
fairly hard about precedence to realize which subexpression is being
evaluated or which operator overload is being called in, say, an asan
backtrace.
* The preferred location or 'exprloc'. In this case you get sort of what
you'd expect, though it's a bit confusing in its own way due to going
'backwards'. In this case the locations would be: "x y + z +" in
lovely postfix arithmetic order. But this does mean that if the op+
were an operator overload, say, and in a backtrace, the backtrace will
point to the exact '+' that's being called, not to the end of one of
its operands.
(actually the operator overload case doesn't work yet for other reasons,
but that's being fixed - but this at least gets scalar/complex
assignments and other plain operators right)
llvm-svn: 227027
2015-01-25 09:19:10 +08:00
|
|
|
private:
|
|
|
|
void init(SourceLocation TemporaryLocation);
|
|
|
|
|
2014-01-17 08:15:10 +08:00
|
|
|
protected:
|
2015-01-14 15:38:27 +08:00
|
|
|
llvm::DebugLoc OriginalLocation;
|
|
|
|
CodeGenFunction &CGF;
|
2014-01-17 08:15:10 +08:00
|
|
|
|
2013-07-18 08:28:02 +08:00
|
|
|
public:
|
2015-01-14 15:38:27 +08:00
|
|
|
ApplyDebugLocation(CodeGenFunction &CGF,
|
2015-01-22 07:08:17 +08:00
|
|
|
SourceLocation TemporaryLocation = SourceLocation());
|
DebugInfo: Use the preferred location rather than the start location for expression line info
This causes things like assignment to refer to the '=' rather than the
LHS when attributing the store instruction, for example.
There were essentially 3 options for this:
* The beginning of an expression (this was the behavior prior to this
commit). This meant that stepping through subexpressions would bounce
around from subexpressions back to the start of the outer expression,
etc. (eg: x + y + z would go x, y, x, z, x (the repeated 'x's would be
where the actual addition occurred)).
* The end of an expression. This seems to be what GCC does /mostly/, and
certainly this for function calls. This has the advantage that
progress is always 'forwards' (never jumping backwards - except for
independent subexpressions if they're evaluated in interesting orders,
etc). "x + y + z" would go "x y z" with the additions occurring at y
and z after the respective loads.
The problem with this is that the user would still have to think
fairly hard about precedence to realize which subexpression is being
evaluated or which operator overload is being called in, say, an asan
backtrace.
* The preferred location or 'exprloc'. In this case you get sort of what
you'd expect, though it's a bit confusing in its own way due to going
'backwards'. In this case the locations would be: "x y + z +" in
lovely postfix arithmetic order. But this does mean that if the op+
were an operator overload, say, and in a backtrace, the backtrace will
point to the exact '+' that's being called, not to the end of one of
its operands.
(actually the operator overload case doesn't work yet for other reasons,
but that's being fixed - but this at least gets scalar/complex
assignments and other plain operators right)
llvm-svn: 227027
2015-01-25 09:19:10 +08:00
|
|
|
ApplyDebugLocation(CodeGenFunction &CGF, const Expr *E);
|
2015-01-14 15:38:27 +08:00
|
|
|
ApplyDebugLocation(CodeGenFunction &CGF, llvm::DebugLoc Loc);
|
|
|
|
~ApplyDebugLocation();
|
2013-07-18 08:28:02 +08:00
|
|
|
};
|
|
|
|
|
2015-01-28 02:32:19 +08:00
|
|
|
/// \brief An RAII object that temporarily switches to
|
2013-07-18 09:36:04 +08:00
|
|
|
/// an artificial debug location that has a valid scope, but no line
|
2013-07-18 08:28:02 +08:00
|
|
|
/// information. This is useful when emitting compiler-generated
|
|
|
|
/// helper functions that have no source location associated with
|
2013-07-25 04:34:39 +08:00
|
|
|
/// them. The DWARF specification allows the compiler to use the
|
|
|
|
/// special line number 0 to indicate code that can not be attributed
|
|
|
|
/// to any source location.
|
2013-07-18 08:28:02 +08:00
|
|
|
///
|
2013-07-25 04:34:39 +08:00
|
|
|
/// This is necessary because passing an empty SourceLocation to
|
2013-07-18 08:28:02 +08:00
|
|
|
/// CGDebugInfo::setLocation() will result in the last valid location
|
|
|
|
/// being reused.
|
2015-01-14 15:38:27 +08:00
|
|
|
class ArtificialLocation : public ApplyDebugLocation {
|
2013-07-18 08:28:02 +08:00
|
|
|
public:
|
2015-01-14 15:38:27 +08:00
|
|
|
ArtificialLocation(CodeGenFunction &CGF);
|
2013-07-18 08:28:02 +08:00
|
|
|
};
|
|
|
|
|
|
|
|
|
2012-12-18 22:30:41 +08:00
|
|
|
} // namespace CodeGen
|
|
|
|
} // namespace clang
|
|
|
|
|
|
|
|
|
|
|
|
#endif
|