root / target-sparc / op.c @ cf495bcf
History | View | Annotate | Download (11.3 kB)
1 |
/*
|
---|---|
2 |
SPARC micro operations
|
3 |
|
4 |
Copyright (C) 2003 Thomas M. Ogrisegg <tom@fnord.at>
|
5 |
|
6 |
This library is free software; you can redistribute it and/or
|
7 |
modify it under the terms of the GNU Lesser General Public
|
8 |
License as published by the Free Software Foundation; either
|
9 |
version 2 of the License, or (at your option) any later version.
|
10 |
|
11 |
This library is distributed in the hope that it will be useful,
|
12 |
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
13 |
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
14 |
Lesser General Public License for more details.
|
15 |
|
16 |
You should have received a copy of the GNU Lesser General Public
|
17 |
License along with this library; if not, write to the Free Software
|
18 |
Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
|
19 |
*/
|
20 |
|
21 |
#include "exec.h" |
22 |
|
23 |
/*XXX*/
|
24 |
#define REGNAME g0
|
25 |
#define REG (env->gregs[0]) |
26 |
#include "op_template.h" |
27 |
#define REGNAME g1
|
28 |
#define REG (env->gregs[1]) |
29 |
#include "op_template.h" |
30 |
#define REGNAME g2
|
31 |
#define REG (env->gregs[2]) |
32 |
#include "op_template.h" |
33 |
#define REGNAME g3
|
34 |
#define REG (env->gregs[3]) |
35 |
#include "op_template.h" |
36 |
#define REGNAME g4
|
37 |
#define REG (env->gregs[4]) |
38 |
#include "op_template.h" |
39 |
#define REGNAME g5
|
40 |
#define REG (env->gregs[5]) |
41 |
#include "op_template.h" |
42 |
#define REGNAME g6
|
43 |
#define REG (env->gregs[6]) |
44 |
#include "op_template.h" |
45 |
#define REGNAME g7
|
46 |
#define REG (env->gregs[7]) |
47 |
#include "op_template.h" |
48 |
#define REGNAME i0
|
49 |
#define REG (env->regwptr[16]) |
50 |
#include "op_template.h" |
51 |
#define REGNAME i1
|
52 |
#define REG (env->regwptr[17]) |
53 |
#include "op_template.h" |
54 |
#define REGNAME i2
|
55 |
#define REG (env->regwptr[18]) |
56 |
#include "op_template.h" |
57 |
#define REGNAME i3
|
58 |
#define REG (env->regwptr[19]) |
59 |
#include "op_template.h" |
60 |
#define REGNAME i4
|
61 |
#define REG (env->regwptr[20]) |
62 |
#include "op_template.h" |
63 |
#define REGNAME i5
|
64 |
#define REG (env->regwptr[21]) |
65 |
#include "op_template.h" |
66 |
#define REGNAME i6
|
67 |
#define REG (env->regwptr[22]) |
68 |
#include "op_template.h" |
69 |
#define REGNAME i7
|
70 |
#define REG (env->regwptr[23]) |
71 |
#include "op_template.h" |
72 |
#define REGNAME l0
|
73 |
#define REG (env->regwptr[8]) |
74 |
#include "op_template.h" |
75 |
#define REGNAME l1
|
76 |
#define REG (env->regwptr[9]) |
77 |
#include "op_template.h" |
78 |
#define REGNAME l2
|
79 |
#define REG (env->regwptr[10]) |
80 |
#include "op_template.h" |
81 |
#define REGNAME l3
|
82 |
#define REG (env->regwptr[11]) |
83 |
#include "op_template.h" |
84 |
#define REGNAME l4
|
85 |
#define REG (env->regwptr[12]) |
86 |
#include "op_template.h" |
87 |
#define REGNAME l5
|
88 |
#define REG (env->regwptr[13]) |
89 |
#include "op_template.h" |
90 |
#define REGNAME l6
|
91 |
#define REG (env->regwptr[14]) |
92 |
#include "op_template.h" |
93 |
#define REGNAME l7
|
94 |
#define REG (env->regwptr[15]) |
95 |
#include "op_template.h" |
96 |
#define REGNAME o0
|
97 |
#define REG (env->regwptr[0]) |
98 |
#include "op_template.h" |
99 |
#define REGNAME o1
|
100 |
#define REG (env->regwptr[1]) |
101 |
#include "op_template.h" |
102 |
#define REGNAME o2
|
103 |
#define REG (env->regwptr[2]) |
104 |
#include "op_template.h" |
105 |
#define REGNAME o3
|
106 |
#define REG (env->regwptr[3]) |
107 |
#include "op_template.h" |
108 |
#define REGNAME o4
|
109 |
#define REG (env->regwptr[4]) |
110 |
#include "op_template.h" |
111 |
#define REGNAME o5
|
112 |
#define REG (env->regwptr[5]) |
113 |
#include "op_template.h" |
114 |
#define REGNAME o6
|
115 |
#define REG (env->regwptr[6]) |
116 |
#include "op_template.h" |
117 |
#define REGNAME o7
|
118 |
#define REG (env->regwptr[7]) |
119 |
#include "op_template.h" |
120 |
#define EIP (env->pc)
|
121 |
|
122 |
#define FLAG_SET(x) (env->psr&x)?1:0 |
123 |
#define GET_FLAGS unsigned int Z = FLAG_SET(PSR_ZERO), N = FLAG_SET(PSR_NEG), V = FLAG_SET(PSR_OVF), C = FLAG_SET(PSR_CARRY) |
124 |
|
125 |
void OPPROTO op_movl_T0_0(void) |
126 |
{ |
127 |
T0 = 0;
|
128 |
} |
129 |
|
130 |
void OPPROTO op_movl_T0_1(void) |
131 |
{ |
132 |
T0 = 1;
|
133 |
} |
134 |
|
135 |
void OPPROTO op_movl_T0_im(void) |
136 |
{ |
137 |
T0 = PARAM1; |
138 |
} |
139 |
|
140 |
void OPPROTO op_movl_T1_im(void) |
141 |
{ |
142 |
T1 = PARAM1; |
143 |
} |
144 |
|
145 |
void OPPROTO op_movl_T2_im(void) |
146 |
{ |
147 |
T2 = PARAM1; |
148 |
} |
149 |
|
150 |
void OPPROTO op_addl_T1_im(void) |
151 |
{ |
152 |
T1 += PARAM1; |
153 |
} |
154 |
|
155 |
void OPPROTO op_addl_T1_T2(void) |
156 |
{ |
157 |
T1 += T2; |
158 |
} |
159 |
|
160 |
void OPPROTO op_subl_T1_T2(void) |
161 |
{ |
162 |
T1 -= T2; |
163 |
} |
164 |
|
165 |
void OPPROTO op_add_T1_T0(void) |
166 |
{ |
167 |
T0 += T1; |
168 |
} |
169 |
|
170 |
void OPPROTO op_add_T1_T0_cc(void) |
171 |
{ |
172 |
unsigned int src1; |
173 |
src1 = T0; |
174 |
T0 += T1; |
175 |
env->psr = 0;
|
176 |
if (!T0)
|
177 |
env->psr |= PSR_ZERO; |
178 |
if ((int) T0 < 0) |
179 |
env->psr |= PSR_NEG; |
180 |
if (T0 < src1)
|
181 |
env->psr |= PSR_CARRY; |
182 |
if (((src1 ^ T1 ^ -1) & (src1 ^ T0)) & (1 << 31)) |
183 |
env->psr |= PSR_OVF; |
184 |
FORCE_RET(); |
185 |
} |
186 |
|
187 |
void OPPROTO op_sub_T1_T0(void) |
188 |
{ |
189 |
T0 -= T1; |
190 |
} |
191 |
|
192 |
void OPPROTO op_sub_T1_T0_cc(void) |
193 |
{ |
194 |
unsigned int src1; |
195 |
|
196 |
src1 = T0; |
197 |
T0 -= T1; |
198 |
env->psr = 0;
|
199 |
if (!T0)
|
200 |
env->psr |= PSR_ZERO; |
201 |
if ((int) T0 < 0) |
202 |
env->psr |= PSR_NEG; |
203 |
if (src1 < T1)
|
204 |
env->psr |= PSR_CARRY; |
205 |
if (((src1 ^ T1) & (src1 ^ T0)) & (1 << 31)) |
206 |
env->psr |= PSR_OVF; |
207 |
FORCE_RET(); |
208 |
} |
209 |
|
210 |
void OPPROTO op_and_T1_T0(void) |
211 |
{ |
212 |
T0 &= T1; |
213 |
} |
214 |
|
215 |
void OPPROTO op_or_T1_T0(void) |
216 |
{ |
217 |
T0 |= T1; |
218 |
} |
219 |
|
220 |
void OPPROTO op_xor_T1_T0(void) |
221 |
{ |
222 |
T0 ^= T1; |
223 |
} |
224 |
|
225 |
void OPPROTO op_andn_T1_T0(void) |
226 |
{ |
227 |
T0 &= ~T1; |
228 |
} |
229 |
|
230 |
void OPPROTO op_orn_T1_T0(void) |
231 |
{ |
232 |
T0 |= ~T1; |
233 |
} |
234 |
|
235 |
void OPPROTO op_xnor_T1_T0(void) |
236 |
{ |
237 |
T0 ^= ~T1; |
238 |
} |
239 |
|
240 |
void OPPROTO op_addx_T1_T0(void) |
241 |
{ |
242 |
T0 += T1 + ((env->psr & PSR_CARRY) ? 1 : 0); |
243 |
} |
244 |
|
245 |
void OPPROTO op_umul_T1_T0(void) |
246 |
{ |
247 |
uint64_t res; |
248 |
res = (uint64_t) T0 *(uint64_t) T1; |
249 |
T0 = res & 0xffffffff;
|
250 |
env->y = res >> 32;
|
251 |
} |
252 |
|
253 |
void OPPROTO op_smul_T1_T0(void) |
254 |
{ |
255 |
uint64_t res; |
256 |
res = (int64_t) ((int32_t) T0) * (int64_t) ((int32_t) T1); |
257 |
T0 = res & 0xffffffff;
|
258 |
env->y = res >> 32;
|
259 |
} |
260 |
|
261 |
void OPPROTO op_mulscc_T1_T0(void) |
262 |
{ |
263 |
unsigned int b1, C, V, b2, src1; |
264 |
C = FLAG_SET(PSR_CARRY); |
265 |
V = FLAG_SET(PSR_OVF); |
266 |
b1 = C ^ V; |
267 |
b2 = T0 & 1;
|
268 |
T0 = (b1 << 31) | (T0 >> 1); |
269 |
if (!(env->y & 1)) |
270 |
T1 = 0;
|
271 |
/* do addition and update flags */
|
272 |
src1 = T0; |
273 |
T0 += T1; |
274 |
env->psr = 0;
|
275 |
if (!T0)
|
276 |
env->psr |= PSR_ZERO; |
277 |
if ((int) T0 < 0) |
278 |
env->psr |= PSR_NEG; |
279 |
if (T0 < src1)
|
280 |
env->psr |= PSR_CARRY; |
281 |
if (((src1 ^ T1 ^ -1) & (src1 ^ T0)) & (1 << 31)) |
282 |
env->psr |= PSR_OVF; |
283 |
env->y = (b2 << 31) | (env->y >> 1); |
284 |
FORCE_RET(); |
285 |
} |
286 |
|
287 |
void OPPROTO op_udiv_T1_T0(void) |
288 |
{ |
289 |
uint64_t x0; |
290 |
uint32_t x1; |
291 |
|
292 |
x0 = T0 | ((uint64_t) (env->y) << 32);
|
293 |
x1 = T1; |
294 |
x0 = x0 / x1; |
295 |
if (x0 > 0xffffffff) { |
296 |
T0 = 0xffffffff;
|
297 |
T1 = 1;
|
298 |
} else {
|
299 |
T0 = x0; |
300 |
T1 = 0;
|
301 |
} |
302 |
FORCE_RET(); |
303 |
} |
304 |
|
305 |
void OPPROTO op_sdiv_T1_T0(void) |
306 |
{ |
307 |
int64_t x0; |
308 |
int32_t x1; |
309 |
|
310 |
x0 = T0 | ((uint64_t) (env->y) << 32);
|
311 |
x1 = T1; |
312 |
x0 = x0 / x1; |
313 |
if ((int32_t) x0 != x0) {
|
314 |
T0 = x0 >> 63;
|
315 |
T1 = 1;
|
316 |
} else {
|
317 |
T0 = x0; |
318 |
T1 = 0;
|
319 |
} |
320 |
FORCE_RET(); |
321 |
} |
322 |
|
323 |
void OPPROTO op_div_cc(void) |
324 |
{ |
325 |
env->psr = 0;
|
326 |
if (!T0)
|
327 |
env->psr |= PSR_ZERO; |
328 |
if ((int) T0 < 0) |
329 |
env->psr |= PSR_NEG; |
330 |
if (T1)
|
331 |
env->psr |= PSR_OVF; |
332 |
FORCE_RET(); |
333 |
} |
334 |
|
335 |
void OPPROTO op_subx_T1_T0(void) |
336 |
{ |
337 |
T0 -= T1 + ((env->psr & PSR_CARRY) ? 1 : 0); |
338 |
} |
339 |
|
340 |
void OPPROTO op_logic_T0_cc(void) |
341 |
{ |
342 |
env->psr = 0;
|
343 |
if (!T0)
|
344 |
env->psr |= PSR_ZERO; |
345 |
if ((int) T0 < 0) |
346 |
env->psr |= PSR_NEG; |
347 |
FORCE_RET(); |
348 |
} |
349 |
|
350 |
void OPPROTO op_set_flags(void) |
351 |
{ |
352 |
env->psr = 0;
|
353 |
if (!T0)
|
354 |
env->psr |= PSR_ZERO; |
355 |
if ((unsigned int) T0 < (unsigned int) T1) |
356 |
env->psr |= PSR_CARRY; |
357 |
if ((int) T0 < (int) T1) |
358 |
env->psr |= PSR_OVF; |
359 |
if ((int) T0 < 0) |
360 |
env->psr |= PSR_NEG; |
361 |
FORCE_RET(); |
362 |
} |
363 |
|
364 |
void OPPROTO op_sll(void) |
365 |
{ |
366 |
T0 <<= T1; |
367 |
} |
368 |
|
369 |
void OPPROTO op_srl(void) |
370 |
{ |
371 |
T0 >>= T1; |
372 |
} |
373 |
|
374 |
void OPPROTO op_sra(void) |
375 |
{ |
376 |
T0 = ((int32_t) T0) >> T1; |
377 |
} |
378 |
|
379 |
void OPPROTO op_st(void) |
380 |
{ |
381 |
stl((void *) T0, T1);
|
382 |
} |
383 |
|
384 |
void OPPROTO op_stb(void) |
385 |
{ |
386 |
stb((void *) T0, T1);
|
387 |
} |
388 |
|
389 |
void OPPROTO op_sth(void) |
390 |
{ |
391 |
stw((void *) T0, T1);
|
392 |
} |
393 |
|
394 |
void OPPROTO op_std(void) |
395 |
{ |
396 |
stl((void *) T0, T1);
|
397 |
stl((void *) (T0 + 4), T2); |
398 |
} |
399 |
|
400 |
void OPPROTO op_ld(void) |
401 |
{ |
402 |
T1 = ldl((void *) T0);
|
403 |
} |
404 |
|
405 |
void OPPROTO op_ldub(void) |
406 |
{ |
407 |
T1 = ldub((void *) T0);
|
408 |
} |
409 |
|
410 |
void OPPROTO op_lduh(void) |
411 |
{ |
412 |
T1 = lduw((void *) T0);
|
413 |
} |
414 |
|
415 |
void OPPROTO op_ldsb(void) |
416 |
{ |
417 |
T1 = ldsb((void *) T0);
|
418 |
} |
419 |
|
420 |
void OPPROTO op_ldsh(void) |
421 |
{ |
422 |
T1 = ldsw((void *) T0);
|
423 |
} |
424 |
|
425 |
void OPPROTO op_ldstub(void) |
426 |
{ |
427 |
T1 = ldub((void *) T0);
|
428 |
stb((void *) T0, 0xff); /* XXX: Should be Atomically */ |
429 |
} |
430 |
|
431 |
void OPPROTO op_swap(void) |
432 |
{ |
433 |
unsigned int tmp = ldl((void *) T0); |
434 |
stl((void *) T0, T1); /* XXX: Should be Atomically */ |
435 |
T1 = tmp; |
436 |
} |
437 |
|
438 |
void OPPROTO op_ldd(void) |
439 |
{ |
440 |
T1 = ldl((void *) T0);
|
441 |
T0 = ldl((void *) (T0 + 4)); |
442 |
} |
443 |
|
444 |
void OPPROTO op_wry(void) |
445 |
{ |
446 |
env->y = T0; |
447 |
} |
448 |
|
449 |
void OPPROTO op_rdy(void) |
450 |
{ |
451 |
T0 = env->y; |
452 |
} |
453 |
|
454 |
void raise_exception(int tt) |
455 |
{ |
456 |
env->exception_index = tt; |
457 |
cpu_loop_exit(); |
458 |
} |
459 |
|
460 |
void memcpy32(uint32_t *dst, const uint32_t *src) |
461 |
{ |
462 |
dst[0] = src[0]; |
463 |
dst[1] = src[1]; |
464 |
dst[2] = src[2]; |
465 |
dst[3] = src[3]; |
466 |
dst[4] = src[4]; |
467 |
dst[5] = src[5]; |
468 |
dst[6] = src[6]; |
469 |
dst[7] = src[7]; |
470 |
} |
471 |
|
472 |
static inline void set_cwp(int new_cwp) |
473 |
{ |
474 |
/* put the modified wrap registers at their proper location */
|
475 |
if (env->cwp == (NWINDOWS - 1)) |
476 |
memcpy32(env->regbase, env->regbase + NWINDOWS * 16);
|
477 |
env->cwp = new_cwp; |
478 |
/* put the wrap registers at their temporary location */
|
479 |
if (new_cwp == (NWINDOWS - 1)) |
480 |
memcpy32(env->regbase + NWINDOWS * 16, env->regbase);
|
481 |
env->regwptr = env->regbase + (new_cwp * 16);
|
482 |
} |
483 |
|
484 |
/* XXX: use another pointer for %iN registers to avoid slow wrapping
|
485 |
handling ? */
|
486 |
void OPPROTO op_save(void) |
487 |
{ |
488 |
int cwp;
|
489 |
cwp = (env->cwp - 1) & (NWINDOWS - 1); |
490 |
if (env->wim & (1 << cwp)) { |
491 |
raise_exception(TT_WIN_OVF); |
492 |
} |
493 |
set_cwp(cwp); |
494 |
FORCE_RET(); |
495 |
} |
496 |
|
497 |
void OPPROTO op_restore(void) |
498 |
{ |
499 |
int cwp;
|
500 |
cwp = (env->cwp + 1) & (NWINDOWS - 1); |
501 |
if (env->wim & (1 << cwp)) { |
502 |
raise_exception(TT_WIN_UNF); |
503 |
} |
504 |
set_cwp(cwp); |
505 |
FORCE_RET(); |
506 |
} |
507 |
|
508 |
void OPPROTO op_exception(void) |
509 |
{ |
510 |
env->exception_index = PARAM1; |
511 |
cpu_loop_exit(); |
512 |
} |
513 |
|
514 |
void OPPROTO op_trap_T0(void) |
515 |
{ |
516 |
env->exception_index = TT_TRAP + (T0 & 0x7f);
|
517 |
cpu_loop_exit(); |
518 |
} |
519 |
|
520 |
void OPPROTO op_trapcc_T0(void) |
521 |
{ |
522 |
if (T2) {
|
523 |
env->exception_index = TT_TRAP + (T0 & 0x7f);
|
524 |
cpu_loop_exit(); |
525 |
} |
526 |
FORCE_RET(); |
527 |
} |
528 |
|
529 |
void OPPROTO op_exit_tb(void) |
530 |
{ |
531 |
EXIT_TB(); |
532 |
} |
533 |
|
534 |
void OPPROTO op_eval_be(void) |
535 |
{ |
536 |
T2 = (env->psr & PSR_ZERO); |
537 |
} |
538 |
|
539 |
void OPPROTO op_eval_ble(void) |
540 |
{ |
541 |
GET_FLAGS; |
542 |
T2 = Z | (N ^ V); |
543 |
} |
544 |
|
545 |
void OPPROTO op_eval_bl(void) |
546 |
{ |
547 |
GET_FLAGS; |
548 |
T2 = N ^ V; |
549 |
} |
550 |
|
551 |
void OPPROTO op_eval_bleu(void) |
552 |
{ |
553 |
GET_FLAGS; |
554 |
T2 = C | Z; |
555 |
} |
556 |
|
557 |
void OPPROTO op_eval_bcs(void) |
558 |
{ |
559 |
T2 = (env->psr & PSR_CARRY); |
560 |
} |
561 |
|
562 |
void OPPROTO op_eval_bvs(void) |
563 |
{ |
564 |
T2 = (env->psr & PSR_OVF); |
565 |
} |
566 |
|
567 |
void OPPROTO op_eval_bneg(void) |
568 |
{ |
569 |
T2 = (env->psr & PSR_NEG); |
570 |
} |
571 |
|
572 |
void OPPROTO op_eval_bne(void) |
573 |
{ |
574 |
T2 = !(env->psr & PSR_ZERO); |
575 |
} |
576 |
|
577 |
void OPPROTO op_eval_bg(void) |
578 |
{ |
579 |
GET_FLAGS; |
580 |
T2 = !(Z | (N ^ V)); |
581 |
} |
582 |
|
583 |
void OPPROTO op_eval_bge(void) |
584 |
{ |
585 |
GET_FLAGS; |
586 |
T2 = !(N ^ V); |
587 |
} |
588 |
|
589 |
void OPPROTO op_eval_bgu(void) |
590 |
{ |
591 |
GET_FLAGS; |
592 |
T2 = !(C | Z); |
593 |
} |
594 |
|
595 |
void OPPROTO op_eval_bcc(void) |
596 |
{ |
597 |
T2 = !(env->psr & PSR_CARRY); |
598 |
} |
599 |
|
600 |
void OPPROTO op_eval_bpos(void) |
601 |
{ |
602 |
T2 = !(env->psr & PSR_NEG); |
603 |
} |
604 |
|
605 |
void OPPROTO op_eval_bvc(void) |
606 |
{ |
607 |
T2 = !(env->psr & PSR_OVF); |
608 |
} |
609 |
|
610 |
void OPPROTO op_movl_T2_0(void) |
611 |
{ |
612 |
T2 = 0;
|
613 |
} |
614 |
|
615 |
void OPPROTO op_movl_T2_1(void) |
616 |
{ |
617 |
T2 = 1;
|
618 |
} |
619 |
|
620 |
void OPPROTO op_jmp_im(void) |
621 |
{ |
622 |
env->pc = PARAM1; |
623 |
} |
624 |
|
625 |
void OPPROTO op_movl_npc_im(void) |
626 |
{ |
627 |
env->npc = PARAM1; |
628 |
} |
629 |
|
630 |
void OPPROTO op_movl_npc_T0(void) |
631 |
{ |
632 |
env->npc = T0; |
633 |
} |
634 |
|
635 |
void OPPROTO op_next_insn(void) |
636 |
{ |
637 |
env->pc = env->npc; |
638 |
env->npc = env->npc + 4;
|
639 |
} |
640 |
|
641 |
void OPPROTO op_generic_branch(void) |
642 |
{ |
643 |
if (T2) {
|
644 |
env->npc = PARAM1; |
645 |
} else {
|
646 |
env->npc = PARAM2; |
647 |
} |
648 |
FORCE_RET(); |
649 |
} |
650 |
|
651 |
void OPPROTO op_generic_branch_a(void) |
652 |
{ |
653 |
if (T2) {
|
654 |
env->pc = PARAM2; |
655 |
env->npc = PARAM1; |
656 |
} else {
|
657 |
env->pc = PARAM2 + 4;
|
658 |
env->npc = PARAM2 + 8;
|
659 |
} |
660 |
FORCE_RET(); |
661 |
} |