AsmWriter/Bitcode: MDFile
authorDuncan P. N. Exon Smith <dexonsmith@apple.com>
Fri, 13 Feb 2015 01:19:14 +0000 (01:19 +0000)
committerDuncan P. N. Exon Smith <dexonsmith@apple.com>
Fri, 13 Feb 2015 01:19:14 +0000 (01:19 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@229007 91177308-0d34-0410-b5e6-96231b3b80d8

include/llvm/Bitcode/LLVMBitCodes.h
include/llvm/IR/DebugInfoMetadata.h
lib/AsmParser/LLParser.cpp
lib/Bitcode/Reader/BitcodeReader.cpp
lib/Bitcode/Writer/BitcodeWriter.cpp
lib/IR/AsmWriter.cpp
test/Assembler/debug-info.ll
test/Assembler/invalid-mdfile-missing-directory.ll [new file with mode: 0644]
test/Assembler/invalid-mdfile-missing-filename.ll [new file with mode: 0644]

index 5856fdf..7232cb5 100644 (file)
@@ -150,7 +150,8 @@ namespace bitc {
     METADATA_GENERIC_DEBUG = 12,  // [distinct, tag, vers, header, n x md num]
     METADATA_SUBRANGE      = 13,  // [distinct, count, lo]
     METADATA_ENUMERATOR    = 14,  // [distinct, value, name?]
-    METADATA_BASIC_TYPE    = 15   // [distinct, tag, name, size, align, enc]
+    METADATA_BASIC_TYPE    = 15,  // [distinct, tag, name, size, align, enc]
+    METADATA_FILE          = 16   // [distinct, filename, directory]
   };
 
   // The constants block (CONSTANTS_BLOCK_ID) describes emission for each
index b2a2ef3..9a0546a 100644 (file)
@@ -733,16 +733,23 @@ public:
   MDTuple *getFileNode() const { return cast<MDTuple>(getOperand(0)); }
 
   StringRef getFilename() const {
-    if (auto *S = cast_or_null<MDString>(getFileNode()->getOperand(0)))
+    if (auto *S = getRawFilename())
       return S->getString();
     return StringRef();
   }
   StringRef getDirectory() const {
-    if (auto *S = cast_or_null<MDString>(getFileNode()->getOperand(1)))
+    if (auto *S = getRawDirectory())
       return S->getString();
     return StringRef();
   }
 
+  MDString *getRawFilename() const {
+    return cast_or_null<MDString>(getFileNode()->getOperand(0));
+  }
+  MDString *getRawDirectory() const {
+    return cast_or_null<MDString>(getFileNode()->getOperand(1));
+  }
+
   static bool classof(const Metadata *MD) {
     return MD->getMetadataID() == MDFileKind;
   }
index 992ad10..c041a96 100644 (file)
@@ -3242,9 +3242,20 @@ bool LLParser::ParseMDCompositeType(MDNode *&Result, bool IsDistinct) {
 bool LLParser::ParseMDSubroutineType(MDNode *&Result, bool IsDistinct) {
   return TokError("unimplemented parser");
 }
+
+/// ParseMDFileType:
+///   ::= !MDFileType(filename: "path/to/file", directory: "/path/to/dir")
 bool LLParser::ParseMDFile(MDNode *&Result, bool IsDistinct) {
-  return TokError("unimplemented parser");
+#define VISIT_MD_FIELDS(OPTIONAL, REQUIRED)                                    \
+  REQUIRED(filename, MDStringField, );                                         \
+  REQUIRED(directory, MDStringField, );
+  PARSE_MD_FIELDS();
+#undef VISIT_MD_FIELDS
+
+  Result = GET_OR_DISTINCT(MDFile, (Context, filename.Val, directory.Val));
+  return false;
 }
+
 bool LLParser::ParseMDCompileUnit(MDNode *&Result, bool IsDistinct) {
   return TokError("unimplemented parser");
 }
index 2d03649..2220c1d 100644 (file)
@@ -1382,6 +1382,16 @@ std::error_code BitcodeReader::ParseMetadata() {
           NextMDValueNo++);
       break;
     }
+    case bitc::METADATA_FILE: {
+      if (Record.size() != 3)
+        return Error("Invalid record");
+
+      MDValueList.AssignValue(
+          GET_OR_DISTINCT(MDFile, Record[0], (Context, getMDString(Record[1]),
+                                              getMDString(Record[2]))),
+          NextMDValueNo++);
+      break;
+    }
     case bitc::METADATA_STRING: {
       std::string String(Record.begin(), Record.end());
       llvm::UpgradeMDStringConstant(String);
index 47c414e..9460ff0 100644 (file)
@@ -868,11 +868,18 @@ static void WriteMDSubroutineType(const MDSubroutineType *,
                                   SmallVectorImpl<uint64_t> &, unsigned) {
   llvm_unreachable("write not implemented");
 }
-static void WriteMDFile(const MDFile *, const ValueEnumerator &,
-                        BitstreamWriter &, SmallVectorImpl<uint64_t> &,
-                        unsigned) {
-  llvm_unreachable("write not implemented");
+
+static void WriteMDFile(const MDFile *N, const ValueEnumerator &VE,
+                        BitstreamWriter &Stream,
+                        SmallVectorImpl<uint64_t> &Record, unsigned Abbrev) {
+  Record.push_back(N->isDistinct());
+  Record.push_back(VE.getMetadataOrNullID(N->getRawFilename()));
+  Record.push_back(VE.getMetadataOrNullID(N->getRawDirectory()));
+
+  Stream.EmitRecord(bitc::METADATA_FILE, Record, Abbrev);
+  Record.clear();
 }
+
 static void WriteMDCompileUnit(const MDCompileUnit *, const ValueEnumerator &,
                                BitstreamWriter &, SmallVectorImpl<uint64_t> &,
                                unsigned) {
index c2d2514..826794a 100644 (file)
@@ -1401,10 +1401,16 @@ static void writeMDSubroutineType(raw_ostream &, const MDSubroutineType *,
                                   const Module *) {
   llvm_unreachable("write not implemented");
 }
-static void writeMDFile(raw_ostream &, const MDFile *, TypePrinting *,
+
+static void writeMDFile(raw_ostream &Out, const MDFile *N, TypePrinting *,
                         SlotTracker *, const Module *) {
-  llvm_unreachable("write not implemented");
+  Out << "!MDFile(";
+  FieldSeparator FS;
+  Out << FS << "filename: \"" << N->getFilename() << "\"";
+  Out << FS << "directory: \"" << N->getDirectory() << "\"";
+  Out << ")";
 }
+
 static void writeMDCompileUnit(raw_ostream &, const MDCompileUnit *,
                                TypePrinting *, SlotTracker *, const Module *) {
   llvm_unreachable("write not implemented");
index d376fea..3a3a3ef 100644 (file)
@@ -1,8 +1,8 @@
 ; RUN: llvm-as < %s | llvm-dis | llvm-as | llvm-dis | FileCheck %s
 ; RUN: verify-uselistorder %s
 
-; CHECK: !named = !{!0, !0, !1, !2, !3, !4, !5, !6, !7, !8, !8}
-!named = !{!0, !1, !2, !3, !4, !5, !6, !7, !8, !9, !10}
+; CHECK: !named = !{!0, !0, !1, !2, !3, !4, !5, !6, !7, !8, !8, !9, !10, !11, !12}
+!named = !{!0, !1, !2, !3, !4, !5, !6, !7, !8, !9, !10, !11, !12, !13, !14}
 
 ; CHECK:      !0 = !MDSubrange(count: 3)
 ; CHECK-NEXT: !1 = !MDSubrange(count: 3, lowerBound: 4)
 !8 = !MDBasicType(tag: DW_TAG_unspecified_type, name: "decltype(nullptr)")
 !9 = !MDBasicType(tag: DW_TAG_base_type)
 !10 = !MDBasicType(tag: DW_TAG_base_type, name: "", size: 0, align: 0, encoding: 0)
+
+; CHECK-NEXT: !9 = !{!"path/to/file", !"/path/to/dir"}
+; CHECK-NEXT: !10 = !MDFile(filename: "path/to/file", directory: "/path/to/dir")
+; CHECK-NEXT: !11 = !{null, null}
+; CHECK-NEXT: !12 = !MDFile(filename: "", directory: "")
+!11 = !{!"path/to/file", !"/path/to/dir"}
+!12 = !MDFile(filename: "path/to/file", directory: "/path/to/dir")
+!13 = !{null, null}
+!14 = !MDFile(filename: "", directory: "")
diff --git a/test/Assembler/invalid-mdfile-missing-directory.ll b/test/Assembler/invalid-mdfile-missing-directory.ll
new file mode 100644 (file)
index 0000000..825db08
--- /dev/null
@@ -0,0 +1,4 @@
+; RUN: not llvm-as < %s -disable-output 2>&1 | FileCheck %s
+
+; CHECK: [[@LINE+1]]:30: error: missing required field 'directory'
+!0 = !MDFile(filename: "file")
diff --git a/test/Assembler/invalid-mdfile-missing-filename.ll b/test/Assembler/invalid-mdfile-missing-filename.ll
new file mode 100644 (file)
index 0000000..0dd7117
--- /dev/null
@@ -0,0 +1,4 @@
+; RUN: not llvm-as < %s -disable-output 2>&1 | FileCheck %s
+
+; CHECK: [[@LINE+1]]:30: error: missing required field 'filename'
+!0 = !MDFile(directory: "dir")