Revert r354244 "[DAGCombiner] Eliminate dead stores to stack."
[llvm-complete.git] / test / DebugInfo / COFF / types-non-virtual-methods.ll
bloba06ffb0d9958691c315f01488e978af981f5616f
1 ; RUN: llc < %s -filetype=obj | llvm-readobj - -codeview | FileCheck %s
3 ; C++ source to regenerate:
4 ; $ cat t.cpp
5 ; struct A {
6 ;   void f_default_public();
7 ; private:
8 ;   void f_private();
9 ; protected:
10 ;   void f_protected();
11 ; public:
12 ;   void f_public();
13 ; };
15 ; class B {
16 ;  void f_default_private();
17 ; public:
18 ;   void f(float);
19 ;   void f(int);
20 ; };
22 ; void foo() {
23 ;   A a;
24 ;   B b;
25 ; }
28 ; CHECK: CodeViewTypes [
29 ; CHECK:   Section: .debug$T (5)
30 ; CHECK:   Magic: 0x4
31 ; CHECK:   ArgList (0x1000) {
32 ; CHECK:     TypeLeafKind: LF_ARGLIST (0x1201)
33 ; CHECK:     NumArgs: 0
34 ; CHECK:     Arguments [
35 ; CHECK:     ]
36 ; CHECK:   }
37 ; CHECK:   Procedure (0x1001) {
38 ; CHECK:     TypeLeafKind: LF_PROCEDURE (0x1008)
39 ; CHECK:     ReturnType: void (0x3)
40 ; CHECK:     CallingConvention: NearC (0x0)
41 ; CHECK:     FunctionOptions [ (0x0)
42 ; CHECK:     ]
43 ; CHECK:     NumParameters: 0
44 ; CHECK:     ArgListType: () (0x1000)
45 ; CHECK:   }
46 ; CHECK:   FuncId (0x1002) {
47 ; CHECK:     TypeLeafKind: LF_FUNC_ID (0x1601)
48 ; CHECK:     ParentScope: 0x0
49 ; CHECK:     FunctionType: void () (0x1001)
50 ; CHECK:     Name: foo
51 ; CHECK:   }
52 ; CHECK:   Struct (0x1003) {
53 ; CHECK:     TypeLeafKind: LF_STRUCTURE (0x1505)
54 ; CHECK:     MemberCount: 0
55 ; CHECK:     Properties [ (0x80)
56 ; CHECK:       ForwardReference (0x80)
57 ; CHECK:     ]
58 ; CHECK:     FieldList: 0x0
59 ; CHECK:     DerivedFrom: 0x0
60 ; CHECK:     VShape: 0x0
61 ; CHECK:     SizeOf: 0
62 ; CHECK:     Name: A
63 ; CHECK:   }
64 ; CHECK:   Pointer (0x1004) {
65 ; CHECK:     TypeLeafKind: LF_POINTER (0x1002)
66 ; CHECK:     PointeeType: A (0x1003)
67 ; CHECK:     PtrType: Near32 (0xA)
68 ; CHECK:     PtrMode: Pointer (0x0)
69 ; CHECK:     IsFlat: 0
70 ; CHECK:     IsConst: 1
71 ; CHECK:     IsVolatile: 0
72 ; CHECK:     IsUnaligned: 0
73 ; CHECK:   }
74 ; CHECK:   MemberFunction (0x1005) {
75 ; CHECK:     TypeLeafKind: LF_MFUNCTION (0x1009)
76 ; CHECK:     ReturnType: void (0x3)
77 ; CHECK:     ClassType: A (0x1003)
78 ; CHECK:     ThisType: A* const (0x1004)
79 ; CHECK:     CallingConvention: ThisCall (0xB)
80 ; CHECK:     FunctionOptions [ (0x0)
81 ; CHECK:     ]
82 ; CHECK:     NumParameters: 0
83 ; CHECK:     ArgListType: () (0x1000)
84 ; CHECK:     ThisAdjustment: 0
85 ; CHECK:   }
86 ; CHECK:   FieldList (0x1006) {
87 ; CHECK:     TypeLeafKind: LF_FIELDLIST (0x1203)
88 ; CHECK:     OneMethod {
89 ; CHECK:       AccessSpecifier: Public (0x3)
90 ; CHECK:       Type: void A::() (0x1005)
91 ; CHECK:       Name: A::f_default_public
92 ; CHECK:     }
93 ; CHECK:     OneMethod {
94 ; CHECK:       AccessSpecifier: Private (0x1)
95 ; CHECK:       Type: void A::() (0x1005)
96 ; CHECK:       Name: A::f_private
97 ; CHECK:     }
98 ; CHECK:     OneMethod {
99 ; CHECK:       AccessSpecifier: Protected (0x2)
100 ; CHECK:       Type: void A::() (0x1005)
101 ; CHECK:       Name: A::f_protected
102 ; CHECK:     }
103 ; CHECK:     OneMethod {
104 ; CHECK:       AccessSpecifier: Public (0x3)
105 ; CHECK:       Type: void A::() (0x1005)
106 ; CHECK:       Name: A::f_public
107 ; CHECK:     }
108 ; CHECK:   }
109 ; CHECK:   Struct (0x1007) {
110 ; CHECK:     TypeLeafKind: LF_STRUCTURE (0x1505)
111 ; CHECK:     MemberCount: 4
112 ; CHECK:     Properties [ (0x0)
113 ; CHECK:     ]
114 ; CHECK:     FieldList: <field list> (0x1006)
115 ; CHECK:     DerivedFrom: 0x0
116 ; CHECK:     VShape: 0x0
117 ; CHECK:     SizeOf: 1
118 ; CHECK:     Name: A
119 ; CHECK:   }
120 ; CHECK:   StringId (0x1008) {
121 ; CHECK:     TypeLeafKind: LF_STRING_ID (0x1605)
122 ; CHECK:     Id: 0x0
123 ; CHECK:     StringData: /t.cpp
124 ; CHECK:   }
125 ; CHECK:   UdtSourceLine (0x1009) {
126 ; CHECK:     TypeLeafKind: LF_UDT_SRC_LINE (0x1606)
127 ; CHECK:     UDT: A (0x1007)
128 ; CHECK:     SourceFile: /t.cpp (0x1008)
129 ; CHECK:     LineNumber: 1
130 ; CHECK:   }
131 ; CHECK:   Class (0x100A) {
132 ; CHECK:     TypeLeafKind: LF_CLASS (0x1504)
133 ; CHECK:     MemberCount: 0
134 ; CHECK:     Properties [ (0x80)
135 ; CHECK:       ForwardReference (0x80)
136 ; CHECK:     ]
137 ; CHECK:     FieldList: 0x0
138 ; CHECK:     DerivedFrom: 0x0
139 ; CHECK:     VShape: 0x0
140 ; CHECK:     SizeOf: 0
141 ; CHECK:     Name: B
142 ; CHECK:   }
143 ; CHECK:   Pointer (0x100B) {
144 ; CHECK:     TypeLeafKind: LF_POINTER (0x1002)
145 ; CHECK:     PointeeType: B (0x100A)
146 ; CHECK:     PtrType: Near32 (0xA)
147 ; CHECK:     PtrMode: Pointer (0x0)
148 ; CHECK:     IsFlat: 0
149 ; CHECK:     IsConst: 1
150 ; CHECK:     IsVolatile: 0
151 ; CHECK:     IsUnaligned: 0
152 ; CHECK:     SizeOf: 4
153 ; CHECK:   }
154 ; CHECK:   MemberFunction (0x100C) {
155 ; CHECK:     TypeLeafKind: LF_MFUNCTION (0x1009)
156 ; CHECK:     ReturnType: void (0x3)
157 ; CHECK:     ClassType: B (0x100A)
158 ; CHECK:     ThisType: B* const (0x100B)
159 ; CHECK:     CallingConvention: ThisCall (0xB)
160 ; CHECK:     FunctionOptions [ (0x0)
161 ; CHECK:     ]
162 ; CHECK:     NumParameters: 0
163 ; CHECK:     ArgListType: () (0x1000)
164 ; CHECK:     ThisAdjustment: 0
165 ; CHECK:   }
166 ; CHECK:   ArgList (0x100D) {
167 ; CHECK:     TypeLeafKind: LF_ARGLIST (0x1201)
168 ; CHECK:     NumArgs: 1
169 ; CHECK:     Arguments [
170 ; CHECK:       ArgType: float (0x40)
171 ; CHECK:     ]
172 ; CHECK:   }
173 ; CHECK:   MemberFunction (0x100E) {
174 ; CHECK:     TypeLeafKind: LF_MFUNCTION (0x1009)
175 ; CHECK:     ReturnType: void (0x3)
176 ; CHECK:     ClassType: B (0x100A)
177 ; CHECK:     ThisType: B* const (0x100B)
178 ; CHECK:     CallingConvention: ThisCall (0xB)
179 ; CHECK:     FunctionOptions [ (0x0)
180 ; CHECK:     ]
181 ; CHECK:     NumParameters: 1
182 ; CHECK:     ArgListType: (float) (0x100D)
183 ; CHECK:     ThisAdjustment: 0
184 ; CHECK:   }
185 ; CHECK:   ArgList (0x100F) {
186 ; CHECK:     TypeLeafKind: LF_ARGLIST (0x1201)
187 ; CHECK:     NumArgs: 1
188 ; CHECK:     Arguments [
189 ; CHECK:       ArgType: int (0x74)
190 ; CHECK:     ]
191 ; CHECK:   }
192 ; CHECK:   MemberFunction (0x1010) {
193 ; CHECK:     TypeLeafKind: LF_MFUNCTION (0x1009)
194 ; CHECK:     ReturnType: void (0x3)
195 ; CHECK:     ClassType: B (0x100A)
196 ; CHECK:     ThisType: B* const (0x100B)
197 ; CHECK:     CallingConvention: ThisCall (0xB)
198 ; CHECK:     FunctionOptions [ (0x0)
199 ; CHECK:     ]
200 ; CHECK:     NumParameters: 1
201 ; CHECK:     ArgListType: (int) (0x100F)
202 ; CHECK:     ThisAdjustment: 0
203 ; CHECK:   }
204 ; CHECK:   MethodOverloadList (0x1011) {
205 ; CHECK:     TypeLeafKind: LF_METHODLIST (0x1206)
206 ; CHECK:     Method [
207 ; CHECK:       AccessSpecifier: Public (0x3)
208 ; CHECK:       Type: void B::(float) (0x100E)
209 ; CHECK:     ]
210 ; CHECK:     Method [
211 ; CHECK:       AccessSpecifier: Public (0x3)
212 ; CHECK:       Type: void B::(int) (0x1010)
213 ; CHECK:     ]
214 ; CHECK:   }
215 ; CHECK:   FieldList (0x1012) {
216 ; CHECK:     TypeLeafKind: LF_FIELDLIST (0x1203)
217 ; CHECK:     OneMethod {
218 ; CHECK:       AccessSpecifier: Private (0x1)
219 ; CHECK:       Type: void B::() (0x100C)
220 ; CHECK:       Name: B::f_default_private
221 ; CHECK:     }
222 ; CHECK:     OverloadedMethod {
223 ; CHECK:       MethodCount: 0x2
224 ; CHECK:       MethodListIndex: 0x1011
225 ; CHECK:       Name: B::f
226 ; CHECK:     }
227 ; CHECK:   }
228 ; CHECK:   Class (0x1013) {
229 ; CHECK:     TypeLeafKind: LF_CLASS (0x1504)
230 ; CHECK:     MemberCount: 3
231 ; CHECK:     Properties [ (0x0)
232 ; CHECK:     ]
233 ; CHECK:     FieldList: <field list> (0x1012)
234 ; CHECK:     DerivedFrom: 0x0
235 ; CHECK:     VShape: 0x0
236 ; CHECK:     SizeOf: 1
237 ; CHECK:     Name: B
238 ; CHECK:   }
239 ; CHECK:   UdtSourceLine (0x1014) {
240 ; CHECK:     TypeLeafKind: LF_UDT_SRC_LINE (0x1606)
241 ; CHECK:     UDT: B (0x1013)
242 ; CHECK:     SourceFile: /t.cpp (0x1008)
243 ; CHECK:     LineNumber: 11
244 ; CHECK:   }
245 ; CHECK: ]
248 target datalayout = "e-m:x-p:32:32-i64:64-f80:32-n8:16:32-a:0:32-S32"
249 target triple = "i686-pc-windows-msvc"
251 %struct.A = type { i8 }
252 %class.B = type { i8 }
254 ; Function Attrs: nounwind
255 define void @"\01?foo@@YAXXZ"() #0 !dbg !6 {
256 entry:
257   %a = alloca %struct.A, align 1
258   %b = alloca %class.B, align 1
259   call void @llvm.dbg.declare(metadata %struct.A* %a, metadata !9, metadata !19), !dbg !20
260   call void @llvm.dbg.declare(metadata %class.B* %b, metadata !21, metadata !19), !dbg !36
261   ret void, !dbg !37
264 ; Function Attrs: nounwind readnone
265 declare void @llvm.dbg.declare(metadata, metadata, metadata) #1
267 attributes #0 = { nounwind }
268 attributes #1 = { nounwind readnone }
270 !llvm.dbg.cu = !{!0}
271 !llvm.module.flags = !{!3, !4}
272 !llvm.ident = !{!5}
274 !0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, file: !1, producer: "clang version 3.9.0 (trunk 272316)", isOptimized: false, runtimeVersion: 0, emissionKind: FullDebug, enums: !2)
275 !1 = !DIFile(filename: "t.cpp", directory: "/")
276 !2 = !{}
277 !3 = !{i32 2, !"CodeView", i32 1}
278 !4 = !{i32 2, !"Debug Info Version", i32 3}
279 !5 = !{!"clang version 3.9.0 (trunk 272316)"}
280 !6 = distinct !DISubprogram(name: "foo", linkageName: "\01?foo@@YAXXZ", scope: !1, file: !1, line: 18, type: !7, isLocal: false, isDefinition: true, scopeLine: 18, flags: DIFlagPrototyped, isOptimized: false, unit: !0, retainedNodes: !2)
281 !7 = !DISubroutineType(types: !8)
282 !8 = !{null}
283 !9 = !DILocalVariable(name: "a", scope: !6, file: !1, line: 19, type: !10)
284 !10 = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "A", file: !1, line: 1, size: 8, align: 8, elements: !11)
285 !11 = !{!12, !16, !17, !18}
286 !12 = !DISubprogram(name: "A::f_default_public", linkageName: "\01?f_default_public@A@@QAEXXZ", scope: !10, file: !1, line: 2, type: !13, isLocal: false, isDefinition: false, scopeLine: 2, flags: DIFlagPrototyped, isOptimized: false)
287 !13 = !DISubroutineType(cc: DW_CC_BORLAND_thiscall, types: !14)
288 !14 = !{null, !15}
289 !15 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !10, size: 32, align: 32, flags: DIFlagArtificial | DIFlagObjectPointer)
290 !16 = !DISubprogram(name: "A::f_private", linkageName: "\01?f_private@A@@AAEXXZ", scope: !10, file: !1, line: 4, type: !13, isLocal: false, isDefinition: false, scopeLine: 4, flags: DIFlagPrivate | DIFlagPrototyped, isOptimized: false)
291 !17 = !DISubprogram(name: "A::f_protected", linkageName: "\01?f_protected@A@@IAEXXZ", scope: !10, file: !1, line: 6, type: !13, isLocal: false, isDefinition: false, scopeLine: 6, flags: DIFlagProtected | DIFlagPrototyped, isOptimized: false)
292 !18 = !DISubprogram(name: "A::f_public", linkageName: "\01?f_public@A@@QAEXXZ", scope: !10, file: !1, line: 8, type: !13, isLocal: false, isDefinition: false, scopeLine: 8, flags: DIFlagPrototyped, isOptimized: false)
293 !19 = !DIExpression()
294 !20 = !DILocation(line: 19, scope: !6)
295 !21 = !DILocalVariable(name: "b", scope: !6, file: !1, line: 20, type: !22)
296 !22 = distinct !DICompositeType(tag: DW_TAG_class_type, name: "B", file: !1, line: 11, size: 8, align: 8, elements: !23)
297 !23 = !{!24, !28, !32}
298 !24 = !DISubprogram(name: "B::f_default_private", linkageName: "\01?f_default_private@B@@AAEXXZ", scope: !22, file: !1, line: 12, type: !25, isLocal: false, isDefinition: false, scopeLine: 12, flags: DIFlagPrototyped, isOptimized: false)
299 !25 = !DISubroutineType(cc: DW_CC_BORLAND_thiscall, types: !26)
300 !26 = !{null, !27}
301 !27 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !22, size: 32, align: 32, flags: DIFlagArtificial | DIFlagObjectPointer)
302 !28 = !DISubprogram(name: "B::f", linkageName: "\01?f@B@@QAEXM@Z", scope: !22, file: !1, line: 14, type: !29, isLocal: false, isDefinition: false, scopeLine: 14, flags: DIFlagPublic | DIFlagPrototyped, isOptimized: false)
303 !29 = !DISubroutineType(cc: DW_CC_BORLAND_thiscall, types: !30)
304 !30 = !{null, !27, !31}
305 !31 = !DIBasicType(name: "float", size: 32, align: 32, encoding: DW_ATE_float)
306 !32 = !DISubprogram(name: "B::f", linkageName: "\01?f@B@@QAEXH@Z", scope: !22, file: !1, line: 15, type: !33, isLocal: false, isDefinition: false, scopeLine: 15, flags: DIFlagPublic | DIFlagPrototyped, isOptimized: false)
307 !33 = !DISubroutineType(cc: DW_CC_BORLAND_thiscall, types: !34)
308 !34 = !{null, !27, !35}
309 !35 = !DIBasicType(name: "int", size: 32, align: 32, encoding: DW_ATE_signed)
310 !36 = !DILocation(line: 20, scope: !6)
311 !37 = !DILocation(line: 21, scope: !6)