[IR] Add a boolean field in DILocation to know if a line must covered or not

[calixte]

Summary

Some lines have a hit counter where they should not have one.
For example, in C++, some cleanup is adding at the end of a scope represented by a '}'.
So such a line has a hit counter where a user expects to not have one.
The goal of the patch is to add this information in DILocation which is used to get the covered lines in GCOVProfiling.cpp.
A following patch in clang will add this information when generating IR (https://reviews.llvm.org/D49916).

[vsk]

Some lines have a hit counter where they should not have one.
For example, in C++, some cleanup is adding at the end of a scope represented by a '}'.
So such a line has a hit counter where a user expects to not have one.

Could you share an example of this resulting in an incorrect coverage report?

The goal of the patch is to add this information in DILocation which is used to get the covered lines in GCOVProfiling.cpp.

This requires adding an operand to DILocation, which is a fairly expensive thing to do. Have you considered any alternatives?

A following patch in clang will add this information when generating IR (https://reviews.llvm.org/D49916).

[marco-c]

In D49915#1180453, @vsk wrote:

Some lines have a hit counter where they should not have one.
For example, in C++, some cleanup is adding at the end of a scope represented by a '}'.
So such a line has a hit counter where a user expects to not have one.

Could you share an example of this resulting in an incorrect coverage report?

There are some examples in the tests that are fixed here: https://reviews.llvm.org/D49917.

The goal of the patch is to add this information in DILocation which is used to get the covered lines in GCOVProfiling.cpp.

This requires adding an operand to DILocation, which is a fairly expensive thing to do. Have you considered any alternatives?

Both me and Calixte had reservations about adding more data to DILocation too, but we couldn't find an alternative. It's possible that there might be some alternative we can't figure out due to our lack of experience with LLVM.
One thing I tried is not assigning lines to instructions that are TerminatorInst and !ReturnInst, but I think this causes us to skip some lines that we don't want to skip (e.g. the break clause in a switch).

[vsk]

In D49915#1180515, @marco-c wrote:

In D49915#1180453, @vsk wrote:

Some lines have a hit counter where they should not have one.
For example, in C++, some cleanup is adding at the end of a scope represented by a '}'.
So such a line has a hit counter where a user expects to not have one.

Could you share an example of this resulting in an incorrect coverage report?

There are some examples in the tests that are fixed here: https://reviews.llvm.org/D49917.

I see, thanks.

The goal of the patch is to add this information in DILocation which is used to get the covered lines in GCOVProfiling.cpp.

This requires adding an operand to DILocation, which is a fairly expensive thing to do. Have you considered any alternatives?

Both me and Calixte had reservations about adding more data to DILocation too, but we couldn't find an alternative. It's possible that there might be some alternative we can't figure out due to our lack of experience with LLVM.
One thing I tried is not assigning lines to instructions that are TerminatorInst and !ReturnInst, but I think this causes us to skip some lines that we don't want to skip (e.g. the break clause in a switch).

Perhaps you could borrow the high bit from the discriminator operand?

[dblaikie]

This looks problematic - seems suspicious that the covered value is a bool member of DILocation, but nothing else is - everything else is stored in the metadata proper. Is there a good reason for that? (it provably doesn't need to be serialized? Could this be stored as side-data in a map in an analysis instead?)

I couldn't quite spot it - where's the code that sets or constructs a DILocation with covered = true?

[marco-c]

In D49915#1181637, @dblaikie wrote:

I couldn't quite spot it - where's the code that sets or constructs a DILocation with covered = true?

https://reviews.llvm.org/D49916

BTW, I'd probably rename covered to coverable to make it more clear.

[rnk]

I agree, this patch needs serialization through bitcode and IR before it can land.

DILocation isn't only used for coverage, I think this should probably be a more general purpose flag, like "isImplicitCode", to indicate that the code was generated as part of a destructor cleanup, an epilogue, or something else that requires the compiler to generate IR that isn't obviously attributed to user source code. Then GCOV can decide for itself how it wants to generate coverage.

[aprantl]

DILocation isn't only used for coverage, I think this should probably be a more general purpose flag, like "isImplicitCode", to indicate that the code was generated as part of a destructor cleanup, an epilogue, or something else that requires the compiler to generate IR that isn't obviously attributed to user source code. Then GCOV can decide for itself how it wants to generate coverage.

We have a marker for compiler-generated code that has no relation to any source code; it's the special line number 0. This sounds like this patch is trying to work around a frontend bug, and really the frontend shouldn't stick misleading line numbers on the code? There's an RAII object in clang to generate locations for compiler/auto-generated code.

[vsk]

In D49915#1184336, @aprantl wrote:

DILocation isn't only used for coverage, I think this should probably be a more general purpose flag, like "isImplicitCode", to indicate that the code was generated as part of a destructor cleanup, an epilogue, or something else that requires the compiler to generate IR that isn't obviously attributed to user source code. Then GCOV can decide for itself how it wants to generate coverage.

We have a marker for compiler-generated code that has no relation to any source code; it's the special line number 0. This sounds like this patch is trying to work around a frontend bug, and really the frontend shouldn't stick misleading line numbers on the code? There's an RAII object in clang to generate locations for compiler/auto-generated code.

A caveat to this: plenty of users (and plenty of tests) expect to be able to set breakpoints on scope-closing curly braces. Assigning line 0 to those braces would at the minimum break a lot of tests, and would likely be viewed as a serious regression.

[rnk]

In D49915#1184440, @vsk wrote:

A caveat to this: plenty of users (and plenty of tests) expect to be able to set breakpoints on scope-closing curly braces. Assigning line 0 to those braces would at the minimum break a lot of tests, and would likely be viewed as a serious regression.

Right. The frontend should try to encode enough information that the various consumers of DILocations can decide for themselves what tables they should emit. Our line tables should probably stay as they are now, and the various code coverage and instr profiling implementations can do whatever they think is appropriate with this information. With that in mind, if we're going to grow DILocation, what we really want is probably a set of location flags, if we're going to grow DILocation.

[vsk]

In D49915#1184574, @rnk wrote:

In D49915#1184440, @vsk wrote:

A caveat to this: plenty of users (and plenty of tests) expect to be able to set breakpoints on scope-closing curly braces. Assigning line 0 to those braces would at the minimum break a lot of tests, and would likely be viewed as a serious regression.

Right. The frontend should try to encode enough information that the various consumers of DILocations can decide for themselves what tables they should emit. Our line tables should probably stay as they are now, and the various code coverage and instr profiling implementations can do whatever they think is appropriate with this information. With that in mind, if we're going to grow DILocation, what we really want is probably a set of location flags, if we're going to grow DILocation.

Yes, c.f the source-based coverage instrumentation which ended up needing two bits of information from the frontend per segment: http://llvm.org/doxygen/structllvm_1_1coverage_1_1CoverageSegment.html.

(Btw I'm not convinced we have to grow DILocation; I'm not aware of the use case of enabling SamplePGO along with GCOV instrumentation, so I don't see why it's not feasible to borrow 1-2 bits from the discriminator operand. + @xur & @danielcdh for any corrections here)

[rnk]

In D49915#1184590, @vsk wrote:

In D49915#1184574, @rnk wrote:

In D49915#1184440, @vsk wrote:

A caveat to this: plenty of users (and plenty of tests) expect to be able to set breakpoints on scope-closing curly braces. Assigning line 0 to those braces would at the minimum break a lot of tests, and would likely be viewed as a serious regression.

Right. The frontend should try to encode enough information that the various consumers of DILocations can decide for themselves what tables they should emit. Our line tables should probably stay as they are now, and the various code coverage and instr profiling implementations can do whatever they think is appropriate with this information. With that in mind, if we're going to grow DILocation, what we really want is probably a set of location flags, if we're going to grow DILocation.

Yes, c.f the source-based coverage instrumentation which ended up needing two bits of information from the frontend per segment: http://llvm.org/doxygen/structllvm_1_1coverage_1_1CoverageSegment.html.

(Btw I'm not convinced we have to grow DILocation; I'm not aware of the use case of enabling SamplePGO along with GCOV instrumentation, so I don't see why it's not feasible to borrow 1-2 bits from the discriminator operand. + @xur & @danielcdh for any corrections here)

The discriminator seems to be stored in a separate parent scope, though. I'm not sure that's really the right place to store this bit.

[calixte]

DILocation is a subclass of MDNode which is itself a subclass of Metadata. And in Metadata there is "unsigned char Storage" which uses only 2 bits so 6 bits are available here.
Maybe I could add "unsigned char ImplicitCode : 1" and "unsigned char Storage: 7" in class Metadata and so don't increase the DILocation size.
What do you think ?

[calixte]

• Use an available bit in Metadata to not increase the memory use
• Update Writer/Reader for IR and Bitcode to take into account the new flag

[calixte]

ping ?

[calixte]

• Fix an error in MetadataLoader.cpp
• Update tests to take into account the new added field

[aprantl]

include/llvm/IR/DebugInfoMetadata.h

1469

For the casual reader it will be entirely non-obvious what "implicit" code means. Can you add the explanation that you added at the top of the review to the doxygen comments (and perhaps to SourceLevelDebugging.rst ?

lib/IR/AsmWriter.cpp

1756

It would be better to match the Parser and only print this if it deviates from the default value.

[calixte]

• AsmWriter.cpp: print isImplicitCode only when it's true
• Improve documentation for the new added flag

[rnk]

Needs tests, but I'm on board with this and the implementation.

docs/SourceLevelDebugging.rst

436 ↗

(On Diff #164827)

"a real code" isn't very descriptive. Consider "doesn't correspond to source code written by the user".

446 ↗

(On Diff #164827)

"explicitly"

include/llvm/IR/DebugInfoMetadata.h

1469

Code is a weird word, I believe it's more correct to say "... corresponds to implicit code."

include/llvm/IR/Metadata.h

69–74

This will not achieve the layout you want with MSVC. I would recommend using uint8_t for both to ensure they are packed.

[calixte]

• Add a test: test/Bitcode/DILocation-implicit-code.ll
• and update: test/Assembler/dilocation.ll
• fix layout issue with MSVC
• fix the doc

[rnk]

Thanks, I think this looks good with a minor tweak to the test.

test/Bitcode/DILocation-implicit-code.ll

169–170 ↗

(On Diff #166003)

I think it's best if you don't comment out the original DILocation metadata so that someone can easily regenerate the .bc file. Add a separate, new CHECK line. You should also ignore irrelevant !N markers if you can. Something like this is best, since llvm-dis could add some auto-upgrading that disrupts the metadata numbering:

; CHECK: !DILocation(line: 20, column: 1, scope: !{{[0-9]+}}, isImplicitCode: true)
; CHECK: !DILocation(line: 17, column: 5, scope: !{{[0-9]+}}, isImplicitCode: true)

[calixte]

• Update test DILocation-implicit-code.ll

[calixte]

• Fix .bc for test

[vsk]

This caused a backwards-compatibility issue which made llvm-dis crash when loading old bitcode (see https://reviews.llvm.org/rL342631#inline-2294). I've committed a fix in r342678 to get our bots back to a healthy state. I'm open to any post-commit review -- while I don't anticipate there being an issue, if there is one I'd rather iterate on a passing build.

include/llvm/IR/DebugInfoMetadata.h

 /// Debug location.
 ///
 /// A debug location in source code, used for debug info and otherwise.
 class DILocation : public MDNode {
   friend class LLVMContextImpl;
   friend class MDNode;
 
   DILocation(LLVMContext &C, StorageType Storage, unsigned Line,
-             unsigned Column, ArrayRef<Metadata *> MDs);
+             unsigned Column, ArrayRef<Metadata *> MDs, bool ImplicitCode);
   ~DILocation() { dropAllReferences(); }
 
   static DILocation *getImpl(LLVMContext &Context, unsigned Line,
                              unsigned Column, Metadata *Scope,
-                             Metadata *InlinedAt, StorageType Storage,
-                             bool ShouldCreate = true);
+                             Metadata *InlinedAt, bool ImplicitCode,
+                             StorageType Storage, bool ShouldCreate = true);
   static DILocation *getImpl(LLVMContext &Context, unsigned Line,
                              unsigned Column, DILocalScope *Scope,
-                             DILocation *InlinedAt, StorageType Storage,
-                             bool ShouldCreate = true) {
+                             DILocation *InlinedAt, bool ImplicitCode,
+                             StorageType Storage, bool ShouldCreate = true) {
     return getImpl(Context, Line, Column, static_cast<Metadata *>(Scope),
-                   static_cast<Metadata *>(InlinedAt), Storage, ShouldCreate);
+                   static_cast<Metadata *>(InlinedAt), ImplicitCode, Storage,
+                   ShouldCreate);
   }
 
   /// With a given unsigned int \p U, use up to 13 bits to represent it.
   /// old_bit 1~5  --> new_bit 1~5
   /// old_bit 6~12 --> new_bit 7~13
   /// new_bit_6 is 0 if higher bits (7~13) are all 0
   static unsigned getPrefixEncodingFromUnsigned(unsigned U) {
     U &= 0xfff;
static unsigned getNextComponentInDiscriminator(unsigned D) {
     else
       return D >> 1;
   }
 
   TempDILocation cloneImpl() const {
     // Get the raw scope/inlinedAt since it is possible to invoke this on
     // a DILocation containing temporary metadata.
     return getTemporary(getContext(), getLine(), getColumn(), getRawScope(),
-                        getRawInlinedAt());
+                        getRawInlinedAt(), isImplicitCode());
   }
 
 public:
   // Disallow replacing operands.
   void replaceOperandWith(unsigned I, Metadata *New) = delete;
 
   DEFINE_MDNODE_GET(DILocation,
                     (unsigned Line, unsigned Column, Metadata *Scope,
-                     Metadata *InlinedAt = nullptr),
-                    (Line, Column, Scope, InlinedAt))
+                     Metadata *InlinedAt = nullptr, bool ImplicitCode = false),
+                    (Line, Column, Scope, InlinedAt, ImplicitCode))
   DEFINE_MDNODE_GET(DILocation,
                     (unsigned Line, unsigned Column, DILocalScope *Scope,
-                     DILocation *InlinedAt = nullptr),
-                    (Line, Column, Scope, InlinedAt))
+                     DILocation *InlinedAt = nullptr,
+                     bool ImplicitCode = false),
+                    (Line, Column, Scope, InlinedAt, ImplicitCode))
 
   /// Return a (temporary) clone of this.
   TempDILocation clone() const { return cloneImpl(); }
 
   unsigned getLine() const { return SubclassData32; }
   unsigned getColumn() const { return SubclassData16; }
   DILocalScope *getScope() const { return cast<DILocalScope>(getRawScope()); }
 
   DILocation *getInlinedAt() const {
     return cast_or_null<DILocation>(getRawInlinedAt());
   }
 
+  /// Check if the location corresponds to an implicit code.
+  bool isImplicitCode() const { return ImplicitCode; }
+  void setImplicitCode(bool ImplicitCode) { this->ImplicitCode = ImplicitCode; }
+
   DIFile *getFile() const { return getScope()->getFile(); }
   StringRef getFilename() const { return getScope()->getFilename(); }
   StringRef getDirectory() const { return getScope()->getDirectory(); }
   Optional<StringRef> getSource() const { return getScope()->getSource(); }
 
   /// Get the scope where this is inlined.
   ///
   /// Walk through \a getInlinedAt() and return \a getScope() from the deepest

include/llvm/IR/DebugLoc.h

public:
     ///
     /// Create a new DebugLoc at the specified line/col and scope/inline.  This
     /// forwards to \a DILocation::get().
     ///
     /// If \c !Scope, returns a default-constructed \a DebugLoc.
     ///
     /// FIXME: Remove this.  Users should use DILocation::get().
     static DebugLoc get(unsigned Line, unsigned Col, const MDNode *Scope,
-                        const MDNode *InlinedAt = nullptr);
+                        const MDNode *InlinedAt = nullptr,
+                        bool ImplicitCode = false);
 
     enum { ReplaceLastInlinedAt = true };
     /// Rebuild the entire inlined-at chain for this instruction so that the top of
     /// the chain now is inlined-at the new call site.
     /// \param   InlinedAt    The new outermost inlined-at in the chain.
     /// \param   ReplaceLast  Replace the last location in the inlined-at chain.
     static DebugLoc appendInlinedAt(DebugLoc DL, DILocation *InlinedAt,
                                     LLVMContext &Ctx,
public:
     ///
     /// FIXME: Remove this.  Users should use DILocation/DILocalScope API to
     /// find the subprogram, and then DILocation::get().
     DebugLoc getFnDebugLoc() const;
 
     /// Return \c this as a bar \a MDNode.
     MDNode *getAsMDNode() const { return Loc; }
 
+    /// Check if the DebugLoc corresponds to an implicit code.
+    bool isImplicitCode() const;
+    void setImplicitCode(bool ImplicitCode);
+
     bool operator==(const DebugLoc &DL) const { return Loc == DL.Loc; }
     bool operator!=(const DebugLoc &DL) const { return Loc != DL.Loc; }
 
     void dump() const;
 
     /// prints source location /path/to/file.exe:line:col @[inlined at]
     void print(raw_ostream &OS) const;
   };
 
 } // end namespace llvm
 
 #endif /* LLVM_SUPPORT_DEBUGLOC_H */

include/llvm/IR/Metadata.h

class Metadata {
   /// RTTI.
   const unsigned char SubclassID;
 
 protected:
   /// Active type of storage.
   enum StorageType { Uniqued, Distinct, Temporary };
 
   /// Storage flag for non-uniqued, otherwise unowned, metadata.
-  unsigned char Storage;
+  unsigned char Storage : 7;
   // TODO: expose remaining bits to subclasses.
 
+  bool ImplicitCode : 1;
+
   unsigned short SubclassData16 = 0;
   unsigned SubclassData32 = 0;
 
 public:
   enum MetadataKind {
 #define HANDLE_METADATA_LEAF(CLASS) CLASS##Kind,
 #include "llvm/IR/Metadata.def"
   };
 
 protected:
   Metadata(unsigned ID, StorageType Storage)
-      : SubclassID(ID), Storage(Storage) {
+      : SubclassID(ID), Storage(Storage), ImplicitCode(false) {
     static_assert(sizeof(*this) == 8, "Metadata fields poorly packed");
   }
 
   ~Metadata() = default;
 
   /// Default handling of a changed operand, which asserts.
   ///
   /// If subclasses pass themselves in as owners to a tracking node reference,

lib/AsmParser/LLParser.cpp

do {                                                                         \
     }, ClosingLoc))                                                            \
       return true;                                                             \
     VISIT_MD_FIELDS(NOP_FIELD, REQUIRE_FIELD)                                  \
   } while (false)
 #define GET_OR_DISTINCT(CLASS, ARGS)                                           \
   (IsDistinct ? CLASS::getDistinct ARGS : CLASS::get ARGS)
 
 /// ParseDILocationFields:
-///   ::= !DILocation(line: 43, column: 8, scope: !5, inlinedAt: !6)
+///   ::= !DILocation(line: 43, column: 8, scope: !5, inlinedAt: !6,
+///   isImplicitCode: true)
 bool LLParser::ParseDILocation(MDNode *&Result, bool IsDistinct) {
 #define VISIT_MD_FIELDS(OPTIONAL, REQUIRED)                                    \
   OPTIONAL(line, LineField, );                                                 \
   OPTIONAL(column, ColumnField, );                                             \
   REQUIRED(scope, MDField, (/* AllowNull */ false));                           \
-  OPTIONAL(inlinedAt, MDField, );
+  OPTIONAL(inlinedAt, MDField, );                                              \
+  OPTIONAL(isImplicitCode, MDBoolField, (false));
   PARSE_MD_FIELDS();
 #undef VISIT_MD_FIELDS
 
-  Result = GET_OR_DISTINCT(
-      DILocation, (Context, line.Val, column.Val, scope.Val, inlinedAt.Val));
+  Result =
+      GET_OR_DISTINCT(DILocation, (Context, line.Val, column.Val, scope.Val,
+                                   inlinedAt.Val, isImplicitCode.Val));
   return false;
 }
 
 /// ParseGenericDINode:
 ///   ::= !GenericDINode(tag: 15, header: "...", operands: {...})
 bool LLParser::ParseGenericDINode(MDNode *&Result, bool IsDistinct) {
 #define VISIT_MD_FIELDS(OPTIONAL, REQUIRED)                                    \
   REQUIRED(tag, DwarfTagField, );                                              \

lib/Bitcode/Reader/MetadataLoader.cpp

for (unsigned ID : Record)
       Elts.push_back(getMDOrNull(ID));
     MetadataList.assignValue(IsDistinct ? MDNode::getDistinct(Context, Elts)
                                         : MDNode::get(Context, Elts),
                              NextMetadataNo);
     NextMetadataNo++;
     break;
   }
   case bitc::METADATA_LOCATION: {
-    if (Record.size() != 5)
+    if (Record.size() != 6)
       return error("Invalid record");
 
     IsDistinct = Record[0];
     unsigned Line = Record[1];
     unsigned Column = Record[2];
     Metadata *Scope = getMD(Record[3]);
     Metadata *InlinedAt = getMDOrNull(Record[4]);
+    bool ImplicitCode = Record[5];
     MetadataList.assignValue(
-        GET_OR_DISTINCT(DILocation, (Context, Line, Column, Scope, InlinedAt)),
+        GET_OR_DISTINCT(DILocation, (Context, Line, Column, Scope, InlinedAt,
+                                     ImplicitCode)),
         NextMetadataNo);
     NextMetadataNo++;
     break;
   }
   case bitc::METADATA_GENERIC_DEBUG: {
     if (Record.size() < 4)
       return error("Invalid record");
 

lib/Bitcode/Writer/BitcodeWriter.cpp

unsigned ModuleBitcodeWriter::createDILocationAbbrev() {
   // location (it's never more expensive than building an array size 1).
   auto Abbv = std::make_shared<BitCodeAbbrev>();
   Abbv->Add(BitCodeAbbrevOp(bitc::METADATA_LOCATION));
   Abbv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1));
   Abbv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6));
   Abbv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 8));
   Abbv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6));
   Abbv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6));
+  Abbv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1));
   return Stream.EmitAbbrev(std::move(Abbv));
 }
 
 void ModuleBitcodeWriter::writeDILocation(const DILocation *N,
                                           SmallVectorImpl<uint64_t> &Record,
                                           unsigned &Abbrev) {
   if (!Abbrev)
     Abbrev = createDILocationAbbrev();
 
   Record.push_back(N->isDistinct());
   Record.push_back(N->getLine());
   Record.push_back(N->getColumn());
   Record.push_back(VE.getMetadataID(N->getScope()));
   Record.push_back(VE.getMetadataOrNullID(N->getInlinedAt()));
+  Record.push_back(N->isImplicitCode());
 
   Stream.EmitRecord(bitc::METADATA_LOCATION, Record, Abbrev);
   Record.clear();
 }
 
 unsigned ModuleBitcodeWriter::createGenericDINodeAbbrev() {
   // Assume the column is usually under 128, and always output the inlined-at
   // location (it's never more expensive than building an array size 1).

lib/IR/AsmWriter.cpp

static void writeDILocation(raw_ostream &Out, const DILocation *DL,
                             const Module *Context) {
   Out << "!DILocation(";
   MDFieldPrinter Printer(Out, TypePrinter, Machine, Context);
   // Always output the line, since 0 is a relevant and important value for it.
   Printer.printInt("line", DL->getLine(), /* ShouldSkipZero */ false);
   Printer.printInt("column", DL->getColumn());
   Printer.printMetadata("scope", DL->getRawScope(), /* ShouldSkipNull */ false);
   Printer.printMetadata("inlinedAt", DL->getRawInlinedAt());
+  Printer.printBool("isImplicitCode", DL->isImplicitCode());
   Out << ")";
 }
 
 static void writeDISubrange(raw_ostream &Out, const DISubrange *N,
                             TypePrinting *TypePrinter, SlotTracker *Machine,
                             const Module *Context) {
   Out << "!DISubrange(";
   MDFieldPrinter Printer(Out, TypePrinter, Machine, Context);

lib/IR/DebugInfoMetadata.cpp

 #include "llvm/ADT/StringSwitch.h"
 #include "llvm/IR/DIBuilder.h"
 #include "llvm/IR/Function.h"
 #include "llvm/IR/Instructions.h"
 
 using namespace llvm;
 
 DILocation::DILocation(LLVMContext &C, StorageType Storage, unsigned Line,
-                       unsigned Column, ArrayRef<Metadata *> MDs)
+                       unsigned Column, ArrayRef<Metadata *> MDs,
+                       bool ImplicitCode)
     : MDNode(C, DILocationKind, Storage, MDs) {
   assert((MDs.size() == 1 || MDs.size() == 2) &&
          "Expected a scope and optional inlined-at");
 
   // Set line and column.
   assert(Column < (1u << 16) && "Expected 16-bit column");
 
   SubclassData32 = Line;
   SubclassData16 = Column;
+
+  setImplicitCode(ImplicitCode);
 }
 
 static void adjustColumn(unsigned &Column) {
   // Set to unknown on overflow.  We only have 16 bits to play with here.
   if (Column >= (1u << 16))
     Column = 0;
 }
 
 DILocation *DILocation::getImpl(LLVMContext &Context, unsigned Line,
                                 unsigned Column, Metadata *Scope,
-                                Metadata *InlinedAt, StorageType Storage,
-                                bool ShouldCreate) {
+                                Metadata *InlinedAt, bool ImplicitCode,
+                                StorageType Storage, bool ShouldCreate) {
   // Fixup column.
   adjustColumn(Column);
 
   if (Storage == Uniqued) {
-    if (auto *N =
-            getUniqued(Context.pImpl->DILocations,
-                       DILocationInfo::KeyTy(Line, Column, Scope, InlinedAt)))
+    if (auto *N = getUniqued(Context.pImpl->DILocations,
+                             DILocationInfo::KeyTy(Line, Column, Scope,
+                                                   InlinedAt, ImplicitCode)))
       return N;
     if (!ShouldCreate)
       return nullptr;
   } else {
     assert(ShouldCreate && "Expected non-uniqued nodes to always be created");
   }
 
   SmallVector<Metadata *, 2> Ops;
   Ops.push_back(Scope);
   if (InlinedAt)
     Ops.push_back(InlinedAt);
-  return storeImpl(new (Ops.size())
-                       DILocation(Context, Storage, Line, Column, Ops),
+  return storeImpl(new (Ops.size()) DILocation(Context, Storage, Line, Column,
+                                               Ops, ImplicitCode),
                    Storage, Context.pImpl->DILocations);
 }
 
 const DILocation *DILocation::getMergedLocation(const DILocation *LocA,
                                                 const DILocation *LocB) {
   if (!LocA || !LocB)
     return nullptr;
 

lib/IR/DebugLoc.cpp

DebugLoc DebugLoc::getFnDebugLoc() const {
   // FIXME: Add a method on \a DILocation that does this work.
   const MDNode *Scope = getInlinedAtScope();
   if (auto *SP = getDISubprogram(Scope))
     return DebugLoc::get(SP->getScopeLine(), 0, SP);
 
   return DebugLoc();
 }
 
+bool DebugLoc::isImplicitCode() const {
+  if (DILocation *Loc = get()) {
+    return Loc->isImplicitCode();
+  }
+  return true;
+}
+
+void DebugLoc::setImplicitCode(bool ImplicitCode) {
+  if (DILocation *Loc = get()) {
+    Loc->setImplicitCode(ImplicitCode);
+  }
+}
+
 DebugLoc DebugLoc::get(unsigned Line, unsigned Col, const MDNode *Scope,
-                       const MDNode *InlinedAt) {
+                       const MDNode *InlinedAt, bool ImplicitCode) {
   // If no scope is available, this is an unknown location.
   if (!Scope)
     return DebugLoc();
 
   return DILocation::get(Scope->getContext(), Line, Col,
                          const_cast<MDNode *>(Scope),
-                         const_cast<MDNode *>(InlinedAt));
+                         const_cast<MDNode *>(InlinedAt), ImplicitCode);
 }
 
 DebugLoc DebugLoc::appendInlinedAt(DebugLoc DL, DILocation *InlinedAt,
                                    LLVMContext &Ctx,
                                    DenseMap<const MDNode *, MDNode *> &Cache,
                                    bool ReplaceLast) {
   SmallVector<DILocation *, 3> InlinedAtLocations;
   DILocation *Last = InlinedAt;

lib/IR/LLVMContextImpl.h

 };
 
 /// DenseMapInfo for DILocation.
 template <> struct MDNodeKeyImpl<DILocation> {
   unsigned Line;
   unsigned Column;
   Metadata *Scope;
   Metadata *InlinedAt;
+  bool ImplicitCode;
 
   MDNodeKeyImpl(unsigned Line, unsigned Column, Metadata *Scope,
-                Metadata *InlinedAt)
-      : Line(Line), Column(Column), Scope(Scope), InlinedAt(InlinedAt) {}
+                Metadata *InlinedAt, bool ImplicitCode)
+      : Line(Line), Column(Column), Scope(Scope), InlinedAt(InlinedAt),
+        ImplicitCode(ImplicitCode) {}
   MDNodeKeyImpl(const DILocation *L)
       : Line(L->getLine()), Column(L->getColumn()), Scope(L->getRawScope()),
-        InlinedAt(L->getRawInlinedAt()) {}
+        InlinedAt(L->getRawInlinedAt()), ImplicitCode(L->isImplicitCode()) {}
 
   bool isKeyOf(const DILocation *RHS) const {
     return Line == RHS->getLine() && Column == RHS->getColumn() &&
-           Scope == RHS->getRawScope() && InlinedAt == RHS->getRawInlinedAt();
+           Scope == RHS->getRawScope() && InlinedAt == RHS->getRawInlinedAt() &&
+           ImplicitCode == RHS->isImplicitCode();
   }
 
   unsigned getHashValue() const {
-    return hash_combine(Line, Column, Scope, InlinedAt);
+    return hash_combine(Line, Column, Scope, InlinedAt, ImplicitCode);
   }
 };
 
 /// DenseMapInfo for GenericDINode.
 template <> struct MDNodeKeyImpl<GenericDINode> : MDNodeOpsKey {
   unsigned Tag;
   MDString *Header;
 

lib/Transforms/Instrumentation/GCOVProfiling.cpp

for (auto &F : M->functions()) {
           // declaration, not necessarily any statements or expressions.
           if (isa<DbgInfoIntrinsic>(&I)) continue;
 
           const DebugLoc &Loc = I.getDebugLoc();
           if (!Loc)
             continue;
 
           // Artificial lines such as calls to the global constructors.
-          if (Loc.getLine() == 0) continue;
+          if (Loc.getLine() == 0 || Loc.isImplicitCode())
+            continue;
 
           if (Line == Loc.getLine()) continue;
           Line = Loc.getLine();
           if (SP != getDISubprogram(Loc.getScope()))
             continue;
 
           GCOVLines &Lines = Block.getFile(SP->getFilename());
           Lines.addLine(Loc.getLine());

test/Assembler/dilocation.ll

 ; CHECK: !1 = distinct !DICompileUnit
 !1 = distinct !DICompileUnit(language: DW_LANG_C99, producer: "clang",
                              file: !2,
                              isOptimized: true, flags: "-O2",
                              splitDebugFilename: "abc.debug", emissionKind: 2)
 ; CHECK: !2 = !DIFile
 !2 = !DIFile(filename: "path/to/file", directory: "/path/to/dir")
 
-; CHECK-NEXT: !3 = !DILocation(line: 3, column: 7, scope: !0)
+; CHECK-NEXT: !3 = !DILocation(line: 3, column: 7, scope: !0, isImplicitCode: false)
 !3 = !DILocation(line: 3, column: 7, scope: !0)
 !4 = !DILocation(scope: !0, column: 7, line: 3)
 
-; CHECK-NEXT: !4 = !DILocation(line: 3, column: 7, scope: !0, inlinedAt: !3)
+; CHECK-NEXT: !4 = !DILocation(line: 3, column: 7, scope: !0, inlinedAt: !3, isImplicitCode: false)
 !5 = !DILocation(scope: !0, inlinedAt: !3, column: 7, line: 3)
 !6 = !DILocation(column: 7, line: 3, scope: !0, inlinedAt: !3)
 
-; CHECK-NEXT: !5 = !DILocation(line: 0, scope: !0)
+; CHECK-NEXT: !5 = !DILocation(line: 0, scope: !0, isImplicitCode: false)
 !7 = !DILocation(scope: !0)
 !8 = !DILocation(scope: !0, column: 0, line: 0)
 
-; CHECK-NEXT: !6 = !DILocation(line: 4294967295, column: 65535, scope: !0)
+; CHECK-NEXT: !6 = !DILocation(line: 4294967295, column: 65535, scope: !0, isImplicitCode: false)
 !9 = !DILocation(line: 4294967295, column: 65535, scope: !0)
 
 !10 = !{i32 2, !"Debug Info Version", i32 3}

test/Bindings/llvm-c/debug_info.ll

 ; CHECK-NEXT: !24 = !{!25}
 ; CHECK-NEXT: !25 = !DISubrange(count: 10)
 ; CHECK-NEXT: !26 = !{!27, !28, !29, !30}
 ; CHECK-NEXT: !27 = !DILocalVariable(name: "a", arg: 1, scope: !20, file: !1, line: 42, type: !11)
 ; CHECK-NEXT: !28 = !DILocalVariable(name: "b", arg: 2, scope: !20, file: !1, line: 42, type: !11)
 ; CHECK-NEXT: !29 = !DILocalVariable(name: "c", arg: 3, scope: !20, file: !1, line: 42, type: !23)
 ; CHECK-NEXT: !30 = !DILocalVariable(name: "d", scope: !31, file: !1, line: 43, type: !11)
 ; CHECK-NEXT: !31 = distinct !DILexicalBlock(scope: !20, file: !1, line: 42)
-; CHECK-NEXT: !32 = !DILocation(line: 42, scope: !20)
-; CHECK-NEXT: !33 = !DILocation(line: 43, scope: !20)
+; CHECK-NEXT: !32 = !DILocation(line: 42, scope: !20, isImplicitCode: false)
+; CHECK-NEXT: !33 = !DILocation(line: 43, scope: !20, isImplicitCode: false)

test/BugPoint/metadata.ll

 
 ; CHECK: call void @foo(), !dbg ![[LOC:[0-9]+]], !attach ![[CALL:[0-9]+]]
 ; NODEBUG: call void @foo(), !attach ![[CALL:[0-9]+]]
 ; NOTYPE: call void @foo(), !dbg ![[LOC:[0-9]+]], !attach ![[CALL:[0-9]+]]
 ; NODEBUG-NOT: call void @foo(), !attach ![[CALL:[0-9]+]]
 ; NOTYPE-NOT: !DIBasicType
 ; NOTYPE: !DICompileUnit
 ; NOTYPE-NOT: !DIBasicType
-; CHECK-DAG: ![[LOC]] = !DILocation(line: 104, column: 105, scope: ![[SCOPE:[0-9]+]])
+; CHECK-DAG: ![[LOC]] = !DILocation(line: 104, column: 105, scope: ![[SCOPE:[0-9]+]], isImplicitCode: false)
 ; CHECK-DAG: ![[SCOPE]] = distinct !DISubprogram(name: "test",{{.*}}file: ![[FILE:[0-9]+]]
 ; CHECK-DAG: ![[FILE]] = !DIFile(filename: "source.c", directory: "/dir")
 ; CHECK-DAG: ![[CALL]] = !{!"the call to foo"}
 
 %rust_task = type {}
 define void @test(i32* %a, i8* %b) {
     %s = mul i8 22, 9, !attach !0, !dbg !10
     store i8 %s, i8* %b, !attach !1, !dbg !11

test/CodeGen/X86/tail-dup-debugloc.ll

 ; RUN: llc -stop-after=early-tailduplication < %s | FileCheck %s
 ;
 ; Check that DebugLoc attached to the branch instruction of
 ; 'while.cond1.preheader.lr.ph' survives after tailduplication pass.
 ;
-; CHECK: [[DLOC:![0-9]+]] = !DILocation(line: 9, column: 5, scope: !{{[0-9]+}})
+; CHECK: [[DLOC:![0-9]+]] = !DILocation(line: 9, column: 5, scope: !{{[0-9]+}}, isImplicitCode: false)
 ; CHECK: [[VREG:%[^ ]+]]:gr64 = COPY $rdi
 ; CHECK: TEST64rr [[VREG]], [[VREG]]
 ; CHECK-NEXT: JE_1 {{.+}}, debug-location [[DLOC]]
 ; CHECK-NEXT: JMP_1 {{.+}}, debug-location [[DLOC]]
 
 target triple = "x86_64-unknown-linux-gnu"
 
 %struct.Node = type { %struct.Node* }

 !3 = !{i32 2, !"Dwarf Version", i32 4}
 !4 = !{i32 2, !"Debug Info Version", i32 3}
 !5 = !{}
 !6 = distinct !DISubprogram(name: "foo", scope: !1, file: !1, line: 5, type: !7, isLocal: false, isDefinition: true, scopeLine: 5, flags: DIFlagPrototyped, isOptimized: true, unit: !0, retainedNodes: !2)
 !7 = !DISubroutineType(types: !2)
 !8 = !DILocation(line: 7, column: 15, scope: !9)
 !9 = !DILexicalBlockFile(scope: !6, file: !1, discriminator: 2)
 !10 = !DILocation(line: 7, column: 3, scope: !9)
-!11 = !DILocation(line: 9, column: 5, scope: !9)
+!11 = !DILocation(line: 9, column: 5, scope: !9, isImplicitCode: false)
 !12 = !DILocation(line: 14, column: 3, scope: !6)

test/CodeGen/X86/tail-merge-debugloc.ll

 ; RUN: llc -stop-after=branch-folder < %s | FileCheck %s
 ;
 ; bb2 and bb3 in the IR below will be tail-merged into a single basic block.
 ; As br instructions in bb2 and bb3 have the same debug location, make sure that
 ; the branch instruction in the merged basic block still maintains the debug 
 ; location info.
 ; 
-; CHECK:      [[DLOC:![0-9]+]] = !DILocation(line: 2, column: 2, scope: !{{[0-9]+}})
+; CHECK:      [[DLOC:![0-9]+]] = !DILocation(line: 2, column: 2, scope: !{{[0-9]+}}, isImplicitCode: false)
 ; CHECK:      TEST64rr{{.*}}$rsi, renamable $rsi, implicit-def $eflags
 ; CHECK-NEXT: JNE_1{{.*}}, debug-location [[DLOC]]
 
 target triple = "x86_64-unknown-linux-gnu"
 
 define i32 @foo(i1 %b, i8* %p) {
 bb1: 
   br i1 %b, label %bb2, label %bb3

 !llvm.module.flags = !{!2, !3}
 
 !0 = distinct !DICompileUnit(language: DW_LANG_C99, file: !1)
 !1 = !DIFile(filename: "foo.c", directory: "b/")
 !2 = !{i32 2, !"Dwarf Version", i32 4}
 !3 = !{i32 2, !"Debug Info Version", i32 3}
 !4 = distinct !DISubprogram(name: "foo", scope: !1, file: !1, line: 3, isLocal: false, isDefinition: true, scopeLine: 3, flags: DIFlagPrototyped, isOptimized: true, unit: !0)
 !5 = distinct !DILexicalBlock(scope: !4, file: !1, line: 1, column: 1)
-!6 = !DILocation(line: 2, column: 2, scope: !5)
+!6 = !DILocation(line: 2, column: 2, scope: !5, isImplicitCode: false)

test/CodeGen/X86/xor-combine-debugloc.ll

 ; RUN: llc -stop-after=expand-isel-pseudos < %s | FileCheck %s
 ;
 ; Make sure that when the entry block of IR below is lowered, an instruction
 ; that implictly defines $eflags has a same debug location with the icmp
 ; instruction, and the branch instructions have a same debug location with the
 ; br instruction.
 ;
-; CHECK:      [[DLOC1:![0-9]+]] = !DILocation(line: 5, column: 9, scope: !{{[0-9]+}})
-; CHECK:      [[DLOC2:![0-9]+]] = !DILocation(line: 5, column: 7, scope: !{{[0-9]+}})
+; CHECK:      [[DLOC1:![0-9]+]] = !DILocation(line: 5, column: 9, scope: !{{[0-9]+}}, isImplicitCode: false)
+; CHECK:      [[DLOC2:![0-9]+]] = !DILocation(line: 5, column: 7, scope: !{{[0-9]+}}, isImplicitCode: false)
 ; CHECK-DAG:  [[VREG1:%[^ ]+]]:gr32 = COPY $esi
 ; CHECK-DAG:  [[VREG2:%[^ ]+]]:gr32 = COPY $edi
 ; CHECK:      SUB32rr [[VREG2]], [[VREG1]], implicit-def $eflags, debug-location [[DLOC1]]
 ; CHECK-NEXT: JE_1{{.*}} implicit $eflags, debug-location [[DLOC2]]
 ; CHECK-NEXT: JMP_1{{.*}} debug-location [[DLOC2]]
 
 target triple = "x86_64-unknown-linux-gnu"
 

 !6 = !{!7, !7, !7}
 !7 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed)
 !8 = !{!9, !10}
 !9 = !DILocalVariable(name: "x", arg: 1, scope: !4, file: !1, line: 4, type: !7)
 !10 = !DILocalVariable(name: "y", arg: 2, scope: !4, file: !1, line: 4, type: !7)
 !11 = !DIExpression()
 !12 = !DILocation(line: 4, column: 13, scope: !4)
 !13 = !DILocation(line: 4, column: 20, scope: !4)
-!14 = !DILocation(line: 5, column: 9, scope: !15)
+!14 = !DILocation(line: 5, column: 9, scope: !15, isImplicitCode: false)
 !15 = distinct !DILexicalBlock(scope: !4, file: !1, line: 5, column: 7)
-!16 = !DILocation(line: 5, column: 7, scope: !4)
+!16 = !DILocation(line: 5, column: 7, scope: !4, isImplicitCode: false)
 !17 = !DILocation(line: 6, column: 12, scope: !15)
 !18 = !DILocation(line: 6, column: 5, scope: !15)
 !19 = !DILocation(line: 8, column: 12, scope: !15)
 !20 = !DILocation(line: 8, column: 5, scope: !15)
 !21 = !DILocation(line: 9, column: 1, scope: !4)

test/DebugInfo/Generic/indvar-discriminator.ll

 ;
 ; CHECK-LABEL: for.body:
 ; CHECK: [[PHI:%[0-9a-zA-Z.]+]] = phi i64 [
 ; CHECK-LABEL: for.inc:
 ; CHECK: add nuw nsw i64 [[PHI]], 1, !dbg ![[INDVARMD:[0-9]+]]
 ; CHECK: icmp ne i64 %{{.+}}, %{{.+}}, !dbg ![[ICMPMD:[0-9]+]]
 ; CHECK-DAG: ![[ICMPMD]] = !DILocation(line: 4, column: 21, scope: ![[ICMPSCOPEMD:[0-9]+]]
 ; CHECK-DAG: ![[ICMPSCOPEMD]] = !DILexicalBlockFile(scope: !{{[0-9]+}}, file: !{{[0-9]+}}, discriminator: 1)
-; CHECK-DAG: ![[INDVARMD]] = !DILocation(line: 4, column: 26, scope: ![[INDVARSCOPEMD:[0-9]+]])
+; CHECK-DAG: ![[INDVARMD]] = !DILocation(line: 4, column: 26, scope: ![[INDVARSCOPEMD:[0-9]+]], isImplicitCode: false)
 ; CHECK-DAG: ![[INDVARSCOPEMD]] = !DILexicalBlockFile(scope: !{{[0-9]+}}, file: !{{[0-9]+}}, discriminator: 2)
 
 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
 
 define i32 @bar(i32 %X, i32* %A) !dbg !5 {
 entry:
   %cmp5 = icmp sgt i32 %X, 0, !dbg !7
   br i1 %cmp5, label %for.body.lr.ph, label %for.end, !dbg !9

 !5 = distinct !DISubprogram(name: "bar", scope: !1, file: !1, line: 3, type: !6, isLocal: false, isDefinition: true, scopeLine: 3, flags: DIFlagPrototyped, isOptimized: false, unit: !0, retainedNodes: !2)
 !6 = !DISubroutineType(types: !2)
 !7 = !DILocation(line: 4, column: 21, scope: !8)
 !8 = !DILexicalBlockFile(scope: !5, file: !1, discriminator: 1)
 !9 = !DILocation(line: 4, column: 3, scope: !8)
 !10 = !DILocation(line: 5, column: 12, scope: !5)
 !11 = !DILocation(line: 5, column: 5, scope: !5)
 !12 = !DILocation(line: 5, column: 10, scope: !5)
-!13 = !DILocation(line: 4, column: 26, scope: !14)
+!13 = !DILocation(line: 4, column: 26, scope: !14, isImplicitCode: false)
 !14 = !DILexicalBlockFile(scope: !5, file: !1, discriminator: 2)
 !15 = distinct !{!15, !16}
 !16 = !DILocation(line: 4, column: 3, scope: !5)
 !17 = !DILocation(line: 7, column: 10, scope: !5)
 !18 = !DILocation(line: 7, column: 3, scope: !5)

test/DebugInfo/Generic/inline-debug-info-multiret.ll

 ; RUN: opt -inline -S < %s | FileCheck %s
 ;
 ; A hand-edited version of inline-debug-info.ll to test inlining of a
 ; function with multiple returns.
 ;
 ; Make sure the branch instructions created during inlining has a debug location,
 ; so the range of the inlined function is correct.
 ; CHECK: br label %_Z4testi.exit, !dbg ![[MD:[0-9]+]]
 ; CHECK: br label %_Z4testi.exit, !dbg ![[MD]]
 ; CHECK: br label %invoke.cont, !dbg ![[MD]]
 ; The branch instruction has the source location of line 9 and its inlined location
 ; has the source location of line 14.
 ; CHECK: ![[INL:[0-9]+]] = distinct !DILocation(line: 14, scope: {{.*}})
-; CHECK: ![[MD]] = !DILocation(line: 9, scope: {{.*}}, inlinedAt: ![[INL]])
+; CHECK: ![[MD]] = !DILocation(line: 9, scope: {{.*}}, inlinedAt: ![[INL]], isImplicitCode: false)
 
 ; ModuleID = 'test.cpp'
 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
 target triple = "x86_64-apple-darwin12.0.0"
 
 @_ZTIi = external constant i8*
 @global_var = external global i32
 

 !12 = !{!9}
 !13 = !DILocalVariable(name: "k", line: 4, arg: 1, scope: !4, file: !6, type: !9)
 !14 = !DILocation(line: 4, scope: !4)
 !15 = !DILocalVariable(name: "k2", line: 5, scope: !4, file: !6, type: !9)
 !16 = !DILocation(line: 5, scope: !4)
 !17 = !DILocation(line: 6, scope: !4)
 !18 = !DILocation(line: 7, scope: !4)
 !19 = !DILocation(line: 8, scope: !4)
-!20 = !DILocation(line: 9, scope: !4)
+!20 = !DILocation(line: 9, scope: !4, isImplicitCode: false)
 !21 = !DILocation(line: 14, scope: !22)
 !22 = distinct !DILexicalBlock(line: 13, column: 0, file: !5, scope: !10)
 !23 = !DILocation(line: 15, scope: !22)
 !24 = !DILocalVariable(name: "e", line: 16, scope: !10, file: !6, type: !9)
 !25 = !DILocation(line: 16, scope: !10)
 !26 = !DILocation(line: 17, scope: !27)
 !27 = distinct !DILexicalBlock(line: 16, column: 0, file: !5, scope: !10)
 !28 = !DILocation(line: 18, scope: !27)
 !29 = !DILocation(line: 19, scope: !10)
 !30 = !DILocation(line: 20, scope: !10)
 !31 = !{i32 1, !"Debug Info Version", i32 3}

test/DebugInfo/Generic/inline-debug-info.ll

 
 ; CHECK: _Z4testi.exit:
 ; Make sure the branch instruction created during inlining has a debug location,
 ; so the range of the inlined function is correct.
 ; CHECK: br label %invoke.cont, !dbg [[MD:![0-9]+]]
 ; The branch instruction has the source location of line 9 and its inlined location
 ; has the source location of line 14.
 ; CHECK: [[INL:![0-9]*]] = distinct !DILocation(line: 14, scope: {{.*}})
-; CHECK: [[MD]] = !DILocation(line: 9, scope: {{.*}}, inlinedAt: [[INL]])
+; CHECK: [[MD]] = !DILocation(line: 9, scope: {{.*}}, inlinedAt: [[INL]], isImplicitCode: false)
 
 ; ModuleID = 'test.cpp'
 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
 target triple = "x86_64-apple-darwin12.0.0"
 
 @_ZTIi = external constant i8*
 @global_var = external global i32
 

 !12 = !{!9}
 !13 = !DILocalVariable(name: "k", line: 4, arg: 1, scope: !4, file: !6, type: !9)
 !14 = !DILocation(line: 4, scope: !4)
 !15 = !DILocalVariable(name: "k2", line: 5, scope: !4, file: !6, type: !9)
 !16 = !DILocation(line: 5, scope: !4)
 !17 = !DILocation(line: 6, scope: !4)
 !18 = !DILocation(line: 7, scope: !4)
 !19 = !DILocation(line: 8, scope: !4)
-!20 = !DILocation(line: 9, scope: !4)
+!20 = !DILocation(line: 9, scope: !4, isImplicitCode: false)
 !21 = !DILocation(line: 14, scope: !22)
 !22 = distinct !DILexicalBlock(line: 13, column: 0, file: !5, scope: !10)
 !23 = !DILocation(line: 15, scope: !22)
 !24 = !DILocalVariable(name: "e", line: 16, scope: !10, file: !6, type: !9)
 !25 = !DILocation(line: 16, scope: !10)
 !26 = !DILocation(line: 17, scope: !27)
 !27 = distinct !DILexicalBlock(line: 16, column: 0, file: !5, scope: !10)
 !28 = !DILocation(line: 18, scope: !27)
 !29 = !DILocation(line: 19, scope: !10)
 !30 = !DILocation(line: 20, scope: !10)
 !31 = !{i32 1, !"Debug Info Version", i32 3}

test/DebugInfo/Generic/inline-no-debug-info.ll

 ; This instruction came from callee with a !dbg metadata.
 ; CHECK: store i32 2, {{.*}}, !dbg [[B:!.*]]
 
 ; The remaining instruction from the caller.
 ; CHECK: ret void, !dbg [[A]]
 
 ; Debug location of the code in caller() and of the inlined code that did not
 ; have any debug location before.
-; CHECK-DAG: [[A]] = !DILocation(line: 4, scope: !{{[0-9]+}})
+; CHECK-DAG: [[A]] = !DILocation(line: 4, scope: !{{[0-9]+}}, isImplicitCode: false)
 
 ; Debug location of the inlined code.
-; CHECK-DAG: [[B]] = !DILocation(line: 2, scope: !{{[0-9]+}}, inlinedAt: [[A_INL:![0-9]*]])
-; CHECK-DAG: [[A_INL]] = distinct !DILocation(line: 4, scope: !{{[0-9]+}})
+; CHECK-DAG: [[B]] = !DILocation(line: 2, scope: !{{[0-9]+}}, inlinedAt: [[A_INL:![0-9]*]], isImplicitCode: false)
+; CHECK-DAG: [[A_INL]] = distinct !DILocation(line: 4, scope: !{{[0-9]+}}, isImplicitCode: false)
 
 
 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
 target triple = "x86_64-unknown-linux-gnu"
 
 @a = common global i32 0, align 4
 @b = common global i32 0, align 4
 

 !2 = !{}
 !4 = distinct !DISubprogram(name: "caller", line: 4, isLocal: false, isDefinition: true, virtualIndex: 6, isOptimized: true, unit: !0, scopeLine: 4, file: !1, scope: !5, type: !6, retainedNodes: !2)
 !5 = !DIFile(filename: "test.c", directory: "/code/llvm/build0")
 !6 = !DISubroutineType(types: !2)
 !7 = distinct !DISubprogram(name: "callee2", line: 2, isLocal: true, isDefinition: true, virtualIndex: 6, isOptimized: true, unit: !0, scopeLine: 2, file: !1, scope: !5, type: !6, retainedNodes: !2)
 !8 = !{i32 2, !"Dwarf Version", i32 4}
 !9 = !{i32 2, !"Debug Info Version", i32 3}
 !10 = !{!"clang version 3.5.0 (210174)"}
-!11 = !DILocation(line: 2, scope: !7)
-!12 = !DILocation(line: 4, scope: !4)
+!11 = !DILocation(line: 2, scope: !7, isImplicitCode: false)
+!12 = !DILocation(line: 4, scope: !4, isImplicitCode: false)

test/DebugInfo/MIR/X86/livedebugvalues-limit.mir

--- |
   ; }
   ;
   ; This test verifies that LiveDebugValues doesn't propagate DBG_VALUEs into
   ; basic blocks that are beyond the scope of the source variable.
   ;
   ; CHECK: ![[F_SP:[0-9]+]] = distinct !DISubprogram(name: "f", {{.*}})
   ; CHECK: ![[A_VAR:[0-9]+]] = !DILocalVariable(name: "a",{{.*}})
   ; CHECK: ![[I_VAR:[0-9]+]] = !DILocalVariable(name: "i",{{.*}})
-  ; CHECK: ![[I_LOC:[0-9]+]] = !DILocation(line: 4, column: 14, scope: !{{[0-9]+}})
-  ; CHECK: ![[INLCS1:[0-9]+]] = !DILocation(line: 3, column: 41, scope: ![[F_SP]], inlinedAt: ![[CS1:[0-9]+]])
-  ; CHECK: ![[CS1]] = distinct !DILocation(line: 5, column: 3, scope: !{{[0-9]+}})
-  ; CHECK: ![[INLCS2:[0-9]+]] = !DILocation(line: 3, column: 41, scope: ![[F_SP]], inlinedAt: ![[CS2:[0-9]+]])
-  ; CHECK: ![[CS2]] = distinct !DILocation(line: 7, column: 5, scope: !{{[0-9]+}})
-  ; CHECK: ![[INLCS3:[0-9]+]] = !DILocation(line: 3, column: 41, scope: ![[F_SP]], inlinedAt: ![[CS3:[0-9]+]])
-  ; CHECK: ![[CS3]] = distinct !DILocation(line: 8, column: 3, scope: !{{[0-9]+}})
+  ; CHECK: ![[I_LOC:[0-9]+]] = !DILocation(line: 4, column: 14, scope: !{{[0-9]+}}, isImplicitCode: false)
+  ; CHECK: ![[INLCS1:[0-9]+]] = !DILocation(line: 3, column: 41, scope: ![[F_SP]], inlinedAt: ![[CS1:[0-9]+]], isImplicitCode: false)
+  ; CHECK: ![[CS1]] = distinct !DILocation(line: 5, column: 3, scope: !{{[0-9]+}}, isImplicitCode: false)
+  ; CHECK: ![[INLCS2:[0-9]+]] = !DILocation(line: 3, column: 41, scope: ![[F_SP]], inlinedAt: ![[CS2:[0-9]+]], isImplicitCode: false)
+  ; CHECK: ![[CS2]] = distinct !DILocation(line: 7, column: 5, scope: !{{[0-9]+}}, isImplicitCode: false)
+  ; CHECK: ![[INLCS3:[0-9]+]] = !DILocation(line: 3, column: 41, scope: ![[F_SP]], inlinedAt: ![[CS3:[0-9]+]], isImplicitCode: false)
+  ; CHECK: ![[CS3]] = distinct !DILocation(line: 8, column: 3, scope: !{{[0-9]+}}, isImplicitCode: false)
   ;
   ; CHECK:  bb.1.if.then:
   ; CHECK:      DBG_VALUE debug-use $ebx, debug-use $noreg, ![[I_VAR]], !DIExpression(), debug-location ![[I_LOC]]
   ; CHECK-NOT:  DBG_VALUE debug-use $ebx, debug-use $noreg, ![[A_VAR]], !DIExpression(), debug-location
   ; CHECK:      DBG_VALUE debug-use $ebx, debug-use $noreg, ![[A_VAR]], !DIExpression(), debug-location ![[INLCS2]]
   ; CHECK: bb.2.if.end:
   ; CHECK:     DBG_VALUE debug-use $ebx, debug-use $noreg, ![[I_VAR]], !DIExpression(), debug-location ![[I_LOC]]
   ; CHECK-NOT: DBG_VALUE debug-use $ebx, debug-use $noreg, ![[A_VAR]], !DIExpression(), debug-location
--- |
   !12 = !DILocalVariable(name: "a", arg: 1, scope: !7, file: !1, line: 3, type: !10)
   !13 = !DIExpression()
   !14 = !DILocation(line: 3, column: 41, scope: !7)
   !15 = !DILocation(line: 3, column: 46, scope: !7)
   !16 = !DILocation(line: 3, column: 55, scope: !7)
   !17 = distinct !DISubprogram(name: "foo", scope: !1, file: !1, line: 4, type: !8, isLocal: false, isDefinition: true, scopeLine: 4, flags: DIFlagPrototyped, isOptimized: true, unit: !0, retainedNodes: !18)
   !18 = !{!19}
   !19 = !DILocalVariable(name: "i", arg: 1, scope: !17, file: !1, line: 4, type: !10)
-  !20 = !DILocation(line: 4, column: 14, scope: !17)
-  !21 = !DILocation(line: 3, column: 41, scope: !7, inlinedAt: !22)
-  !22 = distinct !DILocation(line: 5, column: 3, scope: !17)
-  !23 = !DILocation(line: 3, column: 46, scope: !7, inlinedAt: !22)
-  !24 = !DILocation(line: 6, column: 7, scope: !25)
+  !20 = !DILocation(line: 4, column: 14, scope: !17, isImplicitCode: false)
+  !21 = !DILocation(line: 3, column: 41, scope: !7, inlinedAt: !22, isImplicitCode: false)
+  !22 = distinct !DILocation(line: 5, column: 3, scope: !17, isImplicitCode: false)
+  !23 = !DILocation(line: 3, column: 46, scope: !7, inlinedAt: !22, isImplicitCode: false)
+  !24 = !DILocation(line: 6, column: 7, scope: !25, isImplicitCode: false)
   !25 = distinct !DILexicalBlock(scope: !17, file: !1, line: 6, column: 7)
-  !26 = !DILocation(line: 6, column: 7, scope: !17)
-  !27 = !DILocation(line: 3, column: 41, scope: !7, inlinedAt: !28)
-  !28 = distinct !DILocation(line: 7, column: 5, scope: !25)
-  !29 = !DILocation(line: 3, column: 46, scope: !7, inlinedAt: !28)
-  !30 = !DILocation(line: 7, column: 5, scope: !25)
-  !31 = !DILocation(line: 3, column: 41, scope: !7, inlinedAt: !32)
-  !32 = distinct !DILocation(line: 8, column: 3, scope: !17)
-  !33 = !DILocation(line: 3, column: 46, scope: !7, inlinedAt: !32)
-  !34 = !DILocation(line: 9, column: 1, scope: !17)
+  !26 = !DILocation(line: 6, column: 7, scope: !17, isImplicitCode: false)
+  !27 = !DILocation(line: 3, column: 41, scope: !7, inlinedAt: !28, isImplicitCode: false)
+  !28 = distinct !DILocation(line: 7, column: 5, scope: !25, isImplicitCode: false)
+  !29 = !DILocation(line: 3, column: 46, scope: !7, inlinedAt: !28, isImplicitCode: false)
+  !30 = !DILocation(line: 7, column: 5, scope: !25, isImplicitCode: false)
+  !31 = !DILocation(line: 3, column: 41, scope: !7, inlinedAt: !32, isImplicitCode: false)
+  !32 = distinct !DILocation(line: 8, column: 3, scope: !17, isImplicitCode: false)
+  !33 = !DILocation(line: 3, column: 46, scope: !7, inlinedAt: !32, isImplicitCode: false)
+  !34 = !DILocation(line: 9, column: 1, scope: !17, isImplicitCode: false)
 
 ...
 ---
 name:            f
 alignment:       4
 exposesReturnsTwice: false
 legalized:       false
 regBankSelected: false

test/Linker/mdlocation.ll

 ; RUN: llvm-link %s %S/Inputs/mdlocation.ll -o - -S | FileCheck %s
 
 ; Test that DILocations are remapped properly.
 
 define void @foo() !dbg !0 {
   ret void, !dbg !3
 }
 
 ; CHECK: !named = !{!0, !7, !8, !9, !10, !11, !15, !16, !17, !18}
 !named = !{!1, !2, !3, !4, !5}
 
-; CHECK: !0 = !DILocation(line: 3, column: 7, scope: !1)
+; CHECK: !0 = !DILocation(line: 3, column: 7, scope: !1, isImplicitCode: false)
 ; CHECK: !3 = distinct !DISubprogram(
-; CHECK: !7 = !DILocation(line: 3, column: 7, scope: !1, inlinedAt: !0)
-; CHECK: !8 = !DILocation(line: 3, column: 7, scope: !1, inlinedAt: !7)
-; CHECK: !9 = distinct !DILocation(line: 3, column: 7, scope: !1)
-; CHECK: !10 = distinct !DILocation(line: 3, column: 7, scope: !1, inlinedAt: !9)
-; CHECK: !11 = !DILocation(line: 3, column: 7, scope: !12)
+; CHECK: !7 = !DILocation(line: 3, column: 7, scope: !1, inlinedAt: !0, isImplicitCode: false)
+; CHECK: !8 = !DILocation(line: 3, column: 7, scope: !1, inlinedAt: !7, isImplicitCode: false)
+; CHECK: !9 = distinct !DILocation(line: 3, column: 7, scope: !1, isImplicitCode: false)
+; CHECK: !10 = distinct !DILocation(line: 3, column: 7, scope: !1, inlinedAt: !9, isImplicitCode: false)
+; CHECK: !11 = !DILocation(line: 3, column: 7, scope: !12, isImplicitCode: false)
 ; CHECK: !13 = distinct !DISubprogram(
-; CHECK: !15 = !DILocation(line: 3, column: 7, scope: !12, inlinedAt: !11)
-; CHECK: !16 = !DILocation(line: 3, column: 7, scope: !12, inlinedAt: !15)
-; CHECK: !17 = distinct !DILocation(line: 3, column: 7, scope: !12)
-; CHECK: !18 = distinct !DILocation(line: 3, column: 7, scope: !12, inlinedAt: !17)
+; CHECK: !15 = !DILocation(line: 3, column: 7, scope: !12, inlinedAt: !11, isImplicitCode: false)
+; CHECK: !16 = !DILocation(line: 3, column: 7, scope: !12, inlinedAt: !15, isImplicitCode: false)
+; CHECK: !17 = distinct !DILocation(line: 3, column: 7, scope: !12, isImplicitCode: false)
+; CHECK: !18 = distinct !DILocation(line: 3, column: 7, scope: !12, inlinedAt: !17, isImplicitCode: false)
 !0 = distinct !DISubprogram(file: !7, scope: !7, line: 1, name: "foo", type: !9, unit: !6)
-!1 = !DILocation(line: 3, column: 7, scope: !10)
-!2 = !DILocation(line: 3, column: 7, scope: !10, inlinedAt: !1)
-!3 = !DILocation(line: 3, column: 7, scope: !10, inlinedAt: !2)
+!1 = !DILocation(line: 3, column: 7, scope: !10, isImplicitCode: false)
+!2 = !DILocation(line: 3, column: 7, scope: !10, inlinedAt: !1, isImplicitCode: false)
+!3 = !DILocation(line: 3, column: 7, scope: !10, inlinedAt: !2, isImplicitCode: false)
 ; Test distinct nodes.
-!4 = distinct !DILocation(line: 3, column: 7, scope: !10)
-!5 = distinct !DILocation(line: 3, column: 7, scope: !10, inlinedAt: !4)
+!4 = distinct !DILocation(line: 3, column: 7, scope: !10, isImplicitCode: false)
+!5 = distinct !DILocation(line: 3, column: 7, scope: !10, inlinedAt: !4, isImplicitCode: false)
 
 !llvm.dbg.cu = !{!6}
 !6 = distinct !DICompileUnit(language: DW_LANG_C89, file: !7)
 !7 = !DIFile(filename: "source.c", directory: "/dir")
 
 !llvm.module.flags = !{!8}
 !8 = !{i32 1, !"Debug Info Version", i32 3}
 !9 = !DISubroutineType(types: !{})
 !10 = distinct !DILexicalBlock(line: 3, column: 3, file: !7, scope: !0)

test/Linker/replaced-function-matches-first-subprogram.ll

 !9 = !DIFile(filename: "../t.h", directory: "/Users/dexonsmith/data/llvm/staging/test/Linker/repro/d1")
 !10 = !{i32 2, !"Dwarf Version", i32 2}
 !11 = !{i32 2, !"Debug Info Version", i32 3}
 !12 = !{i32 1, !"PIC Level", i32 2}
 !13 = !{!"clang version 3.6.0 (trunk 224193) (llvm/trunk 224197)"}
 !14 = !DILocation(line: 2, column: 20, scope: !4)
 
 ; The same subprogram should be pointed to by inside the !dbg reference.
-; CHECK: ![[LOC]] = !DILocation(line: 2, column: 15, scope: ![[SP2]])
-!15 = !DILocation(line: 2, column: 15, scope: !7)
+; CHECK: ![[LOC]] = !DILocation(line: 2, column: 15, scope: ![[SP2]], isImplicitCode: false)
+!15 = !DILocation(line: 2, column: 15, scope: !7, isImplicitCode: false)

test/Linker/subprogram-linkonce-weak.ll

 ; CHECK-LABEL: !llvm.dbg.cu =
 ; LW-SAME: !{![[LCU:[0-9]+]], ![[WCU:[0-9]+]]}
 ; WL-SAME: !{![[WCU:[0-9]+]], ![[LCU:[0-9]+]]}
 !llvm.dbg.cu = !{!1}
 
 ; LW: ![[LCU]] = distinct !DICompileUnit(
 ; LW: ![[WCU]] = distinct !DICompileUnit(
 ; LW: ![[BARSP]] = distinct !DISubprogram(name: "bar",{{.*}} unit: ![[LCU]]
-; LW: ![[FOOINBAR]] = !DILocation(line: 2, scope: ![[FOOSP:.*]], inlinedAt: ![[BARIA:[0-9]+]])
+; LW: ![[FOOINBAR]] = !DILocation(line: 2, scope: ![[FOOSP:.*]], inlinedAt: ![[BARIA:[0-9]+]], isImplicitCode: false)
 ; LW: ![[FOOSP]] = distinct !DISubprogram(name: "foo",{{.*}} unit: ![[LCU]]
-; LW: ![[BARIA]] = !DILocation(line: 12, scope: ![[BARSP]])
-; LW: ![[BARRET]] = !DILocation(line: 13, scope: ![[BARSP]])
+; LW: ![[BARIA]] = !DILocation(line: 12, scope: ![[BARSP]], isImplicitCode: false)
+; LW: ![[BARRET]] = !DILocation(line: 13, scope: ![[BARSP]], isImplicitCode: false)
 ; LW: ![[WEAKFOOSP]] = distinct !DISubprogram(name: "foo",{{.*}} unit: ![[WCU]]
-; LW: ![[FOOCALL]] = !DILocation(line: 52, scope: ![[WEAKFOOSP]])
-; LW: ![[FOORET]] = !DILocation(line: 53, scope: ![[WEAKFOOSP]])
+; LW: ![[FOOCALL]] = !DILocation(line: 52, scope: ![[WEAKFOOSP]], isImplicitCode: false)
+; LW: ![[FOORET]] = !DILocation(line: 53, scope: ![[WEAKFOOSP]], isImplicitCode: false)
 
 ; Same as above, but reordered.
 ; WL: ![[WCU]] = distinct !DICompileUnit(
 ; WL: ![[LCU]] = distinct !DICompileUnit(
 ; WL: ![[WEAKFOOSP]] = distinct !DISubprogram(name: "foo",{{.*}} unit: ![[WCU]]
-; WL: ![[FOOCALL]] = !DILocation(line: 52, scope: ![[WEAKFOOSP]])
-; WL: ![[FOORET]] = !DILocation(line: 53, scope: ![[WEAKFOOSP]])
+; WL: ![[FOOCALL]] = !DILocation(line: 52, scope: ![[WEAKFOOSP]], isImplicitCode: false)
+; WL: ![[FOORET]] = !DILocation(line: 53, scope: ![[WEAKFOOSP]], isImplicitCode: false)
 ; WL: ![[BARSP]] = distinct !DISubprogram(name: "bar",{{.*}} unit: ![[LCU]]
-; WL: ![[FOOINBAR]] = !DILocation(line: 2, scope: ![[FOOSP:.*]], inlinedAt: ![[BARIA:[0-9]+]])
+; WL: ![[FOOINBAR]] = !DILocation(line: 2, scope: ![[FOOSP:.*]], inlinedAt: ![[BARIA:[0-9]+]], isImplicitCode: false)
 ; WL: ![[FOOSP]] = distinct !DISubprogram(name: "foo",{{.*}} unit: ![[LCU]]
-; WL: ![[BARIA]] = !DILocation(line: 12, scope: ![[BARSP]])
-; WL: ![[BARRET]] = !DILocation(line: 13, scope: ![[BARSP]])
+; WL: ![[BARIA]] = !DILocation(line: 12, scope: ![[BARSP]], isImplicitCode: false)
+; WL: ![[BARRET]] = !DILocation(line: 13, scope: ![[BARSP]], isImplicitCode: false)
 
 !1 = distinct !DICompileUnit(language: DW_LANG_C99, file: !2, emissionKind: FullDebug)
 !2 = !DIFile(filename: "bar.c", directory: "/path/to/dir")
 !3 = distinct !DISubprogram(file: !2, scope: !2, line: 11, name: "bar", type: !5, unit: !1)
 !4 = distinct !DISubprogram(file: !2, scope: !2, line: 1, name: "foo", type: !5, unit: !1)
 !5 = !DISubroutineType(types: !{})
 
 ; Crasher for llc.

test/Transforms/AddDiscriminators/basic.ll

 !8 = !{i32 1, !"Debug Info Version", i32 3}
 !9 = !{!"clang version 3.5 "}
 !10 = !DILocation(line: 3, scope: !11)
 !11 = distinct !DILexicalBlock(line: 3, column: 0, file: !1, scope: !4)
 !12 = !DILocation(line: 4, scope: !4)
 
 ; CHECK: ![[FOO:[0-9]+]] = distinct !DISubprogram(name: "foo"
 ; CHECK: ![[BLOCK:[0-9]+]] = distinct !DILexicalBlock(scope: ![[FOO]],{{.*}} line: 3)
-; CHECK: ![[THEN]] = !DILocation(line: 3, scope: ![[BLOCKFILE:[0-9]+]])
+; CHECK: ![[THEN]] = !DILocation(line: 3, scope: ![[BLOCKFILE:[0-9]+]], isImplicitCode: false)
 ; CHECK: ![[BLOCKFILE]] = !DILexicalBlockFile(scope: ![[BLOCK]],{{.*}} discriminator: 2)
-; CHECK: ![[END]] = !DILocation(line: 4, scope: ![[FOO]])
+; CHECK: ![[END]] = !DILocation(line: 4, scope: ![[FOO]], isImplicitCode: false)

test/Transforms/AddDiscriminators/call-nested.ll

 !8 = !{i32 2, !"Dwarf Version", i32 4}
 !9 = !{i32 2, !"Debug Info Version", i32 3}
 !10 = !{!"clang version 3.9.0 (trunk 266269)"}
 !11 = !DILocation(line: 4, column: 14, scope: !4)
 !12 = !DILocation(line: 5, column: 14, scope: !4)
 !13 = !DILocation(line: 4, column: 10, scope: !4)
 !14 = !DILocation(line: 4, column: 3, scope: !4)
 
-; CHECK: ![[CALL2]] = !DILocation(line: 4, column: 10, scope: ![[CALL2BLOCK:[0-9]+]])
+; CHECK: ![[CALL2]] = !DILocation(line: 4, column: 10, scope: ![[CALL2BLOCK:[0-9]+]], isImplicitCode: false)
 ; CHECK: ![[CALL2BLOCK]] = !DILexicalBlockFile({{.*}} discriminator: 2)

test/Transforms/AddDiscriminators/call.ll

 !7 = !{i32 2, !"Dwarf Version", i32 4}
 !8 = !{i32 2, !"Debug Info Version", i32 3}
 !9 = !{!"clang version 3.8.0 (trunk 250915) (llvm/trunk 251830)"}
 !10 = !DILocation(line: 4, column: 3, scope: !4)
 !11 = !DILocation(line: 4, column: 9, scope: !4)
 !12 = !DILocation(line: 4, column: 15, scope: !4)
 !13 = !DILocation(line: 5, column: 1, scope: !4)
 
-; CHECK: ![[CALL1]] = !DILocation(line: 4, column: 9, scope: ![[CALL1BLOCK:[0-9]+]])
+; CHECK: ![[CALL1]] = !DILocation(line: 4, column: 9, scope: ![[CALL1BLOCK:[0-9]+]], isImplicitCode: false)
 ; CHECK: ![[CALL1BLOCK]] = !DILexicalBlockFile({{.*}} discriminator: 2)
-; CHECK: ![[CALL2]] = !DILocation(line: 4, column: 15, scope: ![[CALL2BLOCK:[0-9]+]])
+; CHECK: ![[CALL2]] = !DILocation(line: 4, column: 15, scope: ![[CALL2BLOCK:[0-9]+]], isImplicitCode: false)
 ; CHECK: ![[CALL2BLOCK]] = !DILexicalBlockFile({{.*}} discriminator: 4)

test/Transforms/AddDiscriminators/diamond.ll

 !14 = !DILocation(line: 4, column: 7, scope: !15)
 !15 = distinct !DILexicalBlock(scope: !4, file: !1, line: 4, column: 7)
 !16 = !DILocation(line: 4, column: 9, scope: !15)
 !17 = !DILocation(line: 4, column: 7, scope: !4)
 !18 = !DILocation(line: 5, column: 5, scope: !15)
 !19 = !DILocation(line: 5, column: 18, scope: !15)
 !20 = !DILocation(line: 6, column: 1, scope: !4)
 
-; CHECK: ![[ELSE]] = !DILocation(line: 5, column: 18, scope: ![[ELSEBLOCK:[0-9]+]])
+; CHECK: ![[ELSE]] = !DILocation(line: 5, column: 18, scope: ![[ELSEBLOCK:[0-9]+]], isImplicitCode: false)
 ; CHECK: ![[ELSEBLOCK]] = !DILexicalBlockFile({{.*}} discriminator: 2)

test/Transforms/AddDiscriminators/first-only.ll

 
 !13 = distinct !DILexicalBlock(line: 3, column: 0, file: !1, scope: !11)
 ; CHECK: !DILexicalBlockFile(scope: ![[BLOCK2:[0-9]+]],{{.*}} discriminator: 2)
 
 !14 = !DILocation(line: 4, scope: !13)
 ; CHECK: ![[BLOCK2]] = distinct !DILexicalBlock(scope: ![[BLOCK1]],{{.*}} line: 3)
 
 !15 = !DILocation(line: 5, scope: !13)
-; CHECK: ![[THEN]] = !DILocation(line: 4, scope: ![[BLOCK2]])
+; CHECK: ![[THEN]] = !DILocation(line: 4, scope: ![[BLOCK2]], isImplicitCode: false)
 
 !16 = !DILocation(line: 6, scope: !4)
-; CHECK: ![[BR]] = !DILocation(line: 5, scope: ![[BLOCK2]])
-; CHECK: ![[END]] = !DILocation(line: 6, scope: ![[FOO]])
+; CHECK: ![[BR]] = !DILocation(line: 5, scope: ![[BLOCK2]], isImplicitCode: false)
+; CHECK: ![[END]] = !DILocation(line: 6, scope: ![[FOO]], isImplicitCode: false)
 

test/Transforms/AddDiscriminators/inlined.ll

 ; CHECK: ![[LB2]] = distinct !DILexicalBlock(scope: ![[LB3:[0-9]+]],
 ; CHECK-SAME:                                line: 1, column: 9)
 !16 = distinct !DILexicalBlock(scope: !17, file: !1, line: 1, column: 9)
 ; CHECK: ![[LB3]] = distinct !DILexicalBlock(scope: ![[F]],
 ; CHECK-SAME:                                line: 1, column: 9)
 !17 = distinct !DILexicalBlock(scope: !7, file: !1, line: 1, column: 9)
 !18 = !DILocation(line: 1, column: 9, scope: !7)
 !19 = !DILocation(line: 1, column: 27, scope: !12, inlinedAt: !13)
-; CHECK: ![[BR]] =  !DILocation(line: 1, column: 9, scope: !14)
+; CHECK: ![[BR]] =  !DILocation(line: 1, column: 9, scope: !14, isImplicitCode: false)
 !20 = !DILocation(line: 1, column: 9, scope: !14)
 !21 = distinct !{!21, !18}
 !22 = !DILocation(line: 1, column: 56, scope: !12)
 !23 = !DILocation(line: 1, column: 27, scope: !12)
 !24 = !DILocation(line: 1, column: 84, scope: !12)

test/Transforms/AddDiscriminators/memcpy-discriminator.ll

 
 cond.true:
 ; CHECK-LABEL: cond.true:
 ; CHECK:       load i64, {{.*}}, !dbg ![[LOC:[0-9]+]]
 ; CHECK-NEXT:  load i32, {{.*}}, !dbg ![[LOC]]
 ; CHECK-NEXT:  %call = call i32 @bar({{.*}}), !dbg ![[LOC]]
 ; CHECK-NEXT:  br label %cond.end, !dbg ![[BR_LOC:[0-9]+]]
 
-; CHECK-DAG: ![[LOC]] = !DILocation(line: 16, column: 23, scope: ![[SCOPE:[0-9]+]])
+; CHECK-DAG: ![[LOC]] = !DILocation(line: 16, column: 23, scope: ![[SCOPE:[0-9]+]], isImplicitCode: false)
 ; CHECK-DAG: ![[SCOPE]] = !DILexicalBlockFile({{.*}}, discriminator: 2)
-; CHECK-DAG: ![[BR_LOC]] = !DILocation(line: 16, column: 16, scope: ![[SCOPE]])
+; CHECK-DAG: ![[BR_LOC]] = !DILocation(line: 16, column: 16, scope: ![[SCOPE]], isImplicitCode: false)
 
   %0 = bitcast { i64, i32 }* %g_b.coerce to i8*, !dbg !8
   %1 = bitcast %struct.B* @g_b to i8*, !dbg !8
   call void @llvm.memcpy.p0i8.p0i8.i64(i8* align 4 %0, i8* align 4 %1, i64 12, i1 false), !dbg !8
   %2 = getelementptr inbounds { i64, i32 }, { i64, i32 }* %g_b.coerce, i32 0, i32 0, !dbg !8
   %3 = load i64, i64* %2, align 4, !dbg !8
   %4 = getelementptr inbounds { i64, i32 }, { i64, i32 }* %g_b.coerce, i32 0, i32 1, !dbg !8
   %5 = load i32, i32* %4, align 4, !dbg !8

test/Transforms/AddDiscriminators/multiple.ll

 !13 = !DIBasicType(encoding: DW_ATE_signed, name: "int", size: 32, align: 32)
 !7 = !{i32 2, !"Dwarf Version", i32 4}
 !8 = !{i32 1, !"Debug Info Version", i32 3}
 !9 = !{!"clang version 3.5 (trunk 199750) (llvm/trunk 199751)"}
 !10 = !DILocation(line: 3, scope: !11)
 !11 = distinct !DILexicalBlock(line: 3, column: 0, file: !1, scope: !4)
 !12 = !DILocation(line: 4, scope: !4)
 
-; CHECK: ![[THEN]] = !DILocation(line: 3, scope: ![[THENBLOCK:[0-9]+]])
+; CHECK: ![[THEN]] = !DILocation(line: 3, scope: ![[THENBLOCK:[0-9]+]], isImplicitCode: false)
 ; CHECK: ![[THENBLOCK]] = !DILexicalBlockFile(scope: ![[SCOPE:[0-9]+]],{{.*}} discriminator: 2)
-; CHECK: ![[ELSE]] = !DILocation(line: 3, scope: ![[ELSEBLOCK:[0-9]+]])
+; CHECK: ![[ELSE]] = !DILocation(line: 3, scope: ![[ELSEBLOCK:[0-9]+]], isImplicitCode: false)
 ; CHECK: ![[ELSEBLOCK]] = !DILexicalBlockFile(scope: ![[SCOPE]],{{.*}} discriminator: 4)

test/Transforms/AddDiscriminators/no-discriminators.ll

 !8 = !DIBasicType(tag: DW_TAG_base_type, name: "int", size: 32, align: 32, encoding: DW_ATE_signed)
 !9 = !DIBasicType(tag: DW_TAG_base_type, name: "long int", size: 64, align: 64, encoding: DW_ATE_signed)
 !10 = !{i32 2, !"Dwarf Version", i32 2}
 !11 = !{i32 1, !"Debug Info Version", i32 3}
 !12 = !{!"clang version 3.5.0 "}
 !13 = !DILocalVariable(name: "i", line: 1, arg: 1, scope: !4, file: !5, type: !9)
 !14 = !DILocation(line: 1, scope: !4)
 !15 = !DILocation(line: 2, scope: !16)
-; CHECK: ![[ENTRY]] = !DILocation(line: 2, scope: ![[BLOCK:[0-9]+]])
+; CHECK: ![[ENTRY]] = !DILocation(line: 2, scope: ![[BLOCK:[0-9]+]], isImplicitCode: false)
 !16 = distinct !DILexicalBlock(line: 2, column: 0, file: !1, scope: !4)
 ; CHECK: ![[BLOCK]] = distinct !DILexicalBlock(scope: ![[FOO]],{{.*}} line: 2)
 !17 = !DILocation(line: 3, scope: !4)

test/Transforms/AddDiscriminators/oneline.ll

 !24 = !DILocation(line: 2, column: 19, scope: !20)
 !25 = !DILocation(line: 2, column: 7, scope: !4)
 !26 = !DILocation(line: 2, column: 25, scope: !20)
 !27 = !DILocation(line: 2, column: 42, scope: !20)
 !28 = !DILocation(line: 3, column: 1, scope: !4)
 
 ; CHECK: ![[F:.*]] = distinct !DISubprogram(name: "foo",
 ; CHECK: ![[IF:.*]] = distinct !DILexicalBlock(scope: ![[F]],{{.*}}line: 2, column: 7)
-; CHECK: ![[THEN1]] = !DILocation(line: 2, column: 17, scope: ![[THENBLOCK:[0-9]+]])
+; CHECK: ![[THEN1]] = !DILocation(line: 2, column: 17, scope: ![[THENBLOCK:[0-9]+]], isImplicitCode: false)
 ; CHECK: ![[THENBLOCK]] = !DILexicalBlockFile(scope: ![[IF]],{{.*}} discriminator: 2)
-; CHECK: ![[THEN2]] = !DILocation(line: 2, column: 19, scope: ![[THENBLOCK]])
-; CHECK: ![[THEN3]] = !DILocation(line: 2, column: 7, scope: ![[BRBLOCK:[0-9]+]])
+; CHECK: ![[THEN2]] = !DILocation(line: 2, column: 19, scope: ![[THENBLOCK]], isImplicitCode: false)
+; CHECK: ![[THEN3]] = !DILocation(line: 2, column: 7, scope: ![[BRBLOCK:[0-9]+]], isImplicitCode: false)
 ; CHECK: ![[BRBLOCK]] = !DILexicalBlockFile(scope: ![[F]],{{.*}} discriminator: 2)
-; CHECK: ![[ELSE]] = !DILocation(line: 2, column: 25, scope: ![[ELSEBLOCK:[0-9]+]])
+; CHECK: ![[ELSE]] = !DILocation(line: 2, column: 25, scope: ![[ELSEBLOCK:[0-9]+]], isImplicitCode: false)
 ; CHECK: ![[ELSEBLOCK]] = !DILexicalBlockFile(scope: ![[IF]],{{.*}} discriminator: 4)
-; CHECK: ![[COMBINE]] = !DILocation(line: 2, column: 42, scope: ![[COMBINEBLOCK:[0-9]+]])
+; CHECK: ![[COMBINE]] = !DILocation(line: 2, column: 42, scope: ![[COMBINEBLOCK:[0-9]+]], isImplicitCode: false)
 ; CHECK: ![[COMBINEBLOCK]] = !DILexicalBlockFile(scope: ![[IF]],{{.*}} discriminator: 6)

test/Transforms/EntryExitInstrumenter/debug-info.ll

 ; CHECK: call void @__cyg_profile_func_enter{{.*}}, !dbg ![[ENTRYLOC]]
 
 ; CHECK: call i8* @llvm.returnaddress(i32 0), !dbg ![[EXITLOC:[0-9]+]]
 ; CHECK: call void @__cyg_profile_func_exit{{.*}}, !dbg ![[EXITLOC]]
 ; CHECK: ret i32 42, !dbg ![[EXITLOC]]
 }
 
 ; CHECK: ![[SP:[0-9]+]] = distinct !DISubprogram(name: "f"
-; CHECK: ![[ENTRYLOC]] = !DILocation(line: 2, scope: ![[SP]])
-; CHECK: ![[EXITLOC]] = !DILocation(line: 4, column: 3, scope: ![[SP]])
+; CHECK: ![[ENTRYLOC]] = !DILocation(line: 2, scope: ![[SP]], isImplicitCode: false)
+; CHECK: ![[EXITLOC]] = !DILocation(line: 4, column: 3, scope: ![[SP]], isImplicitCode: false)
 
 attributes #0 = { "instrument-function-entry"="__cyg_profile_func_enter" "instrument-function-exit"="__cyg_profile_func_exit" }
 
 !llvm.dbg.cu = !{!0}
 !llvm.module.flags = !{!3, !4, !5}
 !llvm.ident = !{!6}
 
 !0 = distinct !DICompileUnit(language: DW_LANG_C99, file: !1, producer: "clang version 6.0.0 (trunk 319007) (llvm/trunk 319050)", isOptimized: false, runtimeVersion: 0, emissionKind: FullDebug, enums: !2)

test/Transforms/GVN/PRE/2017-06-28-pre-load-dbgloc.ll

 !6 = !{!7}
 !7 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed)
 !8 = !{}
 !9 = !DILocation(line: 15, column: 6, scope: !4)
 !10 = !DILocation(line: 16, column: 13, scope: !4)
 !11 = !DILocation(line: 15, column: 34, scope: !4)
 
 ;ALL: [[SCOPE:![0-9]+]] = distinct  !DISubprogram(name: "test",{{.*}}
-;ALL: [[LOC_15_6]] = !DILocation(line: 15, column: 6, scope: [[SCOPE]])
-;ALL: [[LOC_16_13]] = !DILocation(line: 16, column: 13, scope: [[SCOPE]])
+;ALL: [[LOC_15_6]] = !DILocation(line: 15, column: 6, scope: [[SCOPE]], isImplicitCode: false)
+;ALL: [[LOC_16_13]] = !DILocation(line: 16, column: 13, scope: [[SCOPE]], isImplicitCode: false)

test/Transforms/GVN/PRE/2018-06-08-pre-load-dbgloc-no-null-opt.ll

 !6 = !{!7}
 !7 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed)
 !8 = !{}
 !9 = !DILocation(line: 15, column: 6, scope: !4)
 !10 = !DILocation(line: 16, column: 13, scope: !4)
 !11 = !DILocation(line: 15, column: 34, scope: !4)
 
 ;ALL: [[SCOPE:![0-9]+]] = distinct  !DISubprogram(name: "test_no_null_opt",{{.*}}
-;ALL: [[LOC_15_6]] = !DILocation(line: 15, column: 6, scope: [[SCOPE]])
-;ALL: [[LOC_16_13]] = !DILocation(line: 16, column: 13, scope: [[SCOPE]])
+;ALL: [[LOC_15_6]] = !DILocation(line: 15, column: 6, scope: [[SCOPE]], isImplicitCode: false)
+;ALL: [[LOC_16_13]] = !DILocation(line: 16, column: 13, scope: [[SCOPE]], isImplicitCode: false)

test/Transforms/GVNHoist/hoist-pr31891.ll

 }
 
 ; CHECK-LABEL: define void @hoistit
 ; CHECK-SAME:     !dbg ![[sp_hoistit:[0-9]+]]
 ; CHECK: call float @fabsf(float %f) {{.*}} !dbg ![[dbgloc:[0-9]+]]
 ; CHECK: br i1 %tobool, label %if.then, label %if.else
 
 ; CHECK: ![[sp_hoistit]] = distinct !DISubprogram(name: "hoistit", {{.*}})
-; CHECK: ![[dbgloc]] = !DILocation({{.*}}, scope: ![[sp_hoistit]])
+; CHECK: ![[dbgloc]] = !DILocation({{.*}}, scope: ![[sp_hoistit]], isImplicitCode: false)
 
 declare void @useit1(float)
 
 declare void @useit2(float)
 
 attributes #0 = { noinline nounwind readnone uwtable }
 attributes #1 = { nounwind readnone }
 attributes #2 = { noinline nounwind uwtable }

test/Transforms/Inline/debug-info-duplicate-calls.ll

 ; CHECK: call void @_Z2f1v(), !dbg [[fcs2_f4_f3cs1_f2:![0-9]+]]
 ; CHECK: call void @_Z2f1v(), !dbg [[fcs2_f4_f3cs2_f2:![0-9]+]]
 
 ; CHECK-DAG: [[F:![0-9]+]]  = distinct !DISubprogram(name: "f"
 ; CHECK-DAG: [[F2:![0-9]+]] = distinct !DISubprogram(name: "f2"
 ; CHECK-DAG: [[F3:![0-9]+]] = distinct !DISubprogram(name: "f3"
 ; CHECK-DAG: [[F4:![0-9]+]] = distinct !DISubprogram(name: "f4"
 
-; CHECK-DAG: [[fcs1_f4_f3cs1_f2]] = {{.*}}, scope: [[F2]], inlinedAt: [[fcs1_f4_f3cs1:![0-9]+]])
-; CHECK-DAG: [[fcs1_f4_f3cs1]] = {{.*}}, scope: [[F3]], inlinedAt: [[fcs1_f4:![0-9]+]])
-; CHECK-DAG: [[fcs1_f4]] = {{.*}}, scope: [[F4]], inlinedAt: [[fcs1:![0-9]+]])
-; CHECK-DAG: [[fcs1]] = {{.*}}, scope: [[F]])
-; CHECK-DAG: [[fcs1_f4_f3cs2_f2]] = {{.*}}, scope: [[F2]], inlinedAt: [[fcs1_f4_f3cs2:![0-9]+]])
-; CHECK-DAG: [[fcs1_f4_f3cs2]] = {{.*}}, scope: [[F3]], inlinedAt: [[fcs1_f4]])
-
-; CHECK-DAG: [[fcs2_f4_f3cs1_f2]] = {{.*}}, scope: [[F2]], inlinedAt: [[fcs2_f4_f3cs1:![0-9]+]])
-; CHECK-DAG: [[fcs2_f4_f3cs1]] = {{.*}}, scope: [[F3]], inlinedAt: [[fcs2_f4:![0-9]+]])
-; CHECK-DAG: [[fcs2_f4]] = {{.*}}, scope: [[F4]], inlinedAt: [[fcs2:![0-9]+]])
-; CHECK-DAG: [[fcs2]] = {{.*}}, scope: [[F]])
-; CHECK-DAG: [[fcs2_f4_f3cs2_f2]] = {{.*}}, scope: [[F2]], inlinedAt: [[fcs2_f4_f3cs2:![0-9]+]])
-; CHECK-DAG: [[fcs2_f4_f3cs2]] = {{.*}}, scope: [[F3]], inlinedAt: [[fcs2_f4]])
+; CHECK-DAG: [[fcs1_f4_f3cs1_f2]] = {{.*}}, scope: [[F2]], inlinedAt: [[fcs1_f4_f3cs1:![0-9]+]], isImplicitCode: false)
+; CHECK-DAG: [[fcs1_f4_f3cs1]] = {{.*}}, scope: [[F3]], inlinedAt: [[fcs1_f4:![0-9]+]], isImplicitCode: false)
+; CHECK-DAG: [[fcs1_f4]] = {{.*}}, scope: [[F4]], inlinedAt: [[fcs1:![0-9]+]], isImplicitCode: false)
+; CHECK-DAG: [[fcs1]] = {{.*}}, scope: [[F]], isImplicitCode: false)
+; CHECK-DAG: [[fcs1_f4_f3cs2_f2]] = {{.*}}, scope: [[F2]], inlinedAt: [[fcs1_f4_f3cs2:![0-9]+]], isImplicitCode: false)
+; CHECK-DAG: [[fcs1_f4_f3cs2]] = {{.*}}, scope: [[F3]], inlinedAt: [[fcs1_f4]], isImplicitCode: false)
+
+; CHECK-DAG: [[fcs2_f4_f3cs1_f2]] = {{.*}}, scope: [[F2]], inlinedAt: [[fcs2_f4_f3cs1:![0-9]+]], isImplicitCode: false)
+; CHECK-DAG: [[fcs2_f4_f3cs1]] = {{.*}}, scope: [[F3]], inlinedAt: [[fcs2_f4:![0-9]+]], isImplicitCode: false)
+; CHECK-DAG: [[fcs2_f4]] = {{.*}}, scope: [[F4]], inlinedAt: [[fcs2:![0-9]+]], isImplicitCode: false)
+; CHECK-DAG: [[fcs2]] = {{.*}}, scope: [[F]], isImplicitCode: false)
+; CHECK-DAG: [[fcs2_f4_f3cs2_f2]] = {{.*}}, scope: [[F2]], inlinedAt: [[fcs2_f4_f3cs2:![0-9]+]], isImplicitCode: false)
+; CHECK-DAG: [[fcs2_f4_f3cs2]] = {{.*}}, scope: [[F3]], inlinedAt: [[fcs2_f4]], isImplicitCode: false)
 
 $_Z2f4v = comdat any
 
 $_Z2f3v = comdat any
 
 $_Z2f2v = comdat any
 
 ; Function Attrs: uwtable

test/Transforms/Inline/debug-invoke.ll

 ; RUN: opt < %s -always-inline -S | FileCheck %s
 
 ; Test that the debug location is preserved when rewriting an inlined call as an invoke
 
 ; CHECK: invoke void @test()
 ; CHECK-NEXT: to label {{.*}} unwind label {{.*}}, !dbg [[INL_LOC:!.*]]
 ; CHECK: [[SP:.*]] = distinct !DISubprogram(
-; CHECK: [[INL_LOC]] = !DILocation(line: 1, scope: [[SP]], inlinedAt: [[INL_AT:.*]])
-; CHECK: [[INL_AT]] = distinct !DILocation(line: 2, scope: [[SP]])
+; CHECK: [[INL_LOC]] = !DILocation(line: 1, scope: [[SP]], inlinedAt: [[INL_AT:.*]], isImplicitCode: false)
+; CHECK: [[INL_AT]] = distinct !DILocation(line: 2, scope: [[SP]], isImplicitCode: false)
 
 declare void @test()
 declare i32 @__gxx_personality_v0(...)
 
 attributes #0 = { alwaysinline }
 define void @inl() #0 {
   call void @test(), !dbg !3
   ret void

test/Transforms/Inline/inline_dbg_declare.ll

 !20 = !DILocalVariable(name: "dst", line: 6, arg: 1, scope: !9, file: !5, type: !12)
 !21 = !DILocation(line: 6, column: 17, scope: !9)
 !22 = !DILocation(line: 8, column: 14, scope: !9)
 !23 = !DILocation(line: 9, column: 1, scope: !9)
 
 ; CHECK: [[FOO:![0-9]+]] = distinct !DISubprogram(name: "foo",
 ; CHECK: [[m23]] = !DILocalVariable(name: "x", arg: 1, scope: [[FOO]]
 ; CHECK: [[BAR:![0-9]+]] = distinct !DISubprogram(name: "bar",
-; CHECK: [[m24]] = !DILocation(line: 1, column: 17, scope: [[FOO]], inlinedAt: [[CALL_SITE:![0-9]+]])
-; CHECK: [[CALL_SITE]] = distinct !DILocation(line: 8, column: 14, scope: [[BAR]])
+; CHECK: [[m24]] = !DILocation(line: 1, column: 17, scope: [[FOO]], inlinedAt: [[CALL_SITE:![0-9]+]], isImplicitCode: false)
+; CHECK: [[CALL_SITE]] = distinct !DILocation(line: 8, column: 14, scope: [[BAR]], isImplicitCode: false)

test/Transforms/LoopSimplify/dbg-loc.ll

eh.resume:                                        ; preds = %catch
   %1 = landingpad { i8*, i32 }
           cleanup catch i8* bitcast ({ i8*, i8*, i8* }* @catchtypeinfo to i8*), !dbg !13
   resume { i8*, i32 } undef, !dbg !13
 }
 
 ; Function Attrs: nounwind readnone
 declare void @llvm.dbg.value(metadata, metadata, metadata)
 
-; CHECK-DAG: [[PREHEADER_LOC]] = !DILocation(line: 73, column: 27, scope: !{{[0-9]+}})
-; CHECK-DAG: [[LOOPEXIT_LOC]] = !DILocation(line: 75, column: 9, scope: !{{[0-9]+}})
-; CHECK-DAG: [[LPAD_PREHEADER_LOC]] = !DILocation(line: 85, column: 1, scope: !{{[0-9]+}})
+; CHECK-DAG: [[PREHEADER_LOC]] = !DILocation(line: 73, column: 27, scope: !{{[0-9]+}}, isImplicitCode: false)
+; CHECK-DAG: [[LOOPEXIT_LOC]] = !DILocation(line: 75, column: 9, scope: !{{[0-9]+}}, isImplicitCode: false)
+; CHECK-DAG: [[LPAD_PREHEADER_LOC]] = !DILocation(line: 85, column: 1, scope: !{{[0-9]+}}, isImplicitCode: false)
 
 !llvm.module.flags = !{!0, !1, !2}
 !llvm.dbg.cu = !{!14}
 !0 = !{i32 2, !"Dwarf Version", i32 4}
 !1 = !{i32 2, !"Debug Info Version", i32 3}
 !2 = !{i32 1, !"PIC Level", i32 2}
 
 !3 = !{}

test/Transforms/Mem2Reg/dbg-inline-scope-for-phi.ll

; <label>:11:                                     ; preds = %8, %6
   %12 = load i32, i32* %2, align 4, !dbg !35
   ret i32 %12, !dbg !35
 
   ; CHECK: [[phi:%.*]] = phi i32 [ {{.*}} ], [ {{.*}} ], !dbg [[mergedLoc:![0-9]+]]
   ; CHECK-NEXT: ret i32 [[phi]], !dbg [[retLoc:![0-9]+]]
 }
 
 ; CHECK: [[commonScope:![0-9]+]] = distinct !DILexicalBlock(scope: {{.*}}, file: !1, line: 15, column: 7)
-; CHECK: [[mergedLoc]] = !DILocation(line: 0, scope: [[commonScope]])
+; CHECK: [[mergedLoc]] = !DILocation(line: 0, scope: [[commonScope]], isImplicitCode: false)
 ; CHECK: [[retLoc]] = !DILocation(line: 23, column: 1
 
 declare i32 @cond(...)
 
 !llvm.dbg.cu = !{!0}
 !llvm.module.flags = !{!3, !4, !5, !6}
 !llvm.ident = !{!7}
 

test/Transforms/SafeStack/ARM/debug.ll

 ; RUN: opt -safe-stack -safestack-use-pointer-address < %s -S | FileCheck %s
 target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64"
 target triple = "armv7-pc-linux-android"
 
 ; Original C used to generate debug info:
 ; char*** addr;
 ; char** __safestack_pointer_address() {
 ;   return *addr;
 ; }
 ; void Capture(char*x);
 ; void f() { char c[16]; Capture(c); }
 
-; CHECK: !35 = !DILocation(line: 3, column: 11, scope: !17, inlinedAt: !36)
-; CHECK: !36 = distinct !DILocation(line: 6, scope: !27)
+; CHECK: !35 = !DILocation(line: 3, column: 11, scope: !17, inlinedAt: !36, isImplicitCode: false)
+; CHECK: !36 = distinct !DILocation(line: 6, scope: !27, isImplicitCode: false)
 
 @addr = common local_unnamed_addr global i8*** null, align 4, !dbg !0
 
 ; Function Attrs: norecurse nounwind readonly safestack
 define i8** @__safestack_pointer_address() local_unnamed_addr #0 !dbg !17 {
 entry:
   %0 = load i8***, i8**** @addr, align 4, !dbg !20, !tbaa !21
   %1 = load i8**, i8*** %0, align 4, !dbg !25, !tbaa !21

test/Transforms/Util/strip-nonlinetable-debuginfo-loops.ll

 !10 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !11, size: 64)
 !11 = !DIDerivedType(tag: DW_TAG_volatile_type, baseType: !12)
 ; NEGATIVE-NOT: !DIBasicType(name: "int",
 !12 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed)
 !13 = !{!14}
 !14 = !DILocalVariable(name: "i", arg: 1, scope: !7, file: !1, line: 1, type: !10)
 !15 = !DIExpression()
 !16 = !DILocation(line: 1, column: 22, scope: !7)
-; CHECK: ![[BEGIN:[0-9]+]] = !DILocation(line: 2, column: 3, scope: ![[F]])
+; CHECK: ![[BEGIN:[0-9]+]] = !DILocation(line: 2, column: 3, scope: ![[F]], isImplicitCode: false)
 !17 = !DILocation(line: 2, column: 3, scope: !7)
 !18 = !DILocation(line: 2, column: 10, scope: !7)
 !19 = !{!20, !20, i64 0}
 !20 = !{!"int", !21, i64 0}
 !21 = !{!"omnipotent char", !22, i64 0}
 !22 = !{!"Simple C/C++ TBAA"}
 ; CHECK: ![[LOOP]] = distinct !{![[LOOP]], ![[BEGIN]], ![[END:[0-9]+]]}
 !23 = distinct !{!23, !17, !24}
-; CHECK: ![[END]] = !DILocation(line: 3, column: 3, scope: ![[F]])
+; CHECK: ![[END]] = !DILocation(line: 3, column: 3, scope: ![[F]], isImplicitCode: false)
 !24 = !DILocation(line: 3, column: 3, scope: !7)
 !25 = !DILocation(line: 4, column: 1, scope: !7)

test/Verifier/dbg.ll

 ; RUN: llvm-as -disable-output <%s 2>&1 | FileCheck %s
 
 define void @foo() {
 entry:
   br label %exit, !dbg !DILocation(scope: !1, inlinedAt: !{})
 ; CHECK: inlined-at should be a location
-; CHECK-NEXT: !{{[0-9]+}} = !DILocation(line: 0, scope: !{{[0-9]+}}, inlinedAt: ![[IA:[0-9]+]])
+; CHECK-NEXT: !{{[0-9]+}} = !DILocation(line: 0, scope: !{{[0-9]+}}, inlinedAt: ![[IA:[0-9]+]], isImplicitCode: false)
 ; CHECK-NEXT: ![[IA]] = !{}
 
 exit:
   ret void, !dbg !{}
 ; CHECK: invalid !dbg metadata attachment
 ; CHECK-NEXT: ret void, !dbg ![[LOC:[0-9]+]]
 ; CHECK-NEXT: ![[LOC]] = !{}
 }
 
 ; CHECK: warning: ignoring invalid debug info
 !llvm.module.flags = !{!0}
 !0 = !{i32 2, !"Debug Info Version", i32 3}
 !1 = distinct !DISubprogram()