1 ; Test some of the calling convention lowering done by the MBlaze backend.
2 ; We test that integer values are passed in the correct registers and
3 ; returned in the correct registers. Additionally, we test that the stack
4 ; is used as appropriate for passing arguments that cannot be placed into
7 ; RUN: llc < %s -march=mblaze | FileCheck %s
9 declare i32 @printf(i8*, ...)
10 @MSG = internal constant [13 x i8] c"Message: %d\0A\00"
12 define void @params0_noret() {
13 ; CHECK: params0_noret:
15 ; CHECK-NOT: {{.* r3, .*, .*}}
16 ; CHECK-NOT: {{.* r4, .*, .*}}
20 define i8 @params0_8bitret() {
21 ; CHECK: params0_8bitret:
23 ; CHECK-NOT: {{.* r3, .*, .*}}
24 ; CHECK-NOT: {{.* r4, .*, .*}}
26 ; CHECK: {{.* r3, r0, 1}}
29 define i16 @params0_16bitret() {
30 ; CHECK: params0_16bitret:
33 ; CHECK: {{.* r3, r0, 1}}
34 ; CHECK-NOT: {{.* r4, .*, .*}}
37 define i32 @params0_32bitret() {
38 ; CHECK: params0_32bitret:
40 ; CHECK-NOT: {{.* r4, .*, .*}}
42 ; CHECK: {{.* r3, r0, 1}}
45 define i64 @params0_64bitret() {
46 ; CHECK: params0_64bitret:
48 ; CHECK: {{.* r3, r0, .*}}
50 ; CHECK: {{.* r4, r0, 1}}
53 define i32 @params1_32bitret(i32 %a) {
54 ; CHECK: params1_32bitret:
56 ; CHECK-NOT: {{.* r3, .*, .*}}
57 ; CHECK-NOT: {{.* r4, .*, .*}}
59 ; CHECK: {{.* r3, r5, r0}}
62 define i32 @params2_32bitret(i32 %a, i32 %b) {
63 ; CHECK: params2_32bitret:
65 ; CHECK-NOT: {{.* r3, .*, .*}}
66 ; CHECK-NOT: {{.* r4, .*, .*}}
68 ; CHECK: {{.* r3, r6, r0}}
71 define i32 @params3_32bitret(i32 %a, i32 %b, i32 %c) {
72 ; CHECK: params3_32bitret:
74 ; CHECK-NOT: {{.* r3, .*, .*}}
75 ; CHECK-NOT: {{.* r4, .*, .*}}
77 ; CHECK: {{.* r3, r7, r0}}
80 define i32 @params4_32bitret(i32 %a, i32 %b, i32 %c, i32 %d) {
81 ; CHECK: params4_32bitret:
83 ; CHECK-NOT: {{.* r3, .*, .*}}
84 ; CHECK-NOT: {{.* r4, .*, .*}}
86 ; CHECK: {{.* r3, r8, r0}}
89 define i32 @params5_32bitret(i32 %a, i32 %b, i32 %c, i32 %d, i32 %e) {
90 ; CHECK: params5_32bitret:
92 ; CHECK-NOT: {{.* r3, .*, .*}}
93 ; CHECK-NOT: {{.* r4, .*, .*}}
95 ; CHECK: {{.* r3, r9, r0}}
98 define i32 @params6_32bitret(i32 %a, i32 %b, i32 %c, i32 %d, i32 %e, i32 %f) {
99 ; CHECK: params6_32bitret:
101 ; CHECK-NOT: {{.* r3, .*, .*}}
102 ; CHECK-NOT: {{.* r4, .*, .*}}
104 ; CHECK: {{.* r3, r10, r0}}
107 define i32 @params7_32bitret(i32 %a, i32 %b, i32 %c, i32 %d, i32 %e, i32 %f,
109 ; CHECK: params7_32bitret:
111 ; CHECK: {{lwi? r3, r1, 32}}
112 ; CHECK-NOT: {{.* r4, .*, .*}}
116 define i32 @params8_32bitret(i32 %a, i32 %b, i32 %c, i32 %d, i32 %e, i32 %f,
118 ; CHECK: params8_32bitret:
120 ; CHECK: {{lwi? r3, r1, 36}}
121 ; CHECK-NOT: {{.* r4, .*, .*}}
125 define i32 @params9_32bitret(i32 %a, i32 %b, i32 %c, i32 %d, i32 %e, i32 %f,
126 i32 %g, i32 %h, i32 %i) {
127 ; CHECK: params9_32bitret:
129 ; CHECK: {{lwi? r3, r1, 40}}
130 ; CHECK-NOT: {{.* r4, .*, .*}}
134 define i32 @params10_32bitret(i32 %a, i32 %b, i32 %c, i32 %d, i32 %e, i32 %f,
135 i32 %g, i32 %h, i32 %i, i32 %j) {
136 ; CHECK: params10_32bitret:
138 ; CHECK: {{lwi? r3, r1, 44}}
139 ; CHECK-NOT: {{.* r4, .*, .*}}
143 define void @testing() {
144 %MSG.1 = getelementptr [13 x i8]* @MSG, i32 0, i32 0
146 call void @params0_noret()
149 %tmp.1 = call i8 @params0_8bitret()
151 call i32 (i8*,...)* @printf(i8* %MSG.1, i8 %tmp.1)
153 %tmp.2 = call i16 @params0_16bitret()
155 call i32 (i8*,...)* @printf(i8* %MSG.1, i16 %tmp.2)
157 %tmp.3 = call i32 @params0_32bitret()
159 call i32 (i8*,...)* @printf(i8* %MSG.1, i32 %tmp.3)
161 %tmp.4 = call i64 @params0_64bitret()
163 call i32 (i8*,...)* @printf(i8* %MSG.1, i64 %tmp.4)
165 %tmp.5 = call i32 @params1_32bitret(i32 1)
166 ; CHECK: {{.* r5, .*, .*}}
168 call i32 (i8*,...)* @printf(i8* %MSG.1, i32 %tmp.5)
170 %tmp.6 = call i32 @params2_32bitret(i32 1, i32 2)
171 ; CHECK: {{.* r5, .*, .*}}
172 ; CHECK: {{.* r6, .*, .*}}
174 call i32 (i8*,...)* @printf(i8* %MSG.1, i32 %tmp.6)
176 %tmp.7 = call i32 @params3_32bitret(i32 1, i32 2, i32 3)
177 ; CHECK: {{.* r5, .*, .*}}
178 ; CHECK: {{.* r6, .*, .*}}
179 ; CHECK: {{.* r7, .*, .*}}
181 call i32 (i8*,...)* @printf(i8* %MSG.1, i32 %tmp.7)
183 %tmp.8 = call i32 @params4_32bitret(i32 1, i32 2, i32 3, i32 4)
184 ; CHECK: {{.* r5, .*, .*}}
185 ; CHECK: {{.* r6, .*, .*}}
186 ; CHECK: {{.* r7, .*, .*}}
187 ; CHECK: {{.* r8, .*, .*}}
189 call i32 (i8*,...)* @printf(i8* %MSG.1, i32 %tmp.8)
191 %tmp.9 = call i32 @params5_32bitret(i32 1, i32 2, i32 3, i32 4, i32 5)
192 ; CHECK: {{.* r5, .*, .*}}
193 ; CHECK: {{.* r6, .*, .*}}
194 ; CHECK: {{.* r7, .*, .*}}
195 ; CHECK: {{.* r8, .*, .*}}
196 ; CHECK: {{.* r9, .*, .*}}
198 call i32 (i8*,...)* @printf(i8* %MSG.1, i32 %tmp.9)
200 %tmp.10 = call i32 @params6_32bitret(i32 1, i32 2, i32 3, i32 4, i32 5,
202 ; CHECK: {{.* r5, .*, .*}}
203 ; CHECK: {{.* r6, .*, .*}}
204 ; CHECK: {{.* r7, .*, .*}}
205 ; CHECK: {{.* r8, .*, .*}}
206 ; CHECK: {{.* r9, .*, .*}}
207 ; CHECK: {{.* r10, .*, .*}}
209 call i32 (i8*,...)* @printf(i8* %MSG.1, i32 %tmp.10)
211 %tmp.11 = call i32 @params7_32bitret(i32 1, i32 2, i32 3, i32 4, i32 5,
213 ; CHECK: {{swi? .*, r1, 28}}
214 ; CHECK: {{.* r5, .*, .*}}
215 ; CHECK: {{.* r6, .*, .*}}
216 ; CHECK: {{.* r7, .*, .*}}
217 ; CHECK: {{.* r8, .*, .*}}
218 ; CHECK: {{.* r9, .*, .*}}
219 ; CHECK: {{.* r10, .*, .*}}
221 call i32 (i8*,...)* @printf(i8* %MSG.1, i32 %tmp.11)
223 %tmp.12 = call i32 @params8_32bitret(i32 1, i32 2, i32 3, i32 4, i32 5,
225 ; CHECK: {{swi? .*, r1, 28}}
226 ; CHECK: {{swi? .*, r1, 32}}
227 ; CHECK: {{.* r5, .*, .*}}
228 ; CHECK: {{.* r6, .*, .*}}
229 ; CHECK: {{.* r7, .*, .*}}
230 ; CHECK: {{.* r8, .*, .*}}
231 ; CHECK: {{.* r9, .*, .*}}
232 ; CHECK: {{.* r10, .*, .*}}
234 call i32 (i8*,...)* @printf(i8* %MSG.1, i32 %tmp.12)
236 %tmp.13 = call i32 @params9_32bitret(i32 1, i32 2, i32 3, i32 4, i32 5,
237 i32 6, i32 7, i32 8, i32 9)
238 ; CHECK: {{swi? .*, r1, 28}}
239 ; CHECK: {{swi? .*, r1, 32}}
240 ; CHECK: {{swi? .*, r1, 36}}
241 ; CHECK: {{.* r5, .*, .*}}
242 ; CHECK: {{.* r6, .*, .*}}
243 ; CHECK: {{.* r7, .*, .*}}
244 ; CHECK: {{.* r8, .*, .*}}
245 ; CHECK: {{.* r9, .*, .*}}
246 ; CHECK: {{.* r10, .*, .*}}
248 call i32 (i8*,...)* @printf(i8* %MSG.1, i32 %tmp.13)
250 %tmp.14 = call i32 @params10_32bitret(i32 1, i32 2, i32 3, i32 4, i32 5,
251 i32 6, i32 7, i32 8, i32 9, i32 10)
252 ; CHECK: {{swi? .*, r1, 28}}
253 ; CHECK: {{swi? .*, r1, 32}}
254 ; CHECK: {{swi? .*, r1, 36}}
255 ; CHECK: {{swi? .*, r1, 40}}
256 ; CHECK: {{.* r5, .*, .*}}
257 ; CHECK: {{.* r6, .*, .*}}
258 ; CHECK: {{.* r7, .*, .*}}
259 ; CHECK: {{.* r8, .*, .*}}
260 ; CHECK: {{.* r9, .*, .*}}
261 ; CHECK: {{.* r10, .*, .*}}
263 call i32 (i8*,...)* @printf(i8* %MSG.1, i32 %tmp.14)