test/DebugInfo/COFF/types-array-advanced.ll

   1 ; RUN: llc < %s -filetype=obj | llvm-readobj - -codeview | FileCheck %s
   2
   3 ; C++ source to regenerate:
   4 ; $ cat t.cpp
   5 ; char multi_dim_arr[2][5][7];
   6 ;
   7 ; struct incomplete_struct(*p_incomplete_struct_arr)[3];
   8 ; struct incomplete_struct {
   9 ;   int s1;
  10 ; } incomplete_struct_arr[3];
  11 ;
  12 ; void foo(int x) {
  13 ;   int dyn_size_arr[x];
  14 ;   dyn_size_arr[0] = 0;
  15 ; }
  16 ;
  17 ; typedef const volatile int T_INT;
  18 ; T_INT typedef_arr[4] = {0};
  19 ; $ clang t.cpp -S -emit-llvm -g -gcodeview -o t.ll
  20
  21 ; CHECK: CodeViewTypes [
  22 ; CHECK:   Section: .debug$T (6)
  23 ; CHECK:   Magic: 0x4
  24 ; CHECK:   ArgList (0x1000) {
  25 ; CHECK:     TypeLeafKind: LF_ARGLIST (0x1201)
  26 ; CHECK:     NumArgs: 1
  27 ; CHECK:     Arguments [
  28 ; CHECK:       ArgType: int (0x74)
  29 ; CHECK:     ]
  30 ; CHECK:   }
  31 ; CHECK:   Procedure (0x1001) {
  32 ; CHECK:     TypeLeafKind: LF_PROCEDURE (0x1008)
  33 ; CHECK:     ReturnType: void (0x3)
  34 ; CHECK:     CallingConvention: NearC (0x0)
  35 ; CHECK:     FunctionOptions [ (0x0)
  36 ; CHECK:     ]
  37 ; CHECK:     NumParameters: 1
  38 ; CHECK:     ArgListType: (int) (0x1000)
  39 ; CHECK:   }
  40 ; CHECK:   FuncId (0x1002) {
  41 ; CHECK:     TypeLeafKind: LF_FUNC_ID (0x1601)
  42 ; CHECK:     ParentScope: 0x0
  43 ; CHECK:     FunctionType: void (int) (0x1001)
  44 ; CHECK:     Name: foo
  45 ; CHECK:   }
  46 ; CHECK:   Array (0x1003) {
  47 ; CHECK:     TypeLeafKind: LF_ARRAY (0x1503)
  48 ; CHECK:     ElementType: int (0x74)
  49 ; CHECK:     IndexType: unsigned long (0x22)
  50 ; CHECK:     SizeOf: 0
  51 ; CHECK:     Name:
  52 ; CHECK:   }
  53 ; CHECK:   Pointer (0x1004) {
  54 ; CHECK:     TypeLeafKind: LF_POINTER (0x1002)
  55 ; CHECK:     PointeeType: 0x1003
  56 ; CHECK:     PtrType: Near32 (0xA)
  57 ; CHECK:     PtrMode: LValueReference (0x1)
  58 ; CHECK:     IsFlat: 0
  59 ; CHECK:     IsConst: 0
  60 ; CHECK:     IsVolatile: 0
  61 ; CHECK:     IsUnaligned: 0
  62 ; CHECK:     SizeOf: 0
  63 ; CHECK:   }
  64 ; CHECK:   Array (0x1005) {
  65 ; CHECK:     TypeLeafKind: LF_ARRAY (0x1503)
  66 ; CHECK:     ElementType: char (0x70)
  67 ; CHECK:     IndexType: unsigned long (0x22)
  68 ; CHECK:     SizeOf: 7
  69 ; CHECK:     Name:
  70 ; CHECK:   }
  71 ; CHECK:   Array (0x1006) {
  72 ; CHECK:     TypeLeafKind: LF_ARRAY (0x1503)
  73 ; CHECK:     ElementType: 0x1005
  74 ; CHECK:     IndexType: unsigned long (0x22)
  75 ; CHECK:     SizeOf: 35
  76 ; CHECK:     Name:
  77 ; CHECK:   }
  78 ; CHECK:   Array (0x1007) {
  79 ; CHECK:     TypeLeafKind: LF_ARRAY (0x1503)
  80 ; CHECK:     ElementType: 0x1006
  81 ; CHECK:     IndexType: unsigned long (0x22)
  82 ; CHECK:     SizeOf: 70
  83 ; CHECK:     Name:
  84 ; CHECK:   }
  85 ; CHECK:   Struct (0x1008) {
  86 ; CHECK:     TypeLeafKind: LF_STRUCTURE (0x1505)
  87 ; CHECK:     MemberCount: 0
  88 ; CHECK:     Properties [ (0x280)
  89 ; CHECK:       ForwardReference (0x80)
  90 ; CHECK:       HasUniqueName (0x200)
  91 ; CHECK:     ]
  92 ; CHECK:     FieldList: 0x0
  93 ; CHECK:     DerivedFrom: 0x0
  94 ; CHECK:     VShape: 0x0
  95 ; CHECK:     SizeOf: 0
  96 ; CHECK:     Name: incomplete_struct
  97 ; CHECK:     LinkageName: .?AUincomplete_struct@@
  98 ; CHECK:   }
  99 ; CHECK:   Array (0x1009) {
 100 ; CHECK:     TypeLeafKind: LF_ARRAY (0x1503)
 101 ; CHECK:     ElementType: incomplete_struct (0x1008)
 102 ; CHECK:     IndexType: unsigned long (0x22)
 103 ; CHECK:     SizeOf: 12
 104 ; CHECK:     Name:
 105 ; CHECK:   }
 106 ; CHECK:   Pointer (0x100A) {
 107 ; CHECK:     TypeLeafKind: LF_POINTER (0x1002)
 108 ; CHECK:     PointeeType: 0x1009
 109 ; CHECK:     PtrType: Near32 (0xA)
 110 ; CHECK:     PtrMode: Pointer (0x0)
 111 ; CHECK:     IsFlat: 0
 112 ; CHECK:     IsConst: 0
 113 ; CHECK:     IsVolatile: 0
 114 ; CHECK:     IsUnaligned: 0
 115 ; CHECK:     SizeOf: 4
 116 ; CHECK:   }
 117 ; CHECK:   FieldList (0x100B) {
 118 ; CHECK:     TypeLeafKind: LF_FIELDLIST (0x1203)
 119 ; CHECK:     DataMember {
 120 ; CHECK:       TypeLeafKind: LF_MEMBER (0x150D)
 121 ; CHECK:       AccessSpecifier: Public (0x3)
 122 ; CHECK:       Type: int (0x74)
 123 ; CHECK:       FieldOffset: 0x0
 124 ; CHECK:       Name: s1
 125 ; CHECK:     }
 126 ; CHECK:   }
 127 ; CHECK:   Struct (0x100C) {
 128 ; CHECK:     TypeLeafKind: LF_STRUCTURE (0x1505)
 129 ; CHECK:     MemberCount: 1
 130 ; CHECK:     Properties [ (0x200)
 131 ; CHECK:       HasUniqueName (0x200)
 132 ; CHECK:     ]
 133 ; CHECK:     FieldList: <field list> (0x100B)
 134 ; CHECK:     DerivedFrom: 0x0
 135 ; CHECK:     VShape: 0x0
 136 ; CHECK:     SizeOf: 4
 137 ; CHECK:     Name: incomplete_struct
 138 ; CHECK:     LinkageName: .?AUincomplete_struct@@
 139 ; CHECK:   }
 140 ; CHECK:   StringId (0x100D) {
 141 ; CHECK:     TypeLeafKind: LF_STRING_ID (0x1605)
 142 ; CHECK:     Id: 0x0
 143 ; CHECK:     StringData: /t.cpp
 144 ; CHECK:   }
 145 ; CHECK:   UdtSourceLine (0x100E) {
 146 ; CHECK:     TypeLeafKind: LF_UDT_SRC_LINE (0x1606)
 147 ; CHECK:     UDT: incomplete_struct (0x100C)
 148 ; CHECK:     SourceFile: /t.cpp (0x100D)
 149 ; CHECK:     LineNumber: 4
 150 ; CHECK:   }
 151 ; CHECK:   Modifier (0x100F) {
 152 ; CHECK:     TypeLeafKind: LF_MODIFIER (0x1001)
 153 ; CHECK:     ModifiedType: int (0x74)
 154 ; CHECK:     Modifiers [ (0x3)
 155 ; CHECK:       Const (0x1)
 156 ; CHECK:       Volatile (0x2)
 157 ; CHECK:     ]
 158 ; CHECK:   }
 159 ; CHECK:   Array (0x1010) {
 160 ; CHECK:     TypeLeafKind: LF_ARRAY (0x1503)
 161 ; CHECK:     ElementType: const volatile int (0x100F)
 162 ; CHECK:     IndexType: unsigned long (0x22)
 163 ; CHECK:     SizeOf: 16
 164 ; CHECK:     Name:
 165 ; CHECK:   }
 166 ; CHECK: ]
 167
 168 source_filename = "test/DebugInfo/COFF/types-array-advanced.ll"
 169 target datalayout = "e-m:x-p:32:32-i64:64-f80:32-n8:16:32-a:0:32-S32"
 170 target triple = "i686-pc-windows-msvc18.0.31101"
 171
 172 %struct.incomplete_struct = type { i32 }
 173
 174 @"\01?multi_dim_arr@@3PAY146DA" = global [2 x [5 x [7 x i8]]] zeroinitializer, align 1, !dbg !0
 175 @"\01?p_incomplete_struct_arr@@3PAY02Uincomplete_struct@@A" = global [3 x i8]* null, align 4, !dbg !6
 176 @"\01?incomplete_struct_arr@@3PAUincomplete_struct@@A" = global [3 x %struct.incomplete_struct] zeroinitializer, align 4, !dbg !16
 177 @"\01?typedef_arr@@3SDHD" = constant [4 x i32] zeroinitializer, align 4, !dbg !18
 178
 179 ; Function Attrs: nounwind
 180 define void @"\01?foo@@YAXH@Z"(i32 %x) #0 !dbg !35 {
 181 entry:
 182   %x.addr = alloca i32, align 4
 183   %saved_stack = alloca i8*, align 4
 184   store i32 %x, i32* %x.addr, align 4
 185   call void @llvm.dbg.declare(metadata i32* %x.addr, metadata !38, metadata !39), !dbg !40
 186   %0 = load i32, i32* %x.addr, align 4, !dbg !41
 187   %1 = call i8* @llvm.stacksave(), !dbg !42
 188   store i8* %1, i8** %saved_stack, align 4, !dbg !42
 189   %vla = alloca i32, i32 %0, align 4, !dbg !42
 190   call void @llvm.dbg.declare(metadata i32* %vla, metadata !43, metadata !47), !dbg !48
 191   %arrayidx = getelementptr inbounds i32, i32* %vla, i32 0, !dbg !49
 192   store i32 0, i32* %arrayidx, align 4, !dbg !50
 193   %2 = load i8*, i8** %saved_stack, align 4, !dbg !51
 194   call void @llvm.stackrestore(i8* %2), !dbg !51
 195   ret void, !dbg !51
 196 }
 197
 198 ; Function Attrs: nounwind readnone
 199 declare void @llvm.dbg.declare(metadata, metadata, metadata) #1
 200
 201 ; Function Attrs: nounwind
 202 declare i8* @llvm.stacksave() #0
 203
 204 ; Function Attrs: nounwind
 205 declare void @llvm.stackrestore(i8*) #0
 206
 207 attributes #0 = { nounwind }
 208 attributes #1 = { nounwind readnone }
 209
 210 !llvm.dbg.cu = !{!2}
 211 !llvm.module.flags = !{!32, !33}
 212 !llvm.ident = !{!34}
 213
 214 !0 = distinct !DIGlobalVariableExpression(var: !1, expr: !DIExpression())
 215 !1 = !DIGlobalVariable(name: "multi_dim_arr", linkageName: "\01?multi_dim_arr@@3PAY146DA", scope: !2, file: !3, line: 1, type: !26, isLocal: false, isDefinition: true)
 216 !2 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, file: !3, producer: "clang version 3.9.0 (trunk 273874)", isOptimized: false, runtimeVersion: 0, emissionKind: FullDebug, enums: !4, globals: !5)
 217 !3 = !DIFile(filename: "t.cpp", directory: "/")
 218 !4 = !{}
 219 !5 = !{!0, !6, !16, !18}
 220 !6 = distinct !DIGlobalVariableExpression(var: !7, expr: !DIExpression())
 221 !7 = !DIGlobalVariable(name: "p_incomplete_struct_arr", linkageName: "\01?p_incomplete_struct_arr@@3PAY02Uincomplete_struct@@A", scope: !2, file: !3, line: 3, type: !8, isLocal: false, isDefinition: true)
 222 !8 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !9, size: 32, align: 32)
 223 !9 = !DICompositeType(tag: DW_TAG_array_type, baseType: !10, elements: !14)
 224 !10 = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "incomplete_struct", file: !3, line: 4, size: 32, align: 32, elements: !11, identifier: ".?AUincomplete_struct@@")
 225 !11 = !{!12}
 226 !12 = !DIDerivedType(tag: DW_TAG_member, name: "s1", scope: !10, file: !3, line: 5, baseType: !13, size: 32, align: 32)
 227 !13 = !DIBasicType(name: "int", size: 32, align: 32, encoding: DW_ATE_signed)
 228 !14 = !{!15}
 229 !15 = !DISubrange(count: 3)
 230 !16 = distinct !DIGlobalVariableExpression(var: !17, expr: !DIExpression())
 231 !17 = !DIGlobalVariable(name: "incomplete_struct_arr", linkageName: "\01?incomplete_struct_arr@@3PAUincomplete_struct@@A", scope: !2, file: !3, line: 6, type: !9, isLocal: false, isDefinition: true)
 232 !18 = distinct !DIGlobalVariableExpression(var: !19, expr: !DIExpression())
 233 !19 = !DIGlobalVariable(name: "typedef_arr", linkageName: "\01?typedef_arr@@3SDHD", scope: !2, file: !3, line: 14, type: !20, isLocal: false, isDefinition: true)
 234 !20 = !DICompositeType(tag: DW_TAG_array_type, baseType: !21, size: 128, align: 32, elements: !24)
 235 !21 = !DIDerivedType(tag: DW_TAG_typedef, name: "T_INT", file: !3, line: 13, baseType: !22)
 236 !22 = !DIDerivedType(tag: DW_TAG_const_type, baseType: !23)
 237 !23 = !DIDerivedType(tag: DW_TAG_volatile_type, baseType: !13)
 238 !24 = !{!25}
 239 !25 = !DISubrange(count: 4)
 240 !26 = !DICompositeType(tag: DW_TAG_array_type, baseType: !27, size: 560, align: 8, elements: !28)
 241 !27 = !DIBasicType(name: "char", size: 8, align: 8, encoding: DW_ATE_signed_char)
 242 !28 = !{!29, !30, !31}
 243 !29 = !DISubrange(count: 2)
 244 !30 = !DISubrange(count: 5)
 245 !31 = !DISubrange(count: 7)
 246 !32 = !{i32 2, !"CodeView", i32 1}
 247 !33 = !{i32 2, !"Debug Info Version", i32 3}
 248 !34 = !{!"clang version 3.9.0 (trunk 273874)"}
 249 !35 = distinct !DISubprogram(name: "foo", linkageName: "\01?foo@@YAXH@Z", scope: !3, file: !3, line: 8, type: !36, isLocal: false, isDefinition: true, scopeLine: 8, flags: DIFlagPrototyped, isOptimized: false, unit: !2, retainedNodes: !4)
 250 !36 = !DISubroutineType(types: !37)
 251 !37 = !{null, !13}
 252 !38 = !DILocalVariable(name: "x", arg: 1, scope: !35, file: !3, line: 8, type: !13)
 253 !39 = !DIExpression()
 254 !40 = !DILocation(line: 8, column: 14, scope: !35)
 255 !41 = !DILocation(line: 9, column: 21, scope: !35)
 256 !42 = !DILocation(line: 9, column: 4, scope: !35)
 257 !43 = !DILocalVariable(name: "dyn_size_arr", scope: !35, file: !3, line: 9, type: !44)
 258 !44 = !DICompositeType(tag: DW_TAG_array_type, baseType: !13, align: 32, elements: !45)
 259 !45 = !{!46}
 260 !46 = !DISubrange(count: -1)
 261 !47 = !DIExpression(DW_OP_deref)
 262 !48 = !DILocation(line: 9, column: 8, scope: !35)
 263 !49 = !DILocation(line: 10, column: 4, scope: !35)
 264 !50 = !DILocation(line: 10, column: 20, scope: !35)
 265 !51 = !DILocation(line: 11, column: 1, scope: !35)
 266