[DAGCombiner] Eliminate dead stores to stack.
[llvm-complete.git] / test / DebugInfo / COFF / inlining.ll
blobbb07cacb1cf5335845ae8612800c413f4edf5f1e
1 ; RUN: llc -mcpu=core2 -mtriple=i686-pc-win32 < %s | FileCheck %s --check-prefix=ASM
2 ; RUN: llc -mcpu=core2 -mtriple=i686-pc-win32 < %s -filetype=obj | llvm-readobj -codeview | FileCheck %s --check-prefix=OBJ
4 ; This LL file was generated by running 'clang -O1 -g -gcodeview' on the
5 ; following code:
6 ;  1: extern volatile int x;
7 ;  2: static inline void foo() {
8 ;  3:   int y = 1;
9 ;  4:   x += (int)&y;
10 ;  5:   x += 2;
11 ;  6:   x += 3;
12 ;  7: }
13 ;  8: static inline void bar() {
14 ;  9:   x += 4;
15 ; 10:   foo();
16 ; 11:   x += 5;
17 ; 12: }
18 ; 13: void baz() {
19 ; 14:   x += 6;
20 ; 15:   bar();
21 ; 16:   x += 7;
22 ; 17: }
24 ; ASM: .cv_func_id 0
25 ; ASM: .cv_loc 0 1 13 0      # t.cpp:13:0
26 ; ASM: .cv_loc 0 1 14 5                # t.cpp:14:5
27 ; ASM: addl    $6, "?x@@3HC"
28 ; ASM: .cv_inline_site_id 1 within 0 inlined_at 1 15 3
29 ; ASM: .cv_loc 1 1 9 5                 # t.cpp:9:5
30 ; ASM: addl    $4, "?x@@3HC"
31 ; ASM: .cv_inline_site_id 2 within 1 inlined_at 1 10 3
32 ; ASM: .cv_loc 2 1 4 5                 # t.cpp:4:5
33 ; ASM: addl    {{.*}}, "?x@@3HC"
34 ; ASM: .cv_loc 2 1 5 5                 # t.cpp:5:5
35 ; ASM: addl    $2, "?x@@3HC"
36 ; ASM: .cv_loc 2 1 6 5                 # t.cpp:6:5
37 ; ASM: addl    $3, "?x@@3HC"
38 ; ASM: .cv_loc 1 1 11 5                # t.cpp:11:5
39 ; ASM: addl    $5, "?x@@3HC"
40 ; ASM: .cv_loc 0 1 16 5                # t.cpp:16:5
41 ; ASM: addl    $7, "?x@@3HC"
42 ; ASM: .cv_loc 0 1 17 1                # t.cpp:17:1
44 ; ASM: .section .debug$S,"dr"
45 ; ASM: .long   246                     # Inlinee lines subsection
46 ; ASM: .long   [[inline_end:.*]]-[[inline_beg:.*]] #
47 ; ASM: [[inline_beg]]:
48 ; ASM: .long   0
49 ; ASM: # Inlined function bar starts at t.cpp:8
50 ; ASM: .long   4098                    # Type index of inlined function
51 ; ASM: .cv_filechecksumoffset 1        # Offset into filechecksum table
52 ; ASM: .long   8                       # Starting line number
53 ; ASM: # Inlined function foo starts at t.cpp:2
54 ; ASM: .long   4099
55 ; ASM: .cv_filechecksumoffset 1        # Offset into filechecksum table
56 ; ASM: .long   2
57 ; ASM: [[inline_end]]:
59 ; ASM: .long   241                     # Symbol subsection for baz
60 ; ASM: .long   {{.*}} # Subsection size
61 ; ASM: .short 4429
62 ; ASM: .long
63 ; ASM: .long
64 ; ASM: .long
65 ; ASM: .cv_inline_linetable 1 1 8 Lfunc_begin0 Lfunc_end0
66 ; ASM: .short 4429
67 ; ASM: .long
68 ; ASM: .long
69 ; ASM: .long
70 ; ASM: .cv_inline_linetable 2 1 2 Lfunc_begin0 Lfunc_end0
71 ; ASM: .short  4430
72 ; ASM: .short  4430
74 ; ASM: .cv_filechecksums
76 ; ASM: .section .debug$T,"dr"
77 ; ASM: .long 4 # Debug section magic
78 ; ASM: # ArgList (0x1000) {
79 ; ASM: #   TypeLeafKind: LF_ARGLIST (0x1201)
80 ; ASM: #   NumArgs: 0
81 ; ASM: #   Arguments [
82 ; ASM: #   ]
83 ; ASM: # }
84 ; ASM: .byte   0x06, 0x00, 0x01, 0x12
85 ; ASM: .byte   0x00, 0x00, 0x00, 0x00
86 ; ASM: # Procedure (0x1001) {
87 ; ASM: #   TypeLeafKind: LF_PROCEDURE (0x1008)
88 ; ASM: #   ReturnType: void (0x3)
89 ; ASM: #   CallingConvention: NearC (0x0)
90 ; ASM: #   FunctionOptions [ (0x0)
91 ; ASM: #   ]
92 ; ASM: #   NumParameters: 0
93 ; ASM: #   ArgListType: () (0x1000)
94 ; ASM: # }
95 ; ASM: .byte   0x0e, 0x00, 0x08, 0x10
96 ; ASM: .byte   0x03, 0x00, 0x00, 0x00
97 ; ASM: .byte   0x00, 0x00, 0x00, 0x00
98 ; ASM: .byte   0x00, 0x10, 0x00, 0x00
99 ; ASM: # FuncId (0x1002) {
100 ; ASM: #   TypeLeafKind: LF_FUNC_ID (0x1601)
101 ; ASM: #   ParentScope: 0x0
102 ; ASM: #   FunctionType: void () (0x1001)
103 ; ASM: #   Name: bar
104 ; ASM: # }
105 ; ASM: .byte   0x0e, 0x00, 0x01, 0x16
106 ; ASM: .byte   0x00, 0x00, 0x00, 0x00
107 ; ASM: .byte   0x01, 0x10, 0x00, 0x00
108 ; ASM: .byte   0x62, 0x61, 0x72, 0x00
109 ; ASM: # FuncId (0x1003) {
110 ; ASM: #   TypeLeafKind: LF_FUNC_ID (0x1601)
111 ; ASM: #   ParentScope: 0x0
112 ; ASM: #   FunctionType: void () (0x1001)
113 ; ASM: #   Name: foo
114 ; ASM: # }
115 ; ASM: .byte   0x0e, 0x00, 0x01, 0x16
116 ; ASM: .byte   0x00, 0x00, 0x00, 0x00
117 ; ASM: .byte   0x01, 0x10, 0x00, 0x00
118 ; ASM: .byte   0x66, 0x6f, 0x6f, 0x00
120 ; We should only the LF_FUNC_ID records that we needed to reference.
121 ; OBJ: CodeViewTypes [
122 ; OBJ:   Section: .debug$T
123 ; OBJ:   ArgList (0x1000) {
124 ; OBJ:     TypeLeafKind: LF_ARGLIST (0x1201)
125 ; OBJ:     NumArgs: 0
126 ; OBJ:   }
127 ; OBJ:   Procedure (0x1001) {
128 ; OBJ:     TypeLeafKind: LF_PROCEDURE (0x1008)
129 ; OBJ:     ReturnType: void (0x3)
130 ; OBJ:     NumParameters: 0
131 ; OBJ:     ArgListType: () (0x1000)
132 ; OBJ:   }
133 ; OBJ:   FuncId (0x1002) {
134 ; OBJ:     TypeLeafKind: LF_FUNC_ID (0x1601)
135 ; OBJ:     ParentScope: 0x0
136 ; OBJ:     FunctionType: void () (0x1001)
137 ; OBJ:     Name: bar
138 ; OBJ:   }
139 ; OBJ:   FuncId (0x1003) {
140 ; OBJ:     TypeLeafKind: LF_FUNC_ID (0x1601)
141 ; OBJ:     ParentScope: 0x0
142 ; OBJ:     FunctionType: void () (0x1001)
143 ; OBJ:     Name: foo
144 ; OBJ:   }
145 ; OBJ:   FuncId (0x1004) {
146 ; OBJ:     TypeLeafKind: LF_FUNC_ID (0x1601)
147 ; OBJ:     ParentScope: 0x0
148 ; OBJ:     FunctionType: void () (0x1001)
149 ; OBJ:     Name: baz
150 ; OBJ:   }
151 ; OBJ-NOT: TypeLeafKind: LF_FUNC_ID
152 ; OBJ: ]
154 ; OBJ: Subsection [
155 ; OBJ:   SubSectionType: InlineeLines (0xF6)
156 ; OBJ:   SubSectionSize: 0x1C
157 ; OBJ:   InlineeSourceLine {
158 ; OBJ:     Inlinee: bar (0x1002)
159 ; OBJ:     FileID: D:\src\llvm\build\t.cpp (0x0)
160 ; OBJ:     SourceLineNum: 8
161 ; OBJ:   }
162 ; OBJ:   InlineeSourceLine {
163 ; OBJ:     Inlinee: foo (0x1003)
164 ; OBJ:     FileID: D:\src\llvm\build\t.cpp (0x0)
165 ; OBJ:     SourceLineNum: 2
166 ; OBJ:   }
167 ; OBJ: ]
168 ; OBJ: Subsection [
169 ; OBJ:   SubSectionType: Symbols (0xF1)
170 ; OBJ:   {{.*}}Proc{{.*}}Sym {
171 ; OBJ:     PtrParent: 0x0
172 ; OBJ:     PtrEnd: 0x0
173 ; OBJ:     PtrNext: 0x0
174 ; OBJ:     CodeSize: 0x35
175 ; OBJ:     DbgStart: 0x0
176 ; OBJ:     DbgEnd: 0x0
177 ; OBJ:     FunctionType: baz (0x1004)
178 ; OBJ:     CodeOffset: ?baz@@YAXXZ+0x0
179 ; OBJ:     Segment: 0x0
180 ; OBJ:     Flags [ (0x0)
181 ; OBJ:     ]
182 ; OBJ:     DisplayName: baz
183 ; OBJ:     LinkageName: ?baz@@YAXXZ
184 ; OBJ:   }
185 ; OBJ:   InlineSiteSym {
186 ; OBJ:     PtrParent: 0x0
187 ; OBJ:     PtrEnd: 0x0
188 ; OBJ:     Inlinee: bar (0x1002)
189 ; OBJ:      BinaryAnnotations [
190 ; OBJ-NEXT:   ChangeCodeOffsetAndLineOffset: {CodeOffset: 0x8, LineOffset: 1}
191 ; OBJ-NEXT:   ChangeCodeOffsetAndLineOffset: {CodeOffset: 0x9, LineOffset: 1}
192 ; OBJ-NEXT:   ChangeLineOffset: 1
193 ; OBJ-NEXT:   ChangeCodeOffset: 0x14
194 ; OBJ-NEXT:   ChangeCodeLength: 0x7
195 ; OBJ:      ]
196 ; OBJ:   }
197 ; OBJ:   InlineSiteSym {
198 ; OBJ:     PtrParent: 0x0
199 ; OBJ:     PtrEnd: 0x0
200 ; OBJ:     Inlinee: foo (0x1003)
201 ; OBJ:     BinaryAnnotations [
202 ; OBJ-NEXT:  ChangeLineOffset: 2
203 ; OBJ-NEXT:  ChangeCodeOffset: 0x11
204 ; OBJ-NEXT:  ChangeCodeOffsetAndLineOffset: {CodeOffset: 0x6, LineOffset: 1}
205 ; OBJ-NEXT:  ChangeCodeOffsetAndLineOffset: {CodeOffset: 0x7, LineOffset: 1}
206 ; OBJ-NEXT:  ChangeCodeLength: 0x7
207 ; OBJ:     ]
208 ; OBJ:   }
209 ; OBJ:   InlineSiteEnd {
210 ; OBJ:   }
211 ; OBJ:   InlineSiteEnd {
212 ; OBJ:   }
213 ; OBJ:   ProcEnd
214 ; OBJ: ]
216 ; ModuleID = 't.cpp'
217 target datalayout = "e-m:w-i64:64-f80:128-n8:16:32:64-S128"
218 target triple = "x86_64-pc-windows-msvc18.0.0"
220 @"\01?x@@3HC" = external global i32, align 4
222 ; Function Attrs: norecurse nounwind uwtable
223 define void @"\01?baz@@YAXXZ"() #0 !dbg !4 {
224 entry:
225   %y.i.i = alloca i32, align 4
226   %0 = load volatile i32, i32* @"\01?x@@3HC", align 4, !dbg !12, !tbaa !13
227   %add = add nsw i32 %0, 6, !dbg !12
228   store volatile i32 %add, i32* @"\01?x@@3HC", align 4, !dbg !12, !tbaa !13
229   %1 = load volatile i32, i32* @"\01?x@@3HC", align 4, !dbg !17, !tbaa !13
230   %add.i = add nsw i32 %1, 4, !dbg !17
231   store volatile i32 %add.i, i32* @"\01?x@@3HC", align 4, !dbg !17, !tbaa !13
232   %2 = bitcast i32* %y.i.i to i8*, !dbg !19
233   call void @llvm.lifetime.start(i64 4, i8* %2) #2, !dbg !19
234   store i32 1, i32* %y.i.i, align 4, !dbg !21, !tbaa !13
235   %3 = ptrtoint i32* %y.i.i to i64, !dbg !22
236   %4 = trunc i64 %3 to i32, !dbg !22
237   %5 = load volatile i32, i32* @"\01?x@@3HC", align 4, !dbg !23, !tbaa !13
238   %add.i.i = add nsw i32 %5, %4, !dbg !23
239   store volatile i32 %add.i.i, i32* @"\01?x@@3HC", align 4, !dbg !23, !tbaa !13
240   %6 = load volatile i32, i32* @"\01?x@@3HC", align 4, !dbg !24, !tbaa !13
241   %add1.i.i = add nsw i32 %6, 2, !dbg !24
242   store volatile i32 %add1.i.i, i32* @"\01?x@@3HC", align 4, !dbg !24, !tbaa !13
243   %7 = load volatile i32, i32* @"\01?x@@3HC", align 4, !dbg !25, !tbaa !13
244   %add2.i.i = add nsw i32 %7, 3, !dbg !25
245   store volatile i32 %add2.i.i, i32* @"\01?x@@3HC", align 4, !dbg !25, !tbaa !13
246   call void @llvm.lifetime.end(i64 4, i8* %2) #2, !dbg !26
247   %8 = load volatile i32, i32* @"\01?x@@3HC", align 4, !dbg !27, !tbaa !13
248   %add1.i = add nsw i32 %8, 5, !dbg !27
249   store volatile i32 %add1.i, i32* @"\01?x@@3HC", align 4, !dbg !27, !tbaa !13
250   %9 = load volatile i32, i32* @"\01?x@@3HC", align 4, !dbg !28, !tbaa !13
251   %add1 = add nsw i32 %9, 7, !dbg !28
252   store volatile i32 %add1, i32* @"\01?x@@3HC", align 4, !dbg !28, !tbaa !13
253   ret void, !dbg !29
256 ; Function Attrs: argmemonly nounwind
257 declare void @llvm.lifetime.start(i64, i8* nocapture) #1
259 ; Function Attrs: argmemonly nounwind
260 declare void @llvm.lifetime.end(i64, i8* nocapture) #1
262 attributes #0 = { norecurse nounwind uwtable "disable-tail-calls"="false" "less-precise-fpmad"="false" "no-frame-pointer-elim"="false" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+fxsr,+mmx,+sse,+sse2" "unsafe-fp-math"="false" "use-soft-float"="false" }
263 attributes #1 = { argmemonly nounwind }
264 attributes #2 = { nounwind }
266 !llvm.dbg.cu = !{!0}
267 !llvm.module.flags = !{!8, !9, !10}
268 !llvm.ident = !{!11}
270 !0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, file: !1, producer: "clang version 3.9.0 ", isOptimized: true, runtimeVersion: 0, emissionKind: LineTablesOnly, enums: !2)
271 !1 = !DIFile(filename: "t.cpp", directory: "D:\5Csrc\5Cllvm\5Cbuild")
272 !2 = !{}
273 !4 = distinct !DISubprogram(name: "baz", scope: !1, file: !1, line: 13, type: !5, isLocal: false, isDefinition: true, scopeLine: 13, flags: DIFlagPrototyped, isOptimized: true, unit: !0, retainedNodes: !2)
274 !5 = !DISubroutineType(types: !2)
275 !6 = distinct !DISubprogram(name: "bar", scope: !1, file: !1, line: 8, type: !5, isLocal: true, isDefinition: true, scopeLine: 8, flags: DIFlagPrototyped, isOptimized: true, unit: !0, retainedNodes: !2)
276 !7 = distinct !DISubprogram(name: "foo", scope: !1, file: !1, line: 2, type: !5, isLocal: true, isDefinition: true, scopeLine: 2, flags: DIFlagPrototyped, isOptimized: true, unit: !0, retainedNodes: !2)
277 !8 = !{i32 2, !"CodeView", i32 1}
278 !9 = !{i32 2, !"Debug Info Version", i32 3}
279 !10 = !{i32 1, !"PIC Level", i32 2}
280 !11 = !{!"clang version 3.9.0 "}
281 !12 = !DILocation(line: 14, column: 5, scope: !4)
282 !13 = !{!14, !14, i64 0}
283 !14 = !{!"int", !15, i64 0}
284 !15 = !{!"omnipotent char", !16, i64 0}
285 !16 = !{!"Simple C/C++ TBAA"}
286 !17 = !DILocation(line: 9, column: 5, scope: !6, inlinedAt: !18)
287 !18 = distinct !DILocation(line: 15, column: 3, scope: !4)
288 !19 = !DILocation(line: 3, column: 3, scope: !7, inlinedAt: !20)
289 !20 = distinct !DILocation(line: 10, column: 3, scope: !6, inlinedAt: !18)
290 !21 = !DILocation(line: 3, column: 7, scope: !7, inlinedAt: !20)
291 !22 = !DILocation(line: 4, column: 8, scope: !7, inlinedAt: !20)
292 !23 = !DILocation(line: 4, column: 5, scope: !7, inlinedAt: !20)
293 !24 = !DILocation(line: 5, column: 5, scope: !7, inlinedAt: !20)
294 !25 = !DILocation(line: 6, column: 5, scope: !7, inlinedAt: !20)
295 !26 = !DILocation(line: 7, column: 1, scope: !7, inlinedAt: !20)
296 !27 = !DILocation(line: 11, column: 5, scope: !6, inlinedAt: !18)
297 !28 = !DILocation(line: 16, column: 5, scope: !4)
298 !29 = !DILocation(line: 17, column: 1, scope: !4)