DI: Require subprogram definitions to be distinct
[oota-llvm.git] / test / DebugInfo / X86 / dwarf-aranges.ll
1 ; RUN: llc -generate-arange-section < %s | FileCheck %s
2
3
4 ; -- header --
5 ; CHECK: .short 2 # DWARF Arange version number
6 ; CHECK-NEXT: .long .Lcu_begin0
7 ; CHECK-NEXT: .byte 8 # Address Size (in bytes)
8 ; CHECK-NEXT: .byte 0 # Segment Size (in bytes)
9 ; -- alignment --
10 ; CHECK-NEXT: .zero 4,255
11
12 ; <data section> - it should have made one span covering all vars in this CU.
13 ; CHECK-NEXT: .quad some_data
14 ; CHECK-NEXT: .quad .Lsec_end0-some_data
15
16 ; <other sections> - it should have made one span covering all vars in this CU.
17 ; CHECK-NEXT: .quad some_other
18 ; CHECK-NEXT: .quad .Lsec_end1-some_other
19
20 ; <common symbols> - it should have made one span for each symbol.
21 ; CHECK-NEXT: .quad some_bss
22 ; CHECK-NEXT: .quad 4
23
24 ; <text section> - it should have made one span covering all functions in this CU.
25 ; CHECK-NEXT: .quad .Lfunc_begin0
26 ; CHECK-NEXT: .quad .Lsec_end2-.Lfunc_begin0
27
28 ; -- finish --
29 ; CHECK-NEXT: # ARange terminator
30
31
32
33 ; -- source code --
34 ; Generated from: "clang -c -g -emit-llvm"
35 ;
36 ; int some_data = 4;
37 ; int some_bss;
38 ; int some_other __attribute__ ((section ("strange+section"))) = 5;
39
40 ; void some_code()
41 ; {
42 ;    some_bss += some_data + some_other;
43 ; }
44
45 target triple = "x86_64-unknown-linux-gnu"
46
47 @some_data = global i32 4, align 4
48 @some_other = global i32 5, section "strange+section", align 4
49 @some_bss = common global i32 0, align 4
50
51 define void @some_code() {
52 entry:
53   %0 = load i32, i32* @some_data, align 4, !dbg !14
54   %1 = load i32, i32* @some_other, align 4, !dbg !14
55   %add = add nsw i32 %0, %1, !dbg !14
56   %2 = load i32, i32* @some_bss, align 4, !dbg !14
57   %add1 = add nsw i32 %2, %add, !dbg !14
58   store i32 %add1, i32* @some_bss, align 4, !dbg !14
59   ret void, !dbg !15
60 }
61
62 !llvm.dbg.cu = !{!0}
63 !llvm.module.flags = !{!13, !16}
64
65 !0 = distinct !DICompileUnit(language: DW_LANG_C99, producer: "clang version 3.4 ", isOptimized: false, emissionKind: 0, file: !1, enums: !2, retainedTypes: !2, subprograms: !3, globals: !8, imports: !2)
66 !1 = !DIFile(filename: "test.c", directory: "/home/kayamon")
67 !2 = !{}
68 !3 = !{!4}
69 !4 = distinct !DISubprogram(name: "some_code", line: 5, isLocal: false, isDefinition: true, virtualIndex: 6, isOptimized: false, scopeLine: 6, file: !1, scope: !5, type: !6, function: void ()* @some_code, variables: !2)
70 !5 = !DIFile(filename: "test.c", directory: "/home/kayamon")
71 !6 = !DISubroutineType(types: !7)
72 !7 = !{null}
73 !8 = !{!9, !11, !12}
74 !9 = !DIGlobalVariable(name: "some_data", line: 1, isLocal: false, isDefinition: true, scope: null, file: !5, type: !10, variable: i32* @some_data)
75 !10 = !DIBasicType(tag: DW_TAG_base_type, name: "int", size: 32, align: 32, encoding: DW_ATE_signed)
76 !11 = !DIGlobalVariable(name: "some_other", line: 3, isLocal: false, isDefinition: true, scope: null, file: !5, type: !10, variable: i32* @some_other)
77 !12 = !DIGlobalVariable(name: "some_bss", line: 2, isLocal: false, isDefinition: true, scope: null, file: !5, type: !10, variable: i32* @some_bss)
78 !13 = !{i32 2, !"Dwarf Version", i32 4}
79 !14 = !DILocation(line: 7, scope: !4)
80 !15 = !DILocation(line: 8, scope: !4)
81 !16 = !{i32 1, !"Debug Info Version", i32 3}