1 // REQUIRES: x86-registered-target
2 // RUN: %clang_cc1 %s -triple i386-apple-darwin10 -fasm-blocks -emit-llvm -o - | FileCheck %s
3 
t1()4 void t1() {
5 // CHECK: @t1
6 // CHECK: call void asm sideeffect inteldialect "", "~{dirflag},~{fpsr},~{flags}"()
7 // CHECK: ret void
8   __asm {}
9 }
10 
t2()11 void t2() {
12 // CHECK: @t2
13 // CHECK: call void asm sideeffect inteldialect "nop\0A\09nop\0A\09nop", "~{dirflag},~{fpsr},~{flags}"()
14 // CHECK: ret void
15   __asm nop
16   __asm nop
17   __asm nop
18 }
19 
t3()20 void t3() {
21 // CHECK: @t3
22 // CHECK: call void asm sideeffect inteldialect "nop\0A\09nop\0A\09nop", "~{dirflag},~{fpsr},~{flags}"()
23 // CHECK: ret void
24   __asm nop __asm nop __asm nop
25 }
26 
t4(void)27 void t4(void) {
28 // CHECK: @t4
29 // CHECK: call void asm sideeffect inteldialect "mov ebx, eax\0A\09mov ecx, ebx", "~{ebx},~{ecx},~{dirflag},~{fpsr},~{flags}"()
30 // CHECK: ret void
31   __asm mov ebx, eax
32   __asm mov ecx, ebx
33 }
34 
t5(void)35 void t5(void) {
36 // CHECK: @t5
37 // CHECK: call void asm sideeffect inteldialect "mov ebx, eax\0A\09mov ecx, ebx", "~{ebx},~{ecx},~{dirflag},~{fpsr},~{flags}"()
38 // CHECK: ret void
39   __asm mov ebx, eax __asm mov ecx, ebx
40 }
41 
t6(void)42 void t6(void) {
43   __asm int 0x2c
44 // CHECK: t6
45 // CHECK: call void asm sideeffect inteldialect "int $$0x2c", "~{dirflag},~{fpsr},~{flags}"()
46 }
47 
t7()48 void t7() {
49   __asm {
50     int 0x2c ; } asm comments are fun! }{
51   }
52   __asm {
53     {
54       int 0x2c ; } asm comments are fun! }{
55     }
56   }
57   __asm {}
58 // CHECK: t7
59 // CHECK: call void asm sideeffect inteldialect "int $$0x2c", "~{dirflag},~{fpsr},~{flags}"()
60 // CHECK: call void asm sideeffect inteldialect "", "~{dirflag},~{fpsr},~{flags}"()
61 }
62 
63 int t8() {
64   __asm int 4 ; } comments for single-line asm
65   __asm {}
66   __asm int 4
67   return 10;
68 // CHECK: t8
69 // CHECK: call i32 asm sideeffect inteldialect "int $$4\0A\09int $$4", "={eax},~{dirflag},~{fpsr},~{flags}"()
70 // CHECK: ret i32 10
71 }
72 
73 void t9() {
74   __asm {
75     push ebx
76     { mov ebx, 0x07 }
77     __asm { pop ebx }
78   }
79 // CHECK: t9
80 // CHECK: call void asm sideeffect inteldialect "push ebx\0A\09mov ebx, $$0x07\0A\09pop ebx", "~{ebx},~{esp},~{dirflag},~{fpsr},~{flags}"()
81 }
82 
83 unsigned t10(void) {
84   unsigned i = 1, j;
85   __asm {
86     mov eax, i
87     mov j, eax
88   }
89   return j;
90 // CHECK: t10
91 // CHECK: [[r:%[a-zA-Z0-9]+]] = alloca i32, align 4
92 // CHECK: [[I:%[a-zA-Z0-9]+]] = alloca i32, align 4
93 // CHECK: [[J:%[a-zA-Z0-9]+]] = alloca i32, align 4
94 // CHECK: store i32 1, i32* [[I]], align 4
95 // CHECK: call i32 asm sideeffect inteldialect "mov eax, dword ptr $2\0A\09mov dword ptr $0, eax", "=*m,={eax},*m,~{eax},~{dirflag},~{fpsr},~{flags}"(i32* %{{.*}}, i32* %{{.*}})
96 // CHECK: [[RET:%[a-zA-Z0-9]+]] = load i32* [[J]], align 4
97 // CHECK: ret i32 [[RET]]
98 }
99 
100 void t11(void) {
101   __asm mov eax, 1
102 // CHECK: t11
103 // CHECK: call void asm sideeffect inteldialect "mov eax, $$1", "~{eax},~{dirflag},~{fpsr},~{flags}"()
104 }
105 
106 unsigned t12(void) {
107   unsigned i = 1, j, l = 1, m;
108   __asm {
109     mov eax, i
110     mov j, eax
111     mov eax, l
112     mov m, eax
113   }
114   return j + m;
115 // CHECK: t12
116 // CHECK: call i32 asm sideeffect inteldialect "mov eax, dword ptr $3\0A\09mov dword ptr $0, eax\0A\09mov eax, dword ptr $4\0A\09mov dword ptr $1, eax", "=*m,=*m,={eax},*m,*m,~{eax},~{dirflag},~{fpsr},~{flags}"(i32* %{{.*}}, i32* %{{.*}}, i32* %{{.*}}, i32* %{{.*}})
117 }
118 
119 void t13() {
120   char i = 1;
121   short j = 2;
122   __asm movzx eax, i
123   __asm movzx eax, j
124 // CHECK: t13
125 // CHECK: call void asm sideeffect inteldialect "movzx eax, byte ptr $0\0A\09movzx eax, word ptr $1", "*m,*m,~{eax},~{dirflag},~{fpsr},~{flags}"(i8* %{{.*}}i, i16* %{{.*}}j)
126 }
127 
128 void t14() {
129   unsigned i = 1, j = 2;
130   __asm {
131     .if 1
132     { mov eax, i }
133     .else
134     mov ebx, j
135     .endif
136   }
137 // CHECK: t14
138 // CHECK: call void asm sideeffect inteldialect ".if 1\0A\09mov eax, dword ptr $0\0A\09.else\0A\09mov ebx, j\0A\09.endif", "*m,~{eax},~{dirflag},~{fpsr},~{flags}"(i32* %{{.*}})
139 }
140 
141 int gvar = 10;
142 void t15() {
143 // CHECK: t15
144   int lvar = 10;
145   __asm mov eax, lvar        ; eax = 10
146 // CHECK: mov eax, dword ptr $0
147   __asm mov eax, offset lvar ; eax = address of lvar
148 // CHECK: mov eax, $1
149   __asm mov eax, offset gvar ; eax = address of gvar
150 // CHECK: mov eax, $2
151 // CHECK: "*m,r,r,~{eax},~{dirflag},~{fpsr},~{flags}"(i32* %{{.*}}, i32* %{{.*}}, i32* @{{.*}})
152 }
153 
154 void t16() {
155   int var = 10;
156   __asm mov [eax], offset var
157 // CHECK: t16
158 // CHECK: call void asm sideeffect inteldialect "mov [eax], $0", "r,~{dirflag},~{fpsr},~{flags}"(i32* %{{.*}})
159 }
160 
161 void t17() {
162 // CHECK: t17
163   __asm _emit 0x4A
164 // CHECK: .byte 0x4A
165   __asm _emit 0x43
166 // CHECK: .byte 0x43
167   __asm _emit 0x4B
168 // CHECK: .byte 0x4B
169   __asm _EMIT 0x4B
170 // CHECK: .byte 0x4B
171 // CHECK:  "~{dirflag},~{fpsr},~{flags}"()
172 }
173 
174 void t20() {
175 // CHECK: t20
176   char bar;
177   int foo;
178   char _bar[2];
179   int _foo[4];
180 
181   __asm mov eax, LENGTH foo
182 // CHECK: mov eax, $$1
183   __asm mov eax, LENGTH bar
184 // CHECK: mov eax, $$1
185   __asm mov eax, LENGTH _foo
186 // CHECK: mov eax, $$4
187   __asm mov eax, LENGTH _bar
188 // CHECK: mov eax, $$2
189 
190   __asm mov eax, TYPE foo
191 // CHECK: mov eax, $$4
192   __asm mov eax, TYPE bar
193 // CHECK: mov eax, $$1
194   __asm mov eax, TYPE _foo
195 // CHECK: mov eax, $$4
196   __asm mov eax, TYPE _bar
197 // CHECK: mov eax, $$1
198 
199   __asm mov eax, SIZE foo
200 // CHECK: mov eax, $$4
201   __asm mov eax, SIZE bar
202 // CHECK: mov eax, $$1
203   __asm mov eax, SIZE _foo
204 // CHECK: mov eax, $$16
205   __asm mov eax, SIZE _bar
206 // CHECK: mov eax, $$2
207 // CHECK: "~{eax},~{dirflag},~{fpsr},~{flags}"()
208 }
209 
210 void t21() {
211   __asm {
212     __asm push ebx
213     __asm mov ebx, 0x07
214     __asm pop ebx
215   }
216 // CHECK: t21
217 // CHECK: call void asm sideeffect inteldialect "push ebx\0A\09mov ebx, $$0x07\0A\09pop ebx", "~{ebx},~{esp},~{dirflag},~{fpsr},~{flags}"()
218 }
219 
220 extern void t22_helper(int x);
221 void t22() {
222   int x = 0;
223   __asm {
224     __asm push ebx
225     __asm mov ebx, esp
226   }
227   t22_helper(x);
228   __asm {
229     __asm mov esp, ebx
230     __asm pop ebx
231   }
232 // CHECK: t22
233 // CHECK: call void asm sideeffect inteldialect "push ebx\0A\09mov ebx, esp", "~{ebx},~{esp},~{dirflag},~{fpsr},~{flags}"()
234 // CHECK: call void @t22_helper
235 // CHECK: call void asm sideeffect inteldialect "mov esp, ebx\0A\09pop ebx", "~{ebx},~{esp},~{dirflag},~{fpsr},~{flags}"()
236 }
237 
238 void t23() {
239   __asm {
240   the_label:
241   }
242 // CHECK: t23
243 // CHECK: call void asm sideeffect inteldialect "{{.*}}__MSASMLABEL_.0__the_label:", "~{dirflag},~{fpsr},~{flags}"()
244 }
245 
246 void t24_helper(void) {}
247 void t24() {
248   __asm call t24_helper
249 // CHECK: t24
250 // CHECK: call void asm sideeffect inteldialect "call dword ptr $0", "*m,~{dirflag},~{fpsr},~{flags}"(void ()* @t24_helper)
251 }
252 
253 void t25() {
254 // CHECK: t25
255   __asm mov eax, 0ffffffffh
256 // CHECK: mov eax, $$4294967295
257   __asm mov eax, 0fh
258 // CHECK: mov eax, $$15
259   __asm mov eax, 0a2h
260 // CHECK: mov eax, $$162
261   __asm mov eax, 0xa2h
262 // CHECK: mov eax, $$0xa2h
263   __asm mov eax, 0xa2
264 // CHECK: mov eax, $$0xa2
265 // CHECK: "~{eax},~{dirflag},~{fpsr},~{flags}"()
266 }
267 
268 void t26() {
269 // CHECK: t26
270   __asm pushad
271 // CHECK: pushad
272   __asm mov eax, 0
273 // CHECK: mov eax, $$0
274   __asm __emit 0fh
275 // CHECK: .byte 0fh
276   __asm __emit 0a2h
277 // CHECK: .byte 0a2h
278   __asm __EMIT 0a2h
279 // CHECK: .byte 0a2h
280   __asm popad
281 // CHECK: popad
282 // CHECK: "~{eax},~{ebp},~{ebx},~{ecx},~{edi},~{edx},~{esi},~{esp},~{dirflag},~{fpsr},~{flags}"()
283 }
284 
285 void t27() {
286   __asm mov eax, fs:[0h]
287 // CHECK: t27
288 // CHECK: call void asm sideeffect inteldialect "mov eax, fs:[$$0h]", "~{eax},~{dirflag},~{fpsr},~{flags}"()
289 }
290 
291 void t28() {
292 // CHECK: t28
293   __asm align 8
294 // CHECK: .align 3
295   __asm align 16;
296 // CHECK: .align 4
297   __asm align 128;
298 // CHECK: .align 7
299   __asm ALIGN 256;
300 // CHECK: .align 8
301 // CHECK: "~{dirflag},~{fpsr},~{flags}"()
302 }
303 
304 void t29() {
305 // CHECK: t29
306   int arr[2] = {0, 0};
307   int olen = 0, osize = 0, otype = 0;
308   __asm mov olen, LENGTH arr
309 // CHECK: mov dword ptr $0, $$2
310   __asm mov osize, SIZE arr
311 // CHECK: mov dword ptr $1, $$8
312   __asm mov otype, TYPE arr
313 // CHECK: mov dword ptr $2, $$4
314 // CHECK: "=*m,=*m,=*m,~{dirflag},~{fpsr},~{flags}"(i32* %{{.*}}, i32* %{{.*}}, i32* %{{.*}})
315 }
316 
317 int results[2] = {13, 37};
318 int *t30()
319 // CHECK: t30
320 {
321   int *res;
322   __asm lea edi, results
323 // CHECK: lea edi, dword ptr $2
324   __asm mov res, edi
325 // CHECK: mov dword ptr $0, edi
326   return res;
327 // CHECK: "=*m,={eax},*m,~{edi},~{dirflag},~{fpsr},~{flags}"(i32** %{{.*}}, [2 x i32]* @{{.*}})
328 }
329 
330 void t31() {
331 // CHECK: t31
332   __asm pushad
333 // CHECK: pushad
334   __asm popad
335 // CHECK: popad
336 // CHECK: "~{eax},~{ebp},~{ebx},~{ecx},~{edi},~{edx},~{esi},~{esp},~{dirflag},~{fpsr},~{flags}"()
337 }
338 
339 void t32() {
340 // CHECK: t32
341   int i;
342   __asm mov eax, i
343 // CHECK: mov eax, dword ptr $0
344   __asm mov eax, dword ptr i
345 // CHECK: mov eax, dword ptr $1
346   __asm mov ax, word ptr i
347 // CHECK: mov ax, word ptr $2
348   __asm mov al, byte ptr i
349 // CHECK: mov al, byte ptr $3
350 // CHECK: "*m,*m,*m,*m,~{al},~{ax},~{eax},~{dirflag},~{fpsr},~{flags}"(i32* %{{.*}}, i32* %{{.*}}, i32* %{{.*}}, i32* %{{.*}})
351 }
352 
353 void t33() {
354 // CHECK: t33
355   int i;
356   __asm mov eax, [i]
357 // CHECK: mov eax, dword ptr $0
358   __asm mov eax, dword ptr [i]
359 // CHECK: mov eax, dword ptr $1
360   __asm mov ax, word ptr [i]
361 // CHECK: mov ax, word ptr $2
362   __asm mov al, byte ptr [i]
363 // CHECK: mov al, byte ptr $3
364 // CHECK: "*m,*m,*m,*m,~{al},~{ax},~{eax},~{dirflag},~{fpsr},~{flags}"(i32* %{{.*}}, i32* %{{.*}}, i32* %{{.*}}, i32* %{{.*}})
365 }
366 
367 void t34() {
368 // CHECK: t34
369   __asm prefetchnta 64[eax]
370 // CHECK: prefetchnta $$64[eax]
371   __asm mov eax, dword ptr 4[eax]
372 // CHECK: mov eax, dword ptr $$4[eax]
373 // CHECK: "~{eax},~{dirflag},~{fpsr},~{flags}"()
374 }
375 
376 void t35() {
377 // CHECK: t35
378   __asm prefetchnta [eax + (200*64)]
379 // CHECK: prefetchnta [eax + ($$200*$$64)]
380   __asm mov eax, dword ptr [eax + (200*64)]
381 // CHECK: mov eax, dword ptr [eax + ($$200*$$64)]
382 // CHECK: "~{eax},~{dirflag},~{fpsr},~{flags}"()
383 }
384 
385 void t36() {
386 // CHECK: t36
387   int arr[4];
388   // Work around PR20368: These should be single line blocks
389   __asm { mov eax, 4[arr] }
390 // CHECK: call void asm sideeffect inteldialect "mov eax, dword ptr $$4$0", "*m,~{eax},~{dirflag},~{fpsr},~{flags}"([4 x i32]* %{{.*}})
391   __asm { mov eax, 4[arr + 4] }
392 // CHECK: call void asm sideeffect inteldialect "mov eax, dword ptr $$8$0", "*m,~{eax},~{dirflag},~{fpsr},~{flags}"([4 x i32]* %{{.*}})
393   __asm { mov eax, 8[arr + 4 + 32*2 - 4] }
394 // CHECK: call void asm sideeffect inteldialect "mov eax, dword ptr $$72$0", "*m,~{eax},~{dirflag},~{fpsr},~{flags}"([4 x i32]* %{{.*}})
395   __asm { mov eax, 12[4 + arr] }
396 // CHECK: call void asm sideeffect inteldialect "mov eax, dword ptr $$16$0", "*m,~{eax},~{dirflag},~{fpsr},~{flags}"([4 x i32]* %{{.*}})
397   __asm { mov eax, 4[4 + arr + 4] }
398 // CHECK: call void asm sideeffect inteldialect "mov eax, dword ptr $$12$0", "*m,~{eax},~{dirflag},~{fpsr},~{flags}"([4 x i32]* %{{.*}})
399   __asm { mov eax, 4[64 + arr + (2*32)] }
400 // CHECK: call void asm sideeffect inteldialect "mov eax, dword ptr $$132$0", "*m,~{eax},~{dirflag},~{fpsr},~{flags}"([4 x i32]* %{{.*}})
401   __asm { mov eax, 4[64 + arr - 2*32] }
402 // CHECK: call void asm sideeffect inteldialect "mov eax, dword ptr $$4$0", "*m,~{eax},~{dirflag},~{fpsr},~{flags}"([4 x i32]* %{{.*}})
403   __asm { mov eax, [arr + 4] }
404 // CHECK: call void asm sideeffect inteldialect "mov eax, dword ptr $$4$0", "*m,~{eax},~{dirflag},~{fpsr},~{flags}"([4 x i32]* %{{.*}})
405   __asm { mov eax, [arr + 4 + 32*2 - 4] }
406 // CHECK: call void asm sideeffect inteldialect "mov eax, dword ptr $$64$0", "*m,~{eax},~{dirflag},~{fpsr},~{flags}"([4 x i32]* %{{.*}})
407   __asm { mov eax, [4 + arr] }
408 // CHECK: call void asm sideeffect inteldialect "mov eax, dword ptr $$4$0", "*m,~{eax},~{dirflag},~{fpsr},~{flags}"([4 x i32]* %{{.*}})
409   __asm { mov eax, [4 + arr + 4] }
410 // CHECK: call void asm sideeffect inteldialect "mov eax, dword ptr $$8$0", "*m,~{eax},~{dirflag},~{fpsr},~{flags}"([4 x i32]* %{{.*}})
411   __asm { mov eax, [64 + arr + (2*32)] }
412 // CHECK: call void asm sideeffect inteldialect "mov eax, dword ptr $$128$0", "*m,~{eax},~{dirflag},~{fpsr},~{flags}"([4 x i32]* %{{.*}})
413   __asm { mov eax, [64 + arr - 2*32] }
414 // CHECK: call void asm sideeffect inteldialect "mov eax, dword ptr $0", "*m,~{eax},~{dirflag},~{fpsr},~{flags}"([4 x i32]* %{{.*}})
415 }
416 
417 void t37() {
418 // CHECK: t37
419   __asm mov eax, 4 + 8
420 // CHECK: mov eax, $$12
421   __asm mov eax, 4 + 8 * 16
422 // CHECK: mov eax, $$132
423   __asm mov eax, -4 + 8 * 16
424 // CHECK: mov eax, $$124
425   __asm mov eax, (4 + 4) * 16
426 // CHECK: mov eax, $$128
427   __asm mov eax, 4 + 8 * -16
428 // CHECK: mov eax, $$4294967172
429   __asm mov eax, 4 + 16 / -8
430 // CHECK: mov eax, $$2
431   __asm mov eax, (16 + 16) / -8
432 // CHECK: mov eax, $$4294967292
433   __asm mov eax, ~15
434 // CHECK: mov eax, $$4294967280
435 // CHECK: "~{eax},~{dirflag},~{fpsr},~{flags}"()
436 }
437 
438 void t38() {
439 // CHECK: t38
440   int arr[4];
441   // Work around PR20368: These should be single line blocks
442   __asm { mov eax, 4+4[arr] }
443 // CHECK: call void asm sideeffect inteldialect "mov eax, dword ptr $$8$0", "*m,~{eax},~{dirflag},~{fpsr},~{flags}"([4 x i32]* %{{.*}})
444   __asm { mov eax, (4+4)[arr + 4] }
445 // CHECK: call void asm sideeffect inteldialect "mov eax, dword ptr $$12$0", "*m,~{eax},~{dirflag},~{fpsr},~{flags}"([4 x i32]* %{{.*}})
446   __asm { mov eax, 8*2[arr + 4 + 32*2 - 4] }
447 // CHECK: call void asm sideeffect inteldialect "mov eax, dword ptr $$80$0", "*m,~{eax},~{dirflag},~{fpsr},~{flags}"([4 x i32]* %{{.*}})
448   __asm { mov eax, 12+20[4 + arr] }
449 // CHECK: call void asm sideeffect inteldialect "mov eax, dword ptr $$36$0", "*m,~{eax},~{dirflag},~{fpsr},~{flags}"([4 x i32]* %{{.*}})
450   __asm { mov eax, 4*16+4[4 + arr + 4] }
451 // CHECK: call void asm sideeffect inteldialect "mov eax, dword ptr $$76$0", "*m,~{eax},~{dirflag},~{fpsr},~{flags}"([4 x i32]* %{{.*}})
452   __asm { mov eax, 4*4[64 + arr + (2*32)] }
453 // CHECK: call void asm sideeffect inteldialect "mov eax, dword ptr $$144$0", "*m,~{eax},~{dirflag},~{fpsr},~{flags}"([4 x i32]* %{{.*}})
454   __asm { mov eax, 4*(4-2)[64 + arr - 2*32] }
455 // CHECK: call void asm sideeffect inteldialect "mov eax, dword ptr $$8$0", "*m,~{eax},~{dirflag},~{fpsr},~{flags}"([4 x i32]* %{{.*}})
456   __asm { mov eax, 32*(4-2)[arr - 2*32] }
457 // CHECK: call void asm sideeffect inteldialect "mov eax, dword ptr $$0$0", "*m,~{eax},~{dirflag},~{fpsr},~{flags}"([4 x i32]* %{{.*}})
458 }
459 
460 void cpuid() {
461   __asm cpuid
462 // CHECK-LABEL: define void @cpuid
463 // CHECK: call void asm sideeffect inteldialect "cpuid", "~{eax},~{ebx},~{ecx},~{edx},~{dirflag},~{fpsr},~{flags}"()
464 }
465 
466 typedef struct {
467   int a;
468   int b;
469 } A;
470 
471 void t39() {
472 // CHECK-LABEL: define void @t39
473   __asm mov eax, [eax].A.b
474 // CHECK: mov eax, [eax].4
475   __asm mov eax, [eax] A.b
476 // CHECK: mov eax, [eax] .4
477   __asm mov eax, fs:[0] A.b
478 // CHECK: mov eax, fs:[$$0] .4
479 // CHECK: "~{eax},~{dirflag},~{fpsr},~{flags}"()
480 }
481 
482 void t40(float a) {
483 // CHECK-LABEL: define void @t40
484   int i;
485   __asm fld a
486 // CHECK: fld dword ptr $1
487   __asm fistp i
488 // CHECK: fistp dword ptr $0
489 // CHECK: "=*m,*m,~{dirflag},~{fpsr},~{flags}"(i32* %{{.*}}, float* %{{.*}})
490 }
491 
492 void t41(unsigned short a) {
493 // CHECK-LABEL: define void @t41(i16 zeroext %a)
494   __asm mov cs, a;
495 // CHECK: mov cs, word ptr $0
496   __asm mov ds, a;
497 // CHECK: mov ds, word ptr $1
498   __asm mov es, a;
499 // CHECK: mov es, word ptr $2
500   __asm mov fs, a;
501 // CHECK: mov fs, word ptr $3
502   __asm mov gs, a;
503 // CHECK: mov gs, word ptr $4
504   __asm mov ss, a;
505 // CHECK: mov ss, word ptr $5
506 // CHECK: "*m,*m,*m,*m,*m,*m,~{dirflag},~{fpsr},~{flags}"(i16* {{.*}}, i16* {{.*}}, i16* {{.*}}, i16* {{.*}}, i16* {{.*}}, i16* {{.*}})
507 }
508 
509 void call_clobber() {
510   __asm call t41
511   // CHECK-LABEL: define void @call_clobber
512   // CHECK: call void asm sideeffect inteldialect "call dword ptr $0", "*m,~{dirflag},~{fpsr},~{flags}"(void (i16)* @t41)
513 }
514 
515 void xgetbv() {
516   __asm xgetbv
517 }
518 // CHECK-LABEL: define void @xgetbv()
519 // CHECK: call void asm sideeffect inteldialect "xgetbv", "~{eax},~{edx},~{dirflag},~{fpsr},~{flags}"()
520 
521 void label1() {
522   __asm {
523     label:
524     jmp label
525   }
526   // CHECK-LABEL: define void @label1
527   // CHECK: call void asm sideeffect inteldialect "{{.*}}__MSASMLABEL_.1__label:\0A\09jmp {{.*}}__MSASMLABEL_.1__label", "~{dirflag},~{fpsr},~{flags}"()
528 }
529 
530 void label2() {
531   __asm {
532     jmp label
533     label:
534   }
535   // CHECK-LABEL: define void @label2
536   // CHECK: call void asm sideeffect inteldialect "jmp {{.*}}__MSASMLABEL_.2__label\0A\09{{.*}}__MSASMLABEL_.2__label:", "~{dirflag},~{fpsr},~{flags}"()
537 }
538 
539 void label3() {
540   __asm {
541     label:
542     mov eax, label
543   }
544   // CHECK-LABEL: define void @label3
545   // CHECK: call void asm sideeffect inteldialect "{{.*}}__MSASMLABEL_.3__label:\0A\09mov eax, {{.*}}__MSASMLABEL_.3__label", "~{eax},~{dirflag},~{fpsr},~{flags}"()
546 }
547 
548 void label4() {
549   __asm {
550     label:
551     mov eax, [label]
552   }
553   // CHECK-LABEL: define void @label4
554   // CHECK: call void asm sideeffect inteldialect "{{.*}}__MSASMLABEL_.4__label:\0A\09mov eax, {{.*}}__MSASMLABEL_.4__label", "~{eax},~{dirflag},~{fpsr},~{flags}"()
555 }
556