[CodeView] Mark our lines as statements, not expressions
[oota-llvm.git] / test / DebugInfo / COFF / simple.ll
1 ; RUN: llc -mcpu=core2 -mtriple=i686-pc-win32 -O0 < %s | FileCheck --check-prefix=X86 %s
2 ; RUN: llc -mcpu=core2 -mtriple=i686-pc-win32 -o - -O0 < %s | llvm-mc -triple=i686-pc-win32 -filetype=obj | llvm-readobj -s -sr -codeview -section-symbols | FileCheck --check-prefix=OBJ32 %s
3 ; RUN: llc -mcpu=core2 -mtriple=x86_64-pc-win32 -O0 < %s | FileCheck --check-prefix=X64 %s
4 ; RUN: llc -mcpu=core2 -mtriple=x86_64-pc-win32 -o - -O0 < %s | llvm-mc -triple=x86_64-pc-win32 -filetype=obj | llvm-readobj -s -sr -codeview -section-symbols | FileCheck --check-prefix=OBJ64 %s
5
6 ; This LL file was generated by running clang on the following code:
7 ; D:\test.c:
8 ; 1 void g(void);
9 ; 2
10 ; 3 void f(void) {
11 ; 4   g();
12 ; 5 }
13
14 ; X86-LABEL: _f:
15 ; X86:      # BB
16 ; X86-NEXT: [[CALL_LINE:^L.*]]:{{$}}
17 ; X86:      calll   _g
18 ; X86-NEXT: [[RETURN_STMT:.*]]:
19 ; X86:      ret
20 ; X86-NEXT: [[END_OF_F:.*]]:
21 ;
22 ; X86-LABEL: .section        .debug$S,"dr"
23 ; X86-NEXT: .long   4
24 ; Symbol subsection
25 ; X86-NEXT: .long   241
26 ; X86-NEXT: .long [[F1_END:.*]]-[[F1_START:.*]]
27 ; X86-NEXT: [[F1_START]]:
28 ; X86-NEXT: .short [[PROC_SEGMENT_END:.*]]-[[PROC_SEGMENT_START:.*]]
29 ; X86-NEXT: [[PROC_SEGMENT_START]]:
30 ; X86-NEXT: .short  4423
31 ; X86-NEXT: .zero   12
32 ; X86-NEXT: .long [[END_OF_F]]-_f
33 ; X86-NEXT: .zero   12
34 ; X86-NEXT: .secrel32 _f
35 ; X86-NEXT: .secidx _f
36 ; X86-NEXT: .byte   0
37 ; X86-NEXT: .byte   102
38 ; X86-NEXT: .byte   0
39 ; X86-NEXT: [[PROC_SEGMENT_END]]:
40 ; X86-NEXT: .short  2
41 ; X86-NEXT: .short  4431
42 ; X86-NEXT: [[F1_END]]:
43 ; Padding
44 ; X86-NEXT: .zero   3
45 ; Line table
46 ; X86-NEXT: .long   242
47 ; X86-NEXT: .long [[F2_END:.*]]-[[F2_START:.*]]
48 ; X86-NEXT: [[F2_START]]:
49 ; X86-NEXT: .secrel32 _f
50 ; X86-NEXT: .secidx _f
51 ; X86-NEXT: .short  1
52 ; X86-NEXT: .long [[END_OF_F]]-_f
53 ; X86-NEXT: [[FILE_SEGMENT_START:[^:]*]]:
54 ; X86-NEXT: .long   0
55 ; X86-NEXT: .long   2
56 ; X86-NEXT: .long [[FILE_SEGMENT_END:.*]]-[[FILE_SEGMENT_START]]
57 ; X86-NEXT: .long [[CALL_LINE]]-_f
58 ; X86-NEXT: .long   -2147483644
59 ; X86-NEXT: .long [[RETURN_STMT]]-_f
60 ; X86-NEXT: .long   -2147483643
61 ; X86-NEXT: .short  0
62 ; X86-NEXT: .short  0
63 ; X86-NEXT: .short  0
64 ; X86-NEXT: .short  0
65 ; X86-NEXT: [[FILE_SEGMENT_END]]:
66 ; X86-NEXT: [[F2_END]]:
67 ; File index to string table offset subsection
68 ; X86-NEXT: .long   244
69 ; X86-NEXT: .long   8
70 ; X86-NEXT: .long   1
71 ; X86-NEXT: .long   0
72 ; String table
73 ; X86-NEXT: .long   243
74 ; X86-NEXT: .long   11
75 ; X86-NEXT: .byte   0
76 ; X86-NEXT: .ascii  "D:\\test.c"
77 ; X86-NEXT: .byte   0
78 ; Padding
79 ; X86-NEXT: .zero   1
80
81 ; OBJ32:    Section {
82 ; OBJ32:      Name: .debug$S (2E 64 65 62 75 67 24 53)
83 ; OBJ32:      Characteristics [ (0x42100040)
84 ; OBJ32:      ]
85 ; OBJ32:      Relocations [
86 ; OBJ32-NEXT:   0x2C IMAGE_REL_I386_SECREL _f
87 ; OBJ32-NEXT:   0x30 IMAGE_REL_I386_SECTION _f
88 ; OBJ32-NEXT:   0x44 IMAGE_REL_I386_SECREL _f
89 ; OBJ32-NEXT:   0x48 IMAGE_REL_I386_SECTION _f
90 ; OBJ32-NEXT: ]
91 ; OBJ32:      Subsection [
92 ; OBJ32-NEXT:   Type: 0xF1
93 ; OBJ32-NOT:    ]
94 ; OBJ32:        ProcStart {
95 ; OBJ32-NEXT:     DisplayName: f
96 ; OBJ32-NEXT:     Section: _f
97 ; OBJ32-NEXT:     CodeSize: 0x6
98 ; OBJ32-NEXT:   }
99 ; OBJ32-NEXT:   ProcEnd
100 ; OBJ32-NEXT: ]
101 ; OBJ32:      FunctionLineTable [
102 ; OBJ32-NEXT:   Name: _f
103 ; OBJ32-NEXT:   Flags: 0x1
104 ; OBJ32-NEXT:   CodeSize: 0x6
105 ; OBJ32-NEXT:   FilenameSegment [
106 ; OBJ32-NEXT:     Filename: D:\test.c
107 ; OBJ32-NEXT:     +0x0 [
108 ; OBJ32-NEXT:       LineNumberStart: 4
109 ; OBJ32-NEXT:       LineNumberEndDelta: 0
110 ; OBJ32-NEXT:       IsStatement: Yes
111 ; OBJ32-NEXT:       ColStart: 0
112 ; OBJ32-NEXT:       ColEnd: 0
113 ; OBJ32-NEXT:     ]
114 ; OBJ32-NEXT:     +0x5 [
115 ; OBJ32-NEXT:       LineNumberStart: 5
116 ; OBJ32-NEXT:       LineNumberEndDelta: 0
117 ; OBJ32-NEXT:       IsStatement: Yes
118 ; OBJ32-NEXT:       ColStart: 0
119 ; OBJ32-NEXT:       ColEnd: 0
120 ; OBJ32-NEXT:     ]
121 ; OBJ32-NEXT:   ]
122 ; OBJ32-NEXT: ]
123
124 ; X64-LABEL: f:
125 ; X64-NEXT: .L{{.*}}:{{$}}
126 ; X64-NEXT: [[START:.*]]:{{$}}
127 ; X64:      # BB
128 ; X64:      subq    $40, %rsp
129 ; X64-NEXT: [[CALL_LINE:.*]]:{{$}}
130 ; X64-NEXT: callq   g
131 ; X64-NEXT: [[EPILOG_AND_RET:.*]]:
132 ; X64:      addq    $40, %rsp
133 ; X64-NEXT: ret
134 ; X64-NEXT: [[END_OF_F:.*]]:
135 ;
136 ; X64-LABEL: .section        .debug$S,"dr"
137 ; X64-NEXT: .long   4
138 ; Symbol subsection
139 ; X64-NEXT: .long   241
140 ; X64-NEXT: .long [[F1_END:.*]]-[[F1_START:.*]]
141 ; X64-NEXT: [[F1_START]]:
142 ; X64-NEXT: .short [[PROC_SEGMENT_END:.*]]-[[PROC_SEGMENT_START:.*]]
143 ; X64-NEXT: [[PROC_SEGMENT_START]]:
144 ; X64-NEXT: .short  4423
145 ; X64-NEXT: .zero   12
146 ; X64-NEXT: .long [[END_OF_F]]-f
147 ; X64-NEXT: .zero   12
148 ; X64-NEXT: .secrel32 f
149 ; X64-NEXT: .secidx f
150 ; X64-NEXT: .byte   0
151 ; X64-NEXT: .byte   102
152 ; X64-NEXT: .byte   0
153 ; X64-NEXT: [[PROC_SEGMENT_END]]:
154 ; X64-NEXT: .short  2
155 ; X64-NEXT: .short  4431
156 ; X64-NEXT: [[F1_END]]:
157 ; Padding
158 ; X64-NEXT: .zero   3
159 ; Line table
160 ; X64-NEXT: .long   242
161 ; X64-NEXT: .long [[F2_END:.*]]-[[F2_START:.*]]
162 ; X64-NEXT: [[F2_START]]:
163 ; X64-NEXT: .secrel32 f
164 ; X64-NEXT: .secidx f
165 ; X64-NEXT: .short  1
166 ; X64-NEXT: .long [[END_OF_F]]-f
167 ; X64-NEXT: [[FILE_SEGMENT_START:[^:]*]]:
168 ; X64-NEXT: .long   0
169 ; X64-NEXT: .long   3
170 ; X64-NEXT: .long [[FILE_SEGMENT_END:.*]]-[[FILE_SEGMENT_START]]
171 ; X64-NEXT: .long [[START]]-f
172 ; X64-NEXT: .long   -2147483645
173 ; X64-NEXT: .long [[CALL_LINE]]-f
174 ; X64-NEXT: .long   -2147483644
175 ; X64-NEXT: .long [[EPILOG_AND_RET]]-f
176 ; X64-NEXT: .long   -2147483643
177 ; X64-NEXT: .short  0
178 ; X64-NEXT: .short  0
179 ; X64-NEXT: .short  0
180 ; X64-NEXT: .short  0
181 ; X64-NEXT: .short  0
182 ; X64-NEXT: .short  0
183 ; X64-NEXT: [[FILE_SEGMENT_END]]:
184 ; X64-NEXT: [[F2_END]]:
185 ; File index to string table offset subsection
186 ; X64-NEXT: .long   244
187 ; X64-NEXT: .long   8
188 ; X64-NEXT: .long   1
189 ; X64-NEXT: .long   0
190 ; String table
191 ; X64-NEXT: .long   243
192 ; X64-NEXT: .long   11
193 ; X64-NEXT: .byte   0
194 ; X64-NEXT: .ascii  "D:\\test.c"
195 ; X64-NEXT: .byte   0
196 ; Padding
197 ; X64-NEXT: .zero   1
198
199 ; OBJ64:    Section {
200 ; OBJ64:      Name: .debug$S (2E 64 65 62 75 67 24 53)
201 ; OBJ64:      Characteristics [ (0x42100040)
202 ; OBJ64:      ]
203 ; OBJ64:      Relocations [
204 ; OBJ64-NEXT:   0x2C IMAGE_REL_AMD64_SECREL f
205 ; OBJ64-NEXT:   0x30 IMAGE_REL_AMD64_SECTION f
206 ; OBJ64-NEXT:   0x44 IMAGE_REL_AMD64_SECREL f
207 ; OBJ64-NEXT:   0x48 IMAGE_REL_AMD64_SECTION f
208 ; OBJ64-NEXT: ]
209 ; OBJ64:      Subsection [
210 ; OBJ64-NEXT:   Type: 0xF1
211 ; OBJ64-NOT:    ]
212 ; OBJ64:        ProcStart {
213 ; OBJ64-NEXT:     DisplayName: f
214 ; OBJ64-NEXT:     Section: f
215 ; OBJ64-NEXT:     CodeSize: 0xE
216 ; OBJ64-NEXT:   }
217 ; OBJ64-NEXT:   ProcEnd
218 ; OBJ64-NEXT: ]
219 ; OBJ64:      FunctionLineTable [
220 ; OBJ64-NEXT:   Name: f
221 ; OBJ64-NEXT:   Flags: 0x1
222 ; OBJ64-NEXT:   CodeSize: 0xE
223 ; OBJ64-NEXT:   FilenameSegment [
224 ; OBJ64-NEXT:     Filename: D:\test.c
225 ; OBJ64-NEXT:     +0x0 [
226 ; OBJ64-NEXT:       LineNumberStart: 3
227 ; OBJ64-NEXT:       LineNumberEndDelta: 0
228 ; OBJ64-NEXT:       IsStatement: Yes
229 ; OBJ64-NEXT:       ColStart: 0
230 ; OBJ64-NEXT:       ColEnd: 0
231 ; OBJ64-NEXT:     ]
232 ; OBJ64-NEXT:     +0x4 [
233 ; OBJ64-NEXT:       LineNumberStart: 4
234 ; OBJ64-NEXT:       LineNumberEndDelta: 0
235 ; OBJ64-NEXT:       IsStatement: Yes
236 ; OBJ64-NEXT:       ColStart: 0
237 ; OBJ64-NEXT:       ColEnd: 0
238 ; OBJ64-NEXT:     ]
239 ; OBJ64-NEXT:     +0x9 [
240 ; OBJ64-NEXT:       LineNumberStart: 5
241 ; OBJ64-NEXT:       LineNumberEndDelta: 0
242 ; OBJ64-NEXT:       IsStatement: Yes
243 ; OBJ64-NEXT:       ColStart: 0
244 ; OBJ64-NEXT:       ColEnd: 0
245 ; OBJ64-NEXT:     ]
246 ; OBJ64-NEXT:   ]
247 ; OBJ64-NEXT: ]
248
249 ; Function Attrs: nounwind
250 define void @f() #0 !dbg !4 {
251 entry:
252   call void @g(), !dbg !12
253   ret void, !dbg !13
254 }
255
256 declare void @g() #1
257
258 attributes #0 = { nounwind "less-precise-fpmad"="false" "no-frame-pointer-elim"="false" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "no-realign-stack" "stack-protector-buffer-size"="8" "unsafe-fp-math"="false" "use-soft-float"="false" }
259 attributes #1 = { "less-precise-fpmad"="false" "no-frame-pointer-elim"="false" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "no-realign-stack" "stack-protector-buffer-size"="8" "unsafe-fp-math"="false" "use-soft-float"="false" }
260
261 !llvm.dbg.cu = !{!0}
262 !llvm.module.flags = !{!9, !10}
263 !llvm.ident = !{!11}
264
265 !0 = distinct !DICompileUnit(language: DW_LANG_C99, producer: "clang version 3.5 ", isOptimized: false, emissionKind: 0, file: !1, enums: !2, retainedTypes: !2, subprograms: !3, globals: !2, imports: !2)
266 !1 = !DIFile(filename: "<unknown>", directory: "D:\5C")
267 !2 = !{}
268 !3 = !{!4}
269 !4 = distinct !DISubprogram(name: "f", line: 3, isLocal: false, isDefinition: true, virtualIndex: 6, flags: DIFlagPrototyped, isOptimized: false, scopeLine: 3, file: !5, scope: !6, type: !7, variables: !2)
270 !5 = !DIFile(filename: "test.c", directory: "D:\5C")
271 !6 = !DIFile(filename: "test.c", directory: "D:C")
272 !7 = !DISubroutineType(types: !8)
273 !8 = !{null}
274 !9 = !{i32 2, !"CodeView", i32 1}
275 !10 = !{i32 1, !"Debug Info Version", i32 3}
276 !11 = !{!"clang version 3.5 "}
277 !12 = !DILocation(line: 4, scope: !4)
278 !13 = !DILocation(line: 5, scope: !4)