• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 // RUN: %clang_cc1 -triple i386-unknown-unknown -emit-llvm %s -o - | FileCheck %s
2 
3 // PR10415
4 __asm__ ("foo1");
5 __asm__ ("foo2");
6 __asm__ ("foo3");
7 // CHECK: module asm "foo1"
8 // CHECK-NEXT: module asm "foo2"
9 // CHECK-NEXT: module asm "foo3"
10 
t1(int len)11 void t1(int len) {
12   __asm__ volatile("" : "=&r"(len), "+&r"(len));
13 }
14 
t2(unsigned long long t)15 void t2(unsigned long long t)  {
16   __asm__ volatile("" : "+m"(t));
17 }
18 
t3(unsigned char * src,unsigned long long temp)19 void t3(unsigned char *src, unsigned long long temp) {
20   __asm__ volatile("" : "+m"(temp), "+r"(src));
21 }
22 
t4()23 void t4() {
24   unsigned long long a;
25   struct reg { unsigned long long a, b; } b;
26 
27   __asm__ volatile ("":: "m"(a), "m"(b));
28 }
29 
30 // PR3417
t5(int i)31 void t5(int i) {
32   asm("nop" : "=r"(i) : "0"(t5));
33 }
34 
35 // PR3641
t6(void)36 void t6(void) {
37   __asm__ volatile("" : : "i" (t6));
38 }
39 
t7(int a)40 void t7(int a) {
41   __asm__ volatile("T7 NAMED: %[input]" : "+r"(a): [input] "i" (4));
42   // CHECK: @t7(i32
43   // CHECK: T7 NAMED: $1
44 }
45 
t8()46 void t8() {
47   __asm__ volatile("T8 NAMED MODIFIER: %c[input]" :: [input] "i" (4));
48   // CHECK: @t8()
49   // CHECK: T8 NAMED MODIFIER: ${0:c}
50 }
51 
52 // PR3682
t9(unsigned int a)53 unsigned t9(unsigned int a) {
54   asm("bswap %0 %1" : "+r" (a));
55   return a;
56 }
57 
58 // PR3908
t10(int r)59 void t10(int r) {
60   __asm__("PR3908 %[lf] %[xx] %[li] %[r]" : [r] "+r" (r) : [lf] "mx" (0), [li] "mr" (0), [xx] "x" ((double)(0)));
61 
62 // CHECK: @t10(
63 // CHECK:PR3908 $1 $3 $2 $0
64 }
65 
66 // PR3373
t11(signed char input)67 unsigned t11(signed char input) {
68   unsigned  output;
69   __asm__("xyz"
70           : "=a" (output)
71           : "0" (input));
72   return output;
73 }
74 
75 // PR3373
t12(unsigned input)76 unsigned char t12(unsigned input) {
77   unsigned char output;
78   __asm__("xyz"
79           : "=a" (output)
80           : "0" (input));
81   return output;
82 }
83 
t13(unsigned input)84 unsigned char t13(unsigned input) {
85   unsigned char output;
86   __asm__("xyz %1"
87           : "=a" (output)
88           : "0" (input));
89   return output;
90 }
91 
92 struct large {
93   int x[1000];
94 };
95 
t15(int x,struct large * P)96 unsigned long t15(int x, struct large *P) {
97   __asm__("xyz "
98           : "=r" (x)
99           : "m" (*P), "0" (x));
100   return x;
101 }
102 
103 // bitfield destination of an asm.
104 struct S {
105   int a : 4;
106 };
107 
t14(struct S * P)108 void t14(struct S *P) {
109   __asm__("abc %0" : "=r"(P->a) );
110 }
111 
112 // PR4938
t16()113 int t16() {
114   int a,b;
115   asm ( "nop;"
116        :"=%c" (a)
117        : "r" (b)
118        );
119   return 0;
120 }
121 
122 // PR6475
t17()123 void t17() {
124   int i;
125   __asm__ ( "nop": "=m"(i));
126 
127 // CHECK: @t17()
128 // CHECK: call void asm "nop", "=*m,
129 }
130 
131 // <rdar://problem/6841383>
t18(unsigned data)132 int t18(unsigned data) {
133   int a, b;
134 
135   asm("xyz" :"=a"(a), "=d"(b) : "a"(data));
136   return a + b;
137 // CHECK: t18(i32
138 // CHECK: = call {{.*}}asm "xyz"
139 // CHECK-NEXT: extractvalue
140 // CHECK-NEXT: extractvalue
141 }
142 
143 // PR6780
t19(unsigned data)144 int t19(unsigned data) {
145   int a, b;
146 
147   asm("x{abc|def|ghi}z" :"=r"(a): "r"(data));
148   return a + b;
149   // CHECK: t19(i32
150   // CHECK: = call {{.*}}asm "x$(abc$|def$|ghi$)z"
151 }
152 
153 // PR6845 - Mismatching source/dest fp types.
t20(double x)154 double t20(double x) {
155   register long double result;
156   __asm __volatile ("frndint"  : "=t" (result) : "0" (x));
157   return result;
158 
159   // CHECK: @t20
160   // CHECK: fpext double {{.*}} to x86_fp80
161   // CHECK-NEXT: call x86_fp80 asm sideeffect "frndint"
162   // CHECK: fptrunc x86_fp80 {{.*}} to double
163 }
164 
t21(long double x)165 float t21(long double x) {
166   register float result;
167   __asm __volatile ("frndint"  : "=t" (result) : "0" (x));
168   return result;
169   // CHECK: @t21
170   // CHECK: call x86_fp80 asm sideeffect "frndint"
171   // CHECK-NEXT: fptrunc x86_fp80 {{.*}} to float
172 }
173 
174 // <rdar://problem/8348447> - accept 'l' constraint
t22(unsigned char a,unsigned char b)175 unsigned char t22(unsigned char a, unsigned char b) {
176   unsigned int la = a;
177   unsigned int lb = b;
178   unsigned int bigres;
179   unsigned char res;
180   __asm__ ("0:\n1:\n" : [bigres] "=la"(bigres) : [la] "0"(la), [lb] "c"(lb) :
181                         "edx", "cc");
182   res = bigres;
183   return res;
184 }
185 
186 // <rdar://problem/8348447> - accept 'l' constraint
t23(unsigned char a,unsigned char b)187 unsigned char t23(unsigned char a, unsigned char b) {
188   unsigned int la = a;
189   unsigned int lb = b;
190   unsigned char res;
191   __asm__ ("0:\n1:\n" : [res] "=la"(res) : [la] "0"(la), [lb] "c"(lb) :
192                         "edx", "cc");
193   return res;
194 }
195 
t24(char c)196 void *t24(char c) {
197   void *addr;
198   // CHECK: @t24
199   // CHECK: zext i8 {{.*}} to i32
200   // CHECK-NEXT: call i8* asm "foobar"
201   __asm__ ("foobar" : "=a" (addr) : "0" (c));
202   return addr;
203 }
204 
205 // PR10299 - fpsr, fpcr
t25(void)206 void t25(void)
207 {
208   __asm__ __volatile__(					   \
209 		       "finit"				   \
210 		       :				   \
211 		       :				   \
212 		       :"st","st(1)","st(2)","st(3)",	   \
213 			"st(4)","st(5)","st(6)","st(7)",   \
214 			"fpsr","fpcr"			   \
215 							   );
216 }
217 
218 // rdar://10510405 - AVX registers
219 typedef long long __m256i __attribute__((__vector_size__(32)));
t26(__m256i * p)220 void t26 (__m256i *p) {
221   __asm__ volatile("vmovaps  %0, %%ymm0" :: "m" (*(__m256i*)p) : "ymm0");
222 }
223 
224 // Check to make sure the inline asm non-standard dialect attribute _not_ is
225 // emitted.
t27(void)226 void t27(void) {
227   asm volatile("nop");
228 // CHECK: @t27
229 // CHECK: call void asm sideeffect "nop"
230 // CHECK-NOT: ia_nsdialect
231 // CHECK: ret void
232 }
233 
234 // Check handling of '*' and '#' constraint modifiers.
t28(void)235 void t28(void)
236 {
237   asm volatile ("/* %0 */" : : "i#*X,*r" (1));
238 // CHECK: @t28
239 // CHECK: call void asm sideeffect "/* $0 */", "i|r,~{dirflag},~{fpsr},~{flags}"(i32 1)
240 }
241 
242 static unsigned t29_var[1];
243 
t29(void)244 void t29(void) {
245   asm volatile("movl %%eax, %0"
246                :
247                : "m"(t29_var));
248   // CHECK: @t29
249   // CHECK: call void asm sideeffect "movl %eax, $0", "*m,~{dirflag},~{fpsr},~{flags}"([1 x i32]* @t29_var)
250 }
251 
t30(int len)252 void t30(int len) {
253   __asm__ volatile(""
254                    : "+&&rm"(len));
255   // CHECK: @t30
256   // CHECK: call void asm sideeffect "", "=*&rm,0,~{dirflag},~{fpsr},~{flags}"
257 }
258 
t31(int len)259 void t31(int len) {
260   __asm__ volatile(""
261                    : "+%%rm"(len), "+rm"(len));
262   // CHECK: @t31
263   // CHECK: call void asm sideeffect "", "=*%rm,=*rm,0,1,~{dirflag},~{fpsr},~{flags}"
264 }
265