LDC: Use . instead of :: as CodeView DI scope separator

For compile units with D language tag, i.e., if compiled with `-g`.

Author: kinke

lib/CodeGen/AsmPrinter/CodeViewDebug.cpp

@@ -301,21 +301,30 @@ static const DISubprogram *getQualifiedNameComponents(
 }
 
 static std::string getQualifiedName(ArrayRef<StringRef> QualifiedNameComponents,
-                                    StringRef TypeName) {
+                                    StringRef TypeName, StringRef Separator) {
   std::string FullyQualifiedName;
   for (StringRef QualifiedNameComponent :
        llvm::reverse(QualifiedNameComponents)) {
     FullyQualifiedName.append(QualifiedNameComponent);
-    FullyQualifiedName.append("::");
+    FullyQualifiedName.append(Separator);
   }
   FullyQualifiedName.append(TypeName);
   return FullyQualifiedName;
 }
 
-static std::string getFullyQualifiedName(const DIScope *Scope, StringRef Name) {
+static std::string getFullyQualifiedName(const DIScope *Scope, StringRef Name,
+                                         StringRef Separator) {
   SmallVector<StringRef, 5> QualifiedNameComponents;
   getQualifiedNameComponents(Scope, QualifiedNameComponents);
-  return getQualifiedName(QualifiedNameComponents, Name);
+  return getQualifiedName(QualifiedNameComponents, Name, Separator);
+}
+
+// Added for LDC: use `.` as scope separator for compile units with D language
+// tag.
+const char *CodeViewDebug::getScopeSeparator() const {
+  NamedMDNode *CUs = MMI->getModule()->getNamedMetadata("llvm.dbg.cu");
+  const DICompileUnit *CU = cast<DICompileUnit>(*CUs->operands().begin());
+  return CU->getSourceLanguage() == dwarf::DW_LANG_D ? "." : "::";
 }
 
 struct CodeViewDebug::TypeLoweringScope {
@@ -330,9 +339,10 @@ struct CodeViewDebug::TypeLoweringScope {
   CodeViewDebug &CVD;
 };
 
-static std::string getFullyQualifiedName(const DIScope *Ty) {
+static std::string getFullyQualifiedName(const DIScope *Ty,
+                                         StringRef Separator) {
   const DIScope *Scope = Ty->getScope();
-  return getFullyQualifiedName(Scope, getPrettyScopeName(Ty));
+  return getFullyQualifiedName(Scope, getPrettyScopeName(Ty), Separator);
 }
 
 TypeIndex CodeViewDebug::getScopeIndex(const DIScope *Scope) {
@@ -348,7 +358,7 @@ TypeIndex CodeViewDebug::getScopeIndex(const DIScope *Scope) {
     return I->second;
 
   // Build the fully qualified name of the scope.
-  std::string ScopeName = getFullyQualifiedName(Scope);
+  std::string ScopeName = getFullyQualifiedName(Scope, getScopeSeparator());
   StringIdRecord SID(TypeIndex(), ScopeName);
   auto TI = TypeTable.writeLeafType(SID);
   return recordTypeIndexForDINode(Scope, TI);
@@ -1029,7 +1039,8 @@ void CodeViewDebug::emitDebugInfoForFunction(const Function *GV,
   // If we have a display name, build the fully qualified name by walking the
   // chain of scopes.
   if (!SP->getName().empty())
-    FuncName = getFullyQualifiedName(SP->getScope(), SP->getName());
+    FuncName = getFullyQualifiedName(SP->getScope(), SP->getName(),
+                                     getScopeSeparator());
 
   // If our DISubprogram name is empty, use the mangled name.
   if (FuncName.empty())
@@ -1495,8 +1506,8 @@ void CodeViewDebug::addToUDTs(const DIType *Ty) {
   const DISubprogram *ClosestSubprogram =
       getQualifiedNameComponents(Ty->getScope(), QualifiedNameComponents);
 
-  std::string FullyQualifiedName =
-      getQualifiedName(QualifiedNameComponents, getPrettyScopeName(Ty));
+  std::string FullyQualifiedName = getQualifiedName(
+      QualifiedNameComponents, getPrettyScopeName(Ty), getScopeSeparator());
 
   if (ClosestSubprogram == nullptr) {
     GlobalUDTs.emplace_back(std::move(FullyQualifiedName), Ty);
@@ -2095,7 +2106,7 @@ TypeIndex CodeViewDebug::lowerTypeEnum(const DICompositeType *Ty) {
     FTI = TypeTable.insertRecord(ContinuationBuilder);
   }
 
-  std::string FullName = getFullyQualifiedName(Ty);
+  std::string FullName = getFullyQualifiedName(Ty, getScopeSeparator());
 
   EnumRecord ER(EnumeratorCount, CO, FTI, FullName, Ty->getIdentifier(),
                 getTypeIndex(Ty->getBaseType()));
@@ -2246,7 +2257,7 @@ TypeIndex CodeViewDebug::lowerTypeClass(const DICompositeType *Ty) {
   TypeRecordKind Kind = getRecordKind(Ty);
   ClassOptions CO =
       ClassOptions::ForwardReference | getCommonClassOptions(Ty);
-  std::string FullName = getFullyQualifiedName(Ty);
+  std::string FullName = getFullyQualifiedName(Ty, getScopeSeparator());
   ClassRecord CR(Kind, 0, CO, TypeIndex(), TypeIndex(), TypeIndex(), 0,
                  FullName, Ty->getIdentifier());
   TypeIndex FwdDeclTI = TypeTable.writeLeafType(CR);
@@ -2277,7 +2288,7 @@ TypeIndex CodeViewDebug::lowerCompleteTypeClass(const DICompositeType *Ty) {
   if (isNonTrivial(Ty))
     CO |= ClassOptions::HasConstructorOrDestructor;
 
-  std::string FullName = getFullyQualifiedName(Ty);
+  std::string FullName = getFullyQualifiedName(Ty, getScopeSeparator());
 
   uint64_t SizeInBytes = Ty->getSizeInBits() / 8;
 
@@ -2299,7 +2310,7 @@ TypeIndex CodeViewDebug::lowerTypeUnion(const DICompositeType *Ty) {
 
   ClassOptions CO =
       ClassOptions::ForwardReference | getCommonClassOptions(Ty);
-  std::string FullName = getFullyQualifiedName(Ty);
+  std::string FullName = getFullyQualifiedName(Ty, getScopeSeparator());
   UnionRecord UR(0, CO, TypeIndex(), 0, FullName, Ty->getIdentifier());
   TypeIndex FwdDeclTI = TypeTable.writeLeafType(UR);
   if (!Ty->isForwardDecl())
@@ -2319,7 +2330,7 @@ TypeIndex CodeViewDebug::lowerCompleteTypeUnion(const DICompositeType *Ty) {
     CO |= ClassOptions::ContainsNestedClass;
 
   uint64_t SizeInBytes = Ty->getSizeInBits() / 8;
-  std::string FullName = getFullyQualifiedName(Ty);
+  std::string FullName = getFullyQualifiedName(Ty, getScopeSeparator());
 
   UnionRecord UR(FieldCount, CO, FieldTI, SizeInBytes, FullName,
                  Ty->getIdentifier());

lib/CodeGen/AsmPrinter/CodeViewDebug.h

@@ -286,6 +286,9 @@ class LLVM_LIBRARY_VISIBILITY CodeViewDebug : public DebugHandlerBase {
     LocalUDTs.clear();
   }
 
+  // LDC
+  const char *getScopeSeparator() const;
+
   /// Emit the magic version number at the start of a CodeView type or symbol
   /// section. Appears at the front of every .debug$S or .debug$T or .debug$P
   /// section.