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