1; RUN: llc -filetype=asm -o - %s | FileCheck %s --check-prefix=ASM 2; RUN: llc -filetype=obj -o - %s | llvm-dwarfdump -v --debug-info - | FileCheck %s 3; 4; Generated at -O2 from: 5; struct B; 6; class A { 7; int a1 = 23; 8; int a2 = 42; 9; }; 10; struct B { 11; A a; 12; int b = 48; 13; }; 14; 15; B *getB() { return new B(); } 16; 17; The inlined A::this pointer has the same location as B::this, but it may not be 18; modified by the debugger. 19; 20; ASM: [DW_OP_stack_value] 21; CHECK: DW_AT_location {{.*}} (DW_OP_breg0 RAX+0, DW_OP_stack_value) 22 23source_filename = "ab.cpp" 24target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128" 25target triple = "x86_64-apple-macosx10.12.0" 26 27%struct.B = type { %class.A, i32 } 28%class.A = type { i32, i32 } 29 30; Function Attrs: ssp uwtable 31define noalias nonnull %struct.B* @_Z4getBv() local_unnamed_addr #0 !dbg !7 { 32entry: 33 %call = tail call i8* @_Znwm(i64 12) #3, !dbg !20 34 %0 = bitcast i8* %call to %struct.B*, !dbg !20 35 tail call void @llvm.dbg.value(metadata %struct.B* %0, metadata !21, metadata !28), !dbg !29 36 tail call void @llvm.dbg.value(metadata %struct.B* %0, metadata !31, metadata !28), !dbg !34 37 tail call void @llvm.dbg.value(metadata %struct.B* %0, metadata !36, metadata !44), !dbg !45 38 tail call void @llvm.dbg.value(metadata %struct.B* %0, metadata !47, metadata !44), !dbg !50 39 %a1.i.i.i.i = bitcast i8* %call to i32*, !dbg !52 40 store i32 23, i32* %a1.i.i.i.i, align 4, !dbg !52, !tbaa !53 41 %a2.i.i.i.i = getelementptr inbounds i8, i8* %call, i64 4, !dbg !58 42 %1 = bitcast i8* %a2.i.i.i.i to i32*, !dbg !58 43 store i32 42, i32* %1, align 4, !dbg !58, !tbaa !59 44 %b.i.i = getelementptr inbounds i8, i8* %call, i64 8, !dbg !60 45 %2 = bitcast i8* %b.i.i to i32*, !dbg !60 46 store i32 48, i32* %2, align 4, !dbg !60, !tbaa !61 47 ret %struct.B* %0, !dbg !63 48} 49 50declare noalias nonnull i8* @_Znwm(i64) local_unnamed_addr #1 51declare void @llvm.dbg.value(metadata, metadata, metadata) #2 52 53attributes #0 = { ssp uwtable } 54attributes #1 = { nobuiltin } 55attributes #2 = { nounwind readnone } 56attributes #3 = { builtin } 57 58!llvm.dbg.cu = !{!0} 59!llvm.module.flags = !{!3, !4, !5} 60 61!0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, file: !1, producer: "clang version 5.0.0 (trunk 301093) (llvm/trunk 301093)", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: !2) 62!1 = !DIFile(filename: "ab.cpp", directory: "/") 63!2 = !{} 64!3 = !{i32 2, !"Dwarf Version", i32 4} 65!4 = !{i32 2, !"Debug Info Version", i32 3} 66!5 = !{i32 1, !"PIC Level", i32 2} 67!7 = distinct !DISubprogram(name: "getB", linkageName: "_Z4getBv", scope: !1, file: !1, line: 11, type: !8, isLocal: false, isDefinition: true, scopeLine: 11, flags: DIFlagPrototyped, isOptimized: true, unit: !0, retainedNodes: !2) 68!8 = !DISubroutineType(types: !9) 69!9 = !{!10} 70!10 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !11, size: 64) 71!11 = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "B", file: !1, line: 6, size: 96, elements: !12, identifier: "_ZTS1B") 72!12 = !{!13, !19} 73!13 = !DIDerivedType(tag: DW_TAG_member, name: "a", scope: !11, file: !1, line: 7, baseType: !14, size: 64) 74!14 = distinct !DICompositeType(tag: DW_TAG_class_type, name: "A", file: !1, line: 2, size: 64, elements: !15, identifier: "_ZTS1A") 75!15 = !{!16, !18} 76!16 = !DIDerivedType(tag: DW_TAG_member, name: "a1", scope: !14, file: !1, line: 3, baseType: !17, size: 32) 77!17 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed) 78!18 = !DIDerivedType(tag: DW_TAG_member, name: "a2", scope: !14, file: !1, line: 4, baseType: !17, size: 32, offset: 32) 79!19 = !DIDerivedType(tag: DW_TAG_member, name: "b", scope: !11, file: !1, line: 8, baseType: !17, size: 32, offset: 64) 80!20 = !DILocation(line: 11, column: 20, scope: !7) 81!21 = !DILocalVariable(name: "this", arg: 1, scope: !22, type: !10, flags: DIFlagArtificial | DIFlagObjectPointer) 82!22 = distinct !DISubprogram(name: "B", linkageName: "_ZN1BC1Ev", scope: !11, file: !1, line: 6, type: !23, isLocal: false, isDefinition: true, scopeLine: 6, flags: DIFlagArtificial | DIFlagPrototyped, isOptimized: true, unit: !0, declaration: !26, retainedNodes: !27) 83!23 = !DISubroutineType(types: !24) 84!24 = !{null, !25} 85!25 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !11, size: 64, flags: DIFlagArtificial | DIFlagObjectPointer) 86!26 = !DISubprogram(name: "B", scope: !11, type: !23, isLocal: false, isDefinition: false, flags: DIFlagArtificial | DIFlagPrototyped, isOptimized: true) 87!27 = !{!21} 88!28 = !DIExpression() 89!29 = !DILocation(line: 0, scope: !22, inlinedAt: !30) 90!30 = distinct !DILocation(line: 11, column: 24, scope: !7) 91!31 = !DILocalVariable(name: "this", arg: 1, scope: !32, type: !10, flags: DIFlagArtificial | DIFlagObjectPointer) 92!32 = distinct !DISubprogram(name: "B", linkageName: "_ZN1BC2Ev", scope: !11, file: !1, line: 6, type: !23, isLocal: false, isDefinition: true, scopeLine: 6, flags: DIFlagArtificial | DIFlagPrototyped, isOptimized: true, unit: !0, declaration: !26, retainedNodes: !33) 93!33 = !{!31} 94!34 = !DILocation(line: 0, scope: !32, inlinedAt: !35) 95!35 = distinct !DILocation(line: 6, column: 8, scope: !22, inlinedAt: !30) 96!36 = !DILocalVariable(name: "this", arg: 1, scope: !37, type: !43, flags: DIFlagArtificial | DIFlagObjectPointer) 97!37 = distinct !DISubprogram(name: "A", linkageName: "_ZN1AC1Ev", scope: !14, file: !1, line: 2, type: !38, isLocal: false, isDefinition: true, scopeLine: 2, flags: DIFlagArtificial | DIFlagPrototyped, isOptimized: true, unit: !0, declaration: !41, retainedNodes: !42) 98!38 = !DISubroutineType(types: !39) 99!39 = !{null, !40} 100!40 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !14, size: 64, flags: DIFlagArtificial | DIFlagObjectPointer) 101!41 = !DISubprogram(name: "A", scope: !14, type: !38, isLocal: false, isDefinition: false, flags: DIFlagPublic | DIFlagArtificial | DIFlagPrototyped, isOptimized: true) 102!42 = !{!36} 103!43 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !14, size: 64) 104!44 = !DIExpression(DW_OP_stack_value) 105!45 = !DILocation(line: 0, scope: !37, inlinedAt: !46) 106!46 = distinct !DILocation(line: 6, column: 8, scope: !32, inlinedAt: !35) 107!47 = !DILocalVariable(name: "this", arg: 1, scope: !48, type: !43, flags: DIFlagArtificial | DIFlagObjectPointer) 108!48 = distinct !DISubprogram(name: "A", linkageName: "_ZN1AC2Ev", scope: !14, file: !1, line: 2, type: !38, isLocal: false, isDefinition: true, scopeLine: 2, flags: DIFlagArtificial | DIFlagPrototyped, isOptimized: true, unit: !0, declaration: !41, retainedNodes: !49) 109!49 = !{!47} 110!50 = !DILocation(line: 0, scope: !48, inlinedAt: !51) 111!51 = distinct !DILocation(line: 2, column: 7, scope: !37, inlinedAt: !46) 112!52 = !DILocation(line: 3, column: 7, scope: !48, inlinedAt: !51) 113!53 = !{!54, !55, i64 0} 114!54 = !{!"_ZTS1A", !55, i64 0, !55, i64 4} 115!55 = !{!"int", !56, i64 0} 116!56 = !{!"omnipotent char", !57, i64 0} 117!57 = !{!"Simple C++ TBAA"} 118!58 = !DILocation(line: 4, column: 7, scope: !48, inlinedAt: !51) 119!59 = !{!54, !55, i64 4} 120!60 = !DILocation(line: 8, column: 7, scope: !32, inlinedAt: !35) 121!61 = !{!62, !55, i64 8} 122!62 = !{!"_ZTS1B", !54, i64 0, !55, i64 8} 123!63 = !DILocation(line: 11, column: 13, scope: !7) 124