Linker: Rewrite dwarfdump checks from r233164

Rewrite the checks from r233164 that I temporarily disabled in r233165.

It turns out that the line-tables only debug info we emit from `llc` is
(intentionally) different on Linux than on Darwin.  r218129 started
skipping emission of subprograms with no inlined subroutines, and
r218702 was a spiritual revert of that behaviour for Darwin.

I think we can still test this in a platform-neutral way.

  - Stop checking for the possibly missing `DW_TAG_subprogram` defining
    the debug info for the real version of `@foo`.
  - Start checking the line tables, ensuring that the right debug info
    was used to generate them (grabbing `DW_AT_low_pc` from the compile
    unit).
  - I changed up the line numbers used in the "weak" version so it's
    easier to follow.

This should hopefully finish off PR22792.

llvm-svn: 233207

1 files changed, 32 insertions, 17 deletions

diff --git a/llvm/test/Linker/subprogram-linkonce-weak.ll b/llvm/test/Linker/subprogram-linkonce-weak.ll
index 0665bb61f3f..c2b04a2b1e7 100644
--- a/llvm/test/Linker/subprogram-linkonce-weak.ll
+++ b/llvm/test/Linker/subprogram-linkonce-weak.ll
@@ -66,8 +66,8 @@ entry:
 ; LW: ![[FOOINBAR]] = !MDLocation(line: 2, scope: ![[FOOSP]], inlinedAt: ![[BARIA:[0-9]+]])
 ; LW: ![[BARIA]] = !MDLocation(line: 12, scope: ![[BARSP]])
 ; LW: ![[BARRET]] = !MDLocation(line: 13, scope: ![[BARSP]])
-; LW: ![[FOOCALL]] = !MDLocation(line: 2, scope: ![[WEAKFOOSP]])
-; LW: ![[FOORET]] = !MDLocation(line: 3, scope: ![[WEAKFOOSP]])
+; LW: ![[FOOCALL]] = !MDLocation(line: 52, scope: ![[WEAKFOOSP]])
+; LW: ![[FOORET]] = !MDLocation(line: 53, scope: ![[WEAKFOOSP]])
 
 ; Same as above, but reordered.
 ; WL: ![[WCU]] = !MDCompileUnit({{.*}} subprograms: ![[WSPs:[0-9]+]]
@@ -81,8 +81,8 @@ entry:
 ; WL: ![[FOOSP]] = {{.*}}!MDSubprogram(name: "foo",
 ; Note, for symmetry, this should be "NOT: function:" and "SAME: ){{$}}".
 ; WL-SAME: function: i32 (i32, i32)* @foo
-; WL: ![[FOOCALL]] = !MDLocation(line: 2, scope: ![[WEAKFOOSP]])
-; WL: ![[FOORET]] = !MDLocation(line: 3, scope: ![[WEAKFOOSP]])
+; WL: ![[FOOCALL]] = !MDLocation(line: 52, scope: ![[WEAKFOOSP]])
+; WL: ![[FOORET]] = !MDLocation(line: 53, scope: ![[WEAKFOOSP]])
 ; WL: ![[FOOINBAR]] = !MDLocation(line: 2, scope: ![[FOOSP]], inlinedAt: ![[BARIA:[0-9]+]])
 ; WL: ![[BARIA]] = !MDLocation(line: 12, scope: ![[BARSP]])
 ; WL: ![[BARRET]] = !MDLocation(line: 13, scope: ![[BARSP]])
@@ -96,15 +96,18 @@ entry:
 ; Crasher for llc.
 ; REQUIRES: object-emission
 ; RUN: %llc_dwarf -filetype=obj -O0 %t1 -o %t1.o
-; RUNDISABLED: llvm-dwarfdump %t1.o -debug-dump=info | FileCheck %s -check-prefix=DWLW
+; RUN: llvm-dwarfdump %t1.o -debug-dump=all | FileCheck %s -check-prefix=DWLW -check-prefix=DW
 ; RUN: %llc_dwarf -filetype=obj -O0 %t2 -o %t2.o
-; RUNDISABLED: llvm-dwarfdump %t2.o -debug-dump=info | FileCheck %s -check-prefix=DWWL
-; Getting different dwarfdump output on different platforms, so I've
-; temporarily disabled the Dwarf FileChecks while leaving in the crash tests.
-; I'll keep using PR22792 to track this.
+; RUN: llvm-dwarfdump %t2.o -debug-dump=all | FileCheck %s -check-prefix=DWWL -check-prefix=DW
+; Don't check for the DW_TAG_subprogram for the weak version of @foo.  It has
+; no inlined subroutines, so with -gmlt may not exist (debuggers can find the
+; aranges in the compile unit and look in the line table directly).  See the
+; checks against the line table that follow.
 
+; DW-LABEL: .debug_info contents:
 ; DWLW:     DW_TAG_compile_unit
 ; DWLW:       DW_AT_name {{.*}}"bar.c"
+; DWLW:       DW_AT_low_pc [DW_FORM_addr] ([[BARLOW:0x[0-9a-f]+]])
 ; DWLW:       DW_TAG_subprogram
 ; DWLW-NOT:     DW_AT_{{[lowhigh]*}}_pc
 ; DWLW:         DW_AT_name {{.*}}foo
@@ -117,20 +120,15 @@ entry:
 ; DWLW:           DW_AT_abstract_origin
 ; DWLW:     DW_TAG_compile_unit
 ; DWLW:       DW_AT_name {{.*}}"foo.c"
-; DWLW:       DW_TAG_subprogram
-; DWLW:         DW_AT_low_pc
-; DWLW:         DW_AT_high_pc
-; DWLW:         DW_AT_name {{.*}}foo
+; DWLW:       DW_AT_low_pc [DW_FORM_addr] ([[FOOLOW:0x[0-9a-f]+]])
 
 ; The DWARF output is already symmetric (just reordered).
 ; DWWL:     DW_TAG_compile_unit
 ; DWWL:       DW_AT_name {{.*}}"foo.c"
-; DWWL:       DW_TAG_subprogram
-; DWWL:         DW_AT_low_pc
-; DWWL:         DW_AT_high_pc
-; DWWL:         DW_AT_name {{.*}}foo
+; DWWL:       DW_AT_low_pc [DW_FORM_addr] ([[FOOLOW:0x[0-9a-f]+]])
 ; DWWL:     DW_TAG_compile_unit
 ; DWWL:       DW_AT_name {{.*}}"bar.c"
+; DWWL:       DW_AT_low_pc [DW_FORM_addr] ([[BARLOW:0x[0-9a-f]+]])
 ; DWWL:       DW_TAG_subprogram
 ; DWWL-NOT:     DW_AT_{{[lowhigh]*}}_pc
 ; DWWL:         DW_AT_name {{.*}}foo
@@ -141,3 +139,20 @@ entry:
 ; DWWL:         DW_AT_name {{.*}}bar
 ; DWWL:         DW_TAG_inlined_subroutine
 ; DWWL:           DW_AT_abstract_origin
+
+; DW-LABEL:   .debug_line contents:
+; Check that the low_pc entries from above hit the right files.
+
+; DWLW-LABEL: file_names[{{ *}}1]{{.*}} bar.c
+; DWLW:       [[BARLOW]]  0 0 1 0 0 is_stmt
+; DWLW:       [[BARLOW]]  2 0 1 0 0 is_stmt prologue_end
+; DWLW-LABEL: file_names[{{ *}}1]{{.*}} foo.c
+; DWLW:       [[FOOLOW]]  0 0 1 0 0 is_stmt
+; DWLW:       [[FOOLOW]] 52 0 1 0 0 is_stmt prologue_end
+
+; DWWL-LABEL: file_names[{{ *}}1]{{.*}} foo.c
+; DWWL:       [[FOOLOW]]  0 0 1 0 0 is_stmt
+; DWWL:       [[FOOLOW]] 52 0 1 0 0 is_stmt prologue_end
+; DWWL-LABEL: file_names[{{ *}}1]{{.*}} bar.c
+; DWWL:       [[BARLOW]]  0 0 1 0 0 is_stmt
+; DWWL:       [[BARLOW]]  2 0 1 0 0 is_stmt prologue_end