test/DebugInfo/COFF/type-quals.ll

   1 ; RUN: llc < %s -filetype=obj | llvm-readobj - -codeview | FileCheck %s
   2
   3 ; C++ source to regenerate:
   4 ; $ cat m.cpp
   5 ; union Union {
   6 ;   int * __restrict x_member;
   7 ;   float * __restrict y_member;
   8 ;   int* volatile __restrict m_volatile;
   9 ; };
  10 ;
  11 ; int f(const volatile int* __restrict arg_crv) {
  12 ;   Union u;
  13 ;   const int *p;
  14 ;   const volatile int v = 0;
  15 ;   return 1;
  16 ; }
  17 ;
  18 ; void g(int& __restrict arg_ref) {
  19 ;   const int x = 10;
  20 ;   const char str[] = "abc";
  21 ; }
  22 ;
  23 ; void h() {
  24 ;   struct Foo {
  25 ;     int a;
  26 ;     int func(int x) __restrict { return 1; }
  27 ;   };
  28 ;
  29 ;   Foo s = { 10 };
  30 ;
  31 ;   int* __restrict p_object = &s.a;
  32 ;
  33 ;   int Foo:: * __restrict p_data_member = &Foo::a;
  34 ;
  35 ;   int (Foo::* p_member_func)(int) __restrict = &Foo::func;
  36 ; }
  37 ;
  38 ; $ clang++ m.cpp -S -emit-llvm -g -gcodeview -o m.ll
  39
  40
  41 ; CHECK: CodeViewTypes [
  42 ; CHECK:   Section: .debug$T (7)
  43 ; CHECK:   Magic: 0x4
  44 ; CHECK:   Modifier (0x1000) {
  45 ; CHECK:     TypeLeafKind: LF_MODIFIER (0x1001)
  46 ; CHECK:     ModifiedType: int (0x74)
  47 ; CHECK:     Modifiers [ (0x3)
  48 ; CHECK:       Const (0x1)
  49 ; CHECK:       Volatile (0x2)
  50 ; CHECK:     ]
  51 ; CHECK:   }
  52 ; CHECK:   Pointer (0x1001) {
  53 ; CHECK:     TypeLeafKind: LF_POINTER (0x1002)
  54 ; CHECK:     PointeeType: const volatile int (0x1000)
  55 ; CHECK:     PtrType: Near64 (0xC)
  56 ; CHECK:     PtrMode: Pointer (0x0)
  57 ; CHECK:     IsFlat: 0
  58 ; CHECK:     IsConst: 0
  59 ; CHECK:     IsVolatile: 0
  60 ; CHECK:     IsUnaligned: 0
  61 ; CHECK:     IsRestrict: 1
  62 ; CHECK:     SizeOf: 8
  63 ; CHECK:   }
  64 ; CHECK:   ArgList (0x1002) {
  65 ; CHECK:     TypeLeafKind: LF_ARGLIST (0x1201)
  66 ; CHECK:     NumArgs: 1
  67 ; CHECK:     Arguments [
  68 ; CHECK:       ArgType: const volatile int* __restrict (0x1001)
  69 ; CHECK:     ]
  70 ; CHECK:   }
  71 ; CHECK:   Procedure (0x1003) {
  72 ; CHECK:     TypeLeafKind: LF_PROCEDURE (0x1008)
  73 ; CHECK:     ReturnType: int (0x74)
  74 ; CHECK:     CallingConvention: NearC (0x0)
  75 ; CHECK:     FunctionOptions [ (0x0)
  76 ; CHECK:     ]
  77 ; CHECK:     NumParameters: 1
  78 ; CHECK:     ArgListType: (const volatile int* __restrict) (0x1002)
  79 ; CHECK:   }
  80 ; CHECK:   FuncId (0x1004) {
  81 ; CHECK:     TypeLeafKind: LF_FUNC_ID (0x1601)
  82 ; CHECK:     ParentScope: 0x0
  83 ; CHECK:     FunctionType: int (const volatile int* __restrict) (0x1003)
  84 ; CHECK:     Name: f
  85 ; CHECK:   }
  86 ; CHECK:   Union (0x1005) {
  87 ; CHECK:     TypeLeafKind: LF_UNION (0x1506)
  88 ; CHECK:     MemberCount: 0
  89 ; CHECK:     Properties [ (0x280)
  90 ; CHECK:       ForwardReference (0x80)
  91 ; CHECK:       HasUniqueName (0x200)
  92 ; CHECK:     ]
  93 ; CHECK:     FieldList: 0x0
  94 ; CHECK:     SizeOf: 0
  95 ; CHECK:     Name: Union
  96 ; CHECK:     LinkageName: .?ATUnion@@
  97 ; CHECK:   }
  98 ; CHECK:   Pointer (0x1006) {
  99 ; CHECK:     TypeLeafKind: LF_POINTER (0x1002)
 100 ; CHECK:     PointeeType: int (0x74)
 101 ; CHECK:     PtrType: Near64 (0xC)
 102 ; CHECK:     PtrMode: Pointer (0x0)
 103 ; CHECK:     IsFlat: 0
 104 ; CHECK:     IsConst: 0
 105 ; CHECK:     IsVolatile: 0
 106 ; CHECK:     IsUnaligned: 0
 107 ; CHECK:     IsRestrict: 1
 108 ; CHECK:     SizeOf: 8
 109 ; CHECK:   }
 110 ; CHECK:   Pointer (0x1007) {
 111 ; CHECK:     TypeLeafKind: LF_POINTER (0x1002)
 112 ; CHECK:     PointeeType: float (0x40)
 113 ; CHECK:     PtrType: Near64 (0xC)
 114 ; CHECK:     PtrMode: Pointer (0x0)
 115 ; CHECK:     IsFlat: 0
 116 ; CHECK:     IsConst: 0
 117 ; CHECK:     IsVolatile: 0
 118 ; CHECK:     IsUnaligned: 0
 119 ; CHECK:     IsRestrict: 1
 120 ; CHECK:     SizeOf: 8
 121 ; CHECK:   }
 122 ; CHECK:   Pointer (0x1008) {
 123 ; CHECK:     TypeLeafKind: LF_POINTER (0x1002)
 124 ; CHECK:     PointeeType: int (0x74)
 125 ; CHECK:     PtrType: Near64 (0xC)
 126 ; CHECK:     PtrMode: Pointer (0x0)
 127 ; CHECK:     IsFlat: 0
 128 ; CHECK:     IsConst: 0
 129 ; CHECK:     IsVolatile: 1
 130 ; CHECK:     IsUnaligned: 0
 131 ; CHECK:     IsRestrict: 1
 132 ; CHECK:     SizeOf: 8
 133 ; CHECK:   }
 134 ; CHECK:   FieldList (0x1009) {
 135 ; CHECK:     TypeLeafKind: LF_FIELDLIST (0x1203)
 136 ; CHECK:     DataMember {
 137 ; CHECK:       TypeLeafKind: LF_MEMBER (0x150D)
 138 ; CHECK:       AccessSpecifier: Public (0x3)
 139 ; CHECK:       Type: int* __restrict (0x1006)
 140 ; CHECK:       FieldOffset: 0x0
 141 ; CHECK:       Name: x_member
 142 ; CHECK:     }
 143 ; CHECK:     DataMember {
 144 ; CHECK:       TypeLeafKind: LF_MEMBER (0x150D)
 145 ; CHECK:       AccessSpecifier: Public (0x3)
 146 ; CHECK:       Type: float* __restrict (0x1007)
 147 ; CHECK:       FieldOffset: 0x0
 148 ; CHECK:       Name: y_member
 149 ; CHECK:     }
 150 ; CHECK:     DataMember {
 151 ; CHECK:       TypeLeafKind: LF_MEMBER (0x150D)
 152 ; CHECK:       AccessSpecifier: Public (0x3)
 153 ; CHECK:       Type: int* volatile __restrict (0x1008)
 154 ; CHECK:       FieldOffset: 0x0
 155 ; CHECK:       Name: m_volatile
 156 ; CHECK:     }
 157 ; CHECK:   }
 158
 159 ; CHECK:   Modifier (0x100D) {
 160 ; CHECK:     TypeLeafKind: LF_MODIFIER (0x1001)
 161 ; CHECK:     ModifiedType: int (0x74)
 162 ; CHECK:     Modifiers [ (0x1)
 163 ; CHECK:       Const (0x1)
 164 ; CHECK:     ]
 165 ; CHECK:   }
 166 ; CHECK:   Pointer (0x100E) {
 167 ; CHECK:     TypeLeafKind: LF_POINTER (0x1002)
 168 ; CHECK:     PointeeType: const int (0x100D)
 169 ; CHECK:     PtrType: Near64 (0xC)
 170 ; CHECK:     PtrMode: Pointer (0x0)
 171 ; CHECK:     IsFlat: 0
 172 ; CHECK:     IsConst: 0
 173 ; CHECK:     IsVolatile: 0
 174 ; CHECK:     IsUnaligned: 0
 175 ; CHECK:     IsRestrict: 0
 176 ; CHECK:     SizeOf: 8
 177 ; CHECK:   }
 178 ; CHECK:   Pointer (0x100F) {
 179 ; CHECK:     TypeLeafKind: LF_POINTER (0x1002)
 180 ; CHECK:     PointeeType: int (0x74)
 181 ; CHECK:     PtrType: Near64 (0xC)
 182 ; CHECK:     PtrMode: LValueReference (0x1)
 183 ; CHECK:     IsFlat: 0
 184 ; CHECK:     IsConst: 0
 185 ; CHECK:     IsVolatile: 0
 186 ; CHECK:     IsUnaligned: 0
 187 ; CHECK:     IsRestrict: 1
 188 ; CHECK:     SizeOf: 8
 189 ; CHECK:   }
 190 ; CHECK:   ArgList (0x1010) {
 191 ; CHECK:     TypeLeafKind: LF_ARGLIST (0x1201)
 192 ; CHECK:     NumArgs: 1
 193 ; CHECK:     Arguments [
 194 ; CHECK:       ArgType: int& __restrict (0x100F)
 195 ; CHECK:     ]
 196 ; CHECK:   }
 197 ; CHECK:   Procedure (0x1011) {
 198 ; CHECK:     TypeLeafKind: LF_PROCEDURE (0x1008)
 199 ; CHECK:     ReturnType: void (0x3)
 200 ; CHECK:     CallingConvention: NearC (0x0)
 201 ; CHECK:     FunctionOptions [ (0x0)
 202 ; CHECK:     ]
 203 ; CHECK:     NumParameters: 1
 204 ; CHECK:     ArgListType: (int& __restrict) (0x1010)
 205 ; CHECK:   }
 206 ; CHECK:   FuncId (0x1012) {
 207 ; CHECK:     TypeLeafKind: LF_FUNC_ID (0x1601)
 208 ; CHECK:     ParentScope: 0x0
 209 ; CHECK:     FunctionType: void (int& __restrict) (0x1011)
 210 ; CHECK:     Name: g
 211 ; CHECK:   }
 212 ; CHECK:   Modifier (0x1013) {
 213 ; CHECK:     TypeLeafKind: LF_MODIFIER (0x1001)
 214 ; CHECK:     ModifiedType: char (0x70)
 215 ; CHECK:     Modifiers [ (0x1)
 216 ; CHECK:       Const (0x1)
 217 ; CHECK:     ]
 218 ; CHECK:   }
 219 ; CHECK:   Array (0x1014) {
 220 ; CHECK:     TypeLeafKind: LF_ARRAY (0x1503)
 221 ; CHECK:     ElementType: const char (0x1013)
 222 ; CHECK:     IndexType: unsigned __int64 (0x23)
 223 ; CHECK:     SizeOf: 4
 224 ; CHECK:     Name:
 225 ; CHECK:   }
 226 ; CHECK:   ArgList (0x1015) {
 227 ; CHECK:     TypeLeafKind: LF_ARGLIST (0x1201)
 228 ; CHECK:     NumArgs: 0
 229 ; CHECK:     Arguments [
 230 ; CHECK:     ]
 231 ; CHECK:   }
 232 ; CHECK:   Procedure (0x1016) {
 233 ; CHECK:     TypeLeafKind: LF_PROCEDURE (0x1008)
 234 ; CHECK:     ReturnType: void (0x3)
 235 ; CHECK:     CallingConvention: NearC (0x0)
 236 ; CHECK:     FunctionOptions [ (0x0)
 237 ; CHECK:     ]
 238 ; CHECK:     NumParameters: 0
 239 ; CHECK:     ArgListType: () (0x1015)
 240 ; CHECK:   }
 241 ; CHECK:   FuncId (0x1017) {
 242 ; CHECK:     TypeLeafKind: LF_FUNC_ID (0x1601)
 243 ; CHECK:     ParentScope: 0x0
 244 ; CHECK:     FunctionType: void () (0x1016)
 245 ; CHECK:     Name: h
 246 ; CHECK:   }
 247 ; CHECK:   Struct (0x1018) {
 248 ; CHECK:     TypeLeafKind: LF_STRUCTURE (0x1505)
 249 ; CHECK:     MemberCount: 0
 250 ; CHECK:     Properties [ (0x180)
 251 ; CHECK:       ForwardReference (0x80)
 252 ; CHECK:       Scoped (0x100)
 253 ; CHECK:     ]
 254 ; CHECK:     FieldList: 0x0
 255 ; CHECK:     DerivedFrom: 0x0
 256 ; CHECK:     VShape: 0x0
 257 ; CHECK:     SizeOf: 0
 258 ; CHECK:     Name: h::Foo
 259 ; CHECK:   }
 260 ; CHECK:   Pointer (0x1019) {
 261 ; CHECK:     TypeLeafKind: LF_POINTER (0x1002)
 262 ; CHECK:     PointeeType: h::Foo (0x1018)
 263 ; CHECK:     PtrType: Near64 (0xC)
 264 ; CHECK:     PtrMode: Pointer (0x0)
 265 ; CHECK:     IsFlat: 0
 266 ; CHECK:     IsConst: 1
 267 ; CHECK:     IsVolatile: 0
 268 ; CHECK:     IsUnaligned: 0
 269 ; CHECK:     IsRestrict: 0
 270 ; CHECK:     SizeOf: 8
 271 ; CHECK:   }
 272 ; CHECK:   ArgList (0x101A) {
 273 ; CHECK:     TypeLeafKind: LF_ARGLIST (0x1201)
 274 ; CHECK:     NumArgs: 1
 275 ; CHECK:     Arguments [
 276 ; CHECK:       ArgType: int (0x74)
 277 ; CHECK:     ]
 278 ; CHECK:   }
 279 ; CHECK:   MemberFunction (0x101B) {
 280 ; CHECK:     TypeLeafKind: LF_MFUNCTION (0x1009)
 281 ; CHECK:     ReturnType: int (0x74)
 282 ; CHECK:     ClassType: h::Foo (0x1018)
 283 ; CHECK:     ThisType: h::Foo* const (0x1019)
 284 ; CHECK:     CallingConvention: NearC (0x0)
 285 ; CHECK:     FunctionOptions [ (0x0)
 286 ; CHECK:     ]
 287 ; CHECK:     NumParameters: 1
 288 ; CHECK:     ArgListType: (int) (0x101A)
 289 ; CHECK:     ThisAdjustment: 0
 290 ; CHECK:   }
 291 ; CHECK:   FieldList (0x101C) {
 292 ; CHECK:     TypeLeafKind: LF_FIELDLIST (0x1203)
 293 ; CHECK:     DataMember {
 294 ; CHECK:       TypeLeafKind: LF_MEMBER (0x150D)
 295 ; CHECK:       AccessSpecifier: Public (0x3)
 296 ; CHECK:       Type: int (0x74)
 297 ; CHECK:       FieldOffset: 0x0
 298 ; CHECK:       Name: a
 299 ; CHECK:     }
 300 ; CHECK:     OneMethod {
 301 ; CHECK:       TypeLeafKind: LF_ONEMETHOD (0x1511)
 302 ; CHECK:       AccessSpecifier: Public (0x3)
 303 ; CHECK:       Type: int h::Foo::(int) (0x101B)
 304 ; CHECK:       Name: func
 305 ; CHECK:     }
 306 ; CHECK:   }
 307 ; CHECK:   Struct (0x101D) {
 308 ; CHECK:     TypeLeafKind: LF_STRUCTURE (0x1505)
 309 ; CHECK:     MemberCount: 2
 310 ; CHECK:     Properties [ (0x100)
 311 ; CHECK:       Scoped (0x100)
 312 ; CHECK:     ]
 313 ; CHECK:     FieldList: <field list> (0x101C)
 314 ; CHECK:     DerivedFrom: 0x0
 315 ; CHECK:     VShape: 0x0
 316 ; CHECK:     SizeOf: 4
 317 ; CHECK:     Name: h::Foo
 318 ; CHECK:   }
 319
 320 ; CHECK:   Pointer (0x101F) {
 321 ; CHECK:     TypeLeafKind: LF_POINTER (0x1002)
 322 ; CHECK:     PointeeType: int (0x74)
 323 ; CHECK:     PtrType: Near64 (0xC)
 324 ; CHECK:     PtrMode: PointerToDataMember (0x2)
 325 ; CHECK:     IsFlat: 0
 326 ; CHECK:     IsConst: 0
 327 ; CHECK:     IsVolatile: 0
 328 ; CHECK:     IsUnaligned: 0
 329 ; CHECK:     IsRestrict: 1
 330 ; CHECK:     SizeOf: 4
 331 ; CHECK:     ClassType: h::Foo (0x1018)
 332 ; CHECK:     Representation: SingleInheritanceData (0x1)
 333 ; CHECK:   }
 334 ; CHECK:   Pointer (0x1020) {
 335 ; CHECK:     TypeLeafKind: LF_POINTER (0x1002)
 336 ; CHECK:     PointeeType: int h::Foo::(int) (0x101B)
 337 ; CHECK:     PtrType: Near64 (0xC)
 338 ; CHECK:     PtrMode: PointerToMemberFunction (0x3)
 339 ; CHECK:     IsFlat: 0
 340 ; CHECK:     IsConst: 0
 341 ; CHECK:     IsVolatile: 0
 342 ; CHECK:     IsUnaligned: 0
 343 ; CHECK:     IsRestrict: 0
 344 ; CHECK:     SizeOf: 8
 345 ; CHECK:     ClassType: h::Foo (0x1018)
 346 ; CHECK:     Representation: SingleInheritanceFunction (0x5)
 347 ; CHECK:   }
 348 ; CHECK:   MemberFuncId (0x1021) {
 349 ; CHECK:     TypeLeafKind: LF_MFUNC_ID (0x1602)
 350 ; CHECK:     ClassType: h::Foo (0x1018)
 351 ; CHECK:     FunctionType: int h::Foo::(int) (0x101B)
 352 ; CHECK:     Name: func
 353 ; CHECK:   }
 354 ; CHECK:   Pointer (0x1022) {
 355 ; CHECK:     TypeLeafKind: LF_POINTER (0x1002)
 356 ; CHECK:     PointeeType: h::Foo (0x1018)
 357 ; CHECK:     PtrType: Near64 (0xC)
 358 ; CHECK:     PtrMode: Pointer (0x0)
 359 ; CHECK:     IsFlat: 0
 360 ; CHECK:     IsConst: 0
 361 ; CHECK:     IsVolatile: 0
 362 ; CHECK:     IsUnaligned: 0
 363 ; CHECK:     IsRestrict: 0
 364 ; CHECK:     SizeOf: 8
 365 ; CHECK:   }
 366 ; CHECK: ]
 367
 368 ; CHECK-LABEL: CodeViewDebugInfo [
 369 ; CHECK-NEXT:   Section: .debug$S (6)
 370 ; CHECK:   Subsection [
 371 ; CHECK:     SubSectionType: Symbols (0xF1)
 372 ; CHECK:     GlobalProcIdSym {
 373 ; CHECK:       Kind: S_GPROC32_ID (0x1147)
 374 ; CHECK:       FunctionType: f ({{.*}})
 375 ; CHECK:       CodeOffset: ?f@@YAHPEIDH@Z+0x0
 376 ; CHECK:       DisplayName: f
 377 ; CHECK:       LinkageName: ?f@@YAHPEIDH@Z
 378 ; CHECK:     }
 379 ; CHECK:     LocalSym {
 380 ; CHECK:       Kind: S_LOCAL (0x113E)
 381 ; CHECK:       Type: const volatile int* __restrict (0x1001)
 382 ; CHECK:       VarName: arg_crv
 383 ; CHECK:     }
 384 ; CHECK:     LocalSym {
 385 ; CHECK:       Kind: S_LOCAL (0x113E)
 386 ; CHECK:       Type: Union (0x100A)
 387 ; CHECK:       VarName: u
 388 ; CHECK:     }
 389 ; CHECK:     LocalSym {
 390 ; CHECK:       Kind: S_LOCAL (0x113E)
 391 ; CHECK:       Type: const int* (0x100E)
 392 ; CHECK:       VarName: p
 393 ; CHECK:     }
 394 ; CHECK:     LocalSym {
 395 ; CHECK:       Kind: S_LOCAL (0x113E)
 396 ; CHECK:       Type: const volatile int (0x1000)
 397 ; CHECK:       VarName: v
 398 ; CHECK:     }
 399
 400 ; ModuleID = 'm.cpp'
 401 source_filename = "m.cpp"
 402 target datalayout = "e-m:w-i64:64-f80:128-n8:16:32:64-S128"
 403 target triple = "x86_64-pc-windows-msvc19.11.25507"
 404
 405 %struct.Foo = type { i32 }
 406 %union.Union = type { i32* }
 407
 408 @"\01?str@?1??g@@YAXAEIAH@Z@3QBDB" = internal constant [4 x i8] c"abc\00", align 1, !dbg !0
 409 @"\01?s@?1??h@@YAXXZ@3UFoo@?1??1@YAXXZ@A" = private unnamed_addr constant %struct.Foo { i32 10 }, align 4
 410
 411 ; Function Attrs: noinline nounwind optnone uwtable
 412 define i32 @"\01?f@@YAHPEIDH@Z"(i32* noalias %arg_crv) #0 !dbg !22 {
 413 entry:
 414   %arg_crv.addr = alloca i32*, align 8
 415   %u = alloca %union.Union, align 8
 416   %p = alloca i32*, align 8
 417   %v = alloca i32, align 4
 418   store i32* %arg_crv, i32** %arg_crv.addr, align 8
 419   call void @llvm.dbg.declare(metadata i32** %arg_crv.addr, metadata !29, metadata !DIExpression()), !dbg !30
 420   call void @llvm.dbg.declare(metadata %union.Union* %u, metadata !31, metadata !DIExpression()), !dbg !43
 421   call void @llvm.dbg.declare(metadata i32** %p, metadata !44, metadata !DIExpression()), !dbg !47
 422   call void @llvm.dbg.declare(metadata i32* %v, metadata !48, metadata !DIExpression()), !dbg !49
 423   store volatile i32 0, i32* %v, align 4, !dbg !49
 424   ret i32 1, !dbg !50
 425 }
 426
 427 ; Function Attrs: nounwind readnone speculatable
 428 declare void @llvm.dbg.declare(metadata, metadata, metadata) #1
 429
 430 ; Function Attrs: noinline nounwind optnone uwtable
 431 define void @"\01?g@@YAXAEIAH@Z"(i32* noalias dereferenceable(4) %arg_ref) #0 !dbg !2 {
 432 entry:
 433   %arg_ref.addr = alloca i32*, align 8
 434   %x = alloca i32, align 4
 435   store i32* %arg_ref, i32** %arg_ref.addr, align 8
 436   call void @llvm.dbg.declare(metadata i32** %arg_ref.addr, metadata !51, metadata !DIExpression()), !dbg !52
 437   call void @llvm.dbg.declare(metadata i32* %x, metadata !53, metadata !DIExpression()), !dbg !54
 438   store i32 10, i32* %x, align 4, !dbg !54
 439   ret void, !dbg !55
 440 }
 441
 442 ; Function Attrs: noinline nounwind optnone uwtable
 443 define void @"\01?h@@YAXXZ"() #0 !dbg !56 {
 444 entry:
 445   %s = alloca %struct.Foo, align 4
 446   %p_object = alloca i32*, align 8
 447   %p_data_member = alloca i32, align 8
 448   %p_member_func = alloca i8*, align 8
 449   call void @llvm.dbg.declare(metadata %struct.Foo* %s, metadata !59, metadata !DIExpression()), !dbg !68
 450   %0 = bitcast %struct.Foo* %s to i8*, !dbg !68
 451   call void @llvm.memcpy.p0i8.p0i8.i64(i8* align 4 %0, i8* align 4 bitcast (%struct.Foo* @"\01?s@?1??h@@YAXXZ@3UFoo@?1??1@YAXXZ@A" to i8*), i64 4, i1 false), !dbg !68
 452   call void @llvm.dbg.declare(metadata i32** %p_object, metadata !69, metadata !DIExpression()), !dbg !70
 453   %a = getelementptr inbounds %struct.Foo, %struct.Foo* %s, i32 0, i32 0, !dbg !71
 454   store i32* %a, i32** %p_object, align 8, !dbg !70
 455   call void @llvm.dbg.declare(metadata i32* %p_data_member, metadata !72, metadata !DIExpression()), !dbg !75
 456   store i32 0, i32* %p_data_member, align 8, !dbg !75
 457   call void @llvm.dbg.declare(metadata i8** %p_member_func, metadata !76, metadata !DIExpression()), !dbg !78
 458   store i8* bitcast (i32 (%struct.Foo*, i32)* @"\01?func@Foo@?1??h@@YAXXZ@QEIAAHH@Z" to i8*), i8** %p_member_func, align 8, !dbg !78
 459   ret void, !dbg !79
 460 }
 461
 462 ; Function Attrs: argmemonly nounwind
 463 declare void @llvm.memcpy.p0i8.p0i8.i64(i8* nocapture writeonly, i8* nocapture readonly, i64, i1) #2
 464
 465 ; Function Attrs: noinline nounwind optnone uwtable
 466 define internal i32 @"\01?func@Foo@?1??h@@YAXXZ@QEIAAHH@Z"(%struct.Foo* %this, i32 %x) #0 align 2 !dbg !80 {
 467 entry:
 468   %x.addr = alloca i32, align 4
 469   %this.addr = alloca %struct.Foo*, align 8
 470   store i32 %x, i32* %x.addr, align 4
 471   call void @llvm.dbg.declare(metadata i32* %x.addr, metadata !81, metadata !DIExpression()), !dbg !82
 472   store %struct.Foo* %this, %struct.Foo** %this.addr, align 8
 473   call void @llvm.dbg.declare(metadata %struct.Foo** %this.addr, metadata !83, metadata !DIExpression()), !dbg !85
 474   %this1 = load %struct.Foo*, %struct.Foo** %this.addr, align 8
 475   ret i32 1, !dbg !86
 476 }
 477
 478 attributes #0 = { noinline nounwind optnone uwtable "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "less-precise-fpmad"="false" "no-frame-pointer-elim"="false" "no-infs-fp-math"="false" "no-jump-tables"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "no-trapping-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+fxsr,+mmx,+sse,+sse2,+x87" "unsafe-fp-math"="false" "use-soft-float"="false" }
 479 attributes #1 = { nounwind readnone speculatable }
 480 attributes #2 = { argmemonly nounwind }
 481
 482 !llvm.dbg.cu = !{!9}
 483 !llvm.module.flags = !{!17, !18, !19, !20}
 484 !llvm.ident = !{!21}
 485
 486 !0 = !DIGlobalVariableExpression(var: !1, expr: !DIExpression())
 487 !1 = distinct !DIGlobalVariable(name: "str", scope: !2, file: !3, line: 18, type: !12, isLocal: true, isDefinition: true)
 488 !2 = distinct !DISubprogram(name: "g", linkageName: "\01?g@@YAXAEIAH@Z", scope: !3, file: !3, line: 16, type: !4, isLocal: false, isDefinition: true, scopeLine: 16, flags: DIFlagPrototyped, isOptimized: false, unit: !9, retainedNodes: !10)
 489 !3 = !DIFile(filename: "m.cpp", directory: "C:\5CUsers\5CHui\5Ctmp\5Chui", checksumkind: CSK_MD5, checksum: "a8da0f4dca948db1ef1129c8728a881c")
 490 !4 = !DISubroutineType(types: !5)
 491 !5 = !{null, !6}
 492 !6 = !DIDerivedType(tag: DW_TAG_restrict_type, baseType: !7)
 493 !7 = !DIDerivedType(tag: DW_TAG_reference_type, baseType: !8, size: 64)
 494 !8 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed)
 495 !9 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, file: !3, producer: "clang version 7.0.0 ", isOptimized: false, runtimeVersion: 0, emissionKind: FullDebug, enums: !10, globals: !11)
 496 !10 = !{}
 497 !11 = !{!0}
 498 !12 = !DICompositeType(tag: DW_TAG_array_type, baseType: !13, size: 32, elements: !15)
 499 !13 = !DIDerivedType(tag: DW_TAG_const_type, baseType: !14)
 500 !14 = !DIBasicType(name: "char", size: 8, encoding: DW_ATE_signed_char)
 501 !15 = !{!16}
 502 !16 = !DISubrange(count: 4)
 503 !17 = !{i32 2, !"CodeView", i32 1}
 504 !18 = !{i32 2, !"Debug Info Version", i32 3}
 505 !19 = !{i32 1, !"wchar_size", i32 2}
 506 !20 = !{i32 7, !"PIC Level", i32 2}
 507 !21 = !{!"clang version 7.0.0 "}
 508 !22 = distinct !DISubprogram(name: "f", linkageName: "\01?f@@YAHPEIDH@Z", scope: !3, file: !3, line: 9, type: !23, isLocal: false, isDefinition: true, scopeLine: 9, flags: DIFlagPrototyped, isOptimized: false, unit: !9, retainedNodes: !10)
 509 !23 = !DISubroutineType(types: !24)
 510 !24 = !{!8, !25}
 511 !25 = !DIDerivedType(tag: DW_TAG_restrict_type, baseType: !26)
 512 !26 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !27, size: 64)
 513 !27 = !DIDerivedType(tag: DW_TAG_const_type, baseType: !28)
 514 !28 = !DIDerivedType(tag: DW_TAG_volatile_type, baseType: !8)
 515 !29 = !DILocalVariable(name: "arg_crv", arg: 1, scope: !22, file: !3, line: 9, type: !25)
 516 !30 = !DILocation(line: 9, column: 39, scope: !22)
 517 !31 = !DILocalVariable(name: "u", scope: !22, file: !3, line: 10, type: !32)
 518 !32 = distinct !DICompositeType(tag: DW_TAG_union_type, name: "Union", file: !3, line: 3, size: 64, flags: DIFlagTypePassByValue, elements: !33, identifier: ".?ATUnion@@")
 519 !33 = !{!34, !37, !41}
 520 !34 = !DIDerivedType(tag: DW_TAG_member, name: "x_member", scope: !32, file: !3, line: 4, baseType: !35, size: 64)
 521 !35 = !DIDerivedType(tag: DW_TAG_restrict_type, baseType: !36)
 522 !36 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !8, size: 64)
 523 !37 = !DIDerivedType(tag: DW_TAG_member, name: "y_member", scope: !32, file: !3, line: 5, baseType: !38, size: 64)
 524 !38 = !DIDerivedType(tag: DW_TAG_restrict_type, baseType: !39)
 525 !39 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !40, size: 64)
 526 !40 = !DIBasicType(name: "float", size: 32, encoding: DW_ATE_float)
 527 !41 = !DIDerivedType(tag: DW_TAG_member, name: "m_volatile", scope: !32, file: !3, line: 6, baseType: !42, size: 64)
 528 !42 = !DIDerivedType(tag: DW_TAG_volatile_type, baseType: !35)
 529 !43 = !DILocation(line: 10, column: 10, scope: !22)
 530 !44 = !DILocalVariable(name: "p", scope: !22, file: !3, line: 11, type: !45)
 531 !45 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !46, size: 64)
 532 !46 = !DIDerivedType(tag: DW_TAG_const_type, baseType: !8)
 533 !47 = !DILocation(line: 11, column: 15, scope: !22)
 534 !48 = !DILocalVariable(name: "v", scope: !22, file: !3, line: 12, type: !27)
 535 !49 = !DILocation(line: 12, column: 23, scope: !22)
 536 !50 = !DILocation(line: 13, column: 4, scope: !22)
 537 !51 = !DILocalVariable(name: "arg_ref", arg: 1, scope: !2, file: !3, line: 16, type: !6)
 538 !52 = !DILocation(line: 16, column: 25, scope: !2)
 539 !53 = !DILocalVariable(name: "x", scope: !2, file: !3, line: 17, type: !46)
 540 !54 = !DILocation(line: 17, column: 14, scope: !2)
 541 !55 = !DILocation(line: 19, column: 2, scope: !2)
 542 !56 = distinct !DISubprogram(name: "h", linkageName: "\01?h@@YAXXZ", scope: !3, file: !3, line: 21, type: !57, isLocal: false, isDefinition: true, scopeLine: 21, flags: DIFlagPrototyped, isOptimized: false, unit: !9, retainedNodes: !10)
 543 !57 = !DISubroutineType(types: !58)
 544 !58 = !{null}
 545 !59 = !DILocalVariable(name: "s", scope: !56, file: !3, line: 27, type: !60)
 546 !60 = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "Foo", scope: !56, file: !3, line: 22, size: 32, flags: DIFlagTypePassByValue, elements: !61)
 547 !61 = !{!62, !63}
 548 !62 = !DIDerivedType(tag: DW_TAG_member, name: "a", scope: !60, file: !3, line: 23, baseType: !8, size: 32)
 549 !63 = !DISubprogram(name: "func", scope: !60, file: !3, line: 24, type: !64, isLocal: false, isDefinition: false, scopeLine: 24, flags: DIFlagPrototyped, isOptimized: false)
 550 !64 = !DISubroutineType(types: !65)
 551 !65 = !{!8, !66, !8}
 552
 553 ; FIXME: Clang emits wrong debug info here because of PR17747. We should
 554 ; regenerate this IR when it is fixed.
 555 !66 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !67, size: 64, flags: DIFlagArtificial | DIFlagObjectPointer)
 556 !67 = !DIDerivedType(tag: DW_TAG_restrict_type, baseType: !60)
 557
 558 !68 = !DILocation(line: 27, column: 8, scope: !56)
 559 !69 = !DILocalVariable(name: "p_object", scope: !56, file: !3, line: 29, type: !35)
 560 !70 = !DILocation(line: 29, column: 20, scope: !56)
 561 !71 = !DILocation(line: 29, column: 34, scope: !56)
 562 !72 = !DILocalVariable(name: "p_data_member", scope: !56, file: !3, line: 31, type: !73)
 563 !73 = !DIDerivedType(tag: DW_TAG_restrict_type, baseType: !74)
 564 !74 = !DIDerivedType(tag: DW_TAG_ptr_to_member_type, baseType: !8, size: 32, flags: DIFlagSingleInheritance, extraData: !60)
 565 !75 = !DILocation(line: 31, column: 27, scope: !56)
 566 !76 = !DILocalVariable(name: "p_member_func", scope: !56, file: !3, line: 33, type: !77)
 567 !77 = !DIDerivedType(tag: DW_TAG_ptr_to_member_type, baseType: !64, size: 64, flags: DIFlagSingleInheritance, extraData: !60)
 568 !78 = !DILocation(line: 33, column: 16, scope: !56)
 569 !79 = !DILocation(line: 34, column: 2, scope: !56)
 570 !80 = distinct !DISubprogram(name: "func", linkageName: "\01?func@Foo@?1??h@@YAXXZ@QEIAAHH@Z", scope: !60, file: !3, line: 24, type: !64, isLocal: true, isDefinition: true, scopeLine: 24, flags: DIFlagPrototyped, isOptimized: false, unit: !9, declaration: !63, retainedNodes: !10)
 571 !81 = !DILocalVariable(name: "x", arg: 2, scope: !80, file: !3, line: 24, type: !8)
 572 !82 = !DILocation(line: 24, column: 19, scope: !80)
 573 !83 = !DILocalVariable(name: "this", arg: 1, scope: !80, type: !84, flags: DIFlagArtificial | DIFlagObjectPointer)
 574 !84 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !67, size: 64)
 575 !85 = !DILocation(line: 0, scope: !80)
 576 !86 = !DILocation(line: 24, column: 35, scope: !80)