1 ; RUN: llc %s -o %t -filetype=obj -O0 -mtriple=x86_64-unknown-linux-gnu -dwarf-version=4 2 ; RUN: llvm-dwarfdump -debug-dump=info %t | FileCheck %s -check-prefix=PRESENT 3 ; RUN: llvm-dwarfdump -debug-dump=info %t | FileCheck %s -check-prefix=ABSENT 4 ; RUN: llc %s -o %t -filetype=obj -O0 -mtriple=x86_64-apple-darwin -dwarf-version=4 5 ; RUN: llvm-dwarfdump -debug-dump=info %t | FileCheck %s -check-prefix=DARWINP 6 ; RUN: llvm-dwarfdump -debug-dump=info %t | FileCheck %s -check-prefix=DARWINA 7 ; Verify that attributes we do want are PRESENT; 8 ; verify that attributes we don't want are ABSENT. 9 ; It's a lot easier to do this in two passes than in one. 10 ; PR14471 11 12 ; LLVM IR generated using: clang -emit-llvm -S -g 13 ; (with the Clang part of this patch applied). 14 ; 15 ; class C 16 ; { 17 ; static int a; 18 ; const static bool const_a = true; 19 ; protected: 20 ; static int b; 21 ; const static float const_b = 3.14; 22 ; public: 23 ; static int c; 24 ; const static int const_c = 18; 25 ; int d; 26 ; }; 27 ; 28 ; int C::a = 4; 29 ; int C::b = 2; 30 ; int C::c = 1; 31 ; 32 ; int main() 33 ; { 34 ; C instance_C; 35 ; instance_C.d = 8; 36 ; return C::c; 37 ; } 38 39 %class.C = type { i32 } 40 41 @_ZN1C1aE = global i32 4, align 4 42 @_ZN1C1bE = global i32 2, align 4 43 @_ZN1C1cE = global i32 1, align 4 44 45 define i32 @main() nounwind uwtable !dbg !5 { 46 entry: 47 %retval = alloca i32, align 4 48 %instance_C = alloca %class.C, align 4 49 store i32 0, i32* %retval 50 call void @llvm.dbg.declare(metadata %class.C* %instance_C, metadata !29, metadata !DIExpression()), !dbg !30 51 %d = getelementptr inbounds %class.C, %class.C* %instance_C, i32 0, i32 0, !dbg !31 52 store i32 8, i32* %d, align 4, !dbg !31 53 %0 = load i32, i32* @_ZN1C1cE, align 4, !dbg !32 54 ret i32 %0, !dbg !32 55 } 56 57 declare void @llvm.dbg.declare(metadata, metadata, metadata) nounwind readnone 58 59 !llvm.dbg.cu = !{!0} 60 !llvm.module.flags = !{!34} 61 62 !0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, producer: "clang version 3.3 (trunk 171914)", isOptimized: false, emissionKind: FullDebug, file: !33, enums: !1, retainedTypes: !1, globals: !10, imports: !1) 63 !1 = !{} 64 !5 = distinct !DISubprogram(name: "main", line: 18, isLocal: false, isDefinition: true, virtualIndex: 6, flags: DIFlagPrototyped, isOptimized: false, unit: !0, scopeLine: 23, file: !33, scope: !6, type: !7, variables: !1) 65 !6 = !DIFile(filename: "/usr/local/google/home/blaikie/Development/llvm/src/tools/clang/test/CodeGenCXX/debug-info-static-member.cpp", directory: "/home/blaikie/local/Development/llvm/build/clang/x86-64/Debug/llvm") 66 !7 = !DISubroutineType(types: !8) 67 !8 = !{!9} 68 !9 = !DIBasicType(tag: DW_TAG_base_type, name: "int", size: 32, align: 32, encoding: DW_ATE_signed) 69 !10 = !{!12, !27, !28} 70 !12 = !DIGlobalVariable(name: "a", linkageName: "_ZN1C1aE", line: 14, isLocal: false, isDefinition: true, scope: null, file: !6, type: !9, variable: i32* @_ZN1C1aE, declaration: !15) 71 !13 = !DICompositeType(tag: DW_TAG_class_type, name: "C", line: 1, size: 32, align: 32, file: !33, elements: !14) 72 !14 = !{!15, !16, !19, !20, !23, !24, !26} 73 !15 = !DIDerivedType(tag: DW_TAG_member, name: "a", line: 3, flags: DIFlagPrivate | DIFlagStaticMember, file: !33, scope: !13, baseType: !9) 74 !16 = !DIDerivedType(tag: DW_TAG_member, name: "const_a", line: 4, flags: DIFlagPrivate | DIFlagStaticMember, file: !33, scope: !13, baseType: !17, extraData: i1 true) 75 !17 = !DIDerivedType(tag: DW_TAG_const_type, baseType: !18) 76 !18 = !DIBasicType(tag: DW_TAG_base_type, name: "bool", size: 8, align: 8, encoding: DW_ATE_boolean) 77 !19 = !DIDerivedType(tag: DW_TAG_member, name: "b", line: 6, flags: DIFlagProtected | DIFlagStaticMember, file: !33, scope: !13, baseType: !9) 78 !20 = !DIDerivedType(tag: DW_TAG_member, name: "const_b", line: 7, flags: DIFlagProtected | DIFlagStaticMember, file: !33, scope: !13, baseType: !21, extraData: float 0x40091EB860000000) 79 !21 = !DIDerivedType(tag: DW_TAG_const_type, baseType: !22) 80 !22 = !DIBasicType(tag: DW_TAG_base_type, name: "float", size: 32, align: 32, encoding: DW_ATE_float) 81 !23 = !DIDerivedType(tag: DW_TAG_member, name: "c", line: 9, flags: DIFlagPublic | DIFlagStaticMember, file: !33, scope: !13, baseType: !9) 82 !24 = !DIDerivedType(tag: DW_TAG_member, name: "const_c", line: 10, flags: DIFlagPublic | DIFlagStaticMember, file: !33, scope: !13, baseType: !25, extraData: i32 18) 83 !25 = !DIDerivedType(tag: DW_TAG_const_type, baseType: !9) 84 !26 = !DIDerivedType(tag: DW_TAG_member, name: "d", line: 11, size: 32, align: 32, flags: DIFlagPublic, file: !33, scope: !13, baseType: !9) 85 !27 = !DIGlobalVariable(name: "b", linkageName: "_ZN1C1bE", line: 15, isLocal: false, isDefinition: true, scope: null, file: !6, type: !9, variable: i32* @_ZN1C1bE, declaration: !19) 86 !28 = !DIGlobalVariable(name: "c", linkageName: "_ZN1C1cE", line: 16, isLocal: false, isDefinition: true, scope: null, file: !6, type: !9, variable: i32* @_ZN1C1cE, declaration: !23) 87 !29 = !DILocalVariable(name: "instance_C", line: 20, scope: !5, file: !6, type: !13) 88 !30 = !DILocation(line: 20, scope: !5) 89 !31 = !DILocation(line: 21, scope: !5) 90 !32 = !DILocation(line: 22, scope: !5) 91 !33 = !DIFile(filename: "/usr/local/google/home/blaikie/Development/llvm/src/tools/clang/test/CodeGenCXX/debug-info-static-member.cpp", directory: "/home/blaikie/local/Development/llvm/build/clang/x86-64/Debug/llvm") 92 ; PRESENT verifies that static member declarations have these attributes: 93 ; external, declaration, accessibility, and either DW_AT_linkage_name 94 ; (for variables) or DW_AT_const_value (for constants). 95 ; 96 ; PRESENT: .debug_info contents: 97 ; PRESENT: DW_TAG_variable 98 ; PRESENT-NEXT: DW_AT_specification {{.*}} "a" 99 ; PRESENT-NEXT: DW_AT_location 100 ; PRESENT-NEXT: DW_AT_linkage_name {{.*}} "_ZN1C1aE" 101 ; PRESENT: DW_TAG_class_type 102 ; PRESENT-NEXT: DW_AT_name {{.*}} "C" 103 ; PRESENT: DW_TAG_member 104 ; PRESENT-NEXT: DW_AT_name {{.*}} "a" 105 ; PRESENT: DW_AT_external 106 ; PRESENT: DW_AT_declaration 107 ; PRESENT: DW_AT_accessibility [DW_FORM_data1] (DW_ACCESS_private) 108 ; PRESENT: DW_TAG_member 109 ; PRESENT-NEXT: DW_AT_name {{.*}} "const_a" 110 ; PRESENT: DW_AT_external 111 ; PRESENT: DW_AT_declaration 112 ; PRESENT: DW_AT_accessibility [DW_FORM_data1] (DW_ACCESS_private) 113 ; PRESENT: DW_AT_const_value {{.*}} (1) 114 ; PRESENT: DW_TAG_member 115 ; PRESENT-NEXT: DW_AT_name {{.*}} "b" 116 ; PRESENT: DW_AT_accessibility [DW_FORM_data1] (DW_ACCESS_protected) 117 ; PRESENT: DW_TAG_member 118 ; PRESENT-NEXT: DW_AT_name {{.*}} "const_b" 119 ; PRESENT: DW_AT_accessibility [DW_FORM_data1] (DW_ACCESS_protected) 120 ; PRESENT: DW_AT_const_value [DW_FORM_udata] (1078523331) 121 ; PRESENT: DW_TAG_member 122 ; PRESENT-NEXT: DW_AT_name {{.*}} "c" 123 ; PRESENT: DW_AT_accessibility [DW_FORM_data1] (DW_ACCESS_public) 124 ; PRESENT: DW_TAG_member 125 ; PRESENT-NEXT: DW_AT_name {{.*}} "const_c" 126 ; PRESENT: DW_AT_accessibility [DW_FORM_data1] (DW_ACCESS_public) 127 ; PRESENT: DW_AT_const_value {{.*}} (18) 128 ; While we're here, a normal member has data_member_location and 129 ; accessibility attributes. 130 ; PRESENT: DW_TAG_member 131 ; PRESENT-NEXT: DW_AT_name {{.*}} "d" 132 ; PRESENT: DW_AT_data_member_location 133 ; PRESENT: DW_AT_accessibility [DW_FORM_data1] (DW_ACCESS_public) 134 ; PRESENT: NULL 135 ; Definitions point back to their declarations, and have a location. 136 ; PRESENT: DW_TAG_variable 137 ; PRESENT-NEXT: DW_AT_specification {{.*}} "b" 138 ; PRESENT-NEXT: DW_AT_location 139 ; PRESENT-NEXT: DW_AT_linkage_name {{.*}} "_ZN1C1bE" 140 ; PRESENT: DW_TAG_variable 141 ; PRESENT-NEXT: DW_AT_specification {{.*}} "c" 142 ; PRESENT-NEXT: DW_AT_location 143 ; PRESENT-NEXT: DW_AT_linkage_name {{.*}} "_ZN1C1cE" 144 145 ; For Darwin gdb: 146 ; DARWINP: .debug_info contents: 147 ; DARWINP: DW_TAG_variable 148 ; DARWINP-NEXT: DW_AT_specification {{.*}} "a" 149 ; DARWINP-NEXT: DW_AT_location 150 ; DARWINP-NEXT: DW_AT_linkage_name {{.*}} "_ZN1C1aE" 151 ; DARWINP: DW_TAG_class_type 152 ; DARWINP-NEXT: DW_AT_name {{.*}} "C" 153 ; DARWINP: DW_TAG_member 154 ; DARWINP-NEXT: DW_AT_name {{.*}} "a" 155 ; DARWINP: DW_AT_external 156 ; DARWINP: DW_AT_declaration 157 ; DARWINP: DW_AT_accessibility [DW_FORM_data1] (DW_ACCESS_private) 158 ; DARWINP: DW_TAG_member 159 ; DARWINP-NEXT: DW_AT_name {{.*}} "const_a" 160 ; DARWINP: DW_AT_external 161 ; DARWINP: DW_AT_declaration 162 ; DARWINP: DW_AT_accessibility [DW_FORM_data1] (DW_ACCESS_private) 163 ; DARWINP: DW_AT_const_value {{.*}} (1) 164 ; DARWINP: DW_TAG_member 165 ; DARWINP-NEXT: DW_AT_name {{.*}} "b" 166 ; DARWINP: DW_AT_accessibility [DW_FORM_data1] (DW_ACCESS_protected) 167 ; DARWINP: DW_TAG_member 168 ; DARWINP-NEXT: DW_AT_name {{.*}} "const_b" 169 ; DARWINP: DW_AT_accessibility [DW_FORM_data1] (DW_ACCESS_protected) 170 ; DARWINP: DW_AT_const_value [DW_FORM_udata] (1078523331) 171 ; DARWINP: DW_TAG_member 172 ; DARWINP-NEXT: DW_AT_name {{.*}} "c" 173 ; DARWINP: DW_AT_accessibility [DW_FORM_data1] (DW_ACCESS_public) 174 ; DARWINP: DW_TAG_member 175 ; DARWINP-NEXT: DW_AT_name {{.*}} "const_c" 176 ; DARWINP: DW_AT_accessibility [DW_FORM_data1] (DW_ACCESS_public) 177 ; DARWINP: DW_AT_const_value {{.*}} (18) 178 ; While we're here, a normal member has data_member_location and 179 ; accessibility attributes. 180 ; DARWINP: DW_TAG_member 181 ; DARWINP-NEXT: DW_AT_name {{.*}} "d" 182 ; DARWINP: DW_AT_data_member_location 183 ; DARWINP: DW_AT_accessibility [DW_FORM_data1] (DW_ACCESS_public) 184 ; DARWINP: NULL 185 ; Definitions point back to their declarations, and have a location. 186 ; DARWINP: DW_TAG_variable 187 ; DARWINP-NEXT: DW_AT_specification {{.*}} "b" 188 ; DARWINP-NEXT: DW_AT_location 189 ; DARWINP-NEXT: DW_AT_linkage_name {{.*}} "_ZN1C1bE" 190 ; DARWINP: DW_TAG_variable 191 ; DARWINP-NEXT: DW_AT_specification {{.*}} "c" 192 ; DARWINP-NEXT: DW_AT_location 193 ; DARWINP-NEXT: DW_AT_linkage_name {{.*}} "_ZN1C1cE" 194 195 ; ABSENT verifies that static member declarations do not have either 196 ; DW_AT_location or DW_AT_data_member_location; also, variables do not 197 ; have DW_AT_const_value and constants do not have DW_AT_linkage_name. 198 ; 199 ; ABSENT: .debug_info contents: 200 ; ABSENT: DW_TAG_member 201 ; ABSENT: DW_AT_name {{.*}} "a" 202 ; ABSENT-NOT: DW_AT_const_value 203 ; ABSENT-NOT: location 204 ; ABSENT: DW_AT_name {{.*}} "const_a" 205 ; ABSENT-NOT: DW_AT_linkage_name 206 ; ABSENT-NOT: location 207 ; ABSENT: DW_AT_name {{.*}} "b" 208 ; ABSENT-NOT: DW_AT_const_value 209 ; ABSENT-NOT: location 210 ; ABSENT: DW_AT_name {{.*}} "const_b" 211 ; ABSENT-NOT: DW_AT_linkage_name 212 ; ABSENT-NOT: location 213 ; ABSENT: DW_AT_name {{.*}} "c" 214 ; ABSENT-NOT: DW_AT_const_value 215 ; ABSENT-NOT: location 216 ; ABSENT: DW_AT_name {{.*}} "const_c" 217 ; ABSENT-NOT: DW_AT_linkage_name 218 ; ABSENT-NOT: location 219 ; While we're here, a normal member does not have a linkage name, constant 220 ; value, or DW_AT_location. 221 ; ABSENT: DW_AT_name {{.*}} "d" 222 ; ABSENT-NOT: DW_AT_linkage_name 223 ; ABSENT-NOT: DW_AT_const_value 224 ; ABSENT-NOT: DW_AT_location 225 ; ABSENT: NULL 226 227 ; For Darwin gdb: 228 ; DARWINA: .debug_info contents: 229 ; DARWINA: DW_TAG_member 230 ; DARWINA: DW_AT_name {{.*}} "a" 231 ; DARWINA-NOT: DW_AT_const_value 232 ; DARWINA-NOT: location 233 ; DARWINA: DW_AT_name {{.*}} "const_a" 234 ; DARWINA-NOT: DW_AT_linkage_name 235 ; DARWINA-NOT: location 236 ; DARWINA: DW_AT_name {{.*}} "b" 237 ; DARWINA-NOT: DW_AT_const_value 238 ; DARWINA-NOT: location 239 ; DARWINA: DW_AT_name {{.*}} "const_b" 240 ; DARWINA-NOT: DW_AT_linkage_name 241 ; DARWINA-NOT: location 242 ; DARWINA: DW_AT_name {{.*}} "c" 243 ; DARWINA-NOT: DW_AT_const_value 244 ; DARWINA-NOT: location 245 ; DARWINA: DW_AT_name {{.*}} "const_c" 246 ; DARWINA-NOT: DW_AT_linkage_name 247 ; DARWINA-NOT: location 248 ; While we're here, a normal member does not have a linkage name, constant 249 ; value, or DW_AT_location. 250 ; DARWINA: DW_AT_name {{.*}} "d" 251 ; DARWINA-NOT: DW_AT_linkage_name 252 ; DARWINA-NOT: DW_AT_const_value 253 ; DARWINA-NOT: DW_AT_location 254 ; DARWINA: NULL 255 !34 = !{i32 1, !"Debug Info Version", i32 3} 256
