1 ; RUN: llc -mtriple=x86_64-apple-darwin -O0 -filetype=obj -o %t < %s 2 ; RUN: llvm-dwarfdump -debug-dump=info %t | FileCheck %s 3 ; <rdar://problem/12566646> 4 5 %struct.foo = type { i32, [1 x i32] } 6 %struct.bar = type { i32, [0 x i32] } 7 8 define i32 @func() nounwind uwtable ssp !dbg !5 { 9 entry: 10 %my_foo = alloca %struct.foo, align 4 11 %my_bar = alloca %struct.bar, align 4 12 call void @llvm.dbg.declare(metadata %struct.foo* %my_foo, metadata !10, metadata !DIExpression()), !dbg !19 13 call void @llvm.dbg.declare(metadata %struct.bar* %my_bar, metadata !20, metadata !DIExpression()), !dbg !28 14 %a = getelementptr inbounds %struct.foo, %struct.foo* %my_foo, i32 0, i32 0, !dbg !29 15 store i32 3, i32* %a, align 4, !dbg !29 16 %a1 = getelementptr inbounds %struct.bar, %struct.bar* %my_bar, i32 0, i32 0, !dbg !30 17 store i32 5, i32* %a1, align 4, !dbg !30 18 %a2 = getelementptr inbounds %struct.foo, %struct.foo* %my_foo, i32 0, i32 0, !dbg !31 19 %0 = load i32, i32* %a2, align 4, !dbg !31 20 %a3 = getelementptr inbounds %struct.bar, %struct.bar* %my_bar, i32 0, i32 0, !dbg !31 21 %1 = load i32, i32* %a3, align 4, !dbg !31 22 %add = add nsw i32 %0, %1, !dbg !31 23 ret i32 %add, !dbg !31 24 } 25 26 declare void @llvm.dbg.declare(metadata, metadata, metadata) nounwind readnone 27 28 ; CHECK: DW_TAG_base_type 29 ; CHECK-NEXT: DW_AT_name [DW_FORM_strp] ( .debug_str[{{.*}}] = "int") 30 ; CHECK-NEXT: DW_AT_encoding [DW_FORM_data1] (DW_ATE_signed) 31 ; CHECK-NEXT: DW_AT_byte_size [DW_FORM_data1] (0x04) 32 33 ; int foo::b[1]: 34 ; CHECK: DW_TAG_structure_type 35 ; CHECK: DW_AT_name{{.*}}"foo" 36 ; CHECK: DW_TAG_member 37 ; CHECK: DW_TAG_member 38 ; CHECK-NEXT: DW_AT_name [DW_FORM_strp] ( .debug_str[{{.*}}] = "b") 39 ; CHECK-NEXT: DW_AT_type [DW_FORM_ref4] 40 41 ; int[1]: 42 ; CHECK: DW_TAG_array_type [{{.*}}] * 43 ; CHECK-NEXT: DW_AT_type [DW_FORM_ref4] 44 ; CHECK: DW_TAG_subrange_type [{{.*}}] 45 ; CHECK-NEXT: DW_AT_type [DW_FORM_ref4] 46 ; CHECK-NEXT: DW_AT_count [DW_FORM_data1] (0x01) 47 48 ; int bar::b[0]: 49 ; CHECK: DW_TAG_structure_type 50 ; CHECK: DW_AT_name{{.*}}"bar" 51 ; CHECK: DW_TAG_member 52 ; CHECK: DW_TAG_member 53 ; CHECK-NEXT: DW_AT_name [DW_FORM_strp] ( .debug_str[{{.*}}] = "b") 54 ; CHECK-NEXT: DW_AT_type [DW_FORM_ref4] 55 56 ; int[0]: 57 ; CHECK: DW_TAG_array_type [{{.*}}] * 58 ; CHECK-NEXT: DW_AT_type [DW_FORM_ref4] 59 ; CHECK: DW_TAG_subrange_type 60 ; CHECK-NEXT: DW_AT_type [DW_FORM_ref4] 61 ; CHECK: DW_AT_count [DW_FORM_data1] (0x00) 62 63 !llvm.dbg.cu = !{!0} 64 !llvm.module.flags = !{!33} 65 66 !0 = distinct !DICompileUnit(language: DW_LANG_C99, producer: "clang version 3.3 (trunk 169136)", isOptimized: false, emissionKind: FullDebug, file: !32, enums: !1, retainedTypes: !1, globals: !1, imports: !1) 67 !1 = !{} 68 !5 = distinct !DISubprogram(name: "func", line: 11, isLocal: false, isDefinition: true, virtualIndex: 6, isOptimized: false, unit: !0, scopeLine: 11, file: !6, scope: !6, type: !7, variables: !1) 69 !6 = !DIFile(filename: "test.c", directory: "/Volumes/Sandbox/llvm") 70 !7 = !DISubroutineType(types: !8) 71 !8 = !{!9} 72 !9 = !DIBasicType(tag: DW_TAG_base_type, name: "int", size: 32, align: 32, encoding: DW_ATE_signed) 73 !10 = !DILocalVariable(name: "my_foo", line: 12, scope: !11, file: !6, type: !12) 74 !11 = distinct !DILexicalBlock(line: 11, column: 0, file: !6, scope: !5) 75 !12 = !DICompositeType(tag: DW_TAG_structure_type, name: "foo", line: 1, size: 64, align: 32, file: !32, elements: !13) 76 !13 = !{!14, !15} 77 !14 = !DIDerivedType(tag: DW_TAG_member, name: "a", line: 2, size: 32, align: 32, file: !32, scope: !12, baseType: !9) 78 !15 = !DIDerivedType(tag: DW_TAG_member, name: "b", line: 3, size: 32, align: 32, offset: 32, file: !32, scope: !12, baseType: !16) 79 !16 = !DICompositeType(tag: DW_TAG_array_type, size: 32, align: 32, baseType: !9, elements: !17) 80 !17 = !{!18} 81 !18 = !DISubrange(count: 1) 82 !19 = !DILocation(line: 12, scope: !11) 83 !20 = !DILocalVariable(name: "my_bar", line: 13, scope: !11, file: !6, type: !21) 84 !21 = !DICompositeType(tag: DW_TAG_structure_type, name: "bar", line: 6, size: 32, align: 32, file: !32, elements: !22) 85 !22 = !{!23, !24} 86 !23 = !DIDerivedType(tag: DW_TAG_member, name: "a", line: 7, size: 32, align: 32, file: !32, scope: !21, baseType: !9) 87 !24 = !DIDerivedType(tag: DW_TAG_member, name: "b", line: 8, align: 32, offset: 32, file: !32, scope: !21, baseType: !25) 88 !25 = !DICompositeType(tag: DW_TAG_array_type, align: 32, baseType: !9, elements: !26) 89 !26 = !{!27} 90 !27 = !DISubrange(count: 0) 91 !28 = !DILocation(line: 13, scope: !11) 92 !29 = !DILocation(line: 15, scope: !11) 93 !30 = !DILocation(line: 16, scope: !11) 94 !31 = !DILocation(line: 17, scope: !11) 95 !32 = !DIFile(filename: "test.c", directory: "/Volumes/Sandbox/llvm") 96 !33 = !{i32 1, !"Debug Info Version", i32 3} 97
