DebugInfo: Permit DW_TAG_structure_type, DW_TAG_member, DW_TAG_typedef tags with empty file names.

[pcc]

Summary

Some languages, such as Go, have pre-defined structure types (e.g. "string"
is essentially a pointer/length pair) or pre-defined "typedef" types
(e.g. "error" is essentially a typedef for a specific interface type).
Such types do not have associated source location, so a Go frontend would
be correct not to associate a file name with such types.

This change relaxes the DIType verifier to permit unlocated types with
these tags.

[dblaikie]

Some IR test cases might be nice to have here, to avoid regressing this
functionality.

[pcc]

• Add test case

[dblaikie]

test/DebugInfo/verifier.ll

4

"this test doesn't crash" is generally not ideal, prefer to test the desired output.

Use llc rather than opt, and ensure that the tags are emitted without file info as desired?

[pcc]

• Replace with an llc test

[probinson]

test/DebugInfo/missing-file-line.ll

1 ↗

(On Diff #22620)

Generating an object file and going through llvm-dwarfdump means you need
REQUIRES: object-emission
Also, as the test is now architecture-dependent, it needs to go in the DebugInfo/X86 directory.

16 ↗

(On Diff #22620)

These checks verify that you accept metadata with no source location; however I think it doesn't verify that what comes back out has no source location?

[pcc]

• Move test to DebugInfo/X86. Test that the entities have no file/line attrs. Add REQUIRES: object-emission

[probinson]

LGTM with the DW_TAG|NULL chang, and thanks for tolerating the pickiness about debug-info tests!

test/DebugInfo/X86/missing-file-line.ll

22 ↗

(On Diff #22625)

I see why this works, but we usually check DW_TAG|NULL to constrain the range to a single DIE. Ditto for the other two places.

[dblaikie]

test/DebugInfo/X86/missing-file-line.ll

3 ↗

(On Diff #22625)

Ideally just pipe dwarfdump's output straight to FileCheck without the intermediate %t - then just use a single set of CHECK (rather than 3 separate CHECK prefixes) lines for the tests.

[pcc]

test/DebugInfo/X86/missing-file-line.ll

3 ↗

(On Diff #22625)

Previously I used CHECK-DAG, but I couldn't see a way to do the CHECK-NOT checks within a single run of FileCheck while keeping them order independent.

22 ↗

(On Diff #22625)

Done

[probinson]

test/DebugInfo/X86/missing-file-line.ll

3 ↗

(On Diff #22625)

That would hard-code an order for the three DIEs, which is probably okay for the structure/member but I'm not so sure about the typedef.

lib/IR/DebugInfo.cpp

if (getFilename().empty()) {
     if (Tag != dwarf::DW_TAG_const_type && Tag != dwarf::DW_TAG_volatile_type &&
         Tag != dwarf::DW_TAG_pointer_type &&
         Tag != dwarf::DW_TAG_ptr_to_member_type &&
         Tag != dwarf::DW_TAG_reference_type &&
         Tag != dwarf::DW_TAG_rvalue_reference_type &&
         Tag != dwarf::DW_TAG_restrict_type && Tag != dwarf::DW_TAG_array_type &&
         Tag != dwarf::DW_TAG_enumeration_type &&
         Tag != dwarf::DW_TAG_subroutine_type &&
-        Tag != dwarf::DW_TAG_inheritance && Tag != dwarf::DW_TAG_friend)
+        Tag != dwarf::DW_TAG_inheritance && Tag != dwarf::DW_TAG_friend &&
+        Tag != dwarf::DW_TAG_structure_type && Tag != dwarf::DW_TAG_member &&
+        Tag != dwarf::DW_TAG_typedef)
       return false;
   }
 
   if (isCompositeType())
     return DICompositeType(DbgNode).Verify();
   if (isDerivedType())
     return DIDerivedType(DbgNode).Verify();
   return false;

test/DebugInfo/verifier.ll

+; RUN: opt -verify -S -o /dev/null %s
+
+; Test that we accept DW_TAG_structure_type, DW_TAG_member and DW_TAG_typedef
+; with no source location. These can come up in some languages with predefined
+; types.
+
+!0 = !MDCompositeType(tag: DW_TAG_structure_type, name: "foo", elements: !3)
+!1 = !MDLocalVariable(tag: DW_TAG_auto_variable, name: "x", type: !5)
+!2 = !MDExpression()
+!3 = !{!4}
+!4 = !MDDerivedType(tag: DW_TAG_member, name: "m", baseType: !0)
+!5 = !MDDerivedType(tag: DW_TAG_typedef, name: "td", baseType: !0)
+
+define void @foo() {
+  %x = alloca i32
+  call void @llvm.dbg.declare(metadata i32* %x, metadata !1, metadata !2)
+  ret void
+}
+
+declare void @llvm.dbg.declare(metadata, metadata, metadata) #1
+
+!llvm.module.flags = !{!100, !101}
+!100 = !{i32 2, !"Dwarf Version", i32 2}
+!101 = !{i32 2, !"Debug Info Version", i32 3}