1; REQUIRES: object-emission
2
3; RUN: %llc_dwarf -O0 -filetype=obj -o - < %s | llvm-dwarfdump -debug-dump=info - | FileCheck %s
4; Radar 7833483
5; Do not emit a separate out-of-line definition DIE for the function-local 'foo'
6; function (member of the function local 'A' type)
7; CHECK: DW_TAG_class_type
8; CHECK: DW_TAG_class_type
9; CHECK-NEXT: DW_AT_name {{.*}} "A"
10; Check that the subprogram inside the class definition has low_pc, only
11; attached to the definition.
12; CHECK: [[FOO_INL:0x........]]: DW_TAG_subprogram
13; CHECK-NOT: DW_TAG
14; CHECK: DW_AT_low_pc
15; CHECK-NOT: DW_TAG
16; CHECK: DW_AT_name {{.*}} "foo"
17; And just double check that there's no out of line definition that references
18; this subprogram.
19; CHECK-NOT: DW_AT_specification {{.*}} {[[FOO_INL]]}
20
21%class.A = type { i8 }
22%class.B = type { i8 }
23
24define i32 @main() ssp !dbg !2 {
25entry:
26  %retval = alloca i32, align 4                   ; <i32*> [#uses=3]
27  %b = alloca %class.A, align 1                   ; <%class.A*> [#uses=1]
28  store i32 0, i32* %retval
29  call void @llvm.dbg.declare(metadata %class.A* %b, metadata !0, metadata !DIExpression()), !dbg !14
30  %call = call i32 @_ZN1B2fnEv(%class.A* %b), !dbg !15 ; <i32> [#uses=1]
31  store i32 %call, i32* %retval, !dbg !15
32  %0 = load i32, i32* %retval, !dbg !16                ; <i32> [#uses=1]
33  ret i32 %0, !dbg !16
34}
35
36declare void @llvm.dbg.declare(metadata, metadata, metadata) nounwind readnone
37
38define linkonce_odr i32 @_ZN1B2fnEv(%class.A* %this) ssp align 2 !dbg !10 {
39entry:
40  %retval = alloca i32, align 4                   ; <i32*> [#uses=2]
41  %this.addr = alloca %class.A*, align 8          ; <%class.A**> [#uses=2]
42  %a = alloca %class.A, align 1                   ; <%class.A*> [#uses=1]
43  %i = alloca i32, align 4                        ; <i32*> [#uses=2]
44  store %class.A* %this, %class.A** %this.addr
45  call void @llvm.dbg.declare(metadata %class.A** %this.addr, metadata !17, metadata !DIExpression(DW_OP_deref)), !dbg !18
46  %this1 = load %class.A*, %class.A** %this.addr             ; <%class.A*> [#uses=0]
47  call void @llvm.dbg.declare(metadata %class.A* %a, metadata !19, metadata !DIExpression()), !dbg !27
48  call void @llvm.dbg.declare(metadata i32* %i, metadata !28, metadata !DIExpression()), !dbg !29
49  %call = call i32 @_ZZN1B2fnEvEN1A3fooEv(%class.A* %a), !dbg !30 ; <i32> [#uses=1]
50  store i32 %call, i32* %i, !dbg !30
51  %tmp = load i32, i32* %i, !dbg !31                   ; <i32> [#uses=1]
52  store i32 %tmp, i32* %retval, !dbg !31
53  %0 = load i32, i32* %retval, !dbg !32                ; <i32> [#uses=1]
54  ret i32 %0, !dbg !32
55}
56
57define internal i32 @_ZZN1B2fnEvEN1A3fooEv(%class.A* %this) ssp align 2 !dbg !23 {
58entry:
59  %retval = alloca i32, align 4                   ; <i32*> [#uses=2]
60  %this.addr = alloca %class.A*, align 8          ; <%class.A**> [#uses=2]
61  store %class.A* %this, %class.A** %this.addr
62  call void @llvm.dbg.declare(metadata %class.A** %this.addr, metadata !33, metadata !DIExpression(DW_OP_deref)), !dbg !34
63  %this1 = load %class.A*, %class.A** %this.addr             ; <%class.A*> [#uses=0]
64  store i32 42, i32* %retval, !dbg !35
65  %0 = load i32, i32* %retval, !dbg !35                ; <i32> [#uses=1]
66  ret i32 %0, !dbg !35
67}
68
69!llvm.dbg.cu = !{!4}
70!llvm.module.flags = !{!40}
71!37 = !{!2, !10, !23}
72
73!0 = !DILocalVariable(name: "b", line: 16, scope: !1, file: !3, type: !8)
74!1 = distinct !DILexicalBlock(line: 15, column: 12, file: !38, scope: !2)
75!2 = distinct !DISubprogram(name: "main", linkageName: "main", line: 15, isLocal: false, isDefinition: true, virtualIndex: 6, isOptimized: false, unit: !4, scopeLine: 15, file: !38, scope: !3, type: !5)
76!3 = !DIFile(filename: "one.cc", directory: "/tmp")
77!4 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, producer: "clang 1.5", isOptimized: false, emissionKind: FullDebug, file: !38, enums: !39, retainedTypes: !39, imports:  null)
78!5 = !DISubroutineType(types: !6)
79!6 = !{!7}
80!7 = !DIBasicType(tag: DW_TAG_base_type, name: "int", size: 32, align: 32, encoding: DW_ATE_signed)
81!8 = !DICompositeType(tag: DW_TAG_class_type, name: "B", line: 2, size: 8, align: 8, file: !38, scope: !3, elements: !9)
82!9 = !{!10}
83!10 = distinct !DISubprogram(name: "fn", linkageName: "_ZN1B2fnEv", line: 4, isLocal: false, isDefinition: true, virtualIndex: 6, isOptimized: false, unit: !4, scopeLine: 4, file: !38, scope: !8, type: !11)
84!11 = !DISubroutineType(types: !12)
85!12 = !{!7, !13}
86!13 = !DIDerivedType(tag: DW_TAG_pointer_type, size: 64, align: 64, flags: DIFlagArtificial, file: !38, scope: !3, baseType: !8)
87!14 = !DILocation(line: 16, column: 5, scope: !1)
88!15 = !DILocation(line: 17, column: 3, scope: !1)
89!16 = !DILocation(line: 18, column: 1, scope: !2)
90; Manually modified to avoid pointers (thus dependence on pointer size) in Generic test
91!17 = !DILocalVariable(name: "this", line: 4, arg: 1, scope: !10, file: !3, type: !8)
92!18 = !DILocation(line: 4, column: 7, scope: !10)
93!19 = !DILocalVariable(name: "a", line: 9, scope: !20, file: !3, type: !21)
94!20 = distinct !DILexicalBlock(line: 4, column: 12, file: !38, scope: !10)
95!21 = !DICompositeType(tag: DW_TAG_class_type, name: "A", line: 5, size: 8, align: 8, file: !38, scope: !10, elements: !22)
96!22 = !{!23}
97!23 = distinct !DISubprogram(name: "foo", linkageName: "_ZZN1B2fnEvEN1A3fooEv", line: 7, isLocal: false, isDefinition: true, virtualIndex: 6, isOptimized: false, unit: !4, scopeLine: 7, file: !38, scope: !21, type: !24)
98!24 = !DISubroutineType(types: !25)
99!25 = !{!7, !26}
100!26 = !DIDerivedType(tag: DW_TAG_pointer_type, size: 64, align: 64, flags: DIFlagArtificial, file: !38, scope: !3, baseType: !21)
101!27 = !DILocation(line: 9, column: 7, scope: !20)
102!28 = !DILocalVariable(name: "i", line: 10, scope: !20, file: !3, type: !7)
103!29 = !DILocation(line: 10, column: 9, scope: !20)
104!30 = !DILocation(line: 10, column: 5, scope: !20)
105!31 = !DILocation(line: 11, column: 5, scope: !20)
106!32 = !DILocation(line: 12, column: 3, scope: !10)
107; Manually modified like !17 above
108!33 = !DILocalVariable(name: "this", line: 7, arg: 1, scope: !23, file: !3, type: !21)
109!34 = !DILocation(line: 7, column: 11, scope: !23)
110!35 = !DILocation(line: 7, column: 19, scope: !36)
111!36 = distinct !DILexicalBlock(line: 7, column: 17, file: !38, scope: !23)
112!38 = !DIFile(filename: "one.cc", directory: "/tmp")
113!39 = !{}
114!40 = !{i32 1, !"Debug Info Version", i32 3}
115