lib/Analysis/DIBuilder.cpp

   1 //===--- DIBuilder.cpp - Debug Information Builder ------------------------===//
   2 //
   3 //                     The LLVM Compiler Infrastructure
   4 //
   5 // This file is distributed under the University of Illinois Open Source
   6 // License. See LICENSE.TXT for details.
   7 //
   8 //===----------------------------------------------------------------------===//
   9 //
  10 // This file implements the DIBuilder.
  11 //
  12 //===----------------------------------------------------------------------===//
  13
  14 #include "llvm/Analysis/DIBuilder.h"
  15 #include "llvm/Analysis/DebugInfo.h"
  16 #include "llvm/Constants.h"
  17 #include "llvm/IntrinsicInst.h"
  18 #include "llvm/Module.h"
  19 #include "llvm/ADT/STLExtras.h"
  20 #include "llvm/Support/Dwarf.h"
  21
  22 using namespace llvm;
  23 using namespace llvm::dwarf;
  24
  25 static Constant *GetTagConstant(LLVMContext &VMContext, unsigned Tag) {
  26   assert((Tag & LLVMDebugVersionMask) == 0 &&
  27          "Tag too large for debug encoding!");
  28   return ConstantInt::get(Type::getInt32Ty(VMContext), Tag | LLVMDebugVersion);
  29 }
  30
  31 DIBuilder::DIBuilder(Module &m)
  32   : M(m), VMContext(M.getContext()), TheCU(0), DeclareFn(0), ValueFn(0) {}
  33
  34 /// createCompileUnit - A CompileUnit provides an anchor for all debugging
  35 /// information generated during this instance of compilation.
  36 void DIBuilder::createCompileUnit(unsigned Lang, StringRef Filename,
  37                                   StringRef Directory, StringRef Producer,
  38                                   bool isOptimized, StringRef Flags,
  39                                   unsigned RunTimeVer) {
  40   Value *Elts[] = {
  41     GetTagConstant(VMContext, dwarf::DW_TAG_compile_unit),
  42     llvm::Constant::getNullValue(Type::getInt32Ty(VMContext)),
  43     ConstantInt::get(Type::getInt32Ty(VMContext), Lang),
  44     MDString::get(VMContext, Filename),
  45     MDString::get(VMContext, Directory),
  46     MDString::get(VMContext, Producer),
  47     // Deprecate isMain field.
  48     ConstantInt::get(Type::getInt1Ty(VMContext), true), // isMain
  49     ConstantInt::get(Type::getInt1Ty(VMContext), isOptimized),
  50     MDString::get(VMContext, Flags),
  51     ConstantInt::get(Type::getInt32Ty(VMContext), RunTimeVer)
  52   };
  53   TheCU = DICompileUnit(MDNode::get(VMContext, &Elts[0], array_lengthof(Elts)));
  54 }
  55
  56 /// createFile - Create a file descriptor to hold debugging information
  57 /// for a file.
  58 DIFile DIBuilder::createFile(StringRef Filename, StringRef Directory) {
  59   assert(TheCU && "Unable to create DW_TAG_file_type without CompileUnit");
  60   Value *Elts[] = {
  61     GetTagConstant(VMContext, dwarf::DW_TAG_file_type),
  62     MDString::get(VMContext, Filename),
  63     MDString::get(VMContext, Directory),
  64     TheCU
  65   };
  66   return DIFile(MDNode::get(VMContext, &Elts[0], array_lengthof(Elts)));
  67 }
  68
  69 /// createEnumerator - Create a single enumerator value.
  70 DIEnumerator DIBuilder::createEnumerator(StringRef Name, uint64_t Val) {
  71   Value *Elts[] = {
  72     GetTagConstant(VMContext, dwarf::DW_TAG_enumerator),
  73     MDString::get(VMContext, Name),
  74     ConstantInt::get(Type::getInt64Ty(VMContext), Val)
  75   };
  76   return DIEnumerator(MDNode::get(VMContext, &Elts[0], array_lengthof(Elts)));
  77 }
  78
  79 /// createBasicType - Create debugging information entry for a basic
  80 /// type, e.g 'char'.
  81 DIType DIBuilder::createBasicType(StringRef Name, uint64_t SizeInBits,
  82                                   uint64_t AlignInBits,
  83                                   unsigned Encoding) {
  84   // Basic types are encoded in DIBasicType format. Line number, filename,
  85   // offset and flags are always empty here.
  86   Value *Elts[] = {
  87     GetTagConstant(VMContext, dwarf::DW_TAG_base_type),
  88     TheCU,
  89     MDString::get(VMContext, Name),
  90     NULL, // Filename
  91     ConstantInt::get(Type::getInt32Ty(VMContext), 0), // Line
  92     ConstantInt::get(Type::getInt64Ty(VMContext), SizeInBits),
  93     ConstantInt::get(Type::getInt64Ty(VMContext), AlignInBits),
  94     ConstantInt::get(Type::getInt64Ty(VMContext), 0), // Offset
  95     ConstantInt::get(Type::getInt32Ty(VMContext), 0), // Flags;
  96     ConstantInt::get(Type::getInt32Ty(VMContext), Encoding)
  97   };
  98   return DIType(MDNode::get(VMContext, &Elts[0], array_lengthof(Elts)));
  99 }
 100
 101 /// createQaulifiedType - Create debugging information entry for a qualified
 102 /// type, e.g. 'const int'.
 103 DIType DIBuilder::createQualifiedType(unsigned Tag, DIType FromTy) {
 104   // Qualified types are encoded in DIDerivedType format.
 105   Value *Elts[] = {
 106     GetTagConstant(VMContext, Tag),
 107     TheCU,
 108     MDString::get(VMContext, StringRef()), // Empty name.
 109     NULL, // Filename
 110     ConstantInt::get(Type::getInt32Ty(VMContext), 0), // Line
 111     ConstantInt::get(Type::getInt64Ty(VMContext), 0), // Size
 112     ConstantInt::get(Type::getInt64Ty(VMContext), 0), // Align
 113     ConstantInt::get(Type::getInt64Ty(VMContext), 0), // Offset
 114     ConstantInt::get(Type::getInt32Ty(VMContext), 0), // Flags
 115     FromTy
 116   };
 117   return DIType(MDNode::get(VMContext, &Elts[0], array_lengthof(Elts)));
 118 }
 119
 120 /// createPointerType - Create debugging information entry for a pointer.
 121 DIType DIBuilder::createPointerType(DIType PointeeTy, uint64_t SizeInBits,
 122                                     uint64_t AlignInBits, StringRef Name) {
 123   // Pointer types are encoded in DIDerivedType format.
 124   Value *Elts[] = {
 125     GetTagConstant(VMContext, dwarf::DW_TAG_pointer_type),
 126     TheCU,
 127     MDString::get(VMContext, Name),
 128     NULL, // Filename
 129     ConstantInt::get(Type::getInt32Ty(VMContext), 0), // Line
 130     ConstantInt::get(Type::getInt64Ty(VMContext), SizeInBits),
 131     ConstantInt::get(Type::getInt64Ty(VMContext), AlignInBits),
 132     ConstantInt::get(Type::getInt64Ty(VMContext), 0), // Offset
 133     ConstantInt::get(Type::getInt32Ty(VMContext), 0), // Flags
 134     PointeeTy
 135   };
 136   return DIType(MDNode::get(VMContext, &Elts[0], array_lengthof(Elts)));
 137 }
 138
 139 /// createReferenceType - Create debugging information entry for a reference.
 140 DIType DIBuilder::createReferenceType(DIType RTy) {
 141   // References are encoded in DIDerivedType format.
 142   Value *Elts[] = {
 143     GetTagConstant(VMContext, dwarf::DW_TAG_reference_type),
 144     TheCU,
 145     NULL, // Name
 146     NULL, // Filename
 147     ConstantInt::get(Type::getInt32Ty(VMContext), 0), // Line
 148     ConstantInt::get(Type::getInt64Ty(VMContext), 0), // Size
 149     ConstantInt::get(Type::getInt64Ty(VMContext), 0), // Align
 150     ConstantInt::get(Type::getInt64Ty(VMContext), 0), // Offset
 151     ConstantInt::get(Type::getInt32Ty(VMContext), 0), // Flags
 152     RTy
 153   };
 154   return DIType(MDNode::get(VMContext, &Elts[0], array_lengthof(Elts)));
 155 }
 156
 157 /// createTypedef - Create debugging information entry for a typedef.
 158 DIType DIBuilder::createTypedef(DIType Ty, StringRef Name, DIFile File,
 159                                 unsigned LineNo) {
 160   // typedefs are encoded in DIDerivedType format.
 161   assert(Ty.Verify() && "Invalid typedef type!");
 162   Value *Elts[] = {
 163     GetTagConstant(VMContext, dwarf::DW_TAG_typedef),
 164     Ty.getContext(),
 165     MDString::get(VMContext, Name),
 166     File,
 167     ConstantInt::get(Type::getInt32Ty(VMContext), LineNo),
 168     ConstantInt::get(Type::getInt64Ty(VMContext), 0), // Size
 169     ConstantInt::get(Type::getInt64Ty(VMContext), 0), // Align
 170     ConstantInt::get(Type::getInt64Ty(VMContext), 0), // Offset
 171     ConstantInt::get(Type::getInt32Ty(VMContext), 0), // Flags
 172     Ty
 173   };
 174   return DIType(MDNode::get(VMContext, &Elts[0], array_lengthof(Elts)));
 175 }
 176
 177 /// createFriend - Create debugging information entry for a 'friend'.
 178 DIType DIBuilder::createFriend(DIType Ty, DIType FriendTy) {
 179   // typedefs are encoded in DIDerivedType format.
 180   assert(Ty.Verify() && "Invalid type!");
 181   assert(FriendTy.Verify() && "Invalid friend type!");
 182   Value *Elts[] = {
 183     GetTagConstant(VMContext, dwarf::DW_TAG_friend),
 184     Ty,
 185     NULL, // Name
 186     Ty.getFile(),
 187     ConstantInt::get(Type::getInt32Ty(VMContext), 0), // Line
 188     ConstantInt::get(Type::getInt64Ty(VMContext), 0), // Size
 189     ConstantInt::get(Type::getInt64Ty(VMContext), 0), // Align
 190     ConstantInt::get(Type::getInt64Ty(VMContext), 0), // Offset
 191     ConstantInt::get(Type::getInt32Ty(VMContext), 0), // Flags
 192     FriendTy
 193   };
 194   return DIType(MDNode::get(VMContext, &Elts[0], array_lengthof(Elts)));
 195 }
 196
 197 /// createInheritance - Create debugging information entry to establish
 198 /// inheritnace relationship between two types.
 199 DIType DIBuilder::createInheritance(DIType Ty, DIType BaseTy,
 200                                     uint64_t BaseOffset, unsigned Flags) {
 201   // TAG_inheritance is encoded in DIDerivedType format.
 202   Value *Elts[] = {
 203     GetTagConstant(VMContext, dwarf::DW_TAG_inheritance),
 204     Ty,
 205     NULL, // Name
 206     Ty.getFile(),
 207     ConstantInt::get(Type::getInt32Ty(VMContext), 0), // Line
 208     ConstantInt::get(Type::getInt64Ty(VMContext), 0), // Size
 209     ConstantInt::get(Type::getInt64Ty(VMContext), 0), // Align
 210     ConstantInt::get(Type::getInt64Ty(VMContext), BaseOffset),
 211     ConstantInt::get(Type::getInt32Ty(VMContext), Flags),
 212     BaseTy
 213   };
 214   return DIType(MDNode::get(VMContext, &Elts[0], array_lengthof(Elts)));
 215 }
 216
 217 /// createMemberType - Create debugging information entry for a member.
 218 DIType DIBuilder::createMemberType(StringRef Name,
 219                                    DIFile File, unsigned LineNumber,
 220                                    uint64_t SizeInBits, uint64_t AlignInBits,
 221                                    uint64_t OffsetInBits, unsigned Flags,
 222                                    DIType Ty) {
 223   // TAG_member is encoded in DIDerivedType format.
 224   Value *Elts[] = {
 225     GetTagConstant(VMContext, dwarf::DW_TAG_member),
 226     File, // Or TheCU ? Ty ?
 227     MDString::get(VMContext, Name),
 228     File,
 229     ConstantInt::get(Type::getInt32Ty(VMContext), LineNumber),
 230     ConstantInt::get(Type::getInt64Ty(VMContext), SizeInBits),
 231     ConstantInt::get(Type::getInt64Ty(VMContext), AlignInBits),
 232     ConstantInt::get(Type::getInt64Ty(VMContext), OffsetInBits),
 233     ConstantInt::get(Type::getInt32Ty(VMContext), Flags),
 234     Ty
 235   };
 236   return DIType(MDNode::get(VMContext, &Elts[0], array_lengthof(Elts)));
 237 }
 238
 239 /// createClassType - Create debugging information entry for a class.
 240 DIType DIBuilder::createClassType(DIDescriptor Context, StringRef Name,
 241                                   DIFile File, unsigned LineNumber,
 242                                   uint64_t SizeInBits, uint64_t AlignInBits,
 243                                   uint64_t OffsetInBits, unsigned Flags,
 244                                   DIType DerivedFrom, DIArray Elements,
 245                                   MDNode *VTableHoder, MDNode *TemplateParams) {
 246  // TAG_class_type is encoded in DICompositeType format.
 247   Value *Elts[] = {
 248     GetTagConstant(VMContext, dwarf::DW_TAG_class_type),
 249     Context,
 250     MDString::get(VMContext, Name),
 251     File,
 252     ConstantInt::get(Type::getInt32Ty(VMContext), LineNumber),
 253     ConstantInt::get(Type::getInt64Ty(VMContext), SizeInBits),
 254     ConstantInt::get(Type::getInt64Ty(VMContext), AlignInBits),
 255     ConstantInt::get(Type::getInt32Ty(VMContext), OffsetInBits),
 256     ConstantInt::get(Type::getInt32Ty(VMContext), Flags),
 257     DerivedFrom,
 258     Elements,
 259     ConstantInt::get(Type::getInt32Ty(VMContext), 0),
 260     VTableHoder,
 261     TemplateParams
 262   };
 263   return DIType(MDNode::get(VMContext, &Elts[0], array_lengthof(Elts)));
 264 }
 265
 266 /// createTemplateTypeParameter - Create debugging information for template
 267 /// type parameter.
 268 DITemplateTypeParameter
 269 DIBuilder::createTemplateTypeParameter(DIDescriptor Context, StringRef Name,
 270                                        DIType Ty, MDNode *File, unsigned LineNo,
 271                                        unsigned ColumnNo) {
 272   Value *Elts[] = {
 273     GetTagConstant(VMContext, dwarf::DW_TAG_template_type_parameter),
 274     Context,
 275     MDString::get(VMContext, Name),
 276     Ty,
 277     File,
 278     ConstantInt::get(Type::getInt32Ty(VMContext), LineNo),
 279     ConstantInt::get(Type::getInt32Ty(VMContext), ColumnNo)
 280   };
 281   return DITemplateTypeParameter(MDNode::get(VMContext, &Elts[0],
 282                                              array_lengthof(Elts)));
 283 }
 284
 285 /// createTemplateValueParameter - Create debugging information for template
 286 /// value parameter.
 287 DITemplateValueParameter
 288 DIBuilder::createTemplateValueParameter(DIDescriptor Context, StringRef Name,
 289                                         DIType Ty, uint64_t Val,
 290                                         MDNode *File, unsigned LineNo,
 291                                         unsigned ColumnNo) {
 292   Value *Elts[] = {
 293     GetTagConstant(VMContext, dwarf::DW_TAG_template_value_parameter),
 294     Context,
 295     MDString::get(VMContext, Name),
 296     Ty,
 297     ConstantInt::get(Type::getInt64Ty(VMContext), Val),
 298     File,
 299     ConstantInt::get(Type::getInt32Ty(VMContext), LineNo),
 300     ConstantInt::get(Type::getInt32Ty(VMContext), ColumnNo)
 301   };
 302   return DITemplateValueParameter(MDNode::get(VMContext, &Elts[0],
 303                                               array_lengthof(Elts)));
 304 }
 305
 306 /// createStructType - Create debugging information entry for a struct.
 307 DIType DIBuilder::createStructType(DIDescriptor Context, StringRef Name,
 308                                    DIFile File, unsigned LineNumber,
 309                                    uint64_t SizeInBits, uint64_t AlignInBits,
 310                                    unsigned Flags, DIArray Elements,
 311                                    unsigned RunTimeLang) {
 312  // TAG_structure_type is encoded in DICompositeType format.
 313   Value *Elts[] = {
 314     GetTagConstant(VMContext, dwarf::DW_TAG_structure_type),
 315     Context,
 316     MDString::get(VMContext, Name),
 317     File,
 318     ConstantInt::get(Type::getInt32Ty(VMContext), LineNumber),
 319     ConstantInt::get(Type::getInt64Ty(VMContext), SizeInBits),
 320     ConstantInt::get(Type::getInt64Ty(VMContext), AlignInBits),
 321     ConstantInt::get(Type::getInt32Ty(VMContext), 0),
 322     ConstantInt::get(Type::getInt32Ty(VMContext), Flags),
 323     llvm::Constant::getNullValue(Type::getInt32Ty(VMContext)),
 324     Elements,
 325     ConstantInt::get(Type::getInt32Ty(VMContext), RunTimeLang),
 326     llvm::Constant::getNullValue(Type::getInt32Ty(VMContext)),
 327   };
 328   return DIType(MDNode::get(VMContext, &Elts[0], array_lengthof(Elts)));
 329 }
 330
 331 /// createUnionType - Create debugging information entry for an union.
 332 DIType DIBuilder::createUnionType(DIDescriptor Scope, StringRef Name,
 333                                   DIFile File,
 334                                   unsigned LineNumber, uint64_t SizeInBits,
 335                                   uint64_t AlignInBits, unsigned Flags,
 336                                   DIArray Elements, unsigned RunTimeLang) {
 337   // TAG_union_type is encoded in DICompositeType format.
 338   Value *Elts[] = {
 339     GetTagConstant(VMContext, dwarf::DW_TAG_union_type),
 340     Scope,
 341     MDString::get(VMContext, Name),
 342     File,
 343     ConstantInt::get(Type::getInt32Ty(VMContext), LineNumber),
 344     ConstantInt::get(Type::getInt64Ty(VMContext), SizeInBits),
 345     ConstantInt::get(Type::getInt64Ty(VMContext), AlignInBits),
 346     ConstantInt::get(Type::getInt64Ty(VMContext), 0),
 347     ConstantInt::get(Type::getInt32Ty(VMContext), Flags),
 348     llvm::Constant::getNullValue(Type::getInt32Ty(VMContext)),
 349     Elements,
 350     ConstantInt::get(Type::getInt32Ty(VMContext), RunTimeLang),
 351     llvm::Constant::getNullValue(Type::getInt32Ty(VMContext)),
 352   };
 353   return DIType(MDNode::get(VMContext, &Elts[0], array_lengthof(Elts)));
 354 }
 355
 356 /// createSubroutineType - Create subroutine type.
 357 DIType DIBuilder::createSubroutineType(DIFile File, DIArray ParameterTypes) {
 358   // TAG_subroutine_type is encoded in DICompositeType format.
 359   Value *Elts[] = {
 360     GetTagConstant(VMContext, dwarf::DW_TAG_subroutine_type),
 361     File,
 362     MDString::get(VMContext, ""),
 363     File,
 364     ConstantInt::get(Type::getInt32Ty(VMContext), 0),
 365     ConstantInt::get(Type::getInt64Ty(VMContext), 0),
 366     ConstantInt::get(Type::getInt64Ty(VMContext), 0),
 367     ConstantInt::get(Type::getInt32Ty(VMContext), 0),
 368     ConstantInt::get(Type::getInt32Ty(VMContext), 0),
 369     llvm::Constant::getNullValue(Type::getInt32Ty(VMContext)),
 370     ParameterTypes,
 371     ConstantInt::get(Type::getInt32Ty(VMContext), 0),
 372     llvm::Constant::getNullValue(Type::getInt32Ty(VMContext)),
 373   };
 374   return DIType(MDNode::get(VMContext, &Elts[0], array_lengthof(Elts)));
 375 }
 376
 377 /// createEnumerationType - Create debugging information entry for an
 378 /// enumeration.
 379 DIType DIBuilder::createEnumerationType(DIDescriptor Scope, StringRef Name,
 380                                         DIFile File, unsigned LineNumber,
 381                                         uint64_t SizeInBits,
 382                                         uint64_t AlignInBits, DIArray Elements) {
 383   // TAG_enumeration_type is encoded in DICompositeType format.
 384   Value *Elts[] = {
 385     GetTagConstant(VMContext, dwarf::DW_TAG_enumeration_type),
 386     Scope,
 387     MDString::get(VMContext, Name),
 388     File,
 389     ConstantInt::get(Type::getInt32Ty(VMContext), LineNumber),
 390     ConstantInt::get(Type::getInt64Ty(VMContext), SizeInBits),
 391     ConstantInt::get(Type::getInt64Ty(VMContext), AlignInBits),
 392     ConstantInt::get(Type::getInt32Ty(VMContext), 0),
 393     ConstantInt::get(Type::getInt32Ty(VMContext), 0),
 394     llvm::Constant::getNullValue(Type::getInt32Ty(VMContext)),
 395     Elements,
 396     ConstantInt::get(Type::getInt32Ty(VMContext), 0),
 397     llvm::Constant::getNullValue(Type::getInt32Ty(VMContext)),
 398   };
 399   MDNode *Node = MDNode::get(VMContext, &Elts[0], array_lengthof(Elts));
 400   NamedMDNode *NMD = M.getOrInsertNamedMetadata("llvm.dbg.enum");
 401   NMD->addOperand(Node);
 402   return DIType(Node);
 403 }
 404
 405 /// createArrayType - Create debugging information entry for an array.
 406 DIType DIBuilder::createArrayType(uint64_t Size, uint64_t AlignInBits,
 407                                   DIType Ty, DIArray Subscripts) {
 408   // TAG_array_type is encoded in DICompositeType format.
 409   Value *Elts[] = {
 410     GetTagConstant(VMContext, dwarf::DW_TAG_array_type),
 411     TheCU,
 412     MDString::get(VMContext, ""),
 413     TheCU,
 414     ConstantInt::get(Type::getInt32Ty(VMContext), 0),
 415     ConstantInt::get(Type::getInt64Ty(VMContext), Size),
 416     ConstantInt::get(Type::getInt64Ty(VMContext), AlignInBits),
 417     ConstantInt::get(Type::getInt32Ty(VMContext), 0),
 418     ConstantInt::get(Type::getInt32Ty(VMContext), 0),
 419     Ty,
 420     Subscripts,
 421     ConstantInt::get(Type::getInt32Ty(VMContext), 0),
 422     llvm::Constant::getNullValue(Type::getInt32Ty(VMContext)),
 423   };
 424   return DIType(MDNode::get(VMContext, &Elts[0], array_lengthof(Elts)));
 425 }
 426
 427 /// createVectorType - Create debugging information entry for a vector.
 428 DIType DIBuilder::createVectorType(uint64_t Size, uint64_t AlignInBits,
 429                                    DIType Ty, DIArray Subscripts) {
 430   // TAG_vector_type is encoded in DICompositeType format.
 431   Value *Elts[] = {
 432     GetTagConstant(VMContext, dwarf::DW_TAG_vector_type),
 433     TheCU,
 434     MDString::get(VMContext, ""),
 435     TheCU,
 436     ConstantInt::get(Type::getInt32Ty(VMContext), 0),
 437     ConstantInt::get(Type::getInt64Ty(VMContext), Size),
 438     ConstantInt::get(Type::getInt64Ty(VMContext), AlignInBits),
 439     ConstantInt::get(Type::getInt32Ty(VMContext), 0),
 440     ConstantInt::get(Type::getInt32Ty(VMContext), 0),
 441     Ty,
 442     Subscripts,
 443     ConstantInt::get(Type::getInt32Ty(VMContext), 0),
 444     llvm::Constant::getNullValue(Type::getInt32Ty(VMContext)),
 445   };
 446   return DIType(MDNode::get(VMContext, &Elts[0], array_lengthof(Elts)));
 447 }
 448
 449 /// createArtificialType - Create a new DIType with "artificial" flag set.
 450 DIType DIBuilder::createArtificialType(DIType Ty) {
 451   if (Ty.isArtificial())
 452     return Ty;
 453
 454   SmallVector<Value *, 9> Elts;
 455   MDNode *N = Ty;
 456   assert (N && "Unexpected input DIType!");
 457   for (unsigned i = 0, e = N->getNumOperands(); i != e; ++i) {
 458     if (Value *V = N->getOperand(i))
 459       Elts.push_back(V);
 460     else
 461       Elts.push_back(Constant::getNullValue(Type::getInt32Ty(VMContext)));
 462   }
 463
 464   unsigned CurFlags = Ty.getFlags();
 465   CurFlags = CurFlags | DIType::FlagArtificial;
 466
 467   // Flags are stored at this slot.
 468   Elts[8] =  ConstantInt::get(Type::getInt32Ty(VMContext), CurFlags);
 469
 470   return DIType(MDNode::get(VMContext, Elts.data(), Elts.size()));
 471 }
 472
 473 /// retainType - Retain DIType in a module even if it is not referenced
 474 /// through debug info anchors.
 475 void DIBuilder::retainType(DIType T) {
 476   NamedMDNode *NMD = M.getOrInsertNamedMetadata("llvm.dbg.ty");
 477   NMD->addOperand(T);
 478 }
 479
 480 /// createUnspecifiedParameter - Create unspeicified type descriptor
 481 /// for the subroutine type.
 482 DIDescriptor DIBuilder::createUnspecifiedParameter() {
 483   Value *Elts[] = {
 484     GetTagConstant(VMContext, dwarf::DW_TAG_unspecified_parameters)
 485   };
 486   return DIDescriptor(MDNode::get(VMContext, &Elts[0], 1));
 487 }
 488
 489 /// createTemporaryType - Create a temporary forward-declared type.
 490 DIType DIBuilder::createTemporaryType() {
 491   // Give the temporary MDNode a tag. It doesn't matter what tag we
 492   // use here as long as DIType accepts it.
 493   Value *Elts[] = { GetTagConstant(VMContext, DW_TAG_base_type) };
 494   MDNode *Node = MDNode::getTemporary(VMContext, Elts, array_lengthof(Elts));
 495   return DIType(Node);
 496 }
 497
 498 /// createTemporaryType - Create a temporary forward-declared type.
 499 DIType DIBuilder::createTemporaryType(DIFile F) {
 500   // Give the temporary MDNode a tag. It doesn't matter what tag we
 501   // use here as long as DIType accepts it.
 502   Value *Elts[] = {
 503     GetTagConstant(VMContext, DW_TAG_base_type),
 504     F.getCompileUnit(),
 505     NULL,
 506     F
 507   };
 508   MDNode *Node = MDNode::getTemporary(VMContext, Elts, array_lengthof(Elts));
 509   return DIType(Node);
 510 }
 511
 512 /// getOrCreateArray - Get a DIArray, create one if required.
 513 DIArray DIBuilder::getOrCreateArray(Value *const *Elements, unsigned NumElements) {
 514   if (NumElements == 0) {
 515     Value *Null = llvm::Constant::getNullValue(Type::getInt32Ty(VMContext));
 516     return DIArray(MDNode::get(VMContext, &Null, 1));
 517   }
 518   return DIArray(MDNode::get(VMContext, Elements, NumElements));
 519 }
 520
 521 /// getOrCreateSubrange - Create a descriptor for a value range.  This
 522 /// implicitly uniques the values returned.
 523 DISubrange DIBuilder::getOrCreateSubrange(int64_t Lo, int64_t Hi) {
 524   Value *Elts[] = {
 525     GetTagConstant(VMContext, dwarf::DW_TAG_subrange_type),
 526     ConstantInt::get(Type::getInt64Ty(VMContext), Lo),
 527     ConstantInt::get(Type::getInt64Ty(VMContext), Hi)
 528   };
 529
 530   return DISubrange(MDNode::get(VMContext, &Elts[0], 3));
 531 }
 532
 533 /// createGlobalVariable - Create a new descriptor for the specified global.
 534 DIGlobalVariable DIBuilder::
 535 createGlobalVariable(StringRef Name, DIFile F, unsigned LineNumber,
 536                      DIType Ty, bool isLocalToUnit, llvm::Value *Val) {
 537   Value *Elts[] = {
 538     GetTagConstant(VMContext, dwarf::DW_TAG_variable),
 539     llvm::Constant::getNullValue(Type::getInt32Ty(VMContext)),
 540     TheCU,
 541     MDString::get(VMContext, Name),
 542     MDString::get(VMContext, Name),
 543     MDString::get(VMContext, Name),
 544     F,
 545     ConstantInt::get(Type::getInt32Ty(VMContext), LineNumber),
 546     Ty,
 547     ConstantInt::get(Type::getInt32Ty(VMContext), isLocalToUnit),
 548     ConstantInt::get(Type::getInt32Ty(VMContext), 1), /* isDefinition*/
 549     Val
 550   };
 551   MDNode *Node = MDNode::get(VMContext, &Elts[0], array_lengthof(Elts));
 552   // Create a named metadata so that we do not lose this mdnode.
 553   NamedMDNode *NMD = M.getOrInsertNamedMetadata("llvm.dbg.gv");
 554   NMD->addOperand(Node);
 555   return DIGlobalVariable(Node);
 556 }
 557
 558 /// createStaticVariable - Create a new descriptor for the specified static
 559 /// variable.
 560 DIGlobalVariable DIBuilder::
 561 createStaticVariable(DIDescriptor Context, StringRef Name,
 562                      StringRef LinkageName, DIFile F, unsigned LineNumber,
 563                      DIType Ty, bool isLocalToUnit, llvm::Value *Val) {
 564   Value *Elts[] = {
 565     GetTagConstant(VMContext, dwarf::DW_TAG_variable),
 566     llvm::Constant::getNullValue(Type::getInt32Ty(VMContext)),
 567     Context,
 568     MDString::get(VMContext, Name),
 569     MDString::get(VMContext, Name),
 570     MDString::get(VMContext, LinkageName),
 571     F,
 572     ConstantInt::get(Type::getInt32Ty(VMContext), LineNumber),
 573     Ty,
 574     ConstantInt::get(Type::getInt32Ty(VMContext), isLocalToUnit),
 575     ConstantInt::get(Type::getInt32Ty(VMContext), 1), /* isDefinition*/
 576     Val
 577   };
 578   MDNode *Node = MDNode::get(VMContext, &Elts[0], array_lengthof(Elts));
 579   // Create a named metadata so that we do not lose this mdnode.
 580   NamedMDNode *NMD = M.getOrInsertNamedMetadata("llvm.dbg.gv");
 581   NMD->addOperand(Node);
 582   return DIGlobalVariable(Node);
 583 }
 584
 585 /// createVariable - Create a new descriptor for the specified variable.
 586 DIVariable DIBuilder::createLocalVariable(unsigned Tag, DIDescriptor Scope,
 587                                           StringRef Name, DIFile File,
 588                                           unsigned LineNo, DIType Ty,
 589                                           bool AlwaysPreserve, unsigned Flags,
 590                                           unsigned ArgNo) {
 591   Value *Elts[] = {
 592     GetTagConstant(VMContext, Tag),
 593     Scope,
 594     MDString::get(VMContext, Name),
 595     File,
 596     ConstantInt::get(Type::getInt32Ty(VMContext), (LineNo | (ArgNo << 24))),
 597     Ty,
 598     ConstantInt::get(Type::getInt32Ty(VMContext), Flags)
 599   };
 600   MDNode *Node = MDNode::get(VMContext, &Elts[0], array_lengthof(Elts));
 601   if (AlwaysPreserve) {
 602     // The optimizer may remove local variable. If there is an interest
 603     // to preserve variable info in such situation then stash it in a
 604     // named mdnode.
 605     DISubprogram Fn(getDISubprogram(Scope));
 606     StringRef FName = "fn";
 607     if (Fn.getFunction())
 608       FName = Fn.getFunction()->getName();
 609     char One = '\1';
 610     if (FName.startswith(StringRef(&One, 1)))
 611       FName = FName.substr(1);
 612     NamedMDNode *FnLocals = getOrInsertFnSpecificMDNode(M, FName);
 613     FnLocals->addOperand(Node);
 614   }
 615   return DIVariable(Node);
 616 }
 617
 618 /// createComplexVariable - Create a new descriptor for the specified variable
 619 /// which has a complex address expression for its address.
 620 DIVariable DIBuilder::createComplexVariable(unsigned Tag, DIDescriptor Scope,
 621                                             StringRef Name, DIFile F,
 622                                             unsigned LineNo,
 623                                             DIType Ty, Value *const *Addr,
 624                                             unsigned NumAddr, unsigned ArgNo) {
 625   SmallVector<Value *, 15> Elts;
 626   Elts.push_back(GetTagConstant(VMContext, Tag));
 627   Elts.push_back(Scope);
 628   Elts.push_back(MDString::get(VMContext, Name));
 629   Elts.push_back(F);
 630   Elts.push_back(ConstantInt::get(Type::getInt32Ty(VMContext), (LineNo | (ArgNo << 24))));
 631   Elts.push_back(Ty);
 632   Elts.append(Addr, Addr+NumAddr);
 633
 634   return DIVariable(MDNode::get(VMContext, Elts.data(), Elts.size()));
 635 }
 636
 637 /// createFunction - Create a new descriptor for the specified function.
 638 DISubprogram DIBuilder::createFunction(DIDescriptor Context,
 639                                        StringRef Name,
 640                                        StringRef LinkageName,
 641                                        DIFile File, unsigned LineNo,
 642                                        DIType Ty,
 643                                        bool isLocalToUnit, bool isDefinition,
 644                                        unsigned Flags, bool isOptimized,
 645                                        Function *Fn) {
 646   Value *Elts[] = {
 647     GetTagConstant(VMContext, dwarf::DW_TAG_subprogram),
 648     llvm::Constant::getNullValue(Type::getInt32Ty(VMContext)),
 649     Context,
 650     MDString::get(VMContext, Name),
 651     MDString::get(VMContext, Name),
 652     MDString::get(VMContext, LinkageName),
 653     File,
 654     ConstantInt::get(Type::getInt32Ty(VMContext), LineNo),
 655     Ty,
 656     ConstantInt::get(Type::getInt1Ty(VMContext), isLocalToUnit),
 657     ConstantInt::get(Type::getInt1Ty(VMContext), isDefinition),
 658     ConstantInt::get(Type::getInt32Ty(VMContext), 0),
 659     ConstantInt::get(Type::getInt32Ty(VMContext), 0),
 660     llvm::Constant::getNullValue(Type::getInt32Ty(VMContext)),
 661     ConstantInt::get(Type::getInt32Ty(VMContext), Flags),
 662     ConstantInt::get(Type::getInt1Ty(VMContext), isOptimized),
 663     Fn
 664   };
 665   MDNode *Node = MDNode::get(VMContext, &Elts[0], array_lengthof(Elts));
 666
 667   // Create a named metadata so that we do not lose this mdnode.
 668   NamedMDNode *NMD = M.getOrInsertNamedMetadata("llvm.dbg.sp");
 669   NMD->addOperand(Node);
 670   return DISubprogram(Node);
 671 }
 672
 673 /// createMethod - Create a new descriptor for the specified C++ method.
 674 DISubprogram DIBuilder::createMethod(DIDescriptor Context,
 675                                      StringRef Name,
 676                                      StringRef LinkageName,
 677                                      DIFile F,
 678                                      unsigned LineNo, DIType Ty,
 679                                      bool isLocalToUnit,
 680                                      bool isDefinition,
 681                                      unsigned VK, unsigned VIndex,
 682                                      MDNode *VTableHolder,
 683                                      unsigned Flags,
 684                                      bool isOptimized,
 685                                      Function *Fn) {
 686   Value *Elts[] = {
 687     GetTagConstant(VMContext, dwarf::DW_TAG_subprogram),
 688     llvm::Constant::getNullValue(Type::getInt32Ty(VMContext)),
 689     Context,
 690     MDString::get(VMContext, Name),
 691     MDString::get(VMContext, Name),
 692     MDString::get(VMContext, LinkageName),
 693     F,
 694     ConstantInt::get(Type::getInt32Ty(VMContext), LineNo),
 695     Ty,
 696     ConstantInt::get(Type::getInt1Ty(VMContext), isLocalToUnit),
 697     ConstantInt::get(Type::getInt1Ty(VMContext), isDefinition),
 698     ConstantInt::get(Type::getInt32Ty(VMContext), (unsigned)VK),
 699     ConstantInt::get(Type::getInt32Ty(VMContext), VIndex),
 700     VTableHolder,
 701     ConstantInt::get(Type::getInt32Ty(VMContext), Flags),
 702     ConstantInt::get(Type::getInt1Ty(VMContext), isOptimized),
 703     Fn
 704   };
 705   MDNode *Node = MDNode::get(VMContext, &Elts[0], array_lengthof(Elts));
 706
 707   // Create a named metadata so that we do not lose this mdnode.
 708   NamedMDNode *NMD = M.getOrInsertNamedMetadata("llvm.dbg.sp");
 709   NMD->addOperand(Node);
 710   return DISubprogram(Node);
 711 }
 712
 713 /// createNameSpace - This creates new descriptor for a namespace
 714 /// with the specified parent scope.
 715 DINameSpace DIBuilder::createNameSpace(DIDescriptor Scope, StringRef Name,
 716                                        DIFile File, unsigned LineNo) {
 717   Value *Elts[] = {
 718     GetTagConstant(VMContext, dwarf::DW_TAG_namespace),
 719     Scope,
 720     MDString::get(VMContext, Name),
 721     File,
 722     ConstantInt::get(Type::getInt32Ty(VMContext), LineNo)
 723   };
 724   return DINameSpace(MDNode::get(VMContext, &Elts[0], array_lengthof(Elts)));
 725 }
 726
 727 DILexicalBlock DIBuilder::createLexicalBlock(DIDescriptor Scope, DIFile File,
 728                                              unsigned Line, unsigned Col) {
 729   // Defeat MDNode uniqing for lexical blocks by using unique id.
 730   static unsigned int unique_id = 0;
 731   Value *Elts[] = {
 732     GetTagConstant(VMContext, dwarf::DW_TAG_lexical_block),
 733     Scope,
 734     ConstantInt::get(Type::getInt32Ty(VMContext), Line),
 735     ConstantInt::get(Type::getInt32Ty(VMContext), Col),
 736     File,
 737     ConstantInt::get(Type::getInt32Ty(VMContext), unique_id++)
 738   };
 739   return DILexicalBlock(MDNode::get(VMContext, &Elts[0], array_lengthof(Elts)));
 740 }
 741
 742 /// insertDeclare - Insert a new llvm.dbg.declare intrinsic call.
 743 Instruction *DIBuilder::insertDeclare(Value *Storage, DIVariable VarInfo,
 744                                       Instruction *InsertBefore) {
 745   assert(Storage && "no storage passed to dbg.declare");
 746   assert(VarInfo.Verify() && "empty DIVariable passed to dbg.declare");
 747   if (!DeclareFn)
 748     DeclareFn = Intrinsic::getDeclaration(&M, Intrinsic::dbg_declare);
 749
 750   Value *Args[] = { MDNode::get(Storage->getContext(), &Storage, 1), VarInfo };
 751   return CallInst::Create(DeclareFn, Args, Args+2, "", InsertBefore);
 752 }
 753
 754 /// insertDeclare - Insert a new llvm.dbg.declare intrinsic call.
 755 Instruction *DIBuilder::insertDeclare(Value *Storage, DIVariable VarInfo,
 756                                       BasicBlock *InsertAtEnd) {
 757   assert(Storage && "no storage passed to dbg.declare");
 758   assert(VarInfo.Verify() && "invalid DIVariable passed to dbg.declare");
 759   if (!DeclareFn)
 760     DeclareFn = Intrinsic::getDeclaration(&M, Intrinsic::dbg_declare);
 761
 762   Value *Args[] = { MDNode::get(Storage->getContext(), &Storage, 1), VarInfo };
 763
 764   // If this block already has a terminator then insert this intrinsic
 765   // before the terminator.
 766   if (TerminatorInst *T = InsertAtEnd->getTerminator())
 767     return CallInst::Create(DeclareFn, Args, Args+2, "", T);
 768   else
 769     return CallInst::Create(DeclareFn, Args, Args+2, "", InsertAtEnd);
 770 }
 771
 772 /// insertDbgValueIntrinsic - Insert a new llvm.dbg.value intrinsic call.
 773 Instruction *DIBuilder::insertDbgValueIntrinsic(Value *V, uint64_t Offset,
 774                                                 DIVariable VarInfo,
 775                                                 Instruction *InsertBefore) {
 776   assert(V && "no value passed to dbg.value");
 777   assert(VarInfo.Verify() && "invalid DIVariable passed to dbg.value");
 778   if (!ValueFn)
 779     ValueFn = Intrinsic::getDeclaration(&M, Intrinsic::dbg_value);
 780
 781   Value *Args[] = { MDNode::get(V->getContext(), &V, 1),
 782                     ConstantInt::get(Type::getInt64Ty(V->getContext()), Offset),
 783                     VarInfo };
 784   return CallInst::Create(ValueFn, Args, Args+3, "", InsertBefore);
 785 }
 786
 787 /// insertDbgValueIntrinsic - Insert a new llvm.dbg.value intrinsic call.
 788 Instruction *DIBuilder::insertDbgValueIntrinsic(Value *V, uint64_t Offset,
 789                                                 DIVariable VarInfo,
 790                                                 BasicBlock *InsertAtEnd) {
 791   assert(V && "no value passed to dbg.value");
 792   assert(VarInfo.Verify() && "invalid DIVariable passed to dbg.value");
 793   if (!ValueFn)
 794     ValueFn = Intrinsic::getDeclaration(&M, Intrinsic::dbg_value);
 795
 796   Value *Args[] = { MDNode::get(V->getContext(), &V, 1),
 797                     ConstantInt::get(Type::getInt64Ty(V->getContext()), Offset),
 798                     VarInfo };
 799   return CallInst::Create(ValueFn, Args, Args+3, "", InsertAtEnd);
 800 }
 801