1 // RUN: %clang_cc1 -triple i686 %s -emit-llvm -o - | FileCheck %s
2 // RUN: %clang_cc1 -triple x86_64 %s -emit-llvm -o - | FileCheck %s
3 // RUN: %clang_cc1 -triple arm %s -emit-llvm -o - | FileCheck %s
4 // RUN: %clang_cc1 -triple bfin %s -emit-llvm -o - | FileCheck %s
5 // RUN: %clang_cc1 -triple cellspu %s -emit-llvm -o - | FileCheck %s
6 // RUN: %clang_cc1 -triple mblaze %s -emit-llvm -o - | FileCheck %s
7 // RUN: %clang_cc1 -triple mips %s -emit-llvm -o - | FileCheck %s
8 // RUN: %clang_cc1 -triple mipsel %s -emit-llvm -o - | FileCheck %s
9 // RUN: %clang_cc1 -triple powerpc %s -emit-llvm -o - | FileCheck %s
10 // RUN: %clang_cc1 -triple powerpc64 %s -emit-llvm -o - | FileCheck %s
11 // RUN: %clang_cc1 -triple s390x %s -emit-llvm -o - | FileCheck %s
12 // RUN: %clang_cc1 -triple sparc %s -emit-llvm -o - | FileCheck %s
13 // RUN: %clang_cc1 -triple thumb %s -emit-llvm -o - | FileCheck %s
14
15 int mout0;
16 int min1;
17 int marray[2];
18
19 // CHECK: @single_m
single_m()20 void single_m()
21 {
22 // CHECK: call void asm "foo $1,$0", "=*m,*m[[CLOBBERS:[a-zA-Z0-9@%{},~_ ]*\"]](i32* {{[a-zA-Z0-9@%]+}}, i32* {{[a-zA-Z0-9@%]+}})
23 asm("foo %1,%0" : "=m" (mout0) : "m" (min1));
24 }
25
26 // CHECK: @single_o
single_o()27 void single_o()
28 {
29 register int out0 = 0;
30 register int index = 1;
31 // Doesn't really do an offset...
32 //asm("foo %1, %2,%0" : "=r" (out0) : "o" (min1));
33 }
34
35 // CHECK: @single_V
single_V()36 void single_V()
37 {
38 // asm("foo %1,%0" : "=m" (mout0) : "V" (min1));
39 }
40
41 // CHECK: @single_lt
single_lt()42 void single_lt()
43 {
44 register int out0 = 0;
45 register int in1 = 1;
46 // CHECK: call i32 asm "foo $1,$0", "=r,<r[[CLOBBERS]](i32 {{[a-zA-Z0-9@%]+}})
47 asm("foo %1,%0" : "=r" (out0) : "<r" (in1));
48 // CHECK: call i32 asm "foo $1,$0", "=r,r<[[CLOBBERS]](i32 {{[a-zA-Z0-9@%]+}})
49 asm("foo %1,%0" : "=r" (out0) : "r<" (in1));
50 }
51
52 // CHECK: @single_gt
single_gt()53 void single_gt()
54 {
55 register int out0 = 0;
56 register int in1 = 1;
57 // CHECK: call i32 asm "foo $1,$0", "=r,>r[[CLOBBERS]](i32 {{[a-zA-Z0-9@%]+}})
58 asm("foo %1,%0" : "=r" (out0) : ">r" (in1));
59 // CHECK: call i32 asm "foo $1,$0", "=r,r>[[CLOBBERS]](i32 {{[a-zA-Z0-9@%]+}})
60 asm("foo %1,%0" : "=r" (out0) : "r>" (in1));
61 }
62
63 // CHECK: @single_r
single_r()64 void single_r()
65 {
66 register int out0 = 0;
67 register int in1 = 1;
68 // CHECK: call i32 asm "foo $1,$0", "=r,r[[CLOBBERS]](i32 {{[a-zA-Z0-9@%]+}})
69 asm("foo %1,%0" : "=r" (out0) : "r" (in1));
70 }
71
72 // CHECK: @single_i
single_i()73 void single_i()
74 {
75 register int out0 = 0;
76 // CHECK: call i32 asm "foo $1,$0", "=r,i[[CLOBBERS]](i32 1)
77 asm("foo %1,%0" : "=r" (out0) : "i" (1));
78 }
79
80 // CHECK: @single_n
single_n()81 void single_n()
82 {
83 register int out0 = 0;
84 // CHECK: call i32 asm "foo $1,$0", "=r,n[[CLOBBERS]](i32 1)
85 asm("foo %1,%0" : "=r" (out0) : "n" (1));
86 }
87
88 // CHECK: @single_E
single_E()89 void single_E()
90 {
91 register double out0 = 0.0;
92 // CHECK: call double asm "foo $1,$0", "=r,E[[CLOBBERS]](double {{[0-9.eE+-]+}})
93 asm("foo %1,%0" : "=r" (out0) : "E" (1.0e+01));
94 }
95
96 // CHECK: @single_F
single_F()97 void single_F()
98 {
99 register double out0 = 0.0;
100 // CHECK: call double asm "foo $1,$0", "=r,F[[CLOBBERS]](double {{[0-9.eE+-]+}})
101 asm("foo %1,%0" : "=r" (out0) : "F" (1.0));
102 }
103
104 // CHECK: @single_s
single_s()105 void single_s()
106 {
107 register int out0 = 0;
108 //asm("foo %1,%0" : "=r" (out0) : "s" (single_s));
109 }
110
111 // CHECK: @single_g
single_g()112 void single_g()
113 {
114 register int out0 = 0;
115 register int in1 = 1;
116 // CHECK: call i32 asm "foo $1,$0", "=r,imr[[CLOBBERS]](i32 {{[a-zA-Z0-9@%]+}})
117 asm("foo %1,%0" : "=r" (out0) : "g" (in1));
118 // CHECK: call i32 asm "foo $1,$0", "=r,imr[[CLOBBERS]](i32 {{[a-zA-Z0-9@%]+}})
119 asm("foo %1,%0" : "=r" (out0) : "g" (min1));
120 // CHECK: call i32 asm "foo $1,$0", "=r,imr[[CLOBBERS]](i32 1)
121 asm("foo %1,%0" : "=r" (out0) : "g" (1));
122 }
123
124 // CHECK: @single_X
single_X()125 void single_X()
126 {
127 register int out0 = 0;
128 register int in1 = 1;
129 // CHECK: call i32 asm "foo $1,$0", "=r,X[[CLOBBERS]](i32 {{[a-zA-Z0-9@%]+}})
130 asm("foo %1,%0" : "=r" (out0) : "X" (in1));
131 // CHECK: call i32 asm "foo $1,$0", "=r,X[[CLOBBERS]](i32 {{[a-zA-Z0-9@%]+}})
132 asm("foo %1,%0" : "=r" (out0) : "X" (min1));
133 // CHECK: call i32 asm "foo $1,$0", "=r,X[[CLOBBERS]](i32 1)
134 asm("foo %1,%0" : "=r" (out0) : "X" (1));
135 // CHECK: call i32 asm "foo $1,$0", "=r,X[[CLOBBERS]](i32* getelementptr inbounds ([2 x i32]* {{[a-zA-Z0-9@%]+}}, i32 0, i32 0))
136 asm("foo %1,%0" : "=r" (out0) : "X" (marray));
137 // CHECK: call i32 asm "foo $1,$0", "=r,X[[CLOBBERS]](double {{[0-9.eE+-]+}})
138 asm("foo %1,%0" : "=r" (out0) : "X" (1.0e+01));
139 // CHECK: call i32 asm "foo $1,$0", "=r,X[[CLOBBERS]](double {{[0-9.eE+-]+}})
140 asm("foo %1,%0" : "=r" (out0) : "X" (1.0));
141 }
142
143 // CHECK: @single_p
single_p()144 void single_p()
145 {
146 register int out0 = 0;
147 // Constraint converted differently on different platforms moved to platform-specific.
148 // : call i32 asm "foo $1,$0", "=r,im[[CLOBBERS]](i32* getelementptr inbounds ([2 x i32]* {{[a-zA-Z0-9@%]+}}, i32 0, i32 0))
149 asm("foo %1,%0" : "=r" (out0) : "p" (marray));
150 }
151
152 // CHECK: @multi_m
multi_m()153 void multi_m()
154 {
155 // CHECK: call void asm "foo $1,$0", "=*m|r,m|r[[CLOBBERS]](i32* {{[a-zA-Z0-9@%]+}}, i32 {{[a-zA-Z0-9@%]+}})
156 asm("foo %1,%0" : "=m,r" (mout0) : "m,r" (min1));
157 }
158
159 // CHECK: @multi_o
multi_o()160 void multi_o()
161 {
162 register int out0 = 0;
163 register int index = 1;
164 // Doesn't really do an offset...
165 //asm("foo %1, %2,%0" : "=r,r" (out0) : "r,o" (min1));
166 }
167
168 // CHECK: @multi_V
multi_V()169 void multi_V()
170 {
171 // asm("foo %1,%0" : "=m,r" (mout0) : "r,V" (min1));
172 }
173
174 // CHECK: @multi_lt
multi_lt()175 void multi_lt()
176 {
177 register int out0 = 0;
178 register int in1 = 1;
179 // CHECK: call i32 asm "foo $1,$0", "=r|r,r|<r[[CLOBBERS]](i32 {{[a-zA-Z0-9@%]+}})
180 asm("foo %1,%0" : "=r,r" (out0) : "r,<r" (in1));
181 // CHECK: call i32 asm "foo $1,$0", "=r|r,r|r<[[CLOBBERS]](i32 {{[a-zA-Z0-9@%]+}})
182 asm("foo %1,%0" : "=r,r" (out0) : "r,r<" (in1));
183 }
184
185 // CHECK: @multi_gt
multi_gt()186 void multi_gt()
187 {
188 register int out0 = 0;
189 register int in1 = 1;
190 // CHECK: call i32 asm "foo $1,$0", "=r|r,r|>r[[CLOBBERS]](i32 {{[a-zA-Z0-9@%]+}})
191 asm("foo %1,%0" : "=r,r" (out0) : "r,>r" (in1));
192 // CHECK: call i32 asm "foo $1,$0", "=r|r,r|r>[[CLOBBERS]](i32 {{[a-zA-Z0-9@%]+}})
193 asm("foo %1,%0" : "=r,r" (out0) : "r,r>" (in1));
194 }
195
196 // CHECK: @multi_r
multi_r()197 void multi_r()
198 {
199 register int out0 = 0;
200 register int in1 = 1;
201 // CHECK: call i32 asm "foo $1,$0", "=r|r,r|m[[CLOBBERS]](i32 {{[a-zA-Z0-9@%]+}})
202 asm("foo %1,%0" : "=r,r" (out0) : "r,m" (in1));
203 }
204
205 // CHECK: @multi_i
multi_i()206 void multi_i()
207 {
208 register int out0 = 0;
209 // CHECK: call i32 asm "foo $1,$0", "=r|r,r|i[[CLOBBERS]](i32 1)
210 asm("foo %1,%0" : "=r,r" (out0) : "r,i" (1));
211 }
212
213 // CHECK: @multi_n
multi_n()214 void multi_n()
215 {
216 register int out0 = 0;
217 // CHECK: call i32 asm "foo $1,$0", "=r|r,r|n[[CLOBBERS]](i32 1)
218 asm("foo %1,%0" : "=r,r" (out0) : "r,n" (1));
219 }
220
221 // CHECK: @multi_E
multi_E()222 void multi_E()
223 {
224 register double out0 = 0.0;
225 // CHECK: call double asm "foo $1,$0", "=r|r,r|E[[CLOBBERS]](double {{[0-9.eE+-]+}})
226 asm("foo %1,%0" : "=r,r" (out0) : "r,E" (1.0e+01));
227 }
228
229 // CHECK: @multi_F
multi_F()230 void multi_F()
231 {
232 register double out0 = 0.0;
233 // CHECK: call double asm "foo $1,$0", "=r|r,r|F[[CLOBBERS]](double {{[0-9.eE+-]+}})
234 asm("foo %1,%0" : "=r,r" (out0) : "r,F" (1.0));
235 }
236
237 // CHECK: @multi_s
multi_s()238 void multi_s()
239 {
240 register int out0 = 0;
241 //asm("foo %1,%0" : "=r,r" (out0) : "r,s" (multi_s));
242 }
243
244 // CHECK: @multi_g
multi_g()245 void multi_g()
246 {
247 register int out0 = 0;
248 register int in1 = 1;
249 // CHECK: call i32 asm "foo $1,$0", "=r|r,r|imr[[CLOBBERS]](i32 {{[a-zA-Z0-9@%]+}})
250 asm("foo %1,%0" : "=r,r" (out0) : "r,g" (in1));
251 // CHECK: call i32 asm "foo $1,$0", "=r|r,r|imr[[CLOBBERS]](i32 {{[a-zA-Z0-9@%]+}})
252 asm("foo %1,%0" : "=r,r" (out0) : "r,g" (min1));
253 // CHECK: call i32 asm "foo $1,$0", "=r|r,r|imr[[CLOBBERS]](i32 1)
254 asm("foo %1,%0" : "=r,r" (out0) : "r,g" (1));
255 }
256
257 // CHECK: @multi_X
multi_X()258 void multi_X()
259 {
260 register int out0 = 0;
261 register int in1 = 1;
262 // CHECK: call i32 asm "foo $1,$0", "=r|r,r|X[[CLOBBERS]](i32 {{[a-zA-Z0-9@%]+}})
263 asm("foo %1,%0" : "=r,r" (out0) : "r,X" (in1));
264 // CHECK: call i32 asm "foo $1,$0", "=r|r,r|X[[CLOBBERS]](i32 {{[a-zA-Z0-9@%]+}})
265 asm("foo %1,%0" : "=r,r" (out0) : "r,X" (min1));
266 // CHECK: call i32 asm "foo $1,$0", "=r|r,r|X[[CLOBBERS]](i32 1)
267 asm("foo %1,%0" : "=r,r" (out0) : "r,X" (1));
268 // CHECK: call i32 asm "foo $1,$0", "=r|r,r|X[[CLOBBERS]](i32* getelementptr inbounds ([2 x i32]* {{[a-zA-Z0-9@%]+}}, i32 0, i32 0))
269 asm("foo %1,%0" : "=r,r" (out0) : "r,X" (marray));
270 // CHECK: call i32 asm "foo $1,$0", "=r|r,r|X[[CLOBBERS]](double {{[0-9.eE+-]+}})
271 asm("foo %1,%0" : "=r,r" (out0) : "r,X" (1.0e+01));
272 // CHECK: call i32 asm "foo $1,$0", "=r|r,r|X[[CLOBBERS]](double {{[0-9.eE+-]+}})
273 asm("foo %1,%0" : "=r,r" (out0) : "r,X" (1.0));
274 }
275
276 // CHECK: @multi_p
multi_p()277 void multi_p()
278 {
279 register int out0 = 0;
280 // Constraint converted differently on different platforms moved to platform-specific.
281 // : call i32 asm "foo $1,$0", "=r|r,r|im[[CLOBBERS]](i32* getelementptr inbounds ([2 x i32]* {{[a-zA-Z0-9@%]+}}, i32 0, i32 0))
282 asm("foo %1,%0" : "=r,r" (out0) : "r,p" (marray));
283 }
284