From e7a280ac8651285bc0e1fd78cd5264be96f8e243 Mon Sep 17 00:00:00 2001 From: David Blaikie Date: Wed, 6 Aug 2014 18:24:19 +0000 Subject: [PATCH] DebugInfo: Fix ranges+gmlt test case to actually exercise the gmlt situation. Originally this test case tested the specified behavior (that -gmlt would not produce DW_AT_ranges and that when no CU DW_AT_ranges were produced, no debug_ranges section (not even an empty list) would be produced) but then the ranges emission code was improved not to create ranges of a single element (instead favoring high_pc/low_pc) and so this test case no longer exercised the -gmlt portion of the behavior. This caused me some confusion when reading the comments and trying to update this test case for future changes to -gmlt. I've made this test resilient to those changes (by using the {{DW_TAG|NULL}} pattern to block the end of the attribute search at the end of the CU's attribute list without mandating that it must (or must not) be followed by another tag (the future changes to -gmlt should produce no subprograms in this CU)) Fix the test case to have two functions in distinct sections to force the use of DW_AT_ranges. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@214985 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/DebugInfo/cu-line-tables.ll | 59 ++++++++++++++++++++++++---------------- 1 file changed, 35 insertions(+), 24 deletions(-) diff --git a/test/DebugInfo/cu-line-tables.ll b/test/DebugInfo/cu-line-tables.ll index 2496f3f3e87..5762f039c9a 100644 --- a/test/DebugInfo/cu-line-tables.ll +++ b/test/DebugInfo/cu-line-tables.ll @@ -1,17 +1,28 @@ ; REQUIRES: object-emission -; RUN: %llc_dwarf -O0 -filetype=obj %s -o %t -; RUN: llvm-dwarfdump %t | FileCheck %s +; RUN: %llc_dwarf -O0 -filetype=obj < %s | llvm-dwarfdump - | FileCheck %s -; Check that we don't emit ranges if we're emitting line tables only. +; Generated from the following source compiled with clang -gmlt: +; void f1(void) {} +; void f2(void) __attribute__((section("bar"))) {} +; Check that +; * -gmlt ('Emission Kind' of 'LineTablesOnly' in the CU debug info metadata) +; doesn't produce ranges. +; * if no ranges are produced, no debug_ranges list (not even an empty one) is +; emitted. + +; -gmlt means no DW_AT_ranges on the CU, even though there are parts of the CU +; in different sections and this would normally necessitate a DW_AT_ranges +; attribute on the CU. ; CHECK: DW_TAG_compile_unit ; CHECK-NOT: DW_AT_ranges -; CHECK: DW_TAG_subprogram +; CHECK: {{DW_TAG|NULL}} ; FIXME: We probably want to avoid printing out anything if the section isn't there. ; CHECK: .debug_ranges contents: ; CHECK-NOT: 00000000 +; Check that we don't emit any pubnames or pubtypes under -gmlt ; CHECK: .debug_pubnames contents: ; CHECK-NOT: Offset @@ -19,33 +30,33 @@ ; CHECK-NOT: Offset ; Function Attrs: nounwind uwtable -define i32 @f(i32 %a) #0 { +define void @f1() #0 { entry: - %a.addr = alloca i32, align 4 - store i32 %a, i32* %a.addr, align 4 - %0 = load i32* %a.addr, align 4, !dbg !14 - %add = add nsw i32 %0, 4, !dbg !14 - ret i32 %add, !dbg !14 + ret void, !dbg !11 } -; Function Attrs: nounwind readnone -declare void @llvm.dbg.declare(metadata, metadata) #1 +; Function Attrs: nounwind uwtable +define void @f2() #0 section "bar" { +entry: + ret void, !dbg !12 +} attributes #0 = { nounwind uwtable "less-precise-fpmad"="false" "no-frame-pointer-elim"="true" "no-frame-pointer-elim-non-leaf" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "unsafe-fp-math"="false" "use-soft-float"="false" } -attributes #1 = { nounwind readnone } !llvm.dbg.cu = !{!0} -!llvm.module.flags = !{!9, !10} -!llvm.ident = !{!11} +!llvm.module.flags = !{!8, !9} +!llvm.ident = !{!10} -!0 = metadata !{i32 786449, metadata !1, i32 12, metadata !"clang version 3.5 (trunk 197756) (llvm/trunk 197768)", i1 false, metadata !"", i32 0, metadata !2, metadata !2, metadata !3, metadata !2, metadata !2, metadata !"", i32 2} ; [ DW_TAG_compile_unit ] [/usr/local/google/home/echristo/tmp/foo.c] [DW_LANG_C99] -!1 = metadata !{metadata !"foo.c", metadata !"/usr/local/google/home/echristo/tmp"} +!0 = metadata !{i32 786449, metadata !1, i32 12, metadata !"clang version 3.6.0 ", i1 false, metadata !"", i32 0, metadata !2, metadata !2, metadata !3, metadata !2, metadata !2, metadata !"", i32 2} ; [ DW_TAG_compile_unit ] [/tmp/dbginfo/cu-line-tables.c] [DW_LANG_C99] +!1 = metadata !{metadata !"cu-line-tables.c", metadata !"/tmp/dbginfo"} !2 = metadata !{} -!3 = metadata !{metadata !4} -!4 = metadata !{i32 786478, metadata !1, metadata !5, metadata !"f", metadata !"f", metadata !"", i32 1, metadata !6, i1 false, i1 true, i32 0, i32 0, null, i32 256, i1 false, i32 (i32)* @f, null, null, metadata !2, i32 1} ; [ DW_TAG_subprogram ] [line 1] [def] [f] -!5 = metadata !{i32 786473, metadata !1} ; [ DW_TAG_file_type ] [/usr/local/google/home/echristo/tmp/foo.c] +!3 = metadata !{metadata !4, metadata !7} +!4 = metadata !{i32 786478, metadata !1, metadata !5, metadata !"f1", metadata !"f1", metadata !"", i32 1, metadata !6, i1 false, i1 true, i32 0, i32 0, null, i32 256, i1 false, void ()* @f1, null, null, metadata !2, i32 1} ; [ DW_TAG_subprogram ] [line 1] [def] [f1] +!5 = metadata !{i32 786473, metadata !1} ; [ DW_TAG_file_type ] [/tmp/dbginfo/cu-line-tables.c] !6 = metadata !{i32 786453, i32 0, null, metadata !"", i32 0, i64 0, i64 0, i64 0, i32 0, null, metadata !2, i32 0, null, null, null} ; [ DW_TAG_subroutine_type ] [line 0, size 0, align 0, offset 0] [from ] -!9 = metadata !{i32 2, metadata !"Dwarf Version", i32 4} -!10 = metadata !{i32 1, metadata !"Debug Info Version", i32 1} -!11 = metadata !{metadata !"clang version 3.5 (trunk 197756) (llvm/trunk 197768)"} -!14 = metadata !{i32 2, i32 0, metadata !4, null} +!7 = metadata !{i32 786478, metadata !1, metadata !5, metadata !"f2", metadata !"f2", metadata !"", i32 2, metadata !6, i1 false, i1 true, i32 0, i32 0, null, i32 256, i1 false, void ()* @f2, null, null, metadata !2, i32 2} ; [ DW_TAG_subprogram ] [line 2] [def] [f2] +!8 = metadata !{i32 2, metadata !"Dwarf Version", i32 4} +!9 = metadata !{i32 2, metadata !"Debug Info Version", i32 1} +!10 = metadata !{metadata !"clang version 3.6.0 "} +!11 = metadata !{i32 1, i32 16, metadata !4, null} +!12 = metadata !{i32 2, i32 48, metadata !7, null} -- 2.11.0