Taints the non-acquire RMW's store address with the load part
[oota-llvm.git] / test / DebugInfo / COFF / asm.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 | 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 | FileCheck --check-prefix=OBJ64 %s
5
6 ; This LL file was generated by running clang on the following code:
7 ; D:\asm.c:
8 ;  1 void g(void);
9 ;  2
10 ;  3 void f(void) {
11 ;  4   __asm align 4;
12 ;  5   g();
13 ;  6 }
14
15 ; X86-LABEL: _f:
16 ; X86:      # BB
17 ; X86-NEXT: [[ASM_LINE:^L.*]]:{{$}}
18 ; X86:      [[CALL_LINE:^L.*]]:{{$}}
19 ; X86:      calll   _g
20 ; X86-NEXT: [[RETURN_STMT:.*]]:
21 ; X86:      ret
22 ; X86-NEXT: [[END_OF_F:^L.*]]:
23 ;
24 ; X86-LABEL: .section        .debug$S,"dr"
25 ; X86-NEXT: .long   4
26 ; Symbol subsection
27 ; X86-NEXT: .long   241
28 ; X86-NEXT: .long [[F1_END:.*]]-[[F1_START:.*]]
29 ; X86-NEXT: [[F1_START]]:
30 ; X86-NEXT: .short [[PROC_SEGMENT_END:.*]]-[[PROC_SEGMENT_START:.*]]
31 ; X86-NEXT: [[PROC_SEGMENT_START]]:
32 ; X86-NEXT: .short  4423
33 ; X86-NEXT: .zero   12
34 ; X86-NEXT: .long [[END_OF_F]]-_f
35 ; X86-NEXT: .zero   12
36 ; X86-NEXT: .secrel32 _f
37 ; X86-NEXT: .secidx _f
38 ; X86-NEXT: .byte   0
39 ; X86-NEXT: .byte   102
40 ; X86-NEXT: .byte   0
41 ; X86-NEXT: [[PROC_SEGMENT_END]]:
42 ; X86-NEXT: .short  2
43 ; X86-NEXT: .short  4431
44 ; X86-NEXT: [[F1_END]]:
45 ; Padding
46 ; X86-NEXT: .zero   3
47 ; Line table
48 ; X86-NEXT: .long   242
49 ; X86-NEXT: .long [[F2_END:.*]]-[[F2_START:.*]]
50 ; X86-NEXT: [[F2_START]]:
51 ; X86-NEXT: .secrel32 _f
52 ; X86-NEXT: .secidx _f
53 ; X86-NEXT: .short 1
54 ; X86-NEXT: .long [[END_OF_F]]-_f
55 ; X86-NEXT: [[FILE_SEGMENT_START:[^:]*]]:
56 ; X86-NEXT: .long   0
57 ; X86-NEXT: .long   3
58 ; X86-NEXT: .long [[FILE_SEGMENT_END:.*]]-[[FILE_SEGMENT_START]]
59 ; X86-NEXT: .long [[ASM_LINE]]-_f
60 ; X86-NEXT: .long   -2147483644
61 ; X86-NEXT: .long [[CALL_LINE]]-_f
62 ; X86-NEXT: .long   -2147483643
63 ; X86-NEXT: .long [[RETURN_STMT]]-_f
64 ; X86-NEXT: .long   -2147483642
65 ; X86-NEXT: .short  0
66 ; X86-NEXT: .short  0
67 ; X86-NEXT: .short  0
68 ; X86-NEXT: .short  0
69 ; X86-NEXT: .short  0
70 ; X86-NEXT: .short  0
71 ; X86-NEXT: [[FILE_SEGMENT_END]]:
72 ; X86-NEXT: [[F2_END]]:
73 ; File index to string table offset subsection
74 ; X86-NEXT: .long   244
75 ; X86-NEXT: .long   8
76 ; X86-NEXT: .long   1
77 ; X86-NEXT: .long   0
78 ; String table
79 ; X86-NEXT: .long   243
80 ; X86-NEXT: .long   10
81 ; X86-NEXT: .byte   0
82 ; X86-NEXT: .ascii  "D:\\asm.c"
83 ; X86-NEXT: .byte   0
84 ; Padding
85 ; X86-NEXT: .zero   2
86
87 ; OBJ32:    Section {
88 ; OBJ32:      Name: .debug$S (2E 64 65 62 75 67 24 53)
89 ; OBJ32:      Characteristics [ (0x42100040)
90 ; OBJ32:      ]
91 ; OBJ32:      Relocations [
92 ; OBJ32-NEXT:   0x2C IMAGE_REL_I386_SECREL _f
93 ; OBJ32-NEXT:   0x30 IMAGE_REL_I386_SECTION _f
94 ; OBJ32-NEXT:   0x44 IMAGE_REL_I386_SECREL _f
95 ; OBJ32-NEXT:   0x48 IMAGE_REL_I386_SECTION _f
96 ; OBJ32-NEXT: ]
97 ; OBJ32:    CodeViewDebugInfo [
98 ; OBJ32:      Subsection [
99 ; OBJ32-NEXT:   Type: 0xF1
100 ; OBJ32-NOT:    ]
101 ; OBJ32:        ProcStart {
102 ; OBJ32-NEXT:     DisplayName: f
103 ; OBJ32-NEXT:     Section: _f
104 ; OBJ32-NEXT:     CodeSize: 0x6
105 ; OBJ32-NEXT:   }
106 ; OBJ32-NEXT:   ProcEnd
107 ; OBJ32-NEXT: ]
108 ; OBJ32:      FunctionLineTable [
109 ; OBJ32-NEXT:   Name: _f
110 ; OBJ32-NEXT:   Flags: 0x1
111 ; OBJ32-NEXT:   CodeSize: 0x6
112 ; OBJ32-NEXT:   FilenameSegment [
113 ; OBJ32-NEXT:   Filename: D:\asm.c
114 ; FIXME: An empty __asm stmt creates an extra entry.
115 ; We seem to know that these offsets are the same statically during the
116 ; execution of endModule().  See PR18679 for the details.
117 ; OBJ32-NEXT:   +0x0 [
118 ; OBJ32-NEXT:     LineNumberStart: 4
119 ; OBJ32-NEXT:     LineNumberEndDelta: 0
120 ; OBJ32-NEXT:     IsStatement: Yes
121 ; OBJ32-NEXT:     ColStart: 0
122 ; OBJ32-NEXT:     ColEnd: 0
123 ; OBJ32-NEXT:   ]
124 ; OBJ32-NEXT:   +0x0 [
125 ; OBJ32-NEXT:     LineNumberStart: 5
126 ; OBJ32-NEXT:     LineNumberEndDelta: 0
127 ; OBJ32-NEXT:     IsStatement: Yes
128 ; OBJ32-NEXT:     ColStart: 0
129 ; OBJ32-NEXT:     ColEnd: 0
130 ; OBJ32-NEXT:   ]
131 ; OBJ32-NEXT:   +0x5 [
132 ; OBJ32-NEXT:     LineNumberStart: 6
133 ; OBJ32-NEXT:     LineNumberEndDelta: 0
134 ; OBJ32-NEXT:     IsStatement: Yes
135 ; OBJ32-NEXT:     ColStart: 0
136 ; OBJ32-NEXT:     ColEnd: 0
137 ; OBJ32-NEXT:   ]
138 ; OBJ32-NEXT: ]
139
140 ; X64-LABEL: f:
141 ; X64-NEXT: .L{{.*}}:{{$}}
142 ; X64-NEXT: [[START:.*]]:{{$}}
143 ; X64:      # BB
144 ; X64:      subq    $40, %rsp
145 ; X64-NEXT: [[ASM_LINE:.*]]:{{$}}
146 ; X64:      [[CALL_LINE:.*]]:{{$}}
147 ; X64:      callq   g
148 ; X64-NEXT: [[EPILOG_AND_RET:.*]]:
149 ; X64:      addq    $40, %rsp
150 ; X64-NEXT: ret
151 ; X64-NEXT: [[END_OF_F:.*]]:
152 ;
153 ; X64-LABEL: .section        .debug$S,"dr"
154 ; X64-NEXT: .long   4
155 ; Symbol subsection
156 ; X64-NEXT: .long   241
157 ; X64-NEXT: .long [[F1_END:.*]]-[[F1_START:.*]]
158 ; X64-NEXT: [[F1_START]]:
159 ; X64-NEXT: .short [[PROC_SEGMENT_END:.*]]-[[PROC_SEGMENT_START:.*]]
160 ; X64-NEXT: [[PROC_SEGMENT_START]]:
161 ; X64-NEXT: .short  4423
162 ; X64-NEXT: .zero   12
163 ; X64-NEXT: .long [[END_OF_F]]-f
164 ; X64-NEXT: .zero   12
165 ; X64-NEXT: .secrel32 f
166 ; X64-NEXT: .secidx f
167 ; X64-NEXT: .byte   0
168 ; X64-NEXT: .byte   102
169 ; X64-NEXT: .byte   0
170 ; X64-NEXT: [[PROC_SEGMENT_END]]:
171 ; X64-NEXT: .short  2
172 ; X64-NEXT: .short  4431
173 ; X64-NEXT: [[F1_END]]:
174 ; Padding
175 ; X64-NEXT: .zero   3
176 ; Line table
177 ; X64-NEXT: .long   242
178 ; X64-NEXT: .long [[F2_END:.*]]-[[F2_START:.*]]
179 ; X64-NEXT: [[F2_START]]:
180 ; X64-NEXT: .secrel32 f
181 ; X64-NEXT: .secidx f
182 ; X64-NEXT: .short 1
183 ; X64-NEXT: .long [[END_OF_F]]-f
184 ; X64-NEXT: [[FILE_SEGMENT_START:[^:]*]]:
185 ; X64-NEXT: .long   0
186 ; X64-NEXT: .long   4
187 ; X64-NEXT: .long [[FILE_SEGMENT_END:.*]]-[[FILE_SEGMENT_START]]
188 ; X64-NEXT: .long [[START]]-f
189 ; X64-NEXT: .long   -2147483645
190 ; X64-NEXT: .long [[ASM_LINE]]-f
191 ; X64-NEXT: .long   -2147483644
192 ; X64-NEXT: .long [[CALL_LINE]]-f
193 ; X64-NEXT: .long   -2147483643
194 ; X64-NEXT: .long [[EPILOG_AND_RET]]-f
195 ; X64-NEXT: .long   -2147483642
196 ; X64-NEXT: .short  0
197 ; X64-NEXT: .short  0
198 ; X64-NEXT: .short  0
199 ; X64-NEXT: .short  0
200 ; X64-NEXT: .short  0
201 ; X64-NEXT: .short  0
202 ; X64-NEXT: .short  0
203 ; X64-NEXT: .short  0
204 ; X64-NEXT: [[FILE_SEGMENT_END]]:
205 ; X64-NEXT: [[F2_END]]:
206 ; File index to string table offset subsection
207 ; X64-NEXT: .long   244
208 ; X64-NEXT: .long   8
209 ; X64-NEXT: .long   1
210 ; X64-NEXT: .long   0
211 ; String table
212 ; X64-NEXT: .long   243
213 ; X64-NEXT: .long   10
214 ; X64-NEXT: .byte   0
215 ; X64-NEXT: .ascii  "D:\\asm.c"
216 ; X64-NEXT: .byte   0
217 ; Padding
218 ; X64-NEXT: .zero   2
219
220 ; OBJ64:    Section {
221 ; OBJ64:      Name: .debug$S (2E 64 65 62 75 67 24 53)
222 ; OBJ64:      Characteristics [ (0x42100040)
223 ; OBJ64:      ]
224 ; OBJ64:      Relocations [
225 ; OBJ64-NEXT:   0x2C IMAGE_REL_AMD64_SECREL f
226 ; OBJ64-NEXT:   0x30 IMAGE_REL_AMD64_SECTION f
227 ; OBJ64-NEXT:   0x44 IMAGE_REL_AMD64_SECREL f
228 ; OBJ64-NEXT:   0x48 IMAGE_REL_AMD64_SECTION f
229 ; OBJ64-NEXT: ]
230 ; OBJ64:      Subsection [
231 ; OBJ64-NEXT:   Type: 0xF1
232 ; OBJ64-NOT:    ]
233 ; OBJ64:        ProcStart {
234 ; OBJ64-NEXT:     DisplayName: f
235 ; OBJ64-NEXT:     Section: f
236 ; OBJ64-NEXT:     CodeSize: 0xE
237 ; OBJ64-NEXT:   }
238 ; OBJ64-NEXT:   ProcEnd
239 ; OBJ64-NEXT: ]
240 ; OBJ64:      FunctionLineTable [
241 ; OBJ64-NEXT:   Name: f
242 ; OBJ64-NEXT:   Flags: 0x1
243 ; OBJ64-NEXT:   CodeSize: 0xE
244 ; OBJ64-NEXT:   FilenameSegment [
245 ; OBJ64-NEXT:     Filename: D:\asm.c
246 ; FIXME: An empty __asm stmt creates an extra entry.
247 ; See PR18679 for the details.
248 ; OBJ64-NEXT:     +0x0 [
249 ; OBJ64-NEXT:       LineNumberStart: 3
250 ; OBJ64-NEXT:       LineNumberEndDelta: 0
251 ; OBJ64-NEXT:       IsStatement: Yes
252 ; OBJ64-NEXT:       ColStart: 0
253 ; OBJ64-NEXT:       ColEnd: 0
254 ; OBJ64-NEXT:     ]
255 ; OBJ64-NEXT:     +0x4 [
256 ; OBJ64-NEXT:       LineNumberStart: 4
257 ; OBJ64-NEXT:       LineNumberEndDelta: 0
258 ; OBJ64-NEXT:       IsStatement: Yes
259 ; OBJ64-NEXT:       ColStart: 0
260 ; OBJ64-NEXT:       ColEnd: 0
261 ; OBJ64-NEXT:     ]
262 ; OBJ64-NEXT:     +0x4 [
263 ; OBJ64-NEXT:       LineNumberStart: 5
264 ; OBJ64-NEXT:       LineNumberEndDelta: 0
265 ; OBJ64-NEXT:       IsStatement: Yes
266 ; OBJ64-NEXT:       ColStart: 0
267 ; OBJ64-NEXT:       ColEnd: 0
268 ; OBJ64-NEXT:     ]
269 ; OBJ64-NEXT:     +0x9 [
270 ; OBJ64-NEXT:       LineNumberStart: 6
271 ; OBJ64-NEXT:       LineNumberEndDelta: 0
272 ; OBJ64-NEXT:       IsStatement: Yes
273 ; OBJ64-NEXT:       ColStart: 0
274 ; OBJ64-NEXT:       ColEnd: 0
275 ; OBJ64-NEXT:     ]
276 ; OBJ64-NEXT:   ]
277 ; OBJ64-NEXT: ]
278
279 ; Function Attrs: nounwind
280 define void @f() #0 !dbg !4 {
281 entry:
282   call void asm sideeffect inteldialect ".align 4", "~{dirflag},~{fpsr},~{flags}"() #2, !dbg !12
283   call void @g(), !dbg !13
284   ret void, !dbg !14
285 }
286
287 declare void @g() #1
288
289 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" }
290 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" }
291 attributes #2 = { nounwind }
292
293 !llvm.dbg.cu = !{!0}
294 !llvm.module.flags = !{!9, !10}
295 !llvm.ident = !{!11}
296
297 !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)
298 !1 = !DIFile(filename: "<unknown>", directory: "D:\5C")
299 !2 = !{}
300 !3 = !{!4}
301 !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)
302 !5 = !DIFile(filename: "asm.c", directory: "D:\5C")
303 !6 = !DIFile(filename: "asm.c", directory: "D:C")
304 !7 = !DISubroutineType(types: !8)
305 !8 = !{null}
306 !9 = !{i32 2, !"CodeView", i32 1}
307 !10 = !{i32 1, !"Debug Info Version", i32 3}
308 !11 = !{!"clang version 3.5 "}
309 !12 = !DILocation(line: 4, scope: !4)
310 !13 = !DILocation(line: 5, scope: !4)
311 !14 = !DILocation(line: 6, scope: !4)