projects/ldc: gen/todebug.cpp annotate

annotate gen/todebug.cpp @ 246:b604c56945b0 trunk

[svn r263] Changed *** ATTENTION *** to warnings. Implemented debug info for dynamic arrays, start of general composite support.

author	lindquist
date	Mon, 09 Jun 2008 15:52:22 +0200
parents	d61ce72c39ab
children	56199753e637

rev	line source
82 d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	1 #include "gen/llvm.h"
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	2 #include "llvm/Support/Dwarf.h"
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	3 #include "llvm/CodeGen/MachineModuleInfo.h"
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	4
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	5 #include "declaration.h"
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	6 #include "module.h"
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	7 #include "mars.h"
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	8
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	9 #include "gen/todebug.h"
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	10 #include "gen/irstate.h"
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	11 #include "gen/tollvm.h"
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	12 #include "gen/logger.h"
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	13
139 0ab29b838084 [svn r143] Fixed: a few bugs in debug information, still only line info, but should be correct files now :) lindquist parents: 136 diff changeset	14 #include "ir/irmodule.h"
0ab29b838084 [svn r143] Fixed: a few bugs in debug information, still only line info, but should be correct files now :) lindquist parents: 136 diff changeset	15
82 d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	16 using namespace llvm::dwarf;
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	17
246 b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	18 #define DBG_NULL ( LLConstant::getNullValue(DBG_TYPE) )
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	19 #define DBG_TYPE ( getPtrToType(llvm::StructType::get(NULL,NULL)) )
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	20 #define DBG_CAST(X) ( llvm::ConstantExpr::getBitCast(X, DBG_TYPE) )
82 d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	21
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	22 //////////////////////////////////////////////////////////////////////////////////////////////////
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	23
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	24 static llvm::GlobalVariable* dbg_compile_units = 0;
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	25 static llvm::GlobalVariable* dbg_global_variables = 0;
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	26 static llvm::GlobalVariable* dbg_subprograms = 0;
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	27
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	28 const llvm::StructType* GetDwarfAnchorType()
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	29 {
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	30 /*
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	31 %llvm.dbg.anchor.type = type {
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	32 uint, ;; Tag = 0 + LLVMDebugVersion
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	33 uint ;; Tag of descriptors grouped by the anchor
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	34 }
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	35 */
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	36
96 ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	37 const llvm::StructType* t = isaStruct(gIR->module->getTypeByName("llvm.dbg.anchor.type"));
82 d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	38
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	39 /*
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	40 %llvm.dbg.compile_units = linkonce constant %llvm.dbg.anchor.type { uint 0, uint 17 } ;; DW_TAG_compile_unit
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	41 %llvm.dbg.global_variables = linkonce constant %llvm.dbg.anchor.type { uint 0, uint 52 } ;; DW_TAG_variable
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	42 %llvm.dbg.subprograms = linkonce constant %llvm.dbg.anchor.type { uint 0, uint 46 } ;; DW_TAG_subprogram
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	43 */
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	44 if (!gIR->module->getNamedGlobal("llvm.dbg.compile_units")) {
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 173 diff changeset	45 std::vector<LLConstant*> vals;
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	46 vals.push_back(DtoConstUint(llvm::LLVMDebugVersion));
82 d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	47 vals.push_back(DtoConstUint(DW_TAG_compile_unit));
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 173 diff changeset	48 LLConstant* i = llvm::ConstantStruct::get(t, vals);
82 d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	49 dbg_compile_units = new llvm::GlobalVariable(t,true,llvm::GlobalValue::LinkOnceLinkage,i,"llvm.dbg.compile_units",gIR->module);
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	50 dbg_compile_units->setSection("llvm.metadata");
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	51 }
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	52 if (!gIR->module->getNamedGlobal("llvm.dbg.global_variables")) {
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 173 diff changeset	53 std::vector<LLConstant*> vals;
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	54 vals.push_back(DtoConstUint(llvm::LLVMDebugVersion));
82 d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	55 vals.push_back(DtoConstUint(DW_TAG_variable));
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 173 diff changeset	56 LLConstant* i = llvm::ConstantStruct::get(t, vals);
82 d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	57 dbg_global_variables = new llvm::GlobalVariable(t,true,llvm::GlobalValue::LinkOnceLinkage,i,"llvm.dbg.global_variables",gIR->module);
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	58 dbg_global_variables->setSection("llvm.metadata");
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	59 }
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	60 if (!gIR->module->getNamedGlobal("llvm.dbg.subprograms")) {
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 173 diff changeset	61 std::vector<LLConstant*> vals;
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	62 vals.push_back(DtoConstUint(llvm::LLVMDebugVersion));
82 d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	63 vals.push_back(DtoConstUint(DW_TAG_subprogram));
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 173 diff changeset	64 LLConstant* i = llvm::ConstantStruct::get(t, vals);
82 d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	65 dbg_subprograms = new llvm::GlobalVariable(t,true,llvm::GlobalValue::LinkOnceLinkage,i,"llvm.dbg.subprograms",gIR->module);
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	66 dbg_subprograms->setSection("llvm.metadata");
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	67 }
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	68
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	69 return t;
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	70 }
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	71
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 173 diff changeset	72 LLConstant* GetDwarfAnchor(llvm::dwarf::dwarf_constants c)
82 d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	73 {
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	74 GetDwarfAnchorType();
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	75 switch (c)
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	76 {
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	77 case DW_TAG_compile_unit:
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	78 return dbg_compile_units;
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	79 case DW_TAG_variable:
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	80 return dbg_global_variables;
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	81 case DW_TAG_subprogram:
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	82 return dbg_subprograms;
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	83 }
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	84 assert(0);
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	85 return 0;
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	86 }
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	87
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	88 //////////////////////////////////////////////////////////////////////////////////////////////////
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	89
246 b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	90 static const llvm::StructType* getDwarfCompileUnitType() {
96 ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	91 return isaStruct(gIR->module->getTypeByName("llvm.dbg.compile_unit.type"));
82 d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	92 }
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	93
246 b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	94 static const llvm::StructType* getDwarfSubProgramType() {
96 ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	95 return isaStruct(gIR->module->getTypeByName("llvm.dbg.subprogram.type"));
82 d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	96 }
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	97
246 b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	98 static const llvm::StructType* getDwarfVariableType() {
245 d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	99 return isaStruct(gIR->module->getTypeByName("llvm.dbg.variable.type"));
d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	100 }
d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	101
246 b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	102 static const llvm::StructType* getDwarfDerivedTypeType() {
245 d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	103 return isaStruct(gIR->module->getTypeByName("llvm.dbg.derivedtype.type"));
d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	104 }
d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	105
246 b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	106 static const llvm::StructType* getDwarfBasicTypeType() {
245 d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	107 return isaStruct(gIR->module->getTypeByName("llvm.dbg.basictype.type"));
d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	108 }
d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	109
246 b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	110 static const llvm::StructType* getDwarfCompositeTypeType() {
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	111 return isaStruct(gIR->module->getTypeByName("llvm.dbg.compositetype.type"));
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	112 }
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	113
82 d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	114 //////////////////////////////////////////////////////////////////////////////////////////////////
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	115
245 d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	116 LLGlobalVariable* DtoDwarfCompileUnit(Module* m)
82 d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	117 {
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 156 diff changeset	118 if (!m->ir.irModule)
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 156 diff changeset	119 m->ir.irModule = new IrModule(m);
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 156 diff changeset	120 else if (m->ir.irModule->dwarfCompileUnit)
139 0ab29b838084 [svn r143] Fixed: a few bugs in debug information, still only line info, but should be correct files now :) lindquist parents: 136 diff changeset	121 {
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 156 diff changeset	122 if (m->ir.irModule->dwarfCompileUnit->getParent() == gIR->module)
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 156 diff changeset	123 return m->ir.irModule->dwarfCompileUnit;
139 0ab29b838084 [svn r143] Fixed: a few bugs in debug information, still only line info, but should be correct files now :) lindquist parents: 136 diff changeset	124 }
0ab29b838084 [svn r143] Fixed: a few bugs in debug information, still only line info, but should be correct files now :) lindquist parents: 136 diff changeset	125
0ab29b838084 [svn r143] Fixed: a few bugs in debug information, still only line info, but should be correct files now :) lindquist parents: 136 diff changeset	126 // create a valid compile unit constant for the current module
0ab29b838084 [svn r143] Fixed: a few bugs in debug information, still only line info, but should be correct files now :) lindquist parents: 136 diff changeset	127
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 173 diff changeset	128 LLConstant* c = NULL;
82 d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	129
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 173 diff changeset	130 std::vector<LLConstant*> vals;
139 0ab29b838084 [svn r143] Fixed: a few bugs in debug information, still only line info, but should be correct files now :) lindquist parents: 136 diff changeset	131 vals.push_back(llvm::ConstantExpr::getAdd(
0ab29b838084 [svn r143] Fixed: a few bugs in debug information, still only line info, but should be correct files now :) lindquist parents: 136 diff changeset	132 DtoConstUint(DW_TAG_compile_unit),
0ab29b838084 [svn r143] Fixed: a few bugs in debug information, still only line info, but should be correct files now :) lindquist parents: 136 diff changeset	133 DtoConstUint(llvm::LLVMDebugVersion)));
246 b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	134 vals.push_back(DBG_CAST(GetDwarfAnchor(DW_TAG_compile_unit)));
82 d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	135
139 0ab29b838084 [svn r143] Fixed: a few bugs in debug information, still only line info, but should be correct files now :) lindquist parents: 136 diff changeset	136 vals.push_back(DtoConstUint(DW_LANG_C));// _D)); // doesn't seem to work
0ab29b838084 [svn r143] Fixed: a few bugs in debug information, still only line info, but should be correct files now :) lindquist parents: 136 diff changeset	137 vals.push_back(DtoConstStringPtr(m->srcfile->name->toChars(), "llvm.metadata"));
0ab29b838084 [svn r143] Fixed: a few bugs in debug information, still only line info, but should be correct files now :) lindquist parents: 136 diff changeset	138 std::string srcpath(FileName::path(m->srcfile->name->toChars()));
140 ffcc9a2f3d9d [svn r144] fixes lindquist parents: 139 diff changeset	139 if (srcpath.empty()) {
ffcc9a2f3d9d [svn r144] fixes lindquist parents: 139 diff changeset	140 const char* str = get_current_dir_name();
ffcc9a2f3d9d [svn r144] fixes lindquist parents: 139 diff changeset	141 assert(str != NULL);
ffcc9a2f3d9d [svn r144] fixes lindquist parents: 139 diff changeset	142 srcpath = str;
ffcc9a2f3d9d [svn r144] fixes lindquist parents: 139 diff changeset	143 }
139 0ab29b838084 [svn r143] Fixed: a few bugs in debug information, still only line info, but should be correct files now :) lindquist parents: 136 diff changeset	144 vals.push_back(DtoConstStringPtr(srcpath.c_str(), "llvm.metadata"));
0ab29b838084 [svn r143] Fixed: a few bugs in debug information, still only line info, but should be correct files now :) lindquist parents: 136 diff changeset	145 vals.push_back(DtoConstStringPtr("LLVMDC (http://www.dsource.org/projects/llvmdc)", "llvm.metadata"));
0ab29b838084 [svn r143] Fixed: a few bugs in debug information, still only line info, but should be correct files now :) lindquist parents: 136 diff changeset	146
246 b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	147 c = llvm::ConstantStruct::get(getDwarfCompileUnitType(), vals);
139 0ab29b838084 [svn r143] Fixed: a few bugs in debug information, still only line info, but should be correct files now :) lindquist parents: 136 diff changeset	148
246 b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	149 llvm::GlobalVariable* gv = new llvm::GlobalVariable(c->getType(), true, llvm::GlobalValue::InternalLinkage, c, "llvm.dbg.compile_unit", gIR->module);
82 d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	150 gv->setSection("llvm.metadata");
139 0ab29b838084 [svn r143] Fixed: a few bugs in debug information, still only line info, but should be correct files now :) lindquist parents: 136 diff changeset	151
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 156 diff changeset	152 m->ir.irModule->dwarfCompileUnit = gv;
82 d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	153 return gv;
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	154 }
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	155
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	156 //////////////////////////////////////////////////////////////////////////////////////////////////
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	157
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	158 LLGlobalVariable* DtoDwarfSubProgram(FuncDeclaration* fd, llvm::GlobalVariable* compileUnit)
82 d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	159 {
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 173 diff changeset	160 std::vector<LLConstant*> vals;
82 d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	161 vals.push_back(llvm::ConstantExpr::getAdd(
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	162 DtoConstUint(DW_TAG_subprogram),
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	163 DtoConstUint(llvm::LLVMDebugVersion)));
246 b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	164 vals.push_back(DBG_CAST(GetDwarfAnchor(DW_TAG_subprogram)));
82 d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	165
246 b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	166 vals.push_back(DBG_CAST(compileUnit));
82 d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	167 vals.push_back(DtoConstStringPtr(fd->toPrettyChars(), "llvm.metadata"));
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	168 vals.push_back(vals.back());
82 d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	169 vals.push_back(DtoConstStringPtr(fd->mangle(), "llvm.metadata"));
246 b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	170 vals.push_back(DBG_CAST(compileUnit));
82 d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	171 vals.push_back(DtoConstUint(fd->loc.linnum));
246 b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	172 vals.push_back(DBG_NULL);
82 d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	173 vals.push_back(DtoConstBool(fd->protection == PROTprivate));
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	174 vals.push_back(DtoConstBool(fd->getModule() == gIR->dmodule));
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	175
246 b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	176 LLConstant* c = llvm::ConstantStruct::get(getDwarfSubProgramType(), vals);
82 d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	177 llvm::GlobalVariable* gv = new llvm::GlobalVariable(c->getType(), true, llvm::GlobalValue::InternalLinkage, c, "llvm.dbg.subprogram", gIR->module);
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	178 gv->setSection("llvm.metadata");
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	179 return gv;
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	180 }
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	181
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	182 //////////////////////////////////////////////////////////////////////////////////////////////////
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	183
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	184 void DtoDwarfFuncStart(FuncDeclaration* fd)
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	185 {
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 156 diff changeset	186 assert(fd->ir.irFunc->dwarfSubProg);
246 b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	187 gIR->ir->CreateCall(gIR->module->getFunction("llvm.dbg.func.start"), DBG_CAST(fd->ir.irFunc->dwarfSubProg));
82 d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	188 }
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	189
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	190 void DtoDwarfFuncEnd(FuncDeclaration* fd)
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	191 {
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 156 diff changeset	192 assert(fd->ir.irFunc->dwarfSubProg);
246 b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	193 gIR->ir->CreateCall(gIR->module->getFunction("llvm.dbg.region.end"), DBG_CAST(fd->ir.irFunc->dwarfSubProg));
82 d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	194 }
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	195
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	196 //////////////////////////////////////////////////////////////////////////////////////////////////
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	197
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	198 void DtoDwarfStopPoint(unsigned ln)
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	199 {
217 0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	200 LLSmallVector<LLValue*,3> args;
82 d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	201 args.push_back(DtoConstUint(ln));
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	202 args.push_back(DtoConstUint(0));
139 0ab29b838084 [svn r143] Fixed: a few bugs in debug information, still only line info, but should be correct files now :) lindquist parents: 136 diff changeset	203 FuncDeclaration* fd = gIR->func()->decl;
246 b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	204 args.push_back(DBG_CAST(DtoDwarfCompileUnit(fd->getModule())));
82 d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	205 gIR->ir->CreateCall(gIR->module->getFunction("llvm.dbg.stoppoint"), args.begin(), args.end());
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: diff changeset	206 }
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	207
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	208 //////////////////////////////////////////////////////////////////////////////////////////////////
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	209
246 b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	210 static LLGlobalVariable* dwarfTypeDescription(Loc loc, Type* type, LLGlobalVariable* cu, const char* c_name);
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	211
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	212 //////////////////////////////////////////////////////////////////////////////////////////////////
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	213
246 b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	214 static LLGlobalVariable* dwarfBasicType(Type* type, llvm::GlobalVariable* compileUnit)
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	215 {
245 d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	216 Type* t = type->toBasetype();
d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	217
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	218 const LLType* T = DtoType(type);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	219
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	220 std::vector<LLConstant*> vals;
246 b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	221
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	222 // tag
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	223 vals.push_back(llvm::ConstantExpr::getAdd(
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	224 DtoConstUint(DW_TAG_base_type),
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	225 DtoConstUint(llvm::LLVMDebugVersion)));
246 b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	226
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	227 // context
246 b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	228 vals.push_back(DBG_CAST(compileUnit));
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	229
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	230 // name
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	231 vals.push_back(DtoConstStringPtr(type->toChars(), "llvm.metadata"));
246 b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	232
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	233 // compile unit where defined
246 b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	234 vals.push_back(DBG_NULL);
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	235
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	236 // line number where defined
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	237 vals.push_back(DtoConstInt(0));
246 b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	238
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	239 // size in bits
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	240 vals.push_back(LLConstantInt::get(LLType::Int64Ty, getTypeBitSize(T), false));
246 b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	241
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	242 // alignment in bits
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	243 vals.push_back(LLConstantInt::get(LLType::Int64Ty, getABITypeAlign(T)*8, false));
246 b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	244
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	245 // offset in bits
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	246 vals.push_back(LLConstantInt::get(LLType::Int64Ty, 0, false));
246 b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	247
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	248 // FIXME: dont know what this is
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	249 vals.push_back(DtoConstUint(0));
246 b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	250
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	251 // dwarf type
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	252 unsigned id;
245 d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	253 if (t->isintegral())
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	254 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	255 if (type->isunsigned())
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	256 id = llvm::dwarf::DW_ATE_unsigned;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	257 else
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	258 id = llvm::dwarf::DW_ATE_signed;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	259 }
245 d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	260 else if (t->isfloating())
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	261 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	262 id = llvm::dwarf::DW_ATE_float;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	263 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	264 else
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	265 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	266 assert(0 && "unsupported basictype for debug info");
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	267 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	268 vals.push_back(DtoConstUint(id));
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	269
246 b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	270 LLConstant* c = llvm::ConstantStruct::get(getDwarfBasicTypeType(), vals);
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	271 LLGlobalVariable* gv = new LLGlobalVariable(c->getType(), true, LLGlobalValue::InternalLinkage, c, "llvm.dbg.basictype", gIR->module);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	272 gv->setSection("llvm.metadata");
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	273 return gv;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	274 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	275
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	276 //////////////////////////////////////////////////////////////////////////////////////////////////
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	277
246 b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	278 static LLGlobalVariable* dwarfDerivedType(Loc loc, Type* type, llvm::GlobalVariable* compileUnit)
245 d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	279 {
d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	280 const LLType* T = DtoType(type);
d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	281 Type* t = DtoDType(type);
d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	282
d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	283 // defaults
d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	284 LLConstant* name = getNullPtr(getVoidPtrType());
d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	285
d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	286 // find tag
d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	287 unsigned tag;
d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	288 if (t->ty == Tpointer)
d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	289 {
d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	290 tag = llvm::dwarf::DW_TAG_pointer_type;
d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	291 }
d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	292 else
d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	293 {
d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	294 assert(0 && "unsupported derivedtype for debug info");
d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	295 }
d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	296
d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	297 std::vector<LLConstant*> vals;
246 b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	298
245 d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	299 // tag
d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	300 vals.push_back(llvm::ConstantExpr::getAdd(
d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	301 DtoConstUint(tag),
d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	302 DtoConstUint(llvm::LLVMDebugVersion)));
246 b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	303
245 d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	304 // context
246 b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	305 vals.push_back(DBG_CAST(compileUnit));
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	306
245 d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	307 // name
d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	308 vals.push_back(name);
246 b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	309
245 d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	310 // compile unit where defined
246 b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	311 vals.push_back(DBG_NULL);
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	312
245 d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	313 // line number where defined
d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	314 vals.push_back(DtoConstInt(0));
246 b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	315
245 d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	316 // size in bits
d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	317 vals.push_back(LLConstantInt::get(LLType::Int64Ty, getTypeBitSize(T), false));
246 b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	318
245 d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	319 // alignment in bits
d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	320 vals.push_back(LLConstantInt::get(LLType::Int64Ty, getABITypeAlign(T)*8, false));
246 b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	321
245 d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	322 // offset in bits
d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	323 vals.push_back(LLConstantInt::get(LLType::Int64Ty, 0, false));
246 b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	324
245 d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	325 // FIXME: dont know what this is
d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	326 vals.push_back(DtoConstUint(0));
246 b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	327
245 d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	328 // base type
d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	329 Type* nt = t->nextOf();
246 b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	330 LLGlobalVariable* nTD = dwarfTypeDescription(loc, nt, compileUnit, NULL);
245 d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	331 if (nt->ty == Tvoid \|\| !nTD)
246 b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	332 vals.push_back(DBG_NULL);
245 d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	333 else
246 b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	334 vals.push_back(DBG_CAST(nTD));
245 d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	335
246 b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	336 LLConstant* c = llvm::ConstantStruct::get(getDwarfDerivedTypeType(), vals);
245 d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	337 LLGlobalVariable* gv = new LLGlobalVariable(c->getType(), true, LLGlobalValue::InternalLinkage, c, "llvm.dbg.derivedtype", gIR->module);
d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	338 gv->setSection("llvm.metadata");
d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	339 return gv;
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	340 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	341
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	342 //////////////////////////////////////////////////////////////////////////////////////////////////
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	343
246 b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	344 static LLGlobalVariable* dwarfMemberType(Loc loc, Type* type, llvm::GlobalVariable* compileUnit, const char* c_name, unsigned offset)
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	345 {
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	346 const LLType* T = DtoType(type);
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	347 Type* t = DtoDType(type);
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	348
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	349 // defaults
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	350 LLConstant* name;
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	351 if (c_name)
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	352 name = DtoConstStringPtr(c_name, "llvm.metadata");
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	353 else
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	354 name = getNullPtr(getVoidPtrType());
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	355
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	356 std::vector<LLConstant*> vals;
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	357
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	358 // tag
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	359 vals.push_back(llvm::ConstantExpr::getAdd(
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	360 DtoConstUint(llvm::dwarf::DW_TAG_member),
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	361 DtoConstUint(llvm::LLVMDebugVersion)));
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	362
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	363 // context
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	364 vals.push_back(DBG_CAST(compileUnit));
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	365
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	366 // name
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	367 vals.push_back(name);
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	368
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	369 // compile unit where defined
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	370 vals.push_back(DBG_NULL);
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	371
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	372 // line number where defined
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	373 vals.push_back(DtoConstInt(0));
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	374
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	375 // size in bits
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	376 vals.push_back(LLConstantInt::get(LLType::Int64Ty, getTypeBitSize(T), false));
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	377
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	378 // alignment in bits
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	379 vals.push_back(LLConstantInt::get(LLType::Int64Ty, getABITypeAlign(T)*8, false));
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	380
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	381 // offset in bits
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	382 vals.push_back(LLConstantInt::get(LLType::Int64Ty, offset*8, false));
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	383
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	384 // FIXME: dont know what this is
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	385 vals.push_back(DtoConstUint(0));
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	386
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	387 // base type
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	388 LLGlobalVariable* nTD = dwarfTypeDescription(loc, t, compileUnit, NULL);
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	389 if (t->ty == Tvoid \|\| !nTD)
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	390 vals.push_back(DBG_NULL);
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	391 else
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	392 vals.push_back(DBG_CAST(nTD));
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	393
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	394 LLConstant* c = llvm::ConstantStruct::get(getDwarfDerivedTypeType(), vals);
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	395 LLGlobalVariable* gv = new LLGlobalVariable(c->getType(), true, LLGlobalValue::InternalLinkage, c, "llvm.dbg.derivedtype", gIR->module);
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	396 gv->setSection("llvm.metadata");
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	397 return gv;
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	398 }
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	399
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	400 //////////////////////////////////////////////////////////////////////////////////////////////////
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	401
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	402 static LLGlobalVariable* dwarfCompositeType(Loc loc, Type* type, llvm::GlobalVariable* compileUnit)
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	403 {
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	404 const LLType* T = DtoType(type);
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	405 Type* t = DtoDType(type);
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	406
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	407 // defaults
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	408 LLConstant* name = getNullPtr(getVoidPtrType());
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	409 LLGlobalVariable* members = NULL;
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	410
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	411 // find tag
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	412 unsigned tag;
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	413 if (t->ty == Tarray)
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	414 {
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	415 tag = llvm::dwarf::DW_TAG_structure_type;
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	416
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	417 LLGlobalVariable* len = dwarfMemberType(loc, Type::tsize_t, compileUnit, "length", 0);
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	418 assert(len);
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	419 LLGlobalVariable* ptr = dwarfMemberType(loc, t->nextOf()->pointerTo(), compileUnit, "ptr", global.params.is64bit?8:4);
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	420 assert(ptr);
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	421
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	422 const LLArrayType* at = LLArrayType::get(DBG_TYPE, 2);
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	423
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	424 std::vector<LLConstant*> elems;
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	425 elems.push_back(DBG_CAST(len));
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	426 elems.push_back(DBG_CAST(ptr));
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	427
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	428 // elems[0]->dump();
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	429 // elems[1]->dump();
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	430 // at->dump();
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	431
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	432 LLConstant* ca = LLConstantArray::get(at, elems);
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	433 members = new LLGlobalVariable(ca->getType(), true, LLGlobalValue::InternalLinkage, ca, ".array", gIR->module);
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	434 members->setSection("llvm.metadata");
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	435 }
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	436 else
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	437 {
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	438 assert(0 && "unsupported compositetype for debug info");
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	439 }
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	440
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	441 std::vector<LLConstant*> vals;
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	442
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	443 // tag
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	444 vals.push_back(llvm::ConstantExpr::getAdd(
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	445 DtoConstUint(tag),
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	446 DtoConstUint(llvm::LLVMDebugVersion)));
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	447
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	448 // context
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	449 vals.push_back(DBG_CAST(compileUnit));
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	450
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	451 // name
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	452 vals.push_back(name);
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	453
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	454 // compile unit where defined
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	455 vals.push_back(DBG_NULL);
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	456
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	457 // line number where defined
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	458 vals.push_back(DtoConstInt(0));
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	459
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	460 // size in bits
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	461 vals.push_back(LLConstantInt::get(LLType::Int64Ty, getTypeBitSize(T), false));
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	462
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	463 // alignment in bits
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	464 vals.push_back(LLConstantInt::get(LLType::Int64Ty, getABITypeAlign(T)*8, false));
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	465
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	466 // offset in bits
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	467 vals.push_back(LLConstantInt::get(LLType::Int64Ty, 0, false));
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	468
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	469 // FIXME: dont know what this is
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	470 vals.push_back(DtoConstUint(0));
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	471
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	472 // FIXME: ditto
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	473 vals.push_back(DBG_NULL);
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	474
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	475 // members array
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	476 if (members)
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	477 vals.push_back(DBG_CAST(members));
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	478 else
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	479 vals.push_back(DBG_NULL);
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	480
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	481 LLConstant* c = llvm::ConstantStruct::get(getDwarfCompositeTypeType(), vals);
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	482 LLGlobalVariable* gv = new LLGlobalVariable(c->getType(), true, LLGlobalValue::InternalLinkage, c, "llvm.dbg.compositetype", gIR->module);
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	483 gv->setSection("llvm.metadata");
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	484 return gv;
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	485 }
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	486
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	487 //////////////////////////////////////////////////////////////////////////////////////////////////
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	488
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	489 static LLGlobalVariable* dwarfVariable(VarDeclaration* vd, LLGlobalVariable* typeDescr)
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	490 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	491 unsigned tag;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	492 if (vd->isParameter())
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	493 tag = DW_TAG_arg_variable;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	494 else if (vd->isCodeseg())
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	495 assert(0 && "a static variable");
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	496 else
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	497 tag = DW_TAG_auto_variable;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	498
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	499 std::vector<LLConstant*> vals;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	500 // tag
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	501 vals.push_back(llvm::ConstantExpr::getAdd(
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	502 DtoConstUint(tag),
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	503 DtoConstUint(llvm::LLVMDebugVersion)));
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	504 // context
246 b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	505 vals.push_back(DBG_CAST(gIR->func()->dwarfSubProg));
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	506 // name
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	507 vals.push_back(DtoConstStringPtr(vd->toChars(), "llvm.metadata"));
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	508 // compile unit where defined
246 b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	509 vals.push_back(DBG_CAST(DtoDwarfCompileUnit(vd->getModule())));
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	510 // line number where defined
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	511 vals.push_back(DtoConstUint(vd->loc.linnum));
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	512 // type descriptor
246 b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	513 vals.push_back(DBG_CAST(typeDescr));
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	514
246 b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	515 LLConstant* c = llvm::ConstantStruct::get(getDwarfVariableType(), vals);
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	516 LLGlobalVariable* gv = new LLGlobalVariable(c->getType(), true, LLGlobalValue::InternalLinkage, c, "llvm.dbg.variable", gIR->module);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	517 gv->setSection("llvm.metadata");
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	518 return gv;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	519 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	520
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	521 //////////////////////////////////////////////////////////////////////////////////////////////////
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	522
246 b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	523 static void dwarfDeclare(LLValue* var, LLGlobalVariable* varDescr)
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	524 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	525 LLSmallVector<LLValue*,2> args;
246 b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	526 args.push_back(DtoBitCast(var, DBG_TYPE));
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	527 args.push_back(DBG_CAST(varDescr));
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	528 gIR->ir->CreateCall(gIR->module->getFunction("llvm.dbg.declare"), args.begin(), args.end());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	529 }
245 d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	530
d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	531 //////////////////////////////////////////////////////////////////////////////////////////////////
d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	532
246 b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	533 static LLGlobalVariable* dwarfTypeDescription(Loc loc, Type* type, LLGlobalVariable* cu, const char* c_name)
245 d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	534 {
d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	535 Type* t = type->toBasetype();
246 b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	536 if (t->ty == Tvoid)
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	537 return NULL;
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	538 else if (t->isintegral() \|\| t->isfloating())
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	539 return dwarfBasicType(type, cu);
245 d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	540 else if (t->ty == Tpointer)
246 b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	541 return dwarfDerivedType(loc, type, cu);
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	542 else if (t->ty == Tarray)
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	543 return dwarfCompositeType(loc, type, cu);
245 d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	544
246 b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	545 if (global.params.warnings)
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	546 warning("%s: unsupported type for debug info: %s", loc.toChars(), type->toChars());
245 d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	547 return NULL;
d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	548 }
d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	549
246 b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	550 //////////////////////////////////////////////////////////////////////////////////////////////////
b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	551
245 d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	552 void DtoDwarfLocalVariable(LLValue* ll, VarDeclaration* vd)
d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	553 {
d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	554 // get compile units
d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	555 LLGlobalVariable* thisCU = DtoDwarfCompileUnit(gIR->dmodule);
d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	556 LLGlobalVariable* varCU = thisCU;
d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	557 if (vd->getModule() != gIR->dmodule)
d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	558 varCU = DtoDwarfCompileUnit(vd->getModule());
d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	559
d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	560 // get type description
d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	561 Type* t = vd->type->toBasetype();
246 b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	562 LLGlobalVariable* TD = dwarfTypeDescription(vd->loc, vd->type, thisCU, NULL);
245 d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	563 if (TD == NULL)
d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	564 return; // unsupported
d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	565
d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	566 // get variable description
d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	567 LLGlobalVariable* VD;
246 b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	568 VD = dwarfVariable(vd, TD);
245 d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	569
d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	570 // declare
246 b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 245 diff changeset	571 dwarfDeclare(ll, VD);
245 d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	572 }
d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	573
d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	574
d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	575
d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	576
d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	577
d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	578
d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	579
d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	580
d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	581
d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	582
d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	583
d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	584
d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	585
d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	586

Mercurial > projects > ldc

annotate gen/todebug.cpp @ 246:b604c56945b0 trunk