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 24 define i32 @main() ssp !dbg !2 { 25 entry: 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 36 declare void @llvm.dbg.declare(metadata, metadata, metadata) nounwind readnone 37 38 define linkonce_odr i32 @_ZN1B2fnEv(%class.A* %this) ssp align 2 !dbg !10 { 39 entry: 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 57 define internal i32 @_ZZN1B2fnEvEN1A3fooEv(%class.A* %this) ssp align 2 !dbg !23 { 58 entry: 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
