2 * Copyright (C) 2013-2019 Free Software Foundation, Inc.
4 * This file is part of GNU lightning.
6 * GNU lightning is free software; you can redistribute it and/or modify it
7 * under the terms of the GNU Lesser General Public License as published
8 * by the Free Software Foundation; either version 3, or (at your option)
11 * GNU lightning is distributed in the hope that it will be useful, but
12 * WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
13 * or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public
14 * License for more details.
17 * Paulo Cesar Pereira de Andrade
20 #define jit_arg_reg_p(i) ((i) >= 0 && (i) < 6)
22 # define jit_arg_d_reg_p(i) ((i) >= 0 && (i) < 5)
25 # define jit_arg_d_reg_p(i) ((i) >= 0 && (i) < 16)
26 # define BIAS(n) ((n) + 2047)
32 typedef jit_pointer_t jit_va_list_t;
37 #define patch(instr, node) _patch(_jit, instr, node)
38 static void _patch(jit_state_t*,jit_word_t,jit_node_t*);
41 # include "jit_sparc-cpu.c"
42 # include "jit_sparc-fpu.c"
43 # include "jit_fallback.c"
49 jit_register_t _rvs[] = {
52 { rc(gpr) | 0x02, "%g2" },
53 { rc(gpr) | 0x03, "%g3" },
54 { rc(gpr) | 0x04, "%g4" },
58 { rc(arg) | rc(gpr) | 0x08, "%o0" },
59 { rc(arg) | rc(gpr) | 0x09, "%o1" },
60 { rc(arg) | rc(gpr) | 0x0a, "%o2" },
61 { rc(arg) | rc(gpr) | 0x0b, "%o3" },
62 { rc(arg) | rc(gpr) | 0x0c, "%o4" },
63 { rc(arg) | rc(gpr) | 0x0d, "%o5" },
64 { rc(sav) | 0x0e, "%sp" },
66 { rc(sav) | rc(gpr) | 0x10, "%l0" },
67 { rc(sav) | rc(gpr) | 0x11, "%l1" },
68 { rc(sav) | rc(gpr) | 0x12, "%l2" },
69 { rc(sav) | rc(gpr) | 0x13, "%l3" },
70 { rc(sav) | rc(gpr) | 0x14, "%l4" },
71 { rc(sav) | rc(gpr) | 0x15, "%l5" },
72 { rc(sav) | rc(gpr) | 0x16, "%l6" },
73 { rc(sav) | rc(gpr) | 0x17, "%l7" },
80 { rc(sav) | 0x1e, "%fp" },
83 { rc(fpr) | 0x00, "%f0" },
85 { rc(fpr) | 0x02, "%f2" },
87 { rc(fpr) | 0x04, "%f4" },
89 { rc(fpr) | 0x06, "%f6" },
91 { rc(fpr) | 0x08, "%f8" },
93 { rc(fpr) | 0x0a, "%f10" },
95 { rc(fpr) | 0x0c, "%f12" },
97 { rc(fpr) | 0x0e, "%f14" },
100 { rc(fpr) | rc(dbl) | 0x3e, "%f62" },
101 { rc(fpr) | rc(dbl) | 0x3c, "%f60" },
102 { rc(fpr) | rc(dbl) | 0x3a, "%f58" },
103 { rc(fpr) | rc(dbl) | 0x38, "%f56" },
104 { rc(fpr) | rc(dbl) | 0x36, "%f54" },
105 { rc(fpr) | rc(dbl) | 0x34, "%f52" },
106 { rc(fpr) | rc(dbl) | 0x32, "%f50" },
107 { rc(fpr) | rc(dbl) | 0x30, "%f48" },
108 { rc(fpr) | rc(dbl) | 0x2e, "%f46" },
109 { rc(fpr) | rc(dbl) | 0x2c, "%f44" },
110 { rc(fpr) | rc(dbl) | 0x2a, "%f42" },
111 { rc(fpr) | rc(dbl) | 0x28, "%f40" },
112 { rc(fpr) | rc(dbl) | 0x26, "%f38" },
113 { rc(fpr) | rc(dbl) | 0x24, "%f36" },
114 { rc(fpr) | rc(dbl) | 0x22, "%f34" },
115 { rc(fpr) | rc(dbl) | 0x20, "%f32" },
117 { rc(arg)|rc(fpr)|rc(sng)|0x1e, "%f30" },
119 { rc(arg)|rc(fpr)|rc(sng)|0x1c, "%f28" },
121 { rc(arg)|rc(fpr)|rc(sng)|0x1a, "%f26" },
123 { rc(arg)|rc(fpr)|rc(sng)|0x18, "%f24" },
125 { rc(arg)|rc(fpr)|rc(sng)|0x16, "%f22" },
127 { rc(arg)|rc(fpr)|rc(sng)|0x14, "%f20" },
129 { rc(arg)|rc(fpr)|rc(sng)|0x12, "%f18" },
131 { rc(arg)|rc(fpr)|rc(sng)|0x10, "%f16" },
133 { rc(arg)|rc(fpr)|rc(sng)|0x0e, "%f14" },
135 { rc(arg)|rc(fpr)|rc(sng)|0x0c, "%f12" },
137 { rc(arg)|rc(fpr)|rc(sng)|0x0a, "%f10" },
139 { rc(arg)|rc(fpr)|rc(sng)|0x08, "%f8" },
141 { rc(arg)|rc(fpr)|rc(sng)|0x06, "%f6" },
143 { rc(arg)|rc(fpr)|rc(sng)|0x04, "%f4" },
145 { rc(arg)|rc(fpr)|rc(sng)|0x02, "%f2" },
147 { rc(arg)|rc(fpr)|rc(sng)|0x00, "%f0" },
149 { _NOREG, "<none>" },
161 _jit_init(jit_state_t *_jit)
163 _jitc->reglen = jit_size(_rvs) - 1;
164 # if __WORDSIZE == 64
170 _jit_prolog(jit_state_t *_jit)
176 assert(jit_regset_cmp_ui(&_jitc->regarg, 0) == 0);
177 jit_regset_set_ui(&_jitc->regsav, 0);
178 offset = _jitc->functions.offset;
179 if (offset >= _jitc->functions.length) {
180 jit_realloc((jit_pointer_t *)&_jitc->functions.ptr,
181 _jitc->functions.length * sizeof(jit_function_t),
182 (_jitc->functions.length + 16) * sizeof(jit_function_t));
183 _jitc->functions.length += 16;
185 _jitc->function = _jitc->functions.ptr + _jitc->functions.offset++;
186 _jitc->function->self.size = stack_framesize;
187 _jitc->function->self.argi = _jitc->function->self.argf =
188 _jitc->function->self.aoff = _jitc->function->self.alen = 0;
189 /* float conversion */
190 # if __WORDSIZE == 32
191 _jitc->function->self.aoff = -8;
193 /* extra slots in case qmul is called */
194 _jitc->function->self.aoff = -24;
196 _jitc->function->self.call = jit_call_default;
197 jit_alloc((jit_pointer_t *)&_jitc->function->regoff,
198 _jitc->reglen * sizeof(jit_int32_t));
200 /* _no_link here does not mean the jit_link() call can be removed
202 * _jitc->function->prolog = jit_new_node(jit_code_prolog);
204 _jitc->function->prolog = jit_new_node_no_link(jit_code_prolog);
205 jit_link(_jitc->function->prolog);
206 _jitc->function->prolog->w.w = offset;
207 _jitc->function->epilog = jit_new_node_no_link(jit_code_epilog);
209 * v: offset in blocks vector
210 * w: offset in functions vector
212 _jitc->function->epilog->w.w = offset;
214 jit_regset_new(&_jitc->function->regset);
218 _jit_allocai(jit_state_t *_jit, jit_int32_t length)
220 assert(_jitc->function);
222 case 0: case 1: break;
223 case 2: _jitc->function->self.aoff &= -2; break;
224 case 3: case 4: _jitc->function->self.aoff &= -4; break;
225 default: _jitc->function->self.aoff &= -8; break;
227 _jitc->function->self.aoff -= length;
228 if (!_jitc->realize) {
229 jit_inc_synth_ww(allocai, _jitc->function->self.aoff, length);
232 return (BIAS(_jitc->function->self.aoff));
236 _jit_allocar(jit_state_t *_jit, jit_int32_t u, jit_int32_t v)
239 assert(_jitc->function);
240 jit_inc_synth_ww(allocar, u, v);
241 if (!_jitc->function->allocar) {
242 _jitc->function->aoffoff = jit_allocai(sizeof(jit_int32_t));
243 _jitc->function->allocar = 1;
245 reg = jit_get_reg(jit_class_gpr);
247 jit_andi(reg, reg, -16);
248 jit_ldxi_i(u, JIT_FP, _jitc->function->aoffoff);
250 jit_addr(_SP, _SP, reg);
251 jit_stxi_i(_jitc->function->aoffoff, JIT_FP, u);
257 _jit_ret(jit_state_t *_jit)
260 assert(_jitc->function);
264 jit_patch_at(instr, _jitc->function->epilog);
269 _jit_retr(jit_state_t *_jit, jit_int32_t u)
271 jit_inc_synth_w(retr, u);
273 jit_movr(JIT_RET, u);
280 _jit_reti(jit_state_t *_jit, jit_word_t u)
282 jit_inc_synth_w(reti, u);
283 jit_movi(JIT_RET, u);
289 _jit_retr_f(jit_state_t *_jit, jit_int32_t u)
291 jit_inc_synth_w(retr_f, u);
293 jit_movr_f(JIT_FRET, u);
301 _jit_reti_f(jit_state_t *_jit, jit_float32_t u)
303 jit_inc_synth_f(reti_f, u);
304 jit_movi_f(JIT_FRET, u);
310 _jit_retr_d(jit_state_t *_jit, jit_int32_t u)
312 jit_inc_synth_w(retr_d, u);
314 jit_movr_d(JIT_FRET, u);
322 _jit_reti_d(jit_state_t *_jit, jit_float64_t u)
324 jit_inc_synth_d(reti_d, u);
325 jit_movi_d(JIT_FRET, u);
331 _jit_epilog(jit_state_t *_jit)
333 assert(_jitc->function);
334 assert(_jitc->function->epilog->next == NULL);
335 jit_link(_jitc->function->epilog);
336 _jitc->function = NULL;
340 _jit_arg_register_p(jit_state_t *_jit, jit_node_t *u)
342 # if __WORDSIZE == 32
343 if (u->code == jit_code_arg || u->code == jit_code_arg_f)
344 return (jit_arg_reg_p(u->u.w));
345 assert(u->code == jit_code_arg_d);
346 return (jit_arg_d_reg_p(u->u.w));
348 if (u->code == jit_code_arg)
349 return (jit_arg_reg_p(u->u.w));
350 assert(u->code == jit_code_arg_d || u->code == jit_code_arg_f);
351 return (jit_arg_d_reg_p(u->u.w));
356 _jit_ellipsis(jit_state_t *_jit)
358 jit_inc_synth(ellipsis);
359 if (_jitc->prepare) {
361 assert(!(_jitc->function->call.call & jit_call_varargs));
362 _jitc->function->call.call |= jit_call_varargs;
366 assert(!(_jitc->function->self.call & jit_call_varargs));
367 _jitc->function->self.call |= jit_call_varargs;
369 _jitc->function->vagp = _jitc->function->self.argi;
375 _jit_va_push(jit_state_t *_jit, jit_int32_t u)
377 jit_inc_synth_w(va_push, u);
383 _jit_arg(jit_state_t *_jit)
387 assert(_jitc->function);
388 if (jit_arg_reg_p(_jitc->function->self.argi))
389 offset = _jitc->function->self.argi++;
391 # if __WORDSIZE == 64
392 if (jit_arg_d_reg_p(_jitc->function->self.argi))
393 ++_jitc->function->self.argi;
395 offset = BIAS(_jitc->function->self.size);
396 _jitc->function->self.size += sizeof(jit_word_t);
398 node = jit_new_node_ww(jit_code_arg, offset,
399 ++_jitc->function->self.argn);
405 _jit_arg_f(jit_state_t *_jit)
409 # if __WORDSIZE == 64
412 assert(_jitc->function);
413 # if __WORDSIZE == 32
414 if (jit_arg_reg_p(_jitc->function->self.argi))
415 offset = _jitc->function->self.argi++;
417 offset = _jitc->function->self.size;
418 _jitc->function->self.size += sizeof(jit_word_t);
421 inc = !jit_arg_reg_p(_jitc->function->self.argi);
422 if (jit_arg_d_reg_p(_jitc->function->self.argi))
423 offset = _jitc->function->self.argi++;
425 offset = BIAS(_jitc->function->self.size);
427 _jitc->function->self.size += sizeof(jit_word_t);
429 node = jit_new_node_ww(jit_code_arg_f, offset,
430 ++_jitc->function->self.argn);
436 _jit_arg_d(jit_state_t *_jit)
440 # if __WORDSIZE == 64
443 assert(_jitc->function);
444 # if __WORDSIZE == 32
445 if (jit_arg_d_reg_p(_jitc->function->self.argi)) {
446 offset = _jitc->function->self.argi;
447 _jitc->function->self.argi += 2;
449 else if (jit_arg_reg_p(_jitc->function->self.argi)) {
450 offset = _jitc->function->self.argi++;
451 _jitc->function->self.size += sizeof(jit_float32_t);
454 offset = _jitc->function->self.size;
455 _jitc->function->self.size += sizeof(jit_float64_t);
458 inc = !jit_arg_reg_p(_jitc->function->self.argi);
459 if (jit_arg_d_reg_p(_jitc->function->self.argi))
460 offset = _jitc->function->self.argi++;
462 offset = BIAS(_jitc->function->self.size);
464 _jitc->function->self.size += sizeof(jit_word_t);
466 node = jit_new_node_ww(jit_code_arg_d, offset,
467 ++_jitc->function->self.argn);
473 _jit_getarg_c(jit_state_t *_jit, jit_int32_t u, jit_node_t *v)
475 assert(v->code == jit_code_arg);
476 jit_inc_synth_wp(getarg_c, u, v);
477 if (jit_arg_reg_p(v->u.w))
478 jit_extr_c(u, _I0 + v->u.w);
480 jit_ldxi_c(u, JIT_FP,
481 v->u.w + (__WORDSIZE >> 3) - sizeof(jit_int8_t));
486 _jit_getarg_uc(jit_state_t *_jit, jit_int32_t u, jit_node_t *v)
488 assert(v->code == jit_code_arg);
489 jit_inc_synth_wp(getarg_uc, u, v);
490 if (jit_arg_reg_p(v->u.w))
491 jit_extr_uc(u, _I0 + v->u.w);
493 jit_ldxi_uc(u, JIT_FP,
494 v->u.w + (__WORDSIZE >> 3) - sizeof(jit_uint8_t));
499 _jit_getarg_s(jit_state_t *_jit, jit_int32_t u, jit_node_t *v)
501 assert(v->code == jit_code_arg);
502 jit_inc_synth_wp(getarg_s, u, v);
503 if (jit_arg_reg_p(v->u.w))
504 jit_extr_s(u, _I0 + v->u.w);
506 jit_ldxi_s(u, JIT_FP,
507 v->u.w + (__WORDSIZE >> 3) - sizeof(jit_int16_t));
512 _jit_getarg_us(jit_state_t *_jit, jit_int32_t u, jit_node_t *v)
514 assert(v->code == jit_code_arg);
515 jit_inc_synth_wp(getarg_us, u, v);
516 if (jit_arg_reg_p(v->u.w))
517 jit_extr_us(u, _I0 + v->u.w);
519 jit_ldxi_us(u, JIT_FP,
520 v->u.w + (__WORDSIZE >> 3) - sizeof(jit_uint16_t));
525 _jit_getarg_i(jit_state_t *_jit, jit_int32_t u, jit_node_t *v)
527 assert(v->code == jit_code_arg);
528 jit_inc_synth_wp(getarg_i, u, v);
529 if (jit_arg_reg_p(v->u.w)) {
530 # if __WORDSIZE == 64
531 jit_extr_i(u, _I0 + v->u.w);
533 jit_movr(u, _I0 + v->u.w);
537 jit_ldxi_i(u, JIT_FP,
538 v->u.w + (__WORDSIZE >> 3) - sizeof(jit_int32_t));
542 # if __WORDSIZE == 64
544 _jit_getarg_ui(jit_state_t *_jit, jit_int32_t u, jit_node_t *v)
546 assert(v->code == jit_code_arg);
547 jit_inc_synth_wp(getarg_i, u, v);
548 if (jit_arg_reg_p(v->u.w))
549 jit_extr_ui(u, _I0 + v->u.w);
551 jit_ldxi_ui(u, JIT_FP,
552 v->u.w + (__WORDSIZE >> 3) - sizeof(jit_int32_t));
557 _jit_getarg_l(jit_state_t *_jit, jit_int32_t u, jit_node_t *v)
559 assert(v->code == jit_code_arg);
560 jit_inc_synth_wp(getarg_i, u, v);
561 if (jit_arg_reg_p(v->u.w))
562 jit_movr(u, _I0 + v->u.w);
564 jit_ldxi_l(u, JIT_FP, v->u.w);
570 _jit_putargr(jit_state_t *_jit, jit_int32_t u, jit_node_t *v)
572 assert(v->code == jit_code_arg);
573 jit_inc_synth_wp(putargr, u, v);
574 if (jit_arg_reg_p(v->u.w))
575 jit_movr(_I0 + v->u.w, u);
577 jit_stxi(v->u.w, JIT_FP, u);
582 _jit_putargi(jit_state_t *_jit, jit_word_t u, jit_node_t *v)
585 assert(v->code == jit_code_arg);
586 jit_inc_synth_wp(putargi, u, v);
587 if (jit_arg_reg_p(v->u.w))
588 jit_movi(_I0 + v->u.w, u);
590 regno = jit_get_reg(jit_class_gpr);
592 jit_stxi(v->u.w, JIT_FP, regno);
593 jit_unget_reg(regno);
599 _jit_getarg_f(jit_state_t *_jit, jit_int32_t u, jit_node_t *v)
601 assert(v->code == jit_code_arg_f);
602 assert(_jitc->function);
603 jit_inc_synth_wp(getarg_f, u, v);
604 # if __WORDSIZE == 32
605 if (jit_arg_reg_p(v->u.w)) {
606 jit_stxi_i(-4, JIT_FP, _I0 + v->u.w);
607 jit_ldxi_f(u, JIT_FP, -4);
610 if (jit_arg_d_reg_p(v->u.w)) {
611 jit_live(_F0 - (v->u.w << 1)); /* pair of registers is live */
612 jit_movr_f(u, (_F0 - (v->u.w << 1)) - 1);
616 jit_ldxi_f(u, JIT_FP, v->u.w + (__WORDSIZE >> 3) -
617 sizeof(jit_float32_t));
622 _jit_putargr_f(jit_state_t *_jit, jit_int32_t u, jit_node_t *v)
624 assert(v->code == jit_code_arg_f);
625 jit_inc_synth_wp(putargr_f, u, v);
626 # if __WORDSIZE == 32
627 if (jit_arg_reg_p(v->u.w)) {
628 jit_stxi_f(-4, JIT_FP, u);
629 jit_ldxi_i(_I0 + v->u.w, JIT_FP, -4);
632 if (jit_arg_d_reg_p(v->u.w)) {
633 jit_live(_F0 - (v->u.w << 1)); /* pair of registers is live */
634 jit_movr_f((_F0 - (v->u.w << 1)) - 1, u);
638 jit_stxi_f(v->u.w + (__WORDSIZE >> 3) -
639 sizeof(jit_float32_t), JIT_FP, u);
644 _jit_putargi_f(jit_state_t *_jit, jit_float32_t u, jit_node_t *v)
647 assert(v->code == jit_code_arg_f);
648 jit_inc_synth_fp(putargi_f, u, v);
649 # if __WORDSIZE == 32
650 regno = jit_get_reg(jit_class_fpr);
651 jit_movi_f(regno, u);
652 if (jit_arg_reg_p(v->u.w)) {
653 jit_stxi_f(-4, JIT_FP, regno);
654 jit_ldxi_i(_I0 + v->u.w, JIT_FP, -4);
657 jit_stxi_f(v->u.w, JIT_FP, regno);
658 jit_unget_reg(regno);
660 if (jit_arg_d_reg_p(v->u.w)) {
661 jit_live(_F0 - (v->u.w << 1)); /* pair of registers is live */
662 jit_movi_f((_F0 - (v->u.w << 1)) - 1, u);
665 regno = jit_get_reg(jit_class_fpr | jit_class_sng);
666 jit_movi_f(regno, u);
667 jit_stxi_f(v->u.w + (__WORDSIZE >> 3) -
668 sizeof(jit_float32_t), JIT_FP, regno);
669 jit_unget_reg(regno);
676 _jit_getarg_d(jit_state_t *_jit, jit_int32_t u, jit_node_t *v)
678 assert(v->code == jit_code_arg_d);
679 assert(_jitc->function);
680 jit_inc_synth_wp(getarg_d, u, v);
681 if (jit_arg_d_reg_p(v->u.w)) {
682 # if __WORDSIZE == 32
683 jit_stxi(-8, JIT_FP, _I0 + v->u.w);
684 jit_stxi(-4, JIT_FP, _I0 + v->u.w + 1);
685 jit_ldxi_d(u, JIT_FP, -8);
687 jit_movr_d(u, _F0 - (v->u.w << 1));
690 # if __WORDSIZE == 32
691 else if (jit_arg_reg_p(v->u.w)) {
692 jit_stxi(-8, JIT_FP, _I0 + v->u.w);
693 jit_ldxi_f(u, JIT_FP, -8);
694 jit_ldxi_f(u + 1, JIT_FP, stack_framesize);
698 # if __WORDSIZE == 32
699 jit_ldxi_f(u, JIT_FP, v->u.w);
700 jit_ldxi_f(u + 1, JIT_FP, v->u.w + 4);
702 jit_ldxi_d(u, JIT_FP, v->u.w);
709 _jit_putargr_d(jit_state_t *_jit, jit_int32_t u, jit_node_t *v)
712 assert(v->code == jit_code_arg_d);
713 jit_inc_synth_wp(putargr_d, u, v);
714 # if __WORDSIZE == 32
715 if (jit_arg_d_reg_p(v->u.w)) {
716 jit_stxi_d(-8, JIT_FP, u);
717 jit_ldxi(_I0 + v->u.w, JIT_FP, -8);
718 jit_ldxi(_I0 + v->u.w + 1, JIT_FP, -4);
720 else if (jit_arg_reg_p(v->u.w)) {
721 regno = jit_get_reg(jit_class_gpr);
722 jit_stxi_d(-8, JIT_FP, u);
723 jit_ldxi(_I0 + v->u.w, JIT_FP, -8);
724 jit_ldxi(regno, JIT_FP, -4);
725 jit_stxi(stack_framesize, JIT_FP, regno);
726 jit_unget_reg(regno);
728 else if ((v->u.w & 7) == 0)
729 jit_stxi_d(v->u.w, JIT_FP, u);
731 jit_stxi_d(-8, JIT_FP, u);
732 regno = jit_get_reg(jit_class_gpr);
733 jit_ldxi(regno, JIT_FP, -8);
734 jit_stxi(v->u.w, JIT_FP, regno);
735 jit_ldxi(regno, JIT_FP, -4);
736 jit_stxi(v->u.w + 4, JIT_FP, regno);
737 jit_unget_reg(regno);
740 if (jit_arg_d_reg_p(v->u.w))
741 jit_movr_d(_F0 - (v->u.w << 1), u);
743 jit_stxi_d(v->u.w, JIT_FP, u);
749 _jit_putargi_d(jit_state_t *_jit, jit_float64_t u, jit_node_t *v)
751 # if __WORDSIZE == 32
755 assert(v->code == jit_code_arg_d);
756 jit_inc_synth_dp(putargi_d, u, v);
757 # if __WORDSIZE == 32
758 regno = jit_get_reg(jit_class_fpr);
759 jit_movi_d(regno, u);
760 if (jit_arg_d_reg_p(v->u.w)) {
761 jit_stxi_d(-8, JIT_FP, regno);
762 jit_ldxi(_I0 + v->u.w, JIT_FP, -8);
763 jit_ldxi(_I0 + v->u.w + 1, JIT_FP, -4);
765 else if (jit_arg_reg_p(v->u.w)) {
766 gpr = jit_get_reg(jit_class_gpr);
767 jit_stxi_d(-8, JIT_FP, regno);
768 jit_ldxi(_I0 + v->u.w, JIT_FP, -8);
769 jit_ldxi(gpr, JIT_FP, -4);
770 jit_stxi(stack_framesize, JIT_FP, gpr);
773 else if ((v->u.w & 7) == 0)
774 jit_stxi_d(v->u.w, JIT_FP, regno);
776 jit_stxi_d(-8, JIT_FP, regno);
777 gpr = jit_get_reg(jit_class_gpr);
778 jit_ldxi(gpr, JIT_FP, -8);
779 jit_stxi(v->u.w, JIT_FP, gpr);
780 jit_ldxi(gpr, JIT_FP, -4);
781 jit_stxi(v->u.w + 4, JIT_FP, gpr);
784 jit_unget_reg(regno);
786 if (jit_arg_d_reg_p(v->u.w))
787 jit_movi_d(_F0 - (v->u.w << 1), u);
789 regno = jit_get_reg(jit_class_fpr | jit_class_dbl);
790 jit_movi_d(regno, u);
791 jit_stxi_d(v->u.w, JIT_FP, regno);
792 jit_unget_reg(regno);
799 _jit_pushargr(jit_state_t *_jit, jit_int32_t u)
801 jit_inc_synth_w(pushargr, u);
803 if (jit_arg_reg_p(_jitc->function->call.argi)) {
804 jit_movr(_O0 + _jitc->function->call.argi, u);
805 ++_jitc->function->call.argi;
808 # if __WORDSIZE == 64
809 if (jit_arg_d_reg_p(_jitc->function->call.argi))
810 ++_jitc->function->call.argi;
812 jit_stxi(BIAS(_jitc->function->call.size + stack_framesize),
814 _jitc->function->call.size += sizeof(jit_word_t);
820 _jit_pushargi(jit_state_t *_jit, jit_word_t u)
823 jit_inc_synth_w(pushargi, u);
825 if (jit_arg_reg_p(_jitc->function->call.argi)) {
826 jit_movi(_O0 + _jitc->function->call.argi, u);
827 ++_jitc->function->call.argi;
830 # if __WORDSIZE == 64
831 if (jit_arg_d_reg_p(_jitc->function->call.argi))
832 ++_jitc->function->call.argi;
834 regno = jit_get_reg(jit_class_gpr);
836 jit_stxi(BIAS(_jitc->function->call.size + stack_framesize),
838 jit_unget_reg(regno);
839 _jitc->function->call.size += sizeof(jit_word_t);
845 _jit_pushargr_f(jit_state_t *_jit, jit_int32_t u)
847 jit_inc_synth_w(pushargr_f, u);
849 # if __WORDSIZE == 32
850 if (jit_arg_reg_p(_jitc->function->call.argi)) {
851 jit_stxi_f(-8, JIT_FP, u);
852 jit_ldxi(_O0 + _jitc->function->call.argi, JIT_FP, -8);
853 ++_jitc->function->call.argi;
856 jit_stxi_f(_jitc->function->call.size + stack_framesize,
858 _jitc->function->call.size += sizeof(jit_float32_t);
861 if ((_jitc->function->call.call & jit_call_varargs) &&
862 jit_arg_reg_p(_jitc->function->call.argi)) {
863 jit_stxi_f(BIAS(-8), JIT_FP, u);
864 jit_ldxi_i(_O0 + _jitc->function->call.argi, JIT_FP, BIAS(-8));
865 ++_jitc->function->call.argi;
867 else if (!(_jitc->function->call.call & jit_call_varargs) &&
868 jit_arg_d_reg_p(_jitc->function->call.argi)) {
869 /* pair of registers is live */
870 jit_live(_F0 - (_jitc->function->call.argi << 1));
871 jit_movr_f((_F0 - (_jitc->function->call.argi << 1)) - 1, u);
872 if (!jit_arg_reg_p(_jitc->function->call.argi))
873 _jitc->function->call.size += sizeof(jit_float64_t);
874 ++_jitc->function->call.argi;
877 jit_stxi_f(BIAS(_jitc->function->call.size + stack_framesize + 4),
879 _jitc->function->call.size += sizeof(jit_float64_t);
886 _jit_pushargi_f(jit_state_t *_jit, jit_float32_t u)
889 jit_inc_synth_f(pushargi_f, u);
891 # if __WORDSIZE == 32
892 regno = jit_get_reg(jit_class_fpr);
893 jit_movi_f(regno, u);
894 if (jit_arg_reg_p(_jitc->function->call.argi)) {
895 jit_stxi_f(-8, JIT_FP, regno);
896 jit_ldxi(_O0 + _jitc->function->call.argi, JIT_FP, -8);
897 _jitc->function->call.argi++;
900 jit_stxi_f(_jitc->function->call.size + stack_framesize,
902 _jitc->function->call.size += sizeof(jit_float32_t);
904 jit_unget_reg(regno);
906 if ((_jitc->function->call.call & jit_call_varargs) &&
907 jit_arg_reg_p(_jitc->function->call.argi)) {
908 regno = jit_get_reg(jit_class_fpr | jit_class_sng);
909 jit_movi_f(regno, u);
910 jit_stxi_f(BIAS(-8), JIT_FP, regno);
911 jit_ldxi_i(_O0 + _jitc->function->call.argi, JIT_FP, BIAS(-8));
912 ++_jitc->function->call.argi;
913 jit_unget_reg(regno);
915 else if (!(_jitc->function->call.call & jit_call_varargs) &&
916 jit_arg_d_reg_p(_jitc->function->call.argi)) {
917 /* pair of registers is live */
918 jit_live(_F0 - (_jitc->function->call.argi << 1));
919 jit_movi_f((_F0 - (_jitc->function->call.argi << 1)) - 1, u);
920 if (!jit_arg_reg_p(_jitc->function->call.argi))
921 _jitc->function->call.size += sizeof(jit_float64_t);
922 ++_jitc->function->call.argi;
925 regno = jit_get_reg(jit_class_fpr | jit_class_sng);
926 jit_movi_f(regno, u);
927 jit_stxi_f(BIAS(_jitc->function->call.size + stack_framesize + 4),
929 jit_unget_reg(regno);
930 _jitc->function->call.size += sizeof(jit_float64_t);
937 _jit_pushargr_d(jit_state_t *_jit, jit_int32_t u)
939 jit_inc_synth_w(pushargr_d, u);
941 # if __WORDSIZE == 32
942 if (jit_arg_d_reg_p(_jitc->function->call.argi)) {
943 jit_stxi_d(BIAS(-8), JIT_FP, u);
944 jit_ldxi(_O0 + _jitc->function->call.argi, JIT_FP, BIAS(-8));
945 jit_ldxi(_O0 + _jitc->function->call.argi + 1, JIT_FP, -4);
946 _jitc->function->call.argi += 2;
948 else if (jit_arg_reg_p(_jitc->function->call.argi)) {
949 jit_stxi_f(-8, JIT_FP, u);
950 jit_ldxi(_O0 + _jitc->function->call.argi, JIT_FP, -8);
951 ++_jitc->function->call.argi;
952 jit_stxi_f(stack_framesize, JIT_SP, u + 1);
953 _jitc->function->call.size += sizeof(jit_float32_t);
956 jit_stxi_f(_jitc->function->call.size + stack_framesize,
958 jit_stxi_f(_jitc->function->call.size + stack_framesize + 4,
960 _jitc->function->call.size += sizeof(jit_float64_t);
963 if ((_jitc->function->call.call & jit_call_varargs) &&
964 jit_arg_reg_p(_jitc->function->call.argi)) {
965 jit_stxi_d(BIAS(-8), JIT_FP, u);
966 jit_ldxi(_O0 + _jitc->function->call.argi, JIT_FP, BIAS(-8));
967 ++_jitc->function->call.argi;
969 else if (!(_jitc->function->call.call & jit_call_varargs) &&
970 jit_arg_d_reg_p(_jitc->function->call.argi)) {
971 jit_movr_d(_F0 - (_jitc->function->call.argi << 1), u);
972 if (!jit_arg_reg_p(_jitc->function->call.argi))
973 _jitc->function->call.size += sizeof(jit_float64_t);
974 ++_jitc->function->call.argi;
977 jit_stxi_d(BIAS(_jitc->function->call.size + stack_framesize),
979 _jitc->function->call.size += sizeof(jit_float64_t);
986 _jit_pushargi_d(jit_state_t *_jit, jit_float64_t u)
989 jit_inc_synth_d(pushargi_d, u);
991 # if __WORDSIZE == 32
992 regno = jit_get_reg(jit_class_fpr);
993 jit_movi_d(regno, u);
994 if (jit_arg_d_reg_p(_jitc->function->call.argi)) {
995 jit_stxi_d(BIAS(-8), JIT_FP, regno);
996 jit_ldxi(_O0 + _jitc->function->call.argi, JIT_FP, BIAS(-8));
997 jit_ldxi(_O0 + _jitc->function->call.argi + 1, JIT_FP, -4);
998 _jitc->function->call.argi += 2;
1000 else if (jit_arg_reg_p(_jitc->function->call.argi)) {
1001 jit_stxi_f(-8, JIT_FP, regno);
1002 jit_ldxi(_O0 + _jitc->function->call.argi, JIT_FP, -8);
1003 ++_jitc->function->call.argi;
1004 jit_stxi_f(stack_framesize, JIT_SP, u + 1);
1005 _jitc->function->call.size += sizeof(jit_float32_t);
1008 jit_stxi_f(_jitc->function->call.size + stack_framesize,
1010 jit_stxi_f(_jitc->function->call.size + stack_framesize + 4,
1012 _jitc->function->call.size += sizeof(jit_float64_t);
1014 jit_unget_reg(regno);
1016 if ((_jitc->function->call.call & jit_call_varargs) &&
1017 jit_arg_reg_p(_jitc->function->call.argi)) {
1018 regno = jit_get_reg(jit_class_fpr | jit_class_dbl);
1019 jit_movi_d(regno, u);
1020 jit_stxi_d(BIAS(-8), JIT_FP, regno);
1021 jit_ldxi(_O0 + _jitc->function->call.argi, JIT_FP, BIAS(-8));
1022 ++_jitc->function->call.argi;
1023 jit_unget_reg(regno);
1025 else if (!(_jitc->function->call.call & jit_call_varargs) &&
1026 jit_arg_d_reg_p(_jitc->function->call.argi)) {
1027 jit_movi_d(_F0 - (_jitc->function->call.argi << 1), u);
1028 if (!jit_arg_reg_p(_jitc->function->call.argi))
1029 _jitc->function->call.size += sizeof(jit_float64_t);
1030 ++_jitc->function->call.argi;
1033 regno = jit_get_reg(jit_class_fpr | jit_class_dbl);
1034 jit_movi_d(regno, u);
1035 jit_stxi_d(BIAS(_jitc->function->call.size + stack_framesize),
1037 jit_unget_reg(regno);
1038 _jitc->function->call.size += sizeof(jit_float64_t);
1045 _jit_regarg_p(jit_state_t *_jit, jit_node_t *node, jit_int32_t regno)
1049 spec = jit_class(_rvs[regno].spec);
1050 if ((spec & (jit_class_arg|jit_class_gpr)) ==
1051 (jit_class_arg|jit_class_gpr)) {
1053 if (regno >= 0 && regno < node->v.w)
1056 # if __WORDSIZE == 64
1057 if ((spec & (jit_class_arg|jit_class_fpr)) ==
1058 (jit_class_arg|jit_class_fpr)) {
1059 regno = _F0 - (regno >> 1);
1060 if (regno >= 0 && regno < node->v.w)
1069 _jit_finishr(jit_state_t *_jit, jit_int32_t r0)
1072 assert(_jitc->function);
1073 jit_inc_synth_w(finishr, r0);
1074 if (_jitc->function->self.alen < _jitc->function->call.size)
1075 _jitc->function->self.alen = _jitc->function->call.size;
1076 call = jit_callr(r0);
1077 call->v.w = _jitc->function->self.argi;
1078 call->w.w = _jitc->function->self.argf;
1079 _jitc->function->call.argi = _jitc->function->call.argf =
1080 _jitc->function->call.size = 0;
1086 _jit_finishi(jit_state_t *_jit, jit_pointer_t i0)
1089 assert(_jitc->function);
1090 jit_inc_synth_w(finishi, (jit_word_t)i0);
1091 if (_jitc->function->self.alen < _jitc->function->call.size)
1092 _jitc->function->self.alen = _jitc->function->call.size;
1093 node = jit_calli(i0);
1094 node->v.w = _jitc->function->call.argi;
1095 node->w.w = _jitc->function->call.argf;
1096 _jitc->function->call.argi = _jitc->function->call.argf =
1097 _jitc->function->call.size = 0;
1104 _jit_retval_c(jit_state_t *_jit, jit_int32_t r0)
1106 jit_inc_synth_w(retval_c, r0);
1107 jit_extr_c(r0, _O0);
1112 _jit_retval_uc(jit_state_t *_jit, jit_int32_t r0)
1114 jit_inc_synth_w(retval_uc, r0);
1115 jit_extr_uc(r0, _O0);
1120 _jit_retval_s(jit_state_t *_jit, jit_int32_t r0)
1122 jit_inc_synth_w(retval_s, r0);
1123 jit_extr_s(r0, _O0);
1128 _jit_retval_us(jit_state_t *_jit, jit_int32_t r0)
1130 jit_inc_synth_w(retval_us, r0);
1131 jit_extr_us(r0, _O0);
1136 _jit_retval_i(jit_state_t *_jit, jit_int32_t r0)
1138 jit_inc_synth_w(retval_i, r0);
1139 # if __WORDSIZE == 32
1143 jit_extr_i(r0, _O0);
1148 # if __WORDSIZE == 64
1150 _jit_retval_ui(jit_state_t *_jit, jit_int32_t r0)
1152 jit_inc_synth_w(retval_i, r0);
1154 jit_extr_ui(r0, _O0);
1159 _jit_retval_l(jit_state_t *_jit, jit_int32_t r0)
1161 jit_inc_synth_w(retval_i, r0);
1169 _jit_retval_f(jit_state_t *_jit, jit_int32_t r0)
1171 jit_inc_synth_w(retval_f, r0);
1173 jit_movr_f(r0, JIT_FRET);
1178 _jit_retval_d(jit_state_t *_jit, jit_int32_t r0)
1180 jit_inc_synth_w(retval_d, r0);
1182 jit_movr_d(r0, JIT_FRET);
1187 _emit_code(jit_state_t *_jit)
1197 #if DEVEL_DISASSEMBLER
1200 jit_int32_t patch_offset;
1202 #if DEVEL_DISASSEMBLER
1206 _jitc->function = NULL;
1208 jit_reglive_setup();
1212 undo.patch_offset = 0;
1214 #define case_rr(name, type) \
1215 case jit_code_##name##r##type: \
1216 name##r##type(rn(node->u.w), rn(node->v.w)); \
1218 #define case_rw(name, type) \
1219 case jit_code_##name##i##type: \
1220 name##i##type(rn(node->u.w), node->v.w); \
1222 #define case_wr(name, type) \
1223 case jit_code_##name##i##type: \
1224 name##i##type(node->u.w, rn(node->v.w)); \
1226 #define case_rf(name) \
1227 case jit_code_##name##i##type: \
1228 assert(node->flag & jit_flag_data); \
1229 name##_f(rn(node->u.w), \
1230 (jit_float32_t *)node->v.n->u.w); \
1232 #define case_rd(name) \
1233 case jit_code_##name##i_d: \
1234 assert(node->flag & jit_flag_data); \
1235 name##_d(rn(node->u.w), \
1236 (jit_float64_t *)node->v.n->u.w); \
1238 #define case_rrr(name, type) \
1239 case jit_code_##name##r##type: \
1240 name##r##type(rn(node->u.w), \
1241 rn(node->v.w), rn(node->w.w)); \
1243 #define case_rrrr(name, type) \
1244 case jit_code_##name##r##type: \
1245 name##r##type(rn(node->u.q.l), rn(node->u.q.h), \
1246 rn(node->v.w), rn(node->w.w)); \
1248 #define case_rrw(name, type) \
1249 case jit_code_##name##i##type: \
1250 name##i##type(rn(node->u.w), \
1251 rn(node->v.w), node->w.w); \
1253 #define case_rrrw(name, type) \
1254 case jit_code_##name##i##type: \
1255 name##i##type(rn(node->u.q.l), rn(node->u.q.h), \
1256 rn(node->v.w), node->w.w); \
1258 #define case_rrf(name, type, size) \
1259 case jit_code_##name##i##type: \
1260 assert(node->flag & jit_flag_data); \
1261 name##i##type(rn(node->u.w), rn(node->v.w), \
1262 (jit_float##size##_t *)node->w.n->u.w); \
1264 #define case_wrr(name, type) \
1265 case jit_code_##name##i##type: \
1266 name##i##type(node->u.w, rn(node->v.w), rn(node->w.w)); \
1268 #define case_brr(name, type) \
1269 case jit_code_##name##r##type: \
1271 assert(temp->code == jit_code_label || \
1272 temp->code == jit_code_epilog); \
1273 if (temp->flag & jit_flag_patch) \
1274 name##r##type(temp->u.w, rn(node->v.w), \
1277 word = name##r##type(_jit->pc.w, \
1278 rn(node->v.w), rn(node->w.w)); \
1279 patch(word, node); \
1282 #define case_brw(name, type) \
1283 case jit_code_##name##i##type: \
1285 assert(temp->code == jit_code_label || \
1286 temp->code == jit_code_epilog); \
1287 if (temp->flag & jit_flag_patch) \
1288 name##i##type(temp->u.w, \
1289 rn(node->v.w), node->w.w); \
1291 word = name##i##type(_jit->pc.w, \
1292 rn(node->v.w), node->w.w); \
1293 patch(word, node); \
1296 #define case_brf(name, type, size) \
1297 case jit_code_##name##i##type: \
1299 assert(temp->code == jit_code_label || \
1300 temp->code == jit_code_epilog); \
1301 if (temp->flag & jit_flag_patch) \
1302 name##i##type(temp->u.w, rn(node->v.w), \
1303 (jit_float##size##_t *)node->w.n->u.w); \
1305 word = name##i##type(_jit->pc.w, rn(node->v.w), \
1306 (jit_float##size##_t *)node->w.n->u.w); \
1307 patch(word, node); \
1310 #if DEVEL_DISASSEMBLER
1313 for (node = _jitc->head; node; node = node->next) {
1314 if (_jit->pc.uc >= _jitc->code.end)
1317 #if DEVEL_DISASSEMBLER
1318 node->offset = (jit_uword_t)_jit->pc.w - (jit_uword_t)prevw;
1321 value = jit_classify(node->code);
1322 jit_regarg_set(node, value);
1323 switch (node->code) {
1324 case jit_code_align:
1325 assert(!(node->u.w & (node->u.w - 1)) &&
1326 node->u.w <= sizeof(jit_word_t));
1327 if (node->u.w == sizeof(jit_word_t) &&
1328 (word = _jit->pc.w & (sizeof(jit_word_t) - 1)))
1329 nop(sizeof(jit_word_t) - word);
1331 case jit_code_note: case jit_code_name:
1332 node->u.w = _jit->pc.w;
1334 case jit_code_label:
1335 if ((node->link || (node->flag & jit_flag_use)) &&
1336 (word = _jit->pc.w & (sizeof(jit_word_t) - 1)))
1337 nop(sizeof(jit_word_t) - word);
1338 /* remember label is defined */
1339 node->flag |= jit_flag_patch;
1340 node->u.w = _jit->pc.w;
1359 case_rrrr(qmul, _u);
1360 case_rrrw(qmul, _u);
1367 case_rrrr(qdiv, _u);
1368 case_rrrw(qdiv, _u);
1385 case_rr(trunc, _f_i);
1386 case_rr(trunc, _d_i);
1387 #if __WORDSIZE == 64
1388 case_rr(trunc, _f_l);
1389 case_rr(trunc, _d_l);
1421 #if __WORDSIZE == 64
1437 #if __WORDSIZE == 64
1449 #if __WORDSIZE == 64
1459 #if __WORDSIZE == 64
1465 #if __WORDSIZE == 64
1468 case_rr(bswap, _us);
1469 case_rr(bswap, _ui);
1470 #if __WORDSIZE == 64
1471 case_rr(bswap, _ul);
1477 #if __WORDSIZE == 64
1482 casr(rn(node->u.w), rn(node->v.w),
1483 rn(node->w.q.l), rn(node->w.q.h));
1486 casi(rn(node->u.w), node->v.w,
1487 rn(node->w.q.l), rn(node->w.q.h));
1493 if (node->flag & jit_flag_node) {
1495 if (temp->code == jit_code_data ||
1496 (temp->code == jit_code_label &&
1497 (temp->flag & jit_flag_patch)))
1498 movi(rn(node->u.w), temp->u.w);
1500 assert(temp->code == jit_code_label ||
1501 temp->code == jit_code_epilog);
1502 word = movi_p(rn(node->u.w), node->v.w);
1507 movi(rn(node->u.w), node->v.w);
1533 case_brr(boadd, _u);
1534 case_brw(boadd, _u);
1537 case_brr(bxadd, _u);
1538 case_brw(bxadd, _u);
1541 case_brr(bosub, _u);
1542 case_brw(bosub, _u);
1545 case_brr(bxsub, _u);
1546 case_brw(bxsub, _u);
1552 case_rrf(add, _f, 32);
1554 case_rrf(sub, _f, 32);
1555 case_rrf(rsb, _f, 32);
1557 case_rrf(mul, _f, 32);
1559 case_rrf(div, _f, 32);
1566 case_rrf(lt, _f, 32);
1568 case_rrf(le, _f, 32);
1570 case_rrf(eq, _f, 32);
1572 case_rrf(ge, _f, 32);
1574 case_rrf(gt, _f, 32);
1576 case_rrf(ne, _f, 32);
1578 case_rrf(unlt, _f, 32);
1580 case_rrf(unle, _f, 32);
1582 case_rrf(uneq, _f, 32);
1584 case_rrf(unge, _f, 32);
1586 case_rrf(ungt, _f, 32);
1588 case_rrf(ltgt, _f, 32);
1590 case_rrf(ord, _f, 32);
1591 case_rrr(unord, _f);
1592 case_rrf(unord, _f, 32);
1602 case jit_code_movi_f:
1603 assert(node->flag & jit_flag_data);
1604 movi_f(rn(node->u.w), (jit_float32_t *)node->v.n->u.w);
1607 case_brf(blt, _f, 32);
1609 case_brf(ble, _f, 32);
1611 case_brf(beq, _f, 32);
1613 case_brf(bge, _f, 32);
1615 case_brf(bgt, _f, 32);
1617 case_brf(bne, _f, 32);
1618 case_brr(bunlt, _f);
1619 case_brf(bunlt, _f, 32);
1620 case_brr(bunle, _f);
1621 case_brf(bunle, _f, 32);
1622 case_brr(buneq, _f);
1623 case_brf(buneq, _f, 32);
1624 case_brr(bunge, _f);
1625 case_brf(bunge, _f, 32);
1626 case_brr(bungt, _f);
1627 case_brf(bungt, _f, 32);
1628 case_brr(bltgt, _f);
1629 case_brf(bltgt, _f, 32);
1631 case_brf(bord, _f, 32);
1632 case_brr(bunord, _f);
1633 case_brf(bunord, _f, 32);
1635 case_rrf(add, _d, 64);
1637 case_rrf(sub, _d, 64);
1638 case_rrf(rsb, _d, 64);
1640 case_rrf(mul, _d, 64);
1642 case_rrf(div, _d, 64);
1649 case_rrf(lt, _d, 64);
1651 case_rrf(le, _d, 64);
1653 case_rrf(eq, _d, 64);
1655 case_rrf(ge, _d, 64);
1657 case_rrf(gt, _d, 64);
1659 case_rrf(ne, _d, 64);
1661 case_rrf(unlt, _d, 64);
1663 case_rrf(unle, _d, 64);
1665 case_rrf(uneq, _d, 64);
1667 case_rrf(unge, _d, 64);
1669 case_rrf(ungt, _d, 64);
1671 case_rrf(ltgt, _d, 64);
1673 case_rrf(ord, _d, 64);
1674 case_rrr(unord, _d);
1675 case_rrf(unord, _d, 64);
1685 case jit_code_movi_d:
1686 assert(node->flag & jit_flag_data);
1687 movi_d(rn(node->u.w), (jit_float64_t *)node->v.n->u.w);
1690 case_brf(blt, _d, 64);
1692 case_brf(ble, _d, 64);
1694 case_brf(beq, _d, 64);
1696 case_brf(bge, _d, 64);
1698 case_brf(bgt, _d, 64);
1700 case_brf(bne, _d, 64);
1701 case_brr(bunlt, _d);
1702 case_brf(bunlt, _d, 64);
1703 case_brr(bunle, _d);
1704 case_brf(bunle, _d, 64);
1705 case_brr(buneq, _d);
1706 case_brf(buneq, _d, 64);
1707 case_brr(bunge, _d);
1708 case_brf(bunge, _d, 64);
1709 case_brr(bungt, _d);
1710 case_brf(bungt, _d, 64);
1711 case_brr(bltgt, _d);
1712 case_brf(bltgt, _d, 64);
1714 case_brf(bord, _d, 64);
1715 case_brr(bunord, _d);
1716 case_brf(bunord, _d, 64);
1718 jmpr(rn(node->u.w));
1721 if (node->flag & jit_flag_node) {
1723 assert(temp->code == jit_code_label ||
1724 temp->code == jit_code_epilog);
1725 if (temp->flag & jit_flag_patch)
1728 word = jmpi_p(_jit->pc.w);
1735 case jit_code_callr:
1736 callr(rn(node->u.w));
1738 case jit_code_calli:
1739 if (node->flag & jit_flag_node) {
1741 assert(temp->code == jit_code_label ||
1742 temp->code == jit_code_epilog);
1743 word = calli_p(temp->u.w);
1744 if (!(temp->flag & jit_flag_patch))
1750 case jit_code_prolog:
1751 _jitc->function = _jitc->functions.ptr + node->w.w;
1753 undo.word = _jit->pc.w;
1754 #if DEVEL_DISASSEMBLER
1757 undo.patch_offset = _jitc->patches.offset;
1762 case jit_code_epilog:
1763 assert(_jitc->function == _jitc->functions.ptr + node->w.w);
1765 for (temp = undo.node->next;
1766 temp != node; temp = temp->next) {
1767 if (temp->code == jit_code_label ||
1768 temp->code == jit_code_epilog)
1769 temp->flag &= ~jit_flag_patch;
1771 temp->flag &= ~jit_flag_patch;
1773 _jit->pc.w = undo.word;
1774 #if DEVEL_DISASSEMBLER
1777 _jitc->patches.offset = undo.patch_offset;
1778 goto restart_function;
1780 /* remember label is defined */
1781 node->flag |= jit_flag_patch;
1782 node->u.w = _jit->pc.w;
1784 _jitc->function = NULL;
1786 case jit_code_va_start:
1787 vastart(rn(node->u.w));
1789 case jit_code_va_arg:
1790 vaarg(rn(node->u.w), rn(node->v.w));
1792 case jit_code_va_arg_d:
1793 vaarg_d(rn(node->u.w), rn(node->v.w));
1795 case jit_code_live: case jit_code_ellipsis:
1796 case jit_code_va_push:
1797 case jit_code_allocai: case jit_code_allocar:
1799 case jit_code_arg_f: case jit_code_arg_d:
1800 case jit_code_va_end:
1802 case jit_code_retr: case jit_code_reti:
1803 case jit_code_retr_f: case jit_code_reti_f:
1804 case jit_code_retr_d: case jit_code_reti_d:
1805 case jit_code_getarg_c: case jit_code_getarg_uc:
1806 case jit_code_getarg_s: case jit_code_getarg_us:
1807 case jit_code_getarg_i:
1808 #if __WORDSIZE == 64
1809 case jit_code_getarg_ui: case jit_code_getarg_l:
1811 case jit_code_getarg_f: case jit_code_getarg_d:
1812 case jit_code_putargr: case jit_code_putargi:
1813 case jit_code_putargr_f: case jit_code_putargi_f:
1814 case jit_code_putargr_d: case jit_code_putargi_d:
1815 case jit_code_pushargr: case jit_code_pushargi:
1816 case jit_code_pushargr_f: case jit_code_pushargi_f:
1817 case jit_code_pushargr_d: case jit_code_pushargi_d:
1818 case jit_code_retval_c: case jit_code_retval_uc:
1819 case jit_code_retval_s: case jit_code_retval_us:
1820 case jit_code_retval_i:
1821 #if __WORDSIZE == 64
1822 case jit_code_retval_ui: case jit_code_retval_l:
1824 case jit_code_retval_f: case jit_code_retval_d:
1825 case jit_code_prepare:
1826 case jit_code_finishr: case jit_code_finishi:
1831 # if __WORDSIZE == 64
1832 if (jit_carry != _NOREG) {
1833 switch (node->code) {
1835 case jit_code_addcr: case jit_code_addci:
1836 case jit_code_addxr: case jit_code_addxi:
1837 case jit_code_subcr: case jit_code_subci:
1838 case jit_code_subxr: case jit_code_subxi:
1841 jit_unget_reg(jit_carry);
1847 jit_regarg_clr(node, value);
1848 # if __WORDSIZE == 64
1849 if (jit_regset_cmp_ui(&_jitc->regarg, 0) != 0) {
1850 assert(jit_regset_scan1(&_jitc->regarg, 0) == jit_carry);
1851 assert(jit_regset_scan1(&_jitc->regarg, jit_carry + 1) == ULONG_MAX);
1853 assert(_jitc->synth == 0);
1855 assert(_jitc->regarg == 0 && _jitc->synth == 0);
1873 for (offset = 0; offset < _jitc->patches.offset; offset++) {
1874 node = _jitc->patches.ptr[offset].node;
1875 word = node->code == jit_code_movi ? node->v.n->u.w : node->u.n->u.w;
1876 patch_at(_jitc->patches.ptr[offset].inst, word);
1879 jit_flush(_jit->code.ptr, _jit->pc.uc);
1881 return (_jit->code.ptr);
1885 # include "jit_sparc-cpu.c"
1886 # include "jit_sparc-fpu.c"
1887 # include "jit_fallback.c"
1891 jit_flush(void *fptr, void *tptr)
1896 _emit_ldxi(jit_state_t *_jit, jit_gpr_t r0, jit_gpr_t r1, jit_word_t i0)
1898 ldxi(rn(r0), rn(r1), i0);
1902 _emit_stxi(jit_state_t *_jit, jit_word_t i0, jit_gpr_t r0, jit_gpr_t r1)
1904 stxi(i0, rn(r0), rn(r1));
1908 _emit_ldxi_d(jit_state_t *_jit, jit_fpr_t r0, jit_gpr_t r1, jit_word_t i0)
1910 ldxi_d(rn(r0), rn(r1), i0);
1914 _emit_stxi_d(jit_state_t *_jit, jit_word_t i0, jit_gpr_t r0, jit_fpr_t r1)
1916 stxi_d(i0, rn(r0), rn(r1));
1920 _patch(jit_state_t *_jit, jit_word_t instr, jit_node_t *node)
1924 assert(node->flag & jit_flag_node);
1925 if (node->code == jit_code_movi)
1926 flag = node->v.n->flag;
1928 flag = node->u.n->flag;
1929 assert(!(flag & jit_flag_patch));
1930 if (_jitc->patches.offset >= _jitc->patches.length) {
1931 jit_realloc((jit_pointer_t *)&_jitc->patches.ptr,
1932 _jitc->patches.length * sizeof(jit_patch_t),
1933 (_jitc->patches.length + 1024) * sizeof(jit_patch_t));
1934 memset(_jitc->patches.ptr + _jitc->patches.length, 0,
1935 1024 * sizeof(jit_patch_t));
1936 _jitc->patches.length += 1024;
1938 _jitc->patches.ptr[_jitc->patches.offset].inst = instr;
1939 _jitc->patches.ptr[_jitc->patches.offset].node = node;
1940 ++_jitc->patches.offset;