Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / llvm / 4e9141fd4c0040cd7d4d830211f7d27fd98e9338 / . / test / CodeGen / MBlaze / cc.ll
blob: b1eb22aee9fddb15ec774d6f337702b8c28d4037 [file] [log] [blame]
Wesley Pecka70f28c2010-02-23 19:15:24 +0000[diff] [blame]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
5; registers.
6;
7; RUN: llc < %s -march=mblaze | FileCheck %s
8
9declare i32 @printf(i8*, ...)
10@MSG = internal constant [13 x i8] c"Message: %d\0A\00"
11
12define void @params0_noret() {
13 ; CHECK: params0_noret:
14 ret void
Wesley Peck4e9141f2010-10-21 03:57:26 +0000[diff] [blame^]15 ; CHECK-NOT: {{.* r3, .*, .*}}
Wesley Pecka70f28c2010-02-23 19:15:24 +0000[diff] [blame]16 ; CHECK-NOT: {{.* r4, .*, .*}}
17 ; CHECK: rtsd
18}
19
20define i8 @params0_8bitret() {
21 ; CHECK: params0_8bitret:
22 ret i8 1
Wesley Peck4e9141f2010-10-21 03:57:26 +0000[diff] [blame^]23 ; CHECK-NOT: {{.* r3, .*, .*}}
Wesley Pecka70f28c2010-02-23 19:15:24 +0000[diff] [blame]24 ; CHECK-NOT: {{.* r4, .*, .*}}
25 ; CHECK: rtsd
Wesley Peck4e9141f2010-10-21 03:57:26 +0000[diff] [blame^]26 ; CHECK: {{.* r3, r0, 1}}
Wesley Pecka70f28c2010-02-23 19:15:24 +0000[diff] [blame]27}
28
29define i16 @params0_16bitret() {
30 ; CHECK: params0_16bitret:
31 ret i16 1
Wesley Peck4e9141f2010-10-21 03:57:26 +0000[diff] [blame^]32 ; CHECK: rtsd
Wesley Pecka70f28c2010-02-23 19:15:24 +0000[diff] [blame]33 ; CHECK: {{.* r3, r0, 1}}
34 ; CHECK-NOT: {{.* r4, .*, .*}}
Wesley Pecka70f28c2010-02-23 19:15:24 +0000[diff] [blame]35}
36
37define i32 @params0_32bitret() {
38 ; CHECK: params0_32bitret:
39 ret i32 1
Wesley Pecka70f28c2010-02-23 19:15:24 +0000[diff] [blame]40 ; CHECK-NOT: {{.* r4, .*, .*}}
41 ; CHECK: rtsd
Wesley Peck4e9141f2010-10-21 03:57:26 +0000[diff] [blame^]42 ; CHECK: {{.* r3, r0, 1}}
Wesley Pecka70f28c2010-02-23 19:15:24 +0000[diff] [blame]43}
44
45define i64 @params0_64bitret() {
46 ; CHECK: params0_64bitret:
47 ret i64 1
48 ; CHECK: {{.* r3, r0, .*}}
Wesley Peck60e71272010-10-21 03:34:22 +0000[diff] [blame]49 ; CHECK: rtsd
Wesley Peck4e9141f2010-10-21 03:57:26 +0000[diff] [blame^]50 ; CHECK: {{.* r4, r0, 1}}
Wesley Pecka70f28c2010-02-23 19:15:24 +0000[diff] [blame]51}
52
53define i32 @params1_32bitret(i32 %a) {
54 ; CHECK: params1_32bitret:
55 ret i32 %a
Wesley Peck4e9141f2010-10-21 03:57:26 +0000[diff] [blame^]56 ; CHECK-NOT: {{.* r3, .*, .*}}
Wesley Pecka70f28c2010-02-23 19:15:24 +0000[diff] [blame]57 ; CHECK-NOT: {{.* r4, .*, .*}}
58 ; CHECK: rtsd
Wesley Peck4e9141f2010-10-21 03:57:26 +0000[diff] [blame^]59 ; CHECK: {{.* r3, r5, r0}}
Wesley Pecka70f28c2010-02-23 19:15:24 +0000[diff] [blame]60}
61
62define i32 @params2_32bitret(i32 %a, i32 %b) {
63 ; CHECK: params2_32bitret:
64 ret i32 %b
Wesley Peck4e9141f2010-10-21 03:57:26 +0000[diff] [blame^]65 ; CHECK-NOT: {{.* r3, .*, .*}}
Wesley Pecka70f28c2010-02-23 19:15:24 +0000[diff] [blame]66 ; CHECK-NOT: {{.* r4, .*, .*}}
67 ; CHECK: rtsd
Wesley Peck4e9141f2010-10-21 03:57:26 +0000[diff] [blame^]68 ; CHECK: {{.* r3, r6, r0}}
Wesley Pecka70f28c2010-02-23 19:15:24 +0000[diff] [blame]69}
70
71define i32 @params3_32bitret(i32 %a, i32 %b, i32 %c) {
72 ; CHECK: params3_32bitret:
73 ret i32 %c
Wesley Peck4e9141f2010-10-21 03:57:26 +0000[diff] [blame^]74 ; CHECK-NOT: {{.* r3, .*, .*}}
Wesley Pecka70f28c2010-02-23 19:15:24 +0000[diff] [blame]75 ; CHECK-NOT: {{.* r4, .*, .*}}
76 ; CHECK: rtsd
Wesley Peck4e9141f2010-10-21 03:57:26 +0000[diff] [blame^]77 ; CHECK: {{.* r3, r7, r0}}
Wesley Pecka70f28c2010-02-23 19:15:24 +0000[diff] [blame]78}
79
80define i32 @params4_32bitret(i32 %a, i32 %b, i32 %c, i32 %d) {
81 ; CHECK: params4_32bitret:
82 ret i32 %d
Wesley Peck4e9141f2010-10-21 03:57:26 +0000[diff] [blame^]83 ; CHECK-NOT: {{.* r3, .*, .*}}
Wesley Pecka70f28c2010-02-23 19:15:24 +0000[diff] [blame]84 ; CHECK-NOT: {{.* r4, .*, .*}}
85 ; CHECK: rtsd
Wesley Peck4e9141f2010-10-21 03:57:26 +0000[diff] [blame^]86 ; CHECK: {{.* r3, r8, r0}}
Wesley Pecka70f28c2010-02-23 19:15:24 +0000[diff] [blame]87}
88
89define i32 @params5_32bitret(i32 %a, i32 %b, i32 %c, i32 %d, i32 %e) {
90 ; CHECK: params5_32bitret:
91 ret i32 %e
Wesley Peck4e9141f2010-10-21 03:57:26 +0000[diff] [blame^]92 ; CHECK-NOT: {{.* r3, .*, .*}}
Wesley Pecka70f28c2010-02-23 19:15:24 +0000[diff] [blame]93 ; CHECK-NOT: {{.* r4, .*, .*}}
94 ; CHECK: rtsd
Wesley Peck4e9141f2010-10-21 03:57:26 +0000[diff] [blame^]95 ; CHECK: {{.* r3, r9, r0}}
Wesley Pecka70f28c2010-02-23 19:15:24 +0000[diff] [blame]96}
97
98define i32 @params6_32bitret(i32 %a, i32 %b, i32 %c, i32 %d, i32 %e, i32 %f) {
99 ; CHECK: params6_32bitret:
100 ret i32 %f
Wesley Peck4e9141f2010-10-21 03:57:26 +0000[diff] [blame^]101 ; CHECK-NOT: {{.* r3, .*, .*}}
Wesley Pecka70f28c2010-02-23 19:15:24 +0000[diff] [blame]102 ; CHECK-NOT: {{.* r4, .*, .*}}
103 ; CHECK: rtsd
Wesley Peck4e9141f2010-10-21 03:57:26 +0000[diff] [blame^]104 ; CHECK: {{.* r3, r10, r0}}
Wesley Pecka70f28c2010-02-23 19:15:24 +0000[diff] [blame]105}
106
107define i32 @params7_32bitret(i32 %a, i32 %b, i32 %c, i32 %d, i32 %e, i32 %f,
108 i32 %g) {
109 ; CHECK: params7_32bitret:
110 ret i32 %g
Wesley Peckc2bf2bb2010-03-06 23:23:12 +0000[diff] [blame]111 ; CHECK: {{lwi? r3, r1, 32}}
Wesley Pecka70f28c2010-02-23 19:15:24 +0000[diff] [blame]112 ; CHECK-NOT: {{.* r4, .*, .*}}
113 ; CHECK: rtsd
114}
115
116define i32 @params8_32bitret(i32 %a, i32 %b, i32 %c, i32 %d, i32 %e, i32 %f,
117 i32 %g, i32 %h) {
118 ; CHECK: params8_32bitret:
119 ret i32 %h
Wesley Peckc2bf2bb2010-03-06 23:23:12 +0000[diff] [blame]120 ; CHECK: {{lwi? r3, r1, 36}}
Wesley Pecka70f28c2010-02-23 19:15:24 +0000[diff] [blame]121 ; CHECK-NOT: {{.* r4, .*, .*}}
122 ; CHECK: rtsd
123}
124
125define 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:
128 ret i32 %i
Wesley Peckc2bf2bb2010-03-06 23:23:12 +0000[diff] [blame]129 ; CHECK: {{lwi? r3, r1, 40}}
Wesley Pecka70f28c2010-02-23 19:15:24 +0000[diff] [blame]130 ; CHECK-NOT: {{.* r4, .*, .*}}
131 ; CHECK: rtsd
132}
133
134define 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:
137 ret i32 %j
Wesley Peckc2bf2bb2010-03-06 23:23:12 +0000[diff] [blame]138 ; CHECK: {{lwi? r3, r1, 44}}
Wesley Pecka70f28c2010-02-23 19:15:24 +0000[diff] [blame]139 ; CHECK-NOT: {{.* r4, .*, .*}}
140 ; CHECK: rtsd
141}
142
143define void @testing() {
144 %MSG.1 = getelementptr [13 x i8]* @MSG, i32 0, i32 0
145
146 call void @params0_noret()
147 ; CHECK: brlid
148
149 %tmp.1 = call i8 @params0_8bitret()
150 ; CHECK: brlid
151 call i32 (i8*,...)* @printf(i8* %MSG.1, i8 %tmp.1)
Wesley Pecka70f28c2010-02-23 19:15:24 +0000[diff] [blame]152
153 %tmp.2 = call i16 @params0_16bitret()
154 ; CHECK: brlid
155 call i32 (i8*,...)* @printf(i8* %MSG.1, i16 %tmp.2)
Wesley Pecka70f28c2010-02-23 19:15:24 +0000[diff] [blame]156
157 %tmp.3 = call i32 @params0_32bitret()
158 ; CHECK: brlid
159 call i32 (i8*,...)* @printf(i8* %MSG.1, i32 %tmp.3)
Wesley Pecka70f28c2010-02-23 19:15:24 +0000[diff] [blame]160
161 %tmp.4 = call i64 @params0_64bitret()
162 ; CHECK: brlid
163 call i32 (i8*,...)* @printf(i8* %MSG.1, i64 %tmp.4)
Wesley Pecka70f28c2010-02-23 19:15:24 +0000[diff] [blame]164
165 %tmp.5 = call i32 @params1_32bitret(i32 1)
166 ; CHECK: {{.* r5, .*, .*}}
167 ; CHECK: brlid
168 call i32 (i8*,...)* @printf(i8* %MSG.1, i32 %tmp.5)
Wesley Pecka70f28c2010-02-23 19:15:24 +0000[diff] [blame]169
170 %tmp.6 = call i32 @params2_32bitret(i32 1, i32 2)
171 ; CHECK: {{.* r5, .*, .*}}
172 ; CHECK: {{.* r6, .*, .*}}
173 ; CHECK: brlid
174 call i32 (i8*,...)* @printf(i8* %MSG.1, i32 %tmp.6)
Wesley Pecka70f28c2010-02-23 19:15:24 +0000[diff] [blame]175
176 %tmp.7 = call i32 @params3_32bitret(i32 1, i32 2, i32 3)
177 ; CHECK: {{.* r5, .*, .*}}
178 ; CHECK: {{.* r6, .*, .*}}
179 ; CHECK: {{.* r7, .*, .*}}
180 ; CHECK: brlid
181 call i32 (i8*,...)* @printf(i8* %MSG.1, i32 %tmp.7)
Wesley Pecka70f28c2010-02-23 19:15:24 +0000[diff] [blame]182
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, .*, .*}}
188 ; CHECK: brlid
189 call i32 (i8*,...)* @printf(i8* %MSG.1, i32 %tmp.8)
Wesley Pecka70f28c2010-02-23 19:15:24 +0000[diff] [blame]190
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, .*, .*}}
197 ; CHECK: brlid
198 call i32 (i8*,...)* @printf(i8* %MSG.1, i32 %tmp.9)
Wesley Pecka70f28c2010-02-23 19:15:24 +0000[diff] [blame]199
200 %tmp.10 = call i32 @params6_32bitret(i32 1, i32 2, i32 3, i32 4, i32 5,
201 i32 6)
202 ; CHECK: {{.* r5, .*, .*}}
203 ; CHECK: {{.* r6, .*, .*}}
204 ; CHECK: {{.* r7, .*, .*}}
205 ; CHECK: {{.* r8, .*, .*}}
206 ; CHECK: {{.* r9, .*, .*}}
207 ; CHECK: {{.* r10, .*, .*}}
208 ; CHECK: brlid
209 call i32 (i8*,...)* @printf(i8* %MSG.1, i32 %tmp.10)
Wesley Pecka70f28c2010-02-23 19:15:24 +0000[diff] [blame]210
211 %tmp.11 = call i32 @params7_32bitret(i32 1, i32 2, i32 3, i32 4, i32 5,
212 i32 6, i32 7)
Wesley Peckc2bf2bb2010-03-06 23:23:12 +0000[diff] [blame]213 ; CHECK: {{swi? .*, r1, 28}}
Wesley Pecka70f28c2010-02-23 19:15:24 +0000[diff] [blame]214 ; CHECK: {{.* r5, .*, .*}}
215 ; CHECK: {{.* r6, .*, .*}}
216 ; CHECK: {{.* r7, .*, .*}}
217 ; CHECK: {{.* r8, .*, .*}}
218 ; CHECK: {{.* r9, .*, .*}}
219 ; CHECK: {{.* r10, .*, .*}}
220 ; CHECK: brlid
221 call i32 (i8*,...)* @printf(i8* %MSG.1, i32 %tmp.11)
Wesley Pecka70f28c2010-02-23 19:15:24 +0000[diff] [blame]222
223 %tmp.12 = call i32 @params8_32bitret(i32 1, i32 2, i32 3, i32 4, i32 5,
224 i32 6, i32 7, i32 8)
Wesley Peckc2bf2bb2010-03-06 23:23:12 +0000[diff] [blame]225 ; CHECK: {{swi? .*, r1, 28}}
226 ; CHECK: {{swi? .*, r1, 32}}
Wesley Pecka70f28c2010-02-23 19:15:24 +0000[diff] [blame]227 ; CHECK: {{.* r5, .*, .*}}
228 ; CHECK: {{.* r6, .*, .*}}
229 ; CHECK: {{.* r7, .*, .*}}
230 ; CHECK: {{.* r8, .*, .*}}
231 ; CHECK: {{.* r9, .*, .*}}
232 ; CHECK: {{.* r10, .*, .*}}
233 ; CHECK: brlid
234 call i32 (i8*,...)* @printf(i8* %MSG.1, i32 %tmp.12)
Wesley Pecka70f28c2010-02-23 19:15:24 +0000[diff] [blame]235
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)
Wesley Peckc2bf2bb2010-03-06 23:23:12 +0000[diff] [blame]238 ; CHECK: {{swi? .*, r1, 28}}
239 ; CHECK: {{swi? .*, r1, 32}}
240 ; CHECK: {{swi? .*, r1, 36}}
Wesley Pecka70f28c2010-02-23 19:15:24 +0000[diff] [blame]241 ; CHECK: {{.* r5, .*, .*}}
242 ; CHECK: {{.* r6, .*, .*}}
243 ; CHECK: {{.* r7, .*, .*}}
244 ; CHECK: {{.* r8, .*, .*}}
245 ; CHECK: {{.* r9, .*, .*}}
246 ; CHECK: {{.* r10, .*, .*}}
247 ; CHECK: brlid
248 call i32 (i8*,...)* @printf(i8* %MSG.1, i32 %tmp.13)
Wesley Pecka70f28c2010-02-23 19:15:24 +0000[diff] [blame]249
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)
Wesley Peckc2bf2bb2010-03-06 23:23:12 +0000[diff] [blame]252 ; CHECK: {{swi? .*, r1, 28}}
253 ; CHECK: {{swi? .*, r1, 32}}
254 ; CHECK: {{swi? .*, r1, 36}}
255 ; CHECK: {{swi? .*, r1, 40}}
Wesley Pecka70f28c2010-02-23 19:15:24 +0000[diff] [blame]256 ; CHECK: {{.* r5, .*, .*}}
257 ; CHECK: {{.* r6, .*, .*}}
258 ; CHECK: {{.* r7, .*, .*}}
259 ; CHECK: {{.* r8, .*, .*}}
260 ; CHECK: {{.* r9, .*, .*}}
261 ; CHECK: {{.* r10, .*, .*}}
262 ; CHECK: brlid
263 call i32 (i8*,...)* @printf(i8* %MSG.1, i32 %tmp.14)
Wesley Pecka70f28c2010-02-23 19:15:24 +0000[diff] [blame]264
265 ret void
266}