1 /* src/vm/jit/alpha/codegen.c - machine code generator for Alpha
3 Copyright (C) 1996-2005, 2006, 2007, 2008
4 CACAOVM - Verein zur Foerderung der freien virtuellen Maschine CACAO
6 This file is part of CACAO.
8 This program is free software; you can redistribute it and/or
9 modify it under the terms of the GNU General Public License as
10 published by the Free Software Foundation; either version 2, or (at
11 your option) any later version.
13 This program is distributed in the hope that it will be useful, but
14 WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
16 General Public License for more details.
18 You should have received a copy of the GNU General Public License
19 along with this program; if not, write to the Free Software
20 Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
36 #include "vm/jit/alpha/arch.h"
37 #include "vm/jit/alpha/codegen.h"
39 #include "mm/memory.h"
41 #include "native/localref.h"
42 #include "native/native.h"
44 #include "threads/lock-common.h"
46 #include "vm/jit/builtin.hpp"
47 #include "vm/exceptions.hpp"
48 #include "vm/global.h"
49 #include "vm/loader.hpp"
50 #include "vm/options.h"
53 #include "vm/jit/abi.h"
54 #include "vm/jit/asmpart.h"
55 #include "vm/jit/codegen-common.h"
56 #include "vm/jit/dseg.h"
57 #include "vm/jit/emit-common.hpp"
58 #include "vm/jit/jit.hpp"
59 #include "vm/jit/linenumbertable.h"
60 #include "vm/jit/parse.h"
61 #include "vm/jit/patcher-common.h"
62 #include "vm/jit/reg.h"
63 #include "vm/jit/replace.hpp"
64 #include "vm/jit/stacktrace.hpp"
65 #include "vm/jit/trap.h"
67 #if defined(ENABLE_SSA)
68 # include "vm/jit/optimizing/lsra.h"
69 # include "vm/jit/optimizing/ssa.h"
70 #elif defined(ENABLE_LSRA)
71 # include "vm/jit/allocator/lsra.h"
75 /* codegen_emit ****************************************************************
77 Generates machine code.
79 *******************************************************************************/
81 bool codegen_emit(jitdata *jd)
87 s4 len, s1, s2, s3, d, disp;
92 methodinfo *lm; /* local methodinfo for ICMD_INVOKE* */
93 unresolved_method *um;
94 builtintable_entry *bte;
101 /* get required compiler data */
108 /* prevent compiler warnings */
121 savedregs_num = code_is_leafmethod(code) ? 0 : 1; /* space to save the RA */
123 /* space to save used callee saved registers */
125 savedregs_num += (INT_SAV_CNT - rd->savintreguse);
126 savedregs_num += (FLT_SAV_CNT - rd->savfltreguse);
128 cd->stackframesize = rd->memuse + savedregs_num;
130 #if defined(ENABLE_THREADS) /* space to save argument of monitor_enter */
131 if (checksync && code_is_synchronized(code))
132 cd->stackframesize++;
135 /* create method header */
138 cd->stackframesize = (cd->stackframesize + 1) & ~1; /* align stack to 16-bytes */
141 (void) dseg_add_unique_address(cd, code); /* CodeinfoPointer */
142 (void) dseg_add_unique_s4(cd, cd->stackframesize * 8); /* FrameSize */
144 code->synchronizedoffset = rd->memuse * 8;
146 /* REMOVEME: We still need it for exception handling in assembler. */
148 if (code_is_leafmethod(code))
149 (void) dseg_add_unique_s4(cd, 1);
151 (void) dseg_add_unique_s4(cd, 0);
153 (void) dseg_add_unique_s4(cd, INT_SAV_CNT - rd->savintreguse); /* IntSave */
154 (void) dseg_add_unique_s4(cd, FLT_SAV_CNT - rd->savfltreguse); /* FltSave */
156 /* create stack frame (if necessary) */
158 if (cd->stackframesize)
159 M_LDA(REG_SP, REG_SP, -(cd->stackframesize * 8));
161 /* save return address and used callee saved registers */
163 p = cd->stackframesize;
164 if (!code_is_leafmethod(code)) {
165 p--; M_AST(REG_RA, REG_SP, p * 8);
167 for (i = INT_SAV_CNT - 1; i >= rd->savintreguse; i--) {
168 p--; M_LST(rd->savintregs[i], REG_SP, p * 8);
170 for (i = FLT_SAV_CNT - 1; i >= rd->savfltreguse; i--) {
171 p--; M_DST(rd->savfltregs[i], REG_SP, p * 8);
174 /* take arguments out of register or stack frame */
178 for (p = 0, l = 0; p < md->paramcount; p++) {
179 t = md->paramtypes[p].type;
181 varindex = jd->local_map[l * 5 + t];
184 if (IS_2_WORD_TYPE(t)) /* increment local counter for 2 word types */
187 if (varindex == UNUSED)
192 s1 = md->params[p].regoff;
194 if (IS_INT_LNG_TYPE(t)) { /* integer args */
195 if (!md->params[p].inmemory) { /* register arguments */
196 if (!IS_INMEMORY(var->flags))
197 M_INTMOVE(s1, var->vv.regoff);
199 M_LST(s1, REG_SP, var->vv.regoff);
201 else { /* stack arguments */
202 if (!IS_INMEMORY(var->flags))
203 M_LLD(var->vv.regoff, REG_SP, cd->stackframesize * 8 + s1);
205 var->vv.regoff = cd->stackframesize * 8 + s1;
208 else { /* floating args */
209 if (!md->params[p].inmemory) { /* register arguments */
210 if (!IS_INMEMORY(var->flags))
211 M_FLTMOVE(s1, var->vv.regoff);
213 M_DST(s1, REG_SP, var->vv.regoff * 8);
215 else { /* stack arguments */
216 if (!(var->flags & INMEMORY))
217 M_DLD(var->vv.regoff, REG_SP, cd->stackframesize * 8 + s1);
219 var->vv.regoff = cd->stackframesize * 8 + s1;
224 /* call monitorenter function */
226 #if defined(ENABLE_THREADS)
227 if (checksync && code_is_synchronized(code)) {
228 /* stack offset for monitor argument */
233 if (opt_verbosecall) {
234 M_LDA(REG_SP, REG_SP, -(INT_ARG_CNT + FLT_ARG_CNT) * 8);
236 for (p = 0; p < INT_ARG_CNT; p++)
237 M_LST(abi_registers_integer_argument[p], REG_SP, p * 8);
239 for (p = 0; p < FLT_ARG_CNT; p++)
240 M_DST(abi_registers_float_argument[p], REG_SP, (INT_ARG_CNT + p) * 8);
242 s1 += INT_ARG_CNT + FLT_ARG_CNT;
244 #endif /* !defined(NDEBUG) */
246 /* decide which monitor enter function to call */
248 if (m->flags & ACC_STATIC) {
249 disp = dseg_add_address(cd, &m->clazz->object.header);
250 M_ALD(REG_A0, REG_PV, disp);
254 M_ALD_INTERN(REG_ZERO, REG_ZERO, TRAP_NullPointerException);
257 M_AST(REG_A0, REG_SP, s1 * 8);
258 disp = dseg_add_functionptr(cd, LOCK_monitor_enter);
259 M_ALD(REG_PV, REG_PV, disp);
260 M_JSR(REG_RA, REG_PV);
261 disp = (s4) (cd->mcodeptr - cd->mcodebase);
262 M_LDA(REG_PV, REG_RA, -disp);
265 if (opt_verbosecall) {
266 for (p = 0; p < INT_ARG_CNT; p++)
267 M_LLD(abi_registers_integer_argument[p], REG_SP, p * 8);
269 for (p = 0; p < FLT_ARG_CNT; p++)
270 M_DLD(abi_registers_float_argument[p], REG_SP, (INT_ARG_CNT + p) * 8);
272 M_LDA(REG_SP, REG_SP, (INT_ARG_CNT + FLT_ARG_CNT) * 8);
274 #endif /* !defined(NDEBUG) */
278 /* call trace function */
281 if (JITDATA_HAS_FLAG_VERBOSECALL(jd))
282 emit_verbosecall_enter(jd);
287 /* end of header generation */
289 /* create replacement points */
291 REPLACEMENT_POINTS_INIT(cd, jd);
293 /* walk through all basic blocks */
295 for (bptr = jd->basicblocks; bptr != NULL; bptr = bptr->next) {
297 bptr->mpc = (s4) (cd->mcodeptr - cd->mcodebase);
299 if (bptr->flags >= BBREACHED) {
301 /* branch resolving */
303 codegen_resolve_branchrefs(cd, bptr);
305 /* handle replacement points */
307 REPLACEMENT_POINT_BLOCK_START(cd, bptr);
309 /* copy interface registers to their destination */
313 #if defined(ENABLE_LSRA)
317 src = bptr->invars[len];
318 if ((len == bptr->indepth-1) && (bptr->type == BBTYPE_EXH)) {
319 /* d = reg_of_var(m, src, REG_ITMP1); */
320 if (!(src->flags & INMEMORY))
324 M_INTMOVE(REG_ITMP1, d);
325 emit_store(jd, NULL, src, d);
332 var = VAR(bptr->invars[len]);
333 if ((len == bptr->indepth-1) && (bptr->type == BBTYPE_EXH)) {
334 d = codegen_reg_of_var(0, var, REG_ITMP1);
335 M_INTMOVE(REG_ITMP1, d);
336 emit_store(jd, NULL, var, d);
339 assert((var->flags & INOUT));
342 #if defined(ENABLE_LSRA)
346 /* walk through all instructions */
350 for (iptr = bptr->iinstr; len > 0; len--, iptr++) {
351 if (iptr->line != currentline) {
352 linenumbertable_list_entry_add(cd, iptr->line);
353 currentline = iptr->line;
356 MCODECHECK(64); /* an instruction usually needs < 64 words */
359 case ICMD_NOP: /* ... ==> ... */
360 case ICMD_POP: /* ..., value ==> ... */
361 case ICMD_POP2: /* ..., value, value ==> ... */
364 case ICMD_INLINE_START:
366 REPLACEMENT_POINT_INLINE_START(cd, iptr);
369 case ICMD_INLINE_BODY:
371 REPLACEMENT_POINT_INLINE_BODY(cd, iptr);
372 linenumbertable_list_entry_add_inline_start(cd, iptr);
373 linenumbertable_list_entry_add(cd, iptr->line);
376 case ICMD_INLINE_END:
378 linenumbertable_list_entry_add_inline_end(cd, iptr);
379 linenumbertable_list_entry_add(cd, iptr->line);
382 case ICMD_CHECKNULL: /* ..., objectref ==> ..., objectref */
384 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
385 emit_nullpointer_check(cd, iptr, s1);
388 /* constant operations ************************************************/
390 case ICMD_ICONST: /* ... ==> ..., constant */
392 d = codegen_reg_of_dst(jd, iptr, REG_ITMP1);
393 ICONST(d, iptr->sx.val.i);
394 emit_store_dst(jd, iptr, d);
397 case ICMD_LCONST: /* ... ==> ..., constant */
399 d = codegen_reg_of_dst(jd, iptr, REG_ITMP1);
400 LCONST(d, iptr->sx.val.l);
401 emit_store_dst(jd, iptr, d);
404 case ICMD_FCONST: /* ... ==> ..., constant */
406 d = codegen_reg_of_dst(jd, iptr, REG_FTMP1);
407 disp = dseg_add_float(cd, iptr->sx.val.f);
408 M_FLD(d, REG_PV, disp);
409 emit_store_dst(jd, iptr, d);
412 case ICMD_DCONST: /* ... ==> ..., constant */
414 d = codegen_reg_of_dst(jd, iptr, REG_FTMP1);
415 disp = dseg_add_double(cd, iptr->sx.val.d);
416 M_DLD(d, REG_PV, disp);
417 emit_store_dst(jd, iptr, d);
420 case ICMD_ACONST: /* ... ==> ..., constant */
422 d = codegen_reg_of_dst(jd, iptr, REG_ITMP1);
424 if (INSTRUCTION_IS_UNRESOLVED(iptr)) {
425 constant_classref *cr = iptr->sx.val.c.ref;
427 disp = dseg_add_unique_address(cd, cr);
429 /* XXX Only add the patcher, if this position needs to
430 be patched. If there was a previous position which
431 resolved the same class, the returned displacement
432 of dseg_add_address is ok to use. */
434 patcher_add_patch_ref(jd, PATCHER_resolve_classref_to_classinfo,
437 M_ALD(d, REG_PV, disp);
440 if (iptr->sx.val.anyptr == NULL)
441 M_INTMOVE(REG_ZERO, d);
443 disp = dseg_add_address(cd, iptr->sx.val.anyptr);
444 M_ALD(d, REG_PV, disp);
447 emit_store_dst(jd, iptr, d);
451 /* load/store/move/copy operations ************************************/
453 case ICMD_ILOAD: /* ... ==> ..., content of local variable */
454 case ICMD_ALOAD: /* s1 = local variable */
458 case ICMD_ISTORE: /* ..., value ==> ... */
470 if (!(iptr->flags.bits & INS_FLAG_RETADDR))
475 /* integer operations *************************************************/
477 case ICMD_INEG: /* ..., value ==> ..., - value */
479 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
480 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
481 M_ISUB(REG_ZERO, s1, d);
482 emit_store_dst(jd, iptr, d);
485 case ICMD_LNEG: /* ..., value ==> ..., - value */
487 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
488 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
489 M_LSUB(REG_ZERO, s1, d);
490 emit_store_dst(jd, iptr, d);
493 case ICMD_I2L: /* ..., value ==> ..., value */
495 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
496 d = codegen_reg_of_dst(jd, iptr, REG_ITMP1);
498 emit_store_dst(jd, iptr, d);
501 case ICMD_L2I: /* ..., value ==> ..., value */
503 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
504 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
505 M_IADD(s1, REG_ZERO, d);
506 emit_store_dst(jd, iptr, d);
509 case ICMD_INT2BYTE: /* ..., value ==> ..., value */
511 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
512 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
513 if (has_ext_instr_set) {
516 M_SLL_IMM(s1, 56, d);
517 M_SRA_IMM( d, 56, d);
519 emit_store_dst(jd, iptr, d);
522 case ICMD_INT2CHAR: /* ..., value ==> ..., value */
524 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
525 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
527 emit_store_dst(jd, iptr, d);
530 case ICMD_INT2SHORT: /* ..., value ==> ..., value */
532 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
533 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
534 if (has_ext_instr_set) {
537 M_SLL_IMM(s1, 48, d);
538 M_SRA_IMM( d, 48, d);
540 emit_store_dst(jd, iptr, d);
544 case ICMD_IADD: /* ..., val1, val2 ==> ..., val1 + val2 */
546 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
547 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
548 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
550 emit_store_dst(jd, iptr, d);
554 case ICMD_IADDCONST: /* ..., value ==> ..., value + constant */
555 /* sx.val.i = constant */
557 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
558 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
559 if ((iptr->sx.val.i >= 0) && (iptr->sx.val.i <= 255)) {
560 M_IADD_IMM(s1, iptr->sx.val.i, d);
561 } else if ((iptr->sx.val.i > -256) && (iptr->sx.val.i < 0)) {
562 M_ISUB_IMM(s1, (-iptr->sx.val.i), d);
564 /* XXX maybe use M_LDA? */
565 ICONST(REG_ITMP2, iptr->sx.val.i);
566 M_IADD(s1, REG_ITMP2, d);
568 emit_store_dst(jd, iptr, d);
571 case ICMD_LADD: /* ..., val1, val2 ==> ..., val1 + val2 */
573 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
574 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
575 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
577 emit_store_dst(jd, iptr, d);
580 case ICMD_LADDCONST: /* ..., value ==> ..., value + constant */
581 /* sx.val.l = constant */
583 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
584 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
585 if ((iptr->sx.val.l >= 0) && (iptr->sx.val.l <= 255)) {
586 M_LADD_IMM(s1, iptr->sx.val.l, d);
588 LCONST(REG_ITMP2, iptr->sx.val.l);
589 M_LADD(s1, REG_ITMP2, d);
591 emit_store_dst(jd, iptr, d);
594 case ICMD_ISUB: /* ..., val1, val2 ==> ..., val1 - val2 */
596 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
597 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
598 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
600 emit_store_dst(jd, iptr, d);
603 case ICMD_ISUBCONST: /* ..., value ==> ..., value + constant */
604 /* sx.val.i = constant */
606 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
607 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
608 if ((iptr->sx.val.i >= 0) && (iptr->sx.val.i <= 255)) {
609 M_ISUB_IMM(s1, iptr->sx.val.i, d);
611 ICONST(REG_ITMP2, iptr->sx.val.i);
612 M_ISUB(s1, REG_ITMP2, d);
614 emit_store_dst(jd, iptr, d);
617 case ICMD_LSUB: /* ..., val1, val2 ==> ..., val1 - val2 */
619 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
620 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
621 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
623 emit_store_dst(jd, iptr, d);
626 case ICMD_LSUBCONST: /* ..., value ==> ..., value - constant */
627 /* sx.val.l = constant */
629 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
630 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
631 if ((iptr->sx.val.l >= 0) && (iptr->sx.val.l <= 255)) {
632 M_LSUB_IMM(s1, iptr->sx.val.l, d);
634 LCONST(REG_ITMP2, iptr->sx.val.l);
635 M_LSUB(s1, REG_ITMP2, d);
637 emit_store_dst(jd, iptr, d);
640 case ICMD_IMUL: /* ..., val1, val2 ==> ..., val1 * val2 */
642 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
643 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
644 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
646 emit_store_dst(jd, iptr, d);
649 case ICMD_IMULCONST: /* ..., value ==> ..., value * constant */
650 /* sx.val.i = constant */
652 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
653 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
654 if ((iptr->sx.val.i >= 0) && (iptr->sx.val.i <= 255)) {
655 M_IMUL_IMM(s1, iptr->sx.val.i, d);
657 ICONST(REG_ITMP2, iptr->sx.val.i);
658 M_IMUL(s1, REG_ITMP2, d);
660 emit_store_dst(jd, iptr, d);
663 case ICMD_LMUL: /* ..., val1, val2 ==> ..., val1 * val2 */
665 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
666 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
667 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
669 emit_store_dst(jd, iptr, d);
672 case ICMD_LMULCONST: /* ..., value ==> ..., value * constant */
673 /* sx.val.l = constant */
675 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
676 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
677 if ((iptr->sx.val.l >= 0) && (iptr->sx.val.l <= 255)) {
678 M_LMUL_IMM(s1, iptr->sx.val.l, d);
680 LCONST(REG_ITMP2, iptr->sx.val.l);
681 M_LMUL(s1, REG_ITMP2, d);
683 emit_store_dst(jd, iptr, d);
686 case ICMD_IDIV: /* ..., val1, val2 ==> ..., val1 / val2 */
687 case ICMD_IREM: /* ..., val1, val2 ==> ..., val1 % val2 */
689 s1 = emit_load_s1(jd, iptr, REG_A0);
690 s2 = emit_load_s2(jd, iptr, REG_A1);
691 d = codegen_reg_of_dst(jd, iptr, REG_RESULT);
692 emit_arithmetic_check(cd, iptr, s2);
694 M_INTMOVE(s1, REG_A0);
695 M_INTMOVE(s2, REG_A1);
696 bte = iptr->sx.s23.s3.bte;
697 disp = dseg_add_functionptr(cd, bte->fp);
698 M_ALD(REG_PV, REG_PV, disp);
699 M_JSR(REG_RA, REG_PV);
700 disp = (s4) (cd->mcodeptr - cd->mcodebase);
701 M_LDA(REG_PV, REG_RA, -disp);
703 M_IADD(REG_RESULT, REG_ZERO, d); /* sign extend (bugfix for gcc -O2) */
704 emit_store_dst(jd, iptr, d);
707 case ICMD_LDIV: /* ..., val1, val2 ==> ..., val1 / val2 */
708 case ICMD_LREM: /* ..., val1, val2 ==> ..., val1 % val2 */
710 s1 = emit_load_s1(jd, iptr, REG_A0);
711 s2 = emit_load_s2(jd, iptr, REG_A1);
712 d = codegen_reg_of_dst(jd, iptr, REG_RESULT);
713 emit_arithmetic_check(cd, iptr, s2);
715 M_INTMOVE(s1, REG_A0);
716 M_INTMOVE(s2, REG_A1);
717 bte = iptr->sx.s23.s3.bte;
718 disp = dseg_add_functionptr(cd, bte->fp);
719 M_ALD(REG_PV, REG_PV, disp);
720 M_JSR(REG_RA, REG_PV);
721 disp = (s4) (cd->mcodeptr - cd->mcodebase);
722 M_LDA(REG_PV, REG_RA, -disp);
724 M_INTMOVE(REG_RESULT, d);
725 emit_store_dst(jd, iptr, d);
728 case ICMD_IDIVPOW2: /* ..., value ==> ..., value << constant */
729 case ICMD_LDIVPOW2: /* val.i = constant */
731 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
732 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
733 if (iptr->sx.val.i <= 15) {
734 M_LDA(REG_ITMP2, s1, (1 << iptr->sx.val.i) -1);
735 M_CMOVGE(s1, s1, REG_ITMP2);
737 M_SRA_IMM(s1, 63, REG_ITMP2);
738 M_SRL_IMM(REG_ITMP2, 64 - iptr->sx.val.i, REG_ITMP2);
739 M_LADD(s1, REG_ITMP2, REG_ITMP2);
741 M_SRA_IMM(REG_ITMP2, iptr->sx.val.i, d);
742 emit_store_dst(jd, iptr, d);
745 case ICMD_ISHL: /* ..., val1, val2 ==> ..., val1 << val2 */
747 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
748 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
749 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
750 M_AND_IMM(s2, 0x1f, REG_ITMP3);
751 M_SLL(s1, REG_ITMP3, d);
752 M_IADD(d, REG_ZERO, d);
753 emit_store_dst(jd, iptr, d);
756 case ICMD_ISHLCONST: /* ..., value ==> ..., value << constant */
757 /* sx.val.i = constant */
759 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
760 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
761 M_SLL_IMM(s1, iptr->sx.val.i & 0x1f, d);
762 M_IADD(d, REG_ZERO, d);
763 emit_store_dst(jd, iptr, d);
766 case ICMD_ISHR: /* ..., val1, val2 ==> ..., val1 >> val2 */
768 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
769 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
770 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
771 M_AND_IMM(s2, 0x1f, REG_ITMP3);
772 M_SRA(s1, REG_ITMP3, d);
773 emit_store_dst(jd, iptr, d);
776 case ICMD_ISHRCONST: /* ..., value ==> ..., value >> constant */
777 /* sx.val.i = constant */
779 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
780 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
781 M_SRA_IMM(s1, iptr->sx.val.i & 0x1f, d);
782 emit_store_dst(jd, iptr, d);
785 case ICMD_IUSHR: /* ..., val1, val2 ==> ..., val1 >>> val2 */
787 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
788 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
789 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
790 M_AND_IMM(s2, 0x1f, REG_ITMP2);
792 M_SRL(d, REG_ITMP2, d);
793 M_IADD(d, REG_ZERO, d);
794 emit_store_dst(jd, iptr, d);
797 case ICMD_IUSHRCONST: /* ..., value ==> ..., value >>> constant */
798 /* sx.val.i = constant */
800 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
801 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
803 M_SRL_IMM(d, iptr->sx.val.i & 0x1f, d);
804 M_IADD(d, REG_ZERO, d);
805 emit_store_dst(jd, iptr, d);
808 case ICMD_LSHL: /* ..., val1, val2 ==> ..., val1 << val2 */
810 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
811 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
812 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
814 emit_store_dst(jd, iptr, d);
817 case ICMD_LSHLCONST: /* ..., value ==> ..., value << constant */
818 /* sx.val.i = constant */
820 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
821 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
822 M_SLL_IMM(s1, iptr->sx.val.i & 0x3f, d);
823 emit_store_dst(jd, iptr, d);
826 case ICMD_LSHR: /* ..., val1, val2 ==> ..., val1 >> val2 */
828 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
829 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
830 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
832 emit_store_dst(jd, iptr, d);
835 case ICMD_LSHRCONST: /* ..., value ==> ..., value >> constant */
836 /* sx.val.i = constant */
838 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
839 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
840 M_SRA_IMM(s1, iptr->sx.val.i & 0x3f, d);
841 emit_store_dst(jd, iptr, d);
844 case ICMD_LUSHR: /* ..., val1, val2 ==> ..., val1 >>> val2 */
846 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
847 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
848 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
850 emit_store_dst(jd, iptr, d);
853 case ICMD_LUSHRCONST: /* ..., value ==> ..., value >>> constant */
854 /* sx.val.i = constant */
856 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
857 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
858 M_SRL_IMM(s1, iptr->sx.val.i & 0x3f, d);
859 emit_store_dst(jd, iptr, d);
862 case ICMD_IAND: /* ..., val1, val2 ==> ..., val1 & val2 */
865 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
866 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
867 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
869 emit_store_dst(jd, iptr, d);
872 case ICMD_IANDCONST: /* ..., value ==> ..., value & constant */
873 /* sx.val.i = constant */
875 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
876 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
877 if ((iptr->sx.val.i >= 0) && (iptr->sx.val.i <= 255)) {
878 M_AND_IMM(s1, iptr->sx.val.i, d);
879 } else if (iptr->sx.val.i == 0xffff) {
881 } else if (iptr->sx.val.i == 0xffffff) {
882 M_ZAPNOT_IMM(s1, 0x07, d);
884 ICONST(REG_ITMP2, iptr->sx.val.i);
885 M_AND(s1, REG_ITMP2, d);
887 emit_store_dst(jd, iptr, d);
890 case ICMD_IREMPOW2: /* ..., value ==> ..., value % constant */
891 /* sx.val.i = constant */
893 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
894 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
896 M_MOV(s1, REG_ITMP1);
899 if ((iptr->sx.val.i >= 0) && (iptr->sx.val.i <= 255)) {
900 M_AND_IMM(s1, iptr->sx.val.i, d);
902 M_ISUB(REG_ZERO, s1, d);
903 M_AND_IMM(d, iptr->sx.val.i, d);
904 } else if (iptr->sx.val.i == 0xffff) {
907 M_ISUB(REG_ZERO, s1, d);
909 } else if (iptr->sx.val.i == 0xffffff) {
910 M_ZAPNOT_IMM(s1, 0x07, d);
912 M_ISUB(REG_ZERO, s1, d);
913 M_ZAPNOT_IMM(d, 0x07, d);
915 ICONST(REG_ITMP2, iptr->sx.val.i);
916 M_AND(s1, REG_ITMP2, d);
918 M_ISUB(REG_ZERO, s1, d);
919 M_AND(d, REG_ITMP2, d);
921 M_ISUB(REG_ZERO, d, d);
922 emit_store_dst(jd, iptr, d);
925 case ICMD_LANDCONST: /* ..., value ==> ..., value & constant */
926 /* sx.val.l = constant */
928 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
929 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
930 if ((iptr->sx.val.l >= 0) && (iptr->sx.val.l <= 255)) {
931 M_AND_IMM(s1, iptr->sx.val.l, d);
932 } else if (iptr->sx.val.l == 0xffffL) {
934 } else if (iptr->sx.val.l == 0xffffffL) {
935 M_ZAPNOT_IMM(s1, 0x07, d);
936 } else if (iptr->sx.val.l == 0xffffffffL) {
938 } else if (iptr->sx.val.l == 0xffffffffffL) {
939 M_ZAPNOT_IMM(s1, 0x1f, d);
940 } else if (iptr->sx.val.l == 0xffffffffffffL) {
941 M_ZAPNOT_IMM(s1, 0x3f, d);
942 } else if (iptr->sx.val.l == 0xffffffffffffffL) {
943 M_ZAPNOT_IMM(s1, 0x7f, d);
945 LCONST(REG_ITMP2, iptr->sx.val.l);
946 M_AND(s1, REG_ITMP2, d);
948 emit_store_dst(jd, iptr, d);
951 case ICMD_LREMPOW2: /* ..., value ==> ..., value % constant */
952 /* sx.val.l = constant */
954 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
955 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
957 M_MOV(s1, REG_ITMP1);
960 if ((iptr->sx.val.l >= 0) && (iptr->sx.val.l <= 255)) {
961 M_AND_IMM(s1, iptr->sx.val.l, d);
963 M_LSUB(REG_ZERO, s1, d);
964 M_AND_IMM(d, iptr->sx.val.l, d);
965 } else if (iptr->sx.val.l == 0xffffL) {
968 M_LSUB(REG_ZERO, s1, d);
970 } else if (iptr->sx.val.l == 0xffffffL) {
971 M_ZAPNOT_IMM(s1, 0x07, d);
973 M_LSUB(REG_ZERO, s1, d);
974 M_ZAPNOT_IMM(d, 0x07, d);
975 } else if (iptr->sx.val.l == 0xffffffffL) {
978 M_LSUB(REG_ZERO, s1, d);
980 } else if (iptr->sx.val.l == 0xffffffffffL) {
981 M_ZAPNOT_IMM(s1, 0x1f, d);
983 M_LSUB(REG_ZERO, s1, d);
984 M_ZAPNOT_IMM(d, 0x1f, d);
985 } else if (iptr->sx.val.l == 0xffffffffffffL) {
986 M_ZAPNOT_IMM(s1, 0x3f, d);
988 M_LSUB(REG_ZERO, s1, d);
989 M_ZAPNOT_IMM(d, 0x3f, d);
990 } else if (iptr->sx.val.l == 0xffffffffffffffL) {
991 M_ZAPNOT_IMM(s1, 0x7f, d);
993 M_LSUB(REG_ZERO, s1, d);
994 M_ZAPNOT_IMM(d, 0x7f, d);
996 LCONST(REG_ITMP2, iptr->sx.val.l);
997 M_AND(s1, REG_ITMP2, d);
999 M_LSUB(REG_ZERO, s1, d);
1000 M_AND(d, REG_ITMP2, d);
1002 M_LSUB(REG_ZERO, d, d);
1003 emit_store_dst(jd, iptr, d);
1006 case ICMD_IOR: /* ..., val1, val2 ==> ..., val1 | val2 */
1009 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1010 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1011 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
1013 emit_store_dst(jd, iptr, d);
1016 case ICMD_IORCONST: /* ..., value ==> ..., value | constant */
1017 /* sx.val.i = constant */
1019 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1020 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
1021 if ((iptr->sx.val.i >= 0) && (iptr->sx.val.i <= 255)) {
1022 M_OR_IMM(s1, iptr->sx.val.i, d);
1024 ICONST(REG_ITMP2, iptr->sx.val.i);
1025 M_OR(s1, REG_ITMP2, d);
1027 emit_store_dst(jd, iptr, d);
1030 case ICMD_LORCONST: /* ..., value ==> ..., value | constant */
1031 /* sx.val.l = constant */
1033 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1034 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
1035 if ((iptr->sx.val.l >= 0) && (iptr->sx.val.l <= 255)) {
1036 M_OR_IMM(s1, iptr->sx.val.l, d);
1038 LCONST(REG_ITMP2, iptr->sx.val.l);
1039 M_OR(s1, REG_ITMP2, d);
1041 emit_store_dst(jd, iptr, d);
1044 case ICMD_IXOR: /* ..., val1, val2 ==> ..., val1 ^ val2 */
1047 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1048 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1049 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
1051 emit_store_dst(jd, iptr, d);
1054 case ICMD_IXORCONST: /* ..., value ==> ..., value ^ constant */
1055 /* sx.val.i = constant */
1057 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1058 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
1059 if ((iptr->sx.val.i >= 0) && (iptr->sx.val.i <= 255)) {
1060 M_XOR_IMM(s1, iptr->sx.val.i, d);
1062 ICONST(REG_ITMP2, iptr->sx.val.i);
1063 M_XOR(s1, REG_ITMP2, d);
1065 emit_store_dst(jd, iptr, d);
1068 case ICMD_LXORCONST: /* ..., value ==> ..., value ^ constant */
1069 /* sx.val.l = constant */
1071 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1072 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
1073 if ((iptr->sx.val.l >= 0) && (iptr->sx.val.l <= 255)) {
1074 M_XOR_IMM(s1, iptr->sx.val.l, d);
1076 LCONST(REG_ITMP2, iptr->sx.val.l);
1077 M_XOR(s1, REG_ITMP2, d);
1079 emit_store_dst(jd, iptr, d);
1083 case ICMD_LCMP: /* ..., val1, val2 ==> ..., val1 cmp val2 */
1085 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1086 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1087 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
1088 M_CMPLT(s1, s2, REG_ITMP3);
1089 M_CMPLT(s2, s1, REG_ITMP1);
1090 M_LSUB(REG_ITMP1, REG_ITMP3, d);
1091 emit_store_dst(jd, iptr, d);
1095 /* floating operations ************************************************/
1097 case ICMD_FNEG: /* ..., value ==> ..., - value */
1099 s1 = emit_load_s1(jd, iptr, REG_FTMP1);
1100 d = codegen_reg_of_dst(jd, iptr, REG_FTMP2);
1102 emit_store_dst(jd, iptr, d);
1105 case ICMD_DNEG: /* ..., value ==> ..., - value */
1107 s1 = emit_load_s1(jd, iptr, REG_FTMP1);
1108 d = codegen_reg_of_dst(jd, iptr, REG_FTMP2);
1110 emit_store_dst(jd, iptr, d);
1113 case ICMD_FADD: /* ..., val1, val2 ==> ..., val1 + val2 */
1115 s1 = emit_load_s1(jd, iptr, REG_FTMP1);
1116 s2 = emit_load_s2(jd, iptr, REG_FTMP2);
1117 d = codegen_reg_of_dst(jd, iptr, REG_FTMP3);
1121 if (d == s1 || d == s2) {
1122 M_FADDS(s1, s2, REG_FTMP3);
1124 M_FMOV(REG_FTMP3, d);
1130 emit_store_dst(jd, iptr, d);
1133 case ICMD_DADD: /* ..., val1, val2 ==> ..., val1 + val2 */
1135 s1 = emit_load_s1(jd, iptr, REG_FTMP1);
1136 s2 = emit_load_s2(jd, iptr, REG_FTMP2);
1137 d = codegen_reg_of_dst(jd, iptr, REG_FTMP3);
1141 if (d == s1 || d == s2) {
1142 M_DADDS(s1, s2, REG_FTMP3);
1144 M_FMOV(REG_FTMP3, d);
1150 emit_store_dst(jd, iptr, d);
1153 case ICMD_FSUB: /* ..., val1, val2 ==> ..., val1 - val2 */
1155 s1 = emit_load_s1(jd, iptr, REG_FTMP1);
1156 s2 = emit_load_s2(jd, iptr, REG_FTMP2);
1157 d = codegen_reg_of_dst(jd, iptr, REG_FTMP3);
1161 if (d == s1 || d == s2) {
1162 M_FSUBS(s1, s2, REG_FTMP3);
1164 M_FMOV(REG_FTMP3, d);
1170 emit_store_dst(jd, iptr, d);
1173 case ICMD_DSUB: /* ..., val1, val2 ==> ..., val1 - val2 */
1175 s1 = emit_load_s1(jd, iptr, REG_FTMP1);
1176 s2 = emit_load_s2(jd, iptr, REG_FTMP2);
1177 d = codegen_reg_of_dst(jd, iptr, REG_FTMP3);
1181 if (d == s1 || d == s2) {
1182 M_DSUBS(s1, s2, REG_FTMP3);
1184 M_FMOV(REG_FTMP3, d);
1190 emit_store_dst(jd, iptr, d);
1193 case ICMD_FMUL: /* ..., val1, val2 ==> ..., val1 * val2 */
1195 s1 = emit_load_s1(jd, iptr, REG_FTMP1);
1196 s2 = emit_load_s2(jd, iptr, REG_FTMP2);
1197 d = codegen_reg_of_dst(jd, iptr, REG_FTMP3);
1201 if (d == s1 || d == s2) {
1202 M_FMULS(s1, s2, REG_FTMP3);
1204 M_FMOV(REG_FTMP3, d);
1210 emit_store_dst(jd, iptr, d);
1213 case ICMD_DMUL: /* ..., val1, val2 ==> ..., val1 *** val2 */
1215 s1 = emit_load_s1(jd, iptr, REG_FTMP1);
1216 s2 = emit_load_s2(jd, iptr, REG_FTMP2);
1217 d = codegen_reg_of_dst(jd, iptr, REG_FTMP3);
1221 if (d == s1 || d == s2) {
1222 M_DMULS(s1, s2, REG_FTMP3);
1224 M_FMOV(REG_FTMP3, d);
1230 emit_store_dst(jd, iptr, d);
1233 case ICMD_FDIV: /* ..., val1, val2 ==> ..., val1 / val2 */
1235 s1 = emit_load_s1(jd, iptr, REG_FTMP1);
1236 s2 = emit_load_s2(jd, iptr, REG_FTMP2);
1237 d = codegen_reg_of_dst(jd, iptr, REG_FTMP3);
1241 if (d == s1 || d == s2) {
1242 M_FDIVS(s1, s2, REG_FTMP3);
1244 M_FMOV(REG_FTMP3, d);
1250 emit_store_dst(jd, iptr, d);
1253 case ICMD_DDIV: /* ..., val1, val2 ==> ..., val1 / val2 */
1255 s1 = emit_load_s1(jd, iptr, REG_FTMP1);
1256 s2 = emit_load_s2(jd, iptr, REG_FTMP2);
1257 d = codegen_reg_of_dst(jd, iptr, REG_FTMP3);
1261 if (d == s1 || d == s2) {
1262 M_DDIVS(s1, s2, REG_FTMP3);
1264 M_FMOV(REG_FTMP3, d);
1270 emit_store_dst(jd, iptr, d);
1273 case ICMD_I2F: /* ..., value ==> ..., (float) value */
1275 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1276 d = codegen_reg_of_dst(jd, iptr, REG_FTMP3);
1277 disp = dseg_add_unique_double(cd, 0.0); /* FIXME Not thread safe! */
1278 M_LST(s1, REG_PV, disp);
1279 M_DLD(d, REG_PV, disp);
1281 emit_store_dst(jd, iptr, d);
1284 case ICMD_I2D: /* ..., value ==> ..., (double) value */
1286 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1287 d = codegen_reg_of_dst(jd, iptr, REG_FTMP3);
1288 disp = dseg_add_unique_double(cd, 0.0); /* FIXME Not thread safe! */
1289 M_LST(s1, REG_PV, disp);
1290 M_DLD(d, REG_PV, disp);
1292 emit_store_dst(jd, iptr, d);
1295 case ICMD_F2I: /* ..., value ==> ..., (int) value */
1297 s1 = emit_load_s1(jd, iptr, REG_FTMP1);
1298 d = codegen_reg_of_dst(jd, iptr, REG_ITMP3);
1299 disp = dseg_add_unique_double(cd, 0.0); /* FIXME Not thread safe! */
1300 M_CVTDL_C(s1, REG_FTMP2);
1301 M_CVTLI(REG_FTMP2, REG_FTMP3);
1302 M_DST(REG_FTMP3, REG_PV, disp);
1303 M_ILD(d, REG_PV, disp);
1304 emit_store_dst(jd, iptr, d);
1307 case ICMD_F2L: /* ..., value ==> ..., (long) value */
1309 s1 = emit_load_s1(jd, iptr, REG_FTMP1);
1310 d = codegen_reg_of_dst(jd, iptr, REG_ITMP3);
1311 disp = dseg_add_unique_double(cd, 0.0); /* FIXME Not thread safe! */
1312 M_CVTDL_C(s1, REG_FTMP2);
1313 M_DST(REG_FTMP2, REG_PV, disp);
1314 M_LLD(d, REG_PV, disp);
1315 emit_store_dst(jd, iptr, d);
1318 case ICMD_F2D: /* ..., value ==> ..., (double) value */
1320 s1 = emit_load_s1(jd, iptr, REG_FTMP1);
1321 d = codegen_reg_of_dst(jd, iptr, REG_FTMP3);
1324 emit_store_dst(jd, iptr, d);
1327 case ICMD_D2F: /* ..., value ==> ..., (float) value */
1329 s1 = emit_load_s1(jd, iptr, REG_FTMP1);
1330 d = codegen_reg_of_dst(jd, iptr, REG_FTMP3);
1337 emit_store_dst(jd, iptr, d);
1340 case ICMD_FCMPL: /* ..., val1, val2 ==> ..., val1 fcmpl val2 */
1342 s1 = emit_load_s1(jd, iptr, REG_FTMP1);
1343 s2 = emit_load_s2(jd, iptr, REG_FTMP2);
1344 d = codegen_reg_of_dst(jd, iptr, REG_ITMP3);
1346 M_LSUB_IMM(REG_ZERO, 1, d);
1347 M_FCMPEQ(s1, s2, REG_FTMP3);
1348 M_FBEQZ (REG_FTMP3, 1); /* jump over next instructions */
1350 M_FCMPLT(s2, s1, REG_FTMP3);
1351 M_FBEQZ (REG_FTMP3, 1); /* jump over next instruction */
1352 M_LADD_IMM(REG_ZERO, 1, d);
1354 M_LSUB_IMM(REG_ZERO, 1, d);
1355 M_FCMPEQS(s1, s2, REG_FTMP3);
1357 M_FBEQZ (REG_FTMP3, 1); /* jump over next instructions */
1359 M_FCMPLTS(s2, s1, REG_FTMP3);
1361 M_FBEQZ (REG_FTMP3, 1); /* jump over next instruction */
1362 M_LADD_IMM(REG_ZERO, 1, d);
1364 emit_store_dst(jd, iptr, d);
1367 case ICMD_FCMPG: /* ..., val1, val2 ==> ..., val1 fcmpg val2 */
1369 s1 = emit_load_s1(jd, iptr, REG_FTMP1);
1370 s2 = emit_load_s2(jd, iptr, REG_FTMP2);
1371 d = codegen_reg_of_dst(jd, iptr, REG_ITMP3);
1373 M_LADD_IMM(REG_ZERO, 1, d);
1374 M_FCMPEQ(s1, s2, REG_FTMP3);
1375 M_FBEQZ (REG_FTMP3, 1); /* jump over next instruction */
1377 M_FCMPLT(s1, s2, REG_FTMP3);
1378 M_FBEQZ (REG_FTMP3, 1); /* jump over next instruction */
1379 M_LSUB_IMM(REG_ZERO, 1, d);
1381 M_LADD_IMM(REG_ZERO, 1, d);
1382 M_FCMPEQS(s1, s2, REG_FTMP3);
1384 M_FBEQZ (REG_FTMP3, 1); /* jump over next instruction */
1386 M_FCMPLTS(s1, s2, REG_FTMP3);
1388 M_FBEQZ (REG_FTMP3, 1); /* jump over next instruction */
1389 M_LSUB_IMM(REG_ZERO, 1, d);
1391 emit_store_dst(jd, iptr, d);
1395 /* memory operations **************************************************/
1397 case ICMD_ARRAYLENGTH: /* ..., arrayref ==> ..., length */
1399 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1400 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
1401 /* implicit null-pointer check */
1402 M_ILD(d, s1, OFFSET(java_array_t, size));
1403 emit_store_dst(jd, iptr, d);
1406 case ICMD_BALOAD: /* ..., arrayref, index ==> ..., value */
1408 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1409 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1410 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
1411 /* implicit null-pointer check */
1412 emit_arrayindexoutofbounds_check(cd, iptr, s1, s2);
1413 if (has_ext_instr_set) {
1414 M_LADD(s2, s1, REG_ITMP1);
1415 M_BLDU(d, REG_ITMP1, OFFSET (java_bytearray_t, data[0]));
1419 M_LADD(s2, s1, REG_ITMP1);
1420 M_LLD_U(REG_ITMP2, REG_ITMP1, OFFSET(java_bytearray_t, data[0]));
1421 M_LDA(REG_ITMP1, REG_ITMP1, OFFSET(java_bytearray_t, data[0])+1);
1422 M_EXTQH(REG_ITMP2, REG_ITMP1, d);
1423 M_SRA_IMM(d, 56, d);
1425 emit_store_dst(jd, iptr, d);
1428 case ICMD_CALOAD: /* ..., arrayref, index ==> ..., value */
1430 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1431 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1432 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
1433 /* implicit null-pointer check */
1434 emit_arrayindexoutofbounds_check(cd, iptr, s1, s2);
1435 if (has_ext_instr_set) {
1436 M_LADD(s2, s1, REG_ITMP1);
1437 M_LADD(s2, REG_ITMP1, REG_ITMP1);
1438 M_SLDU(d, REG_ITMP1, OFFSET(java_chararray_t, data[0]));
1441 M_LADD (s2, s1, REG_ITMP1);
1442 M_LADD (s2, REG_ITMP1, REG_ITMP1);
1443 M_LLD_U(REG_ITMP2, REG_ITMP1, OFFSET(java_chararray_t, data[0]));
1444 M_LDA (REG_ITMP1, REG_ITMP1, OFFSET(java_chararray_t, data[0]));
1445 M_EXTWL(REG_ITMP2, REG_ITMP1, d);
1447 emit_store_dst(jd, iptr, d);
1450 case ICMD_SALOAD: /* ..., arrayref, index ==> ..., value */
1452 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1453 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1454 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
1455 /* implicit null-pointer check */
1456 emit_arrayindexoutofbounds_check(cd, iptr, s1, s2);
1457 if (has_ext_instr_set) {
1458 M_LADD(s2, s1, REG_ITMP1);
1459 M_LADD(s2, REG_ITMP1, REG_ITMP1);
1460 M_SLDU( d, REG_ITMP1, OFFSET (java_shortarray_t, data[0]));
1463 M_LADD(s2, s1, REG_ITMP1);
1464 M_LADD(s2, REG_ITMP1, REG_ITMP1);
1465 M_LLD_U(REG_ITMP2, REG_ITMP1, OFFSET(java_shortarray_t, data[0]));
1466 M_LDA(REG_ITMP1, REG_ITMP1, OFFSET(java_shortarray_t, data[0])+2);
1467 M_EXTQH(REG_ITMP2, REG_ITMP1, d);
1468 M_SRA_IMM(d, 48, d);
1470 emit_store_dst(jd, iptr, d);
1473 case ICMD_IALOAD: /* ..., arrayref, index ==> ..., value */
1475 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1476 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1477 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
1478 /* implicit null-pointer check */
1479 emit_arrayindexoutofbounds_check(cd, iptr, s1, s2);
1480 M_S4ADDQ(s2, s1, REG_ITMP1);
1481 M_ILD(d, REG_ITMP1, OFFSET(java_intarray_t, data[0]));
1482 emit_store_dst(jd, iptr, d);
1485 case ICMD_LALOAD: /* ..., arrayref, index ==> ..., value */
1487 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1488 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1489 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
1490 /* implicit null-pointer check */
1491 emit_arrayindexoutofbounds_check(cd, iptr, s1, s2);
1492 M_S8ADDQ(s2, s1, REG_ITMP1);
1493 M_LLD(d, REG_ITMP1, OFFSET(java_longarray_t, data[0]));
1494 emit_store_dst(jd, iptr, d);
1497 case ICMD_FALOAD: /* ..., arrayref, index ==> ..., value */
1499 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1500 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1501 d = codegen_reg_of_dst(jd, iptr, REG_FTMP2);
1502 /* implicit null-pointer check */
1503 emit_arrayindexoutofbounds_check(cd, iptr, s1, s2);
1504 M_S4ADDQ(s2, s1, REG_ITMP1);
1505 M_FLD(d, REG_ITMP1, OFFSET(java_floatarray_t, data[0]));
1506 emit_store_dst(jd, iptr, d);
1509 case ICMD_DALOAD: /* ..., arrayref, index ==> ..., value */
1511 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1512 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1513 d = codegen_reg_of_dst(jd, iptr, REG_FTMP2);
1514 /* implicit null-pointer check */
1515 emit_arrayindexoutofbounds_check(cd, iptr, s1, s2);
1516 M_S8ADDQ(s2, s1, REG_ITMP1);
1517 M_DLD(d, REG_ITMP1, OFFSET(java_doublearray_t, data[0]));
1518 emit_store_dst(jd, iptr, d);
1521 case ICMD_AALOAD: /* ..., arrayref, index ==> ..., value */
1523 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1524 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1525 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
1526 /* implicit null-pointer check */
1527 emit_arrayindexoutofbounds_check(cd, iptr, s1, s2);
1528 M_SAADDQ(s2, s1, REG_ITMP1);
1529 M_ALD(d, REG_ITMP1, OFFSET(java_objectarray_t, data[0]));
1530 emit_store_dst(jd, iptr, d);
1534 case ICMD_BASTORE: /* ..., arrayref, index, value ==> ... */
1536 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1537 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1538 /* implicit null-pointer check */
1539 emit_arrayindexoutofbounds_check(cd, iptr, s1, s2);
1540 s3 = emit_load_s3(jd, iptr, REG_ITMP3);
1541 if (has_ext_instr_set) {
1542 M_LADD(s2, s1, REG_ITMP1);
1543 M_BST(s3, REG_ITMP1, OFFSET(java_bytearray_t, data[0]));
1546 M_LADD(s2, s1, REG_ITMP1);
1547 M_LLD_U(REG_ITMP2, REG_ITMP1, OFFSET(java_bytearray_t, data[0]));
1548 M_LDA(REG_ITMP1, REG_ITMP1, OFFSET(java_bytearray_t, data[0]));
1549 M_INSBL(s3, REG_ITMP1, REG_ITMP3);
1550 M_MSKBL(REG_ITMP2, REG_ITMP1, REG_ITMP2);
1551 M_OR(REG_ITMP2, REG_ITMP3, REG_ITMP2);
1552 M_LST_U(REG_ITMP2, REG_ITMP1, 0);
1556 case ICMD_CASTORE: /* ..., arrayref, index, value ==> ... */
1558 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1559 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1560 /* implicit null-pointer check */
1561 emit_arrayindexoutofbounds_check(cd, iptr, s1, s2);
1562 s3 = emit_load_s3(jd, iptr, REG_ITMP3);
1563 if (has_ext_instr_set) {
1564 M_LADD(s2, s1, REG_ITMP1);
1565 M_LADD(s2, REG_ITMP1, REG_ITMP1);
1566 M_SST(s3, REG_ITMP1, OFFSET(java_chararray_t, data[0]));
1569 M_LADD(s2, s1, REG_ITMP1);
1570 M_LADD(s2, REG_ITMP1, REG_ITMP1);
1571 M_LLD_U(REG_ITMP2, REG_ITMP1, OFFSET(java_chararray_t, data[0]));
1572 M_LDA(REG_ITMP1, REG_ITMP1, OFFSET(java_chararray_t, data[0]));
1573 M_INSWL(s3, REG_ITMP1, REG_ITMP3);
1574 M_MSKWL(REG_ITMP2, REG_ITMP1, REG_ITMP2);
1575 M_OR(REG_ITMP2, REG_ITMP3, REG_ITMP2);
1576 M_LST_U(REG_ITMP2, REG_ITMP1, 0);
1580 case ICMD_SASTORE: /* ..., arrayref, index, value ==> ... */
1582 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1583 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1584 /* implicit null-pointer check */
1585 emit_arrayindexoutofbounds_check(cd, iptr, s1, s2);
1586 s3 = emit_load_s3(jd, iptr, REG_ITMP3);
1587 if (has_ext_instr_set) {
1588 M_LADD(s2, s1, REG_ITMP1);
1589 M_LADD(s2, REG_ITMP1, REG_ITMP1);
1590 M_SST(s3, REG_ITMP1, OFFSET(java_shortarray_t, data[0]));
1593 M_LADD(s2, s1, REG_ITMP1);
1594 M_LADD(s2, REG_ITMP1, REG_ITMP1);
1595 M_LLD_U(REG_ITMP2, REG_ITMP1, OFFSET(java_shortarray_t, data[0]));
1596 M_LDA(REG_ITMP1, REG_ITMP1, OFFSET(java_shortarray_t, data[0]));
1597 M_INSWL(s3, REG_ITMP1, REG_ITMP3);
1598 M_MSKWL(REG_ITMP2, REG_ITMP1, REG_ITMP2);
1599 M_OR(REG_ITMP2, REG_ITMP3, REG_ITMP2);
1600 M_LST_U(REG_ITMP2, REG_ITMP1, 0);
1604 case ICMD_IASTORE: /* ..., arrayref, index, value ==> ... */
1606 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1607 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1608 /* implicit null-pointer check */
1609 emit_arrayindexoutofbounds_check(cd, iptr, s1, s2);
1610 s3 = emit_load_s3(jd, iptr, REG_ITMP3);
1611 M_S4ADDQ(s2, s1, REG_ITMP1);
1612 M_IST(s3, REG_ITMP1, OFFSET(java_intarray_t, data[0]));
1615 case ICMD_LASTORE: /* ..., arrayref, index, value ==> ... */
1617 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1618 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1619 /* implicit null-pointer check */
1620 emit_arrayindexoutofbounds_check(cd, iptr, s1, s2);
1621 s3 = emit_load_s3(jd, iptr, REG_ITMP3);
1622 M_S8ADDQ(s2, s1, REG_ITMP1);
1623 M_LST(s3, REG_ITMP1, OFFSET(java_longarray_t, data[0]));
1626 case ICMD_FASTORE: /* ..., arrayref, index, value ==> ... */
1628 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1629 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1630 /* implicit null-pointer check */
1631 emit_arrayindexoutofbounds_check(cd, iptr, s1, s2);
1632 s3 = emit_load_s3(jd, iptr, REG_FTMP3);
1633 M_S4ADDQ(s2, s1, REG_ITMP1);
1634 M_FST(s3, REG_ITMP1, OFFSET(java_floatarray_t, data[0]));
1637 case ICMD_DASTORE: /* ..., arrayref, index, value ==> ... */
1639 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1640 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1641 /* implicit null-pointer check */
1642 emit_arrayindexoutofbounds_check(cd, iptr, s1, s2);
1643 s3 = emit_load_s3(jd, iptr, REG_FTMP3);
1644 M_S8ADDQ(s2, s1, REG_ITMP1);
1645 M_DST(s3, REG_ITMP1, OFFSET(java_doublearray_t, data[0]));
1648 case ICMD_AASTORE: /* ..., arrayref, index, value ==> ... */
1650 s1 = emit_load_s1(jd, iptr, REG_A0);
1651 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1652 /* implicit null-pointer check */
1653 emit_arrayindexoutofbounds_check(cd, iptr, s1, s2);
1654 s3 = emit_load_s3(jd, iptr, REG_A1);
1656 M_INTMOVE(s1, REG_A0);
1657 M_INTMOVE(s3, REG_A1);
1659 disp = dseg_add_functionptr(cd, BUILTIN_FAST_canstore);
1660 M_ALD(REG_PV, REG_PV, disp);
1661 M_JSR(REG_RA, REG_PV);
1662 disp = (s4) (cd->mcodeptr - cd->mcodebase);
1663 M_LDA(REG_PV, REG_RA, -disp);
1664 emit_arraystore_check(cd, iptr);
1666 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1667 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1668 s3 = emit_load_s3(jd, iptr, REG_ITMP3);
1669 M_SAADDQ(s2, s1, REG_ITMP1);
1670 M_AST(s3, REG_ITMP1, OFFSET(java_objectarray_t, data[0]));
1674 case ICMD_BASTORECONST: /* ..., arrayref, index ==> ... */
1676 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1677 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1678 /* implicit null-pointer check */
1679 emit_arrayindexoutofbounds_check(cd, iptr, s1, s2);
1680 if (has_ext_instr_set) {
1681 M_LADD(s2, s1, REG_ITMP1);
1682 M_BST(REG_ZERO, REG_ITMP1, OFFSET(java_bytearray_t, data[0]));
1685 M_LADD(s2, s1, REG_ITMP1);
1686 M_LLD_U(REG_ITMP2, REG_ITMP1, OFFSET(java_bytearray_t, data[0]));
1687 M_LDA(REG_ITMP1, REG_ITMP1, OFFSET(java_bytearray_t, data[0]));
1688 M_INSBL(REG_ZERO, REG_ITMP1, REG_ITMP3);
1689 M_MSKBL(REG_ITMP2, REG_ITMP1, REG_ITMP2);
1690 M_OR(REG_ITMP2, REG_ITMP3, REG_ITMP2);
1691 M_LST_U(REG_ITMP2, REG_ITMP1, 0);
1695 case ICMD_CASTORECONST: /* ..., arrayref, index ==> ... */
1697 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1698 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1699 /* implicit null-pointer check */
1700 emit_arrayindexoutofbounds_check(cd, iptr, s1, s2);
1701 if (has_ext_instr_set) {
1702 M_LADD(s2, s1, REG_ITMP1);
1703 M_LADD(s2, REG_ITMP1, REG_ITMP1);
1704 M_SST(REG_ZERO, REG_ITMP1, OFFSET(java_chararray_t, data[0]));
1707 M_LADD(s2, s1, REG_ITMP1);
1708 M_LADD(s2, REG_ITMP1, REG_ITMP1);
1709 M_LLD_U(REG_ITMP2, REG_ITMP1, OFFSET(java_chararray_t, data[0]));
1710 M_LDA(REG_ITMP1, REG_ITMP1, OFFSET(java_chararray_t, data[0]));
1711 M_INSWL(REG_ZERO, REG_ITMP1, REG_ITMP3);
1712 M_MSKWL(REG_ITMP2, REG_ITMP1, REG_ITMP2);
1713 M_OR(REG_ITMP2, REG_ITMP3, REG_ITMP2);
1714 M_LST_U(REG_ITMP2, REG_ITMP1, 0);
1718 case ICMD_SASTORECONST: /* ..., arrayref, index ==> ... */
1720 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1721 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1722 /* implicit null-pointer check */
1723 emit_arrayindexoutofbounds_check(cd, iptr, s1, s2);
1724 if (has_ext_instr_set) {
1725 M_LADD(s2, s1, REG_ITMP1);
1726 M_LADD(s2, REG_ITMP1, REG_ITMP1);
1727 M_SST(REG_ZERO, REG_ITMP1, OFFSET(java_shortarray_t, data[0]));
1730 M_LADD(s2, s1, REG_ITMP1);
1731 M_LADD(s2, REG_ITMP1, REG_ITMP1);
1732 M_LLD_U(REG_ITMP2, REG_ITMP1, OFFSET(java_shortarray_t, data[0]));
1733 M_LDA(REG_ITMP1, REG_ITMP1, OFFSET(java_shortarray_t, data[0]));
1734 M_INSWL(REG_ZERO, REG_ITMP1, REG_ITMP3);
1735 M_MSKWL(REG_ITMP2, REG_ITMP1, REG_ITMP2);
1736 M_OR(REG_ITMP2, REG_ITMP3, REG_ITMP2);
1737 M_LST_U(REG_ITMP2, REG_ITMP1, 0);
1741 case ICMD_IASTORECONST: /* ..., arrayref, index ==> ... */
1743 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1744 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1745 /* implicit null-pointer check */
1746 emit_arrayindexoutofbounds_check(cd, iptr, s1, s2);
1747 M_S4ADDQ(s2, s1, REG_ITMP1);
1748 M_IST(REG_ZERO, REG_ITMP1, OFFSET(java_intarray_t, data[0]));
1751 case ICMD_LASTORECONST: /* ..., arrayref, index ==> ... */
1753 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1754 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1755 /* implicit null-pointer check */
1756 emit_arrayindexoutofbounds_check(cd, iptr, s1, s2);
1757 M_S8ADDQ(s2, s1, REG_ITMP1);
1758 M_LST(REG_ZERO, REG_ITMP1, OFFSET(java_longarray_t, data[0]));
1761 case ICMD_AASTORECONST: /* ..., arrayref, index ==> ... */
1763 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1764 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1765 /* implicit null-pointer check */
1766 emit_arrayindexoutofbounds_check(cd, iptr, s1, s2);
1767 M_SAADDQ(s2, s1, REG_ITMP1);
1768 M_AST(REG_ZERO, REG_ITMP1, OFFSET(java_objectarray_t, data[0]));
1772 case ICMD_GETSTATIC: /* ... ==> ..., value */
1774 if (INSTRUCTION_IS_UNRESOLVED(iptr)) {
1775 uf = iptr->sx.s23.s3.uf;
1776 fieldtype = uf->fieldref->parseddesc.fd->type;
1777 disp = dseg_add_unique_address(cd, uf);
1779 patcher_add_patch_ref(jd, PATCHER_get_putstatic, uf, disp);
1782 fi = iptr->sx.s23.s3.fmiref->p.field;
1783 fieldtype = fi->type;
1784 disp = dseg_add_address(cd, fi->value);
1786 if (!CLASS_IS_OR_ALMOST_INITIALIZED(fi->clazz))
1787 patcher_add_patch_ref(jd, PATCHER_initialize_class, fi->clazz,
1791 M_ALD(REG_ITMP1, REG_PV, disp);
1792 switch (fieldtype) {
1794 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
1795 M_ILD(d, REG_ITMP1, 0);
1798 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
1799 M_LLD(d, REG_ITMP1, 0);
1802 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
1803 M_ALD(d, REG_ITMP1, 0);
1806 d = codegen_reg_of_dst(jd, iptr, REG_FTMP1);
1807 M_FLD(d, REG_ITMP1, 0);
1810 d = codegen_reg_of_dst(jd, iptr, REG_FTMP1);
1811 M_DLD(d, REG_ITMP1, 0);
1814 emit_store_dst(jd, iptr, d);
1817 case ICMD_PUTSTATIC: /* ..., value ==> ... */
1819 if (INSTRUCTION_IS_UNRESOLVED(iptr)) {
1820 uf = iptr->sx.s23.s3.uf;
1821 fieldtype = uf->fieldref->parseddesc.fd->type;
1822 disp = dseg_add_unique_address(cd, uf);
1824 patcher_add_patch_ref(jd, PATCHER_get_putstatic, uf, disp);
1827 fi = iptr->sx.s23.s3.fmiref->p.field;
1828 fieldtype = fi->type;
1829 disp = dseg_add_address(cd, fi->value);
1831 if (!CLASS_IS_OR_ALMOST_INITIALIZED(fi->clazz))
1832 patcher_add_patch_ref(jd, PATCHER_initialize_class, fi->clazz,
1836 M_ALD(REG_ITMP1, REG_PV, disp);
1837 switch (fieldtype) {
1839 s1 = emit_load_s1(jd, iptr, REG_ITMP2);
1840 M_IST(s1, REG_ITMP1, 0);
1843 s1 = emit_load_s1(jd, iptr, REG_ITMP2);
1844 M_LST(s1, REG_ITMP1, 0);
1847 s1 = emit_load_s1(jd, iptr, REG_ITMP2);
1848 M_AST(s1, REG_ITMP1, 0);
1851 s1 = emit_load_s1(jd, iptr, REG_FTMP2);
1852 M_FST(s1, REG_ITMP1, 0);
1855 s1 = emit_load_s1(jd, iptr, REG_FTMP2);
1856 M_DST(s1, REG_ITMP1, 0);
1861 case ICMD_PUTSTATICCONST: /* ... ==> ... */
1862 /* val = value (in current instruction) */
1863 /* following NOP) */
1865 if (INSTRUCTION_IS_UNRESOLVED(iptr)) {
1866 uf = iptr->sx.s23.s3.uf;
1867 fieldtype = uf->fieldref->parseddesc.fd->type;
1868 disp = dseg_add_unique_address(cd, uf);
1870 patcher_add_patch_ref(jd, PATCHER_get_putstatic, uf, disp);
1873 fi = iptr->sx.s23.s3.fmiref->p.field;
1874 fieldtype = fi->type;
1875 disp = dseg_add_address(cd, fi->value);
1877 if (!CLASS_IS_OR_ALMOST_INITIALIZED(fi->clazz))
1878 patcher_add_patch_ref(jd, PATCHER_initialize_class, fi->clazz,
1882 M_ALD(REG_ITMP1, REG_PV, disp);
1883 switch (fieldtype) {
1885 M_IST(REG_ZERO, REG_ITMP1, 0);
1888 M_LST(REG_ZERO, REG_ITMP1, 0);
1891 M_AST(REG_ZERO, REG_ITMP1, 0);
1894 M_FST(REG_ZERO, REG_ITMP1, 0);
1897 M_DST(REG_ZERO, REG_ITMP1, 0);
1903 case ICMD_GETFIELD: /* ... ==> ..., value */
1905 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1907 if (INSTRUCTION_IS_UNRESOLVED(iptr)) {
1908 uf = iptr->sx.s23.s3.uf;
1909 fieldtype = uf->fieldref->parseddesc.fd->type;
1912 patcher_add_patch_ref(jd, PATCHER_get_putfield, uf, 0);
1915 fi = iptr->sx.s23.s3.fmiref->p.field;
1916 fieldtype = fi->type;
1920 /* implicit null-pointer check */
1921 switch (fieldtype) {
1923 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
1927 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
1931 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
1935 d = codegen_reg_of_dst(jd, iptr, REG_FTMP1);
1939 d = codegen_reg_of_dst(jd, iptr, REG_FTMP1);
1943 emit_store_dst(jd, iptr, d);
1946 case ICMD_PUTFIELD: /* ..., objectref, value ==> ... */
1948 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1950 if (INSTRUCTION_IS_UNRESOLVED(iptr)) {
1951 uf = iptr->sx.s23.s3.uf;
1952 fieldtype = uf->fieldref->parseddesc.fd->type;
1957 fi = iptr->sx.s23.s3.fmiref->p.field;
1958 fieldtype = fi->type;
1962 if (IS_INT_LNG_TYPE(fieldtype))
1963 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1965 s2 = emit_load_s2(jd, iptr, REG_FTMP2);
1967 if (INSTRUCTION_IS_UNRESOLVED(iptr))
1968 patcher_add_patch_ref(jd, PATCHER_get_putfield, uf, 0);
1970 /* implicit null-pointer check */
1971 switch (fieldtype) {
1973 M_IST(s2, s1, disp);
1976 M_LST(s2, s1, disp);
1979 M_AST(s2, s1, disp);
1982 M_FST(s2, s1, disp);
1985 M_DST(s2, s1, disp);
1990 case ICMD_PUTFIELDCONST: /* ..., objectref ==> ... */
1991 /* val = value (in current instruction) */
1992 /* following NOP) */
1994 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1996 if (INSTRUCTION_IS_UNRESOLVED(iptr)) {
1997 uf = iptr->sx.s23.s3.uf;
1998 fieldtype = uf->fieldref->parseddesc.fd->type;
2001 patcher_add_patch_ref(jd, PATCHER_get_putfield, uf, 0);
2004 fi = iptr->sx.s23.s3.fmiref->p.field;
2005 fieldtype = fi->type;
2009 /* implicit null-pointer check */
2010 switch (fieldtype) {
2012 M_IST(REG_ZERO, s1, disp);
2015 M_LST(REG_ZERO, s1, disp);
2018 M_AST(REG_ZERO, s1, disp);
2021 M_FST(REG_ZERO, s1, disp);
2024 M_DST(REG_ZERO, s1, disp);
2030 /* branch operations **************************************************/
2032 case ICMD_ATHROW: /* ..., objectref ==> ... (, objectref) */
2034 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
2035 M_INTMOVE(s1, REG_ITMP1_XPTR);
2037 #ifdef ENABLE_VERIFIER
2038 if (INSTRUCTION_IS_UNRESOLVED(iptr)) {
2039 unresolved_class *uc = iptr->sx.s23.s2.uc;
2041 patcher_add_patch_ref(jd, PATCHER_resolve_class, uc, 0);
2043 #endif /* ENABLE_VERIFIER */
2045 disp = dseg_add_functionptr(cd, asm_handle_exception);
2046 M_ALD(REG_ITMP2, REG_PV, disp);
2047 M_JMP(REG_ITMP2_XPC, REG_ITMP2);
2048 M_NOP; /* nop ensures that XPC is less than the end */
2049 /* of basic block */
2053 case ICMD_GOTO: /* ... ==> ... */
2054 case ICMD_RET: /* ... ==> ... */
2056 emit_br(cd, iptr->dst.block);
2060 case ICMD_JSR: /* ... ==> ... */
2062 emit_br(cd, iptr->sx.s23.s3.jsrtarget.block);
2066 case ICMD_IFNULL: /* ..., value ==> ... */
2067 case ICMD_IFNONNULL:
2069 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
2070 emit_bccz(cd, iptr->dst.block, iptr->opc - ICMD_IFNULL, s1, BRANCH_OPT_NONE);
2073 case ICMD_IFEQ: /* ..., value ==> ... */
2075 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
2076 if (iptr->sx.val.i == 0)
2077 emit_beqz(cd, iptr->dst.block, s1);
2079 if ((iptr->sx.val.i > 0) && (iptr->sx.val.i <= 255))
2080 M_CMPEQ_IMM(s1, iptr->sx.val.i, REG_ITMP1);
2082 ICONST(REG_ITMP2, iptr->sx.val.i);
2083 M_CMPEQ(s1, REG_ITMP2, REG_ITMP1);
2085 emit_bnez(cd, iptr->dst.block, REG_ITMP1);
2089 case ICMD_IFLT: /* ..., value ==> ... */
2091 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
2092 if (iptr->sx.val.i == 0)
2093 emit_bltz(cd, iptr->dst.block, s1);
2095 if ((iptr->sx.val.i > 0) && (iptr->sx.val.i <= 255))
2096 M_CMPLT_IMM(s1, iptr->sx.val.i, REG_ITMP1);
2098 ICONST(REG_ITMP2, iptr->sx.val.i);
2099 M_CMPLT(s1, REG_ITMP2, REG_ITMP1);
2101 emit_bnez(cd, iptr->dst.block, REG_ITMP1);
2105 case ICMD_IFLE: /* ..., value ==> ... */
2107 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
2108 if (iptr->sx.val.i == 0)
2109 emit_blez(cd, iptr->dst.block, s1);
2111 if ((iptr->sx.val.i > 0) && (iptr->sx.val.i <= 255))
2112 M_CMPLE_IMM(s1, iptr->sx.val.i, REG_ITMP1);
2114 ICONST(REG_ITMP2, iptr->sx.val.i);
2115 M_CMPLE(s1, REG_ITMP2, REG_ITMP1);
2117 emit_bnez(cd, iptr->dst.block, REG_ITMP1);
2121 case ICMD_IFNE: /* ..., value ==> ... */
2123 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
2124 if (iptr->sx.val.i == 0)
2125 emit_bnez(cd, iptr->dst.block, s1);
2127 if ((iptr->sx.val.i > 0) && (iptr->sx.val.i <= 255))
2128 M_CMPEQ_IMM(s1, iptr->sx.val.i, REG_ITMP1);
2130 ICONST(REG_ITMP2, iptr->sx.val.i);
2131 M_CMPEQ(s1, REG_ITMP2, REG_ITMP1);
2133 emit_beqz(cd, iptr->dst.block, REG_ITMP1);
2137 case ICMD_IFGT: /* ..., value ==> ... */
2139 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
2140 if (iptr->sx.val.i == 0)
2141 emit_bgtz(cd, iptr->dst.block, s1);
2143 if ((iptr->sx.val.i > 0) && (iptr->sx.val.i <= 255))
2144 M_CMPLE_IMM(s1, iptr->sx.val.i, REG_ITMP1);
2146 ICONST(REG_ITMP2, iptr->sx.val.i);
2147 M_CMPLE(s1, REG_ITMP2, REG_ITMP1);
2149 emit_beqz(cd, iptr->dst.block, REG_ITMP1);
2153 case ICMD_IFGE: /* ..., value ==> ... */
2155 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
2156 if (iptr->sx.val.i == 0)
2157 emit_bgez(cd, iptr->dst.block, s1);
2159 if ((iptr->sx.val.i > 0) && (iptr->sx.val.i <= 255))
2160 M_CMPLT_IMM(s1, iptr->sx.val.i, REG_ITMP1);
2162 ICONST(REG_ITMP2, iptr->sx.val.i);
2163 M_CMPLT(s1, REG_ITMP2, REG_ITMP1);
2165 emit_beqz(cd, iptr->dst.block, REG_ITMP1);
2169 case ICMD_IF_LEQ: /* ..., value ==> ... */
2171 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
2172 if (iptr->sx.val.l == 0)
2173 emit_beqz(cd, iptr->dst.block, s1);
2175 if ((iptr->sx.val.l > 0) && (iptr->sx.val.l <= 255))
2176 M_CMPEQ_IMM(s1, iptr->sx.val.l, REG_ITMP1);
2178 LCONST(REG_ITMP2, iptr->sx.val.l);
2179 M_CMPEQ(s1, REG_ITMP2, REG_ITMP1);
2181 emit_bnez(cd, iptr->dst.block, REG_ITMP1);
2185 case ICMD_IF_LLT: /* ..., value ==> ... */
2187 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
2188 if (iptr->sx.val.l == 0)
2189 emit_bltz(cd, iptr->dst.block, s1);
2191 if ((iptr->sx.val.l > 0) && (iptr->sx.val.l <= 255))
2192 M_CMPLT_IMM(s1, iptr->sx.val.l, REG_ITMP1);
2194 LCONST(REG_ITMP2, iptr->sx.val.l);
2195 M_CMPLT(s1, REG_ITMP2, REG_ITMP1);
2197 emit_bnez(cd, iptr->dst.block, REG_ITMP1);
2201 case ICMD_IF_LLE: /* ..., value ==> ... */
2203 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
2204 if (iptr->sx.val.l == 0)
2205 emit_blez(cd, iptr->dst.block, s1);
2207 if ((iptr->sx.val.l > 0) && (iptr->sx.val.l <= 255))
2208 M_CMPLE_IMM(s1, iptr->sx.val.l, REG_ITMP1);
2210 LCONST(REG_ITMP2, iptr->sx.val.l);
2211 M_CMPLE(s1, REG_ITMP2, REG_ITMP1);
2213 emit_bnez(cd, iptr->dst.block, REG_ITMP1);
2217 case ICMD_IF_LNE: /* ..., value ==> ... */
2219 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
2220 if (iptr->sx.val.l == 0)
2221 emit_bnez(cd, iptr->dst.block, s1);
2223 if ((iptr->sx.val.l > 0) && (iptr->sx.val.l <= 255))
2224 M_CMPEQ_IMM(s1, iptr->sx.val.l, REG_ITMP1);
2226 LCONST(REG_ITMP2, iptr->sx.val.l);
2227 M_CMPEQ(s1, REG_ITMP2, REG_ITMP1);
2229 emit_beqz(cd, iptr->dst.block, REG_ITMP1);
2233 case ICMD_IF_LGT: /* ..., value ==> ... */
2235 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
2236 if (iptr->sx.val.l == 0)
2237 emit_bgtz(cd, iptr->dst.block, s1);
2239 if ((iptr->sx.val.l > 0) && (iptr->sx.val.l <= 255))
2240 M_CMPLE_IMM(s1, iptr->sx.val.l, REG_ITMP1);
2242 LCONST(REG_ITMP2, iptr->sx.val.l);
2243 M_CMPLE(s1, REG_ITMP2, REG_ITMP1);
2245 emit_beqz(cd, iptr->dst.block, REG_ITMP1);
2249 case ICMD_IF_LGE: /* ..., value ==> ... */
2251 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
2252 if (iptr->sx.val.l == 0)
2253 emit_bgez(cd, iptr->dst.block, s1);
2255 if ((iptr->sx.val.l > 0) && (iptr->sx.val.l <= 255))
2256 M_CMPLT_IMM(s1, iptr->sx.val.l, REG_ITMP1);
2258 LCONST(REG_ITMP2, iptr->sx.val.l);
2259 M_CMPLT(s1, REG_ITMP2, REG_ITMP1);
2261 emit_beqz(cd, iptr->dst.block, REG_ITMP1);
2265 case ICMD_IF_ICMPEQ: /* ..., value, value ==> ... */
2266 case ICMD_IF_LCMPEQ: /* op1 = target JavaVM pc */
2267 case ICMD_IF_ACMPEQ:
2269 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
2270 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
2271 M_CMPEQ(s1, s2, REG_ITMP1);
2272 emit_bnez(cd, iptr->dst.block, REG_ITMP1);
2275 case ICMD_IF_ICMPNE: /* ..., value, value ==> ... */
2276 case ICMD_IF_LCMPNE: /* op1 = target JavaVM pc */
2277 case ICMD_IF_ACMPNE:
2279 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
2280 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
2281 M_CMPEQ(s1, s2, REG_ITMP1);
2282 emit_beqz(cd, iptr->dst.block, REG_ITMP1);
2285 case ICMD_IF_ICMPLT: /* ..., value, value ==> ... */
2286 case ICMD_IF_LCMPLT: /* op1 = target JavaVM pc */
2288 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
2289 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
2290 M_CMPLT(s1, s2, REG_ITMP1);
2291 emit_bnez(cd, iptr->dst.block, REG_ITMP1);
2294 case ICMD_IF_ICMPGT: /* ..., value, value ==> ... */
2295 case ICMD_IF_LCMPGT: /* op1 = target JavaVM pc */
2297 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
2298 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
2299 M_CMPLE(s1, s2, REG_ITMP1);
2300 emit_beqz(cd, iptr->dst.block, REG_ITMP1);
2303 case ICMD_IF_ICMPLE: /* ..., value, value ==> ... */
2304 case ICMD_IF_LCMPLE: /* op1 = target JavaVM pc */
2306 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
2307 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
2308 M_CMPLE(s1, s2, REG_ITMP1);
2309 emit_bnez(cd, iptr->dst.block, REG_ITMP1);
2312 case ICMD_IF_ICMPGE: /* ..., value, value ==> ... */
2313 case ICMD_IF_LCMPGE: /* op1 = target JavaVM pc */
2315 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
2316 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
2317 M_CMPLT(s1, s2, REG_ITMP1);
2318 emit_beqz(cd, iptr->dst.block, REG_ITMP1);
2322 case ICMD_IRETURN: /* ..., retvalue ==> ... */
2325 REPLACEMENT_POINT_RETURN(cd, iptr);
2326 s1 = emit_load_s1(jd, iptr, REG_RESULT);
2327 M_INTMOVE(s1, REG_RESULT);
2328 goto nowperformreturn;
2330 case ICMD_ARETURN: /* ..., retvalue ==> ... */
2332 REPLACEMENT_POINT_RETURN(cd, iptr);
2333 s1 = emit_load_s1(jd, iptr, REG_RESULT);
2334 M_INTMOVE(s1, REG_RESULT);
2336 #ifdef ENABLE_VERIFIER
2337 if (INSTRUCTION_IS_UNRESOLVED(iptr)) {
2338 unresolved_class *uc = iptr->sx.s23.s2.uc;
2340 patcher_add_patch_ref(jd, PATCHER_resolve_class, uc, 0);
2342 #endif /* ENABLE_VERIFIER */
2343 goto nowperformreturn;
2345 case ICMD_FRETURN: /* ..., retvalue ==> ... */
2348 REPLACEMENT_POINT_RETURN(cd, iptr);
2349 s1 = emit_load_s1(jd, iptr, REG_FRESULT);
2350 M_FLTMOVE(s1, REG_FRESULT);
2351 goto nowperformreturn;
2353 case ICMD_RETURN: /* ... ==> ... */
2355 REPLACEMENT_POINT_RETURN(cd, iptr);
2361 p = cd->stackframesize;
2363 /* call trace function */
2365 #if !defined(NDEBUG)
2366 if (JITDATA_HAS_FLAG_VERBOSECALL(jd))
2367 emit_verbosecall_exit(jd);
2370 #if defined(ENABLE_THREADS)
2371 if (checksync && code_is_synchronized(code)) {
2372 M_ALD(REG_A0, REG_SP, rd->memuse * 8);
2374 switch (iptr->opc) {
2378 M_LST(REG_RESULT, REG_SP, rd->memuse * 8);
2382 M_DST(REG_FRESULT, REG_SP, rd->memuse * 8);
2386 disp = dseg_add_functionptr(cd, LOCK_monitor_exit);
2387 M_ALD(REG_PV, REG_PV, disp);
2388 M_JSR(REG_RA, REG_PV);
2389 disp = -(s4) (cd->mcodeptr - cd->mcodebase);
2390 M_LDA(REG_PV, REG_RA, disp);
2392 switch (iptr->opc) {
2396 M_LLD(REG_RESULT, REG_SP, rd->memuse * 8);
2400 M_DLD(REG_FRESULT, REG_SP, rd->memuse * 8);
2406 /* restore return address */
2408 if (!code_is_leafmethod(code)) {
2409 p--; M_LLD(REG_RA, REG_SP, p * 8);
2412 /* restore saved registers */
2414 for (i = INT_SAV_CNT - 1; i >= rd->savintreguse; i--) {
2415 p--; M_LLD(rd->savintregs[i], REG_SP, p * 8);
2417 for (i = FLT_SAV_CNT - 1; i >= rd->savfltreguse; i--) {
2418 p--; M_DLD(rd->savfltregs[i], REG_SP, p * 8);
2421 /* deallocate stack */
2423 if (cd->stackframesize)
2424 M_LDA(REG_SP, REG_SP, cd->stackframesize * 8);
2426 M_RET(REG_ZERO, REG_RA);
2432 case ICMD_TABLESWITCH: /* ..., index ==> ... */
2435 branch_target_t *table;
2437 table = iptr->dst.table;
2439 l = iptr->sx.s23.s2.tablelow;
2440 i = iptr->sx.s23.s3.tablehigh;
2442 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
2444 M_INTMOVE(s1, REG_ITMP1);
2445 } else if (l <= 32768) {
2446 M_LDA(REG_ITMP1, s1, -l);
2448 ICONST(REG_ITMP2, l);
2449 M_ISUB(s1, REG_ITMP2, REG_ITMP1);
2452 /* number of targets */
2458 M_CMPULE_IMM(REG_ITMP1, i - 1, REG_ITMP2);
2460 M_LDA(REG_ITMP2, REG_ZERO, i - 1);
2461 M_CMPULE(REG_ITMP1, REG_ITMP2, REG_ITMP2);
2463 emit_beqz(cd, table[0].block, REG_ITMP2);
2465 /* build jump table top down and use address of lowest entry */
2470 dseg_add_target(cd, table->block);
2475 /* length of dataseg after last dseg_add_target is used by load */
2477 M_SAADDQ(REG_ITMP1, REG_PV, REG_ITMP2);
2478 M_ALD(REG_ITMP2, REG_ITMP2, -(cd->dseglen));
2479 M_JMP(REG_ZERO, REG_ITMP2);
2484 case ICMD_LOOKUPSWITCH: /* ..., key ==> ... */
2487 lookup_target_t *lookup;
2489 lookup = iptr->dst.lookup;
2491 i = iptr->sx.s23.s2.lookupcount;
2493 MCODECHECK((i<<2)+8);
2494 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
2497 val = lookup->value;
2498 if ((val >= 0) && (val <= 255)) {
2499 M_CMPEQ_IMM(s1, val, REG_ITMP2);
2501 if ((val >= -32768) && (val <= 32767)) {
2502 M_LDA(REG_ITMP2, REG_ZERO, val);
2504 disp = dseg_add_s4(cd, val);
2505 M_ILD(REG_ITMP2, REG_PV, disp);
2507 M_CMPEQ(s1, REG_ITMP2, REG_ITMP2);
2509 emit_bnez(cd, lookup->target.block, REG_ITMP2);
2513 emit_br(cd, iptr->sx.s23.s3.lookupdefault.block);
2519 case ICMD_BUILTIN: /* ..., arg1, arg2, arg3 ==> ... */
2521 REPLACEMENT_POINT_FORGC_BUILTIN(cd, iptr);
2523 bte = iptr->sx.s23.s3.bte;
2527 case ICMD_INVOKESTATIC: /* ..., [arg1, [arg2 ...]] ==> ... */
2529 case ICMD_INVOKESPECIAL:/* ..., objectref, [arg1, [arg2 ...]] ==> ... */
2530 case ICMD_INVOKEVIRTUAL:/* op1 = arg count, val.a = method pointer */
2531 case ICMD_INVOKEINTERFACE:
2533 REPLACEMENT_POINT_INVOKE(cd, iptr);
2535 if (INSTRUCTION_IS_UNRESOLVED(iptr)) {
2537 um = iptr->sx.s23.s3.um;
2538 md = um->methodref->parseddesc.md;
2541 lm = iptr->sx.s23.s3.fmiref->p.method;
2543 md = lm->parseddesc;
2547 s3 = md->paramcount;
2549 MCODECHECK((s3 << 1) + 64);
2551 /* copy arguments to registers or stack location */
2553 for (s3 = s3 - 1; s3 >= 0; s3--) {
2554 var = VAR(iptr->sx.s23.s2.args[s3]);
2555 d = md->params[s3].regoff;
2557 /* already preallocated (ARGVAR)? */
2559 if (var->flags & PREALLOC)
2562 if (IS_INT_LNG_TYPE(var->type)) {
2563 if (!md->params[s3].inmemory) {
2564 s1 = emit_load(jd, iptr, var, d);
2568 s1 = emit_load(jd, iptr, var, REG_ITMP1);
2569 M_LST(s1, REG_SP, d);
2573 if (!md->params[s3].inmemory) {
2574 s1 = emit_load(jd, iptr, var, d);
2578 s1 = emit_load(jd, iptr, var, REG_FTMP1);
2579 M_DST(s1, REG_SP, d);
2584 switch (iptr->opc) {
2586 if (bte->stub == NULL)
2587 disp = dseg_add_functionptr(cd, bte->fp);
2589 disp = dseg_add_functionptr(cd, bte->stub);
2591 M_ALD(REG_PV, REG_PV, disp); /* Pointer to built-in-function */
2593 /* generate the actual call */
2595 M_JSR(REG_RA, REG_PV);
2596 REPLACEMENT_POINT_FORGC_BUILTIN_RETURN(cd, iptr);
2597 disp = (s4) (cd->mcodeptr - cd->mcodebase);
2598 M_LDA(REG_PV, REG_RA, -disp);
2601 case ICMD_INVOKESPECIAL:
2602 emit_nullpointer_check(cd, iptr, REG_A0);
2605 case ICMD_INVOKESTATIC:
2607 disp = dseg_add_unique_address(cd, um);
2609 patcher_add_patch_ref(jd, PATCHER_invokestatic_special,
2613 disp = dseg_add_address(cd, lm->stubroutine);
2615 M_ALD(REG_PV, REG_PV, disp); /* method pointer in r27 */
2617 /* generate the actual call */
2619 M_JSR(REG_RA, REG_PV);
2620 REPLACEMENT_POINT_INVOKE_RETURN(cd, iptr);
2621 disp = (s4) (cd->mcodeptr - cd->mcodebase);
2622 M_LDA(REG_PV, REG_RA, -disp);
2625 case ICMD_INVOKEVIRTUAL:
2627 patcher_add_patch_ref(jd, PATCHER_invokevirtual, um, 0);
2632 s1 = OFFSET(vftbl_t, table[0]) +
2633 sizeof(methodptr) * lm->vftblindex;
2635 /* implicit null-pointer check */
2636 M_ALD(REG_METHODPTR, REG_A0, OFFSET(java_object_t, vftbl));
2637 M_ALD(REG_PV, REG_METHODPTR, s1);
2639 /* generate the actual call */
2641 M_JSR(REG_RA, REG_PV);
2642 REPLACEMENT_POINT_INVOKE_RETURN(cd, iptr);
2643 disp = (s4) (cd->mcodeptr - cd->mcodebase);
2644 M_LDA(REG_PV, REG_RA, -disp);
2647 case ICMD_INVOKEINTERFACE:
2649 patcher_add_patch_ref(jd, PATCHER_invokeinterface, um, 0);
2655 s1 = OFFSET(vftbl_t, interfacetable[0]) -
2656 sizeof(methodptr*) * lm->clazz->index;
2658 s2 = sizeof(methodptr) * (lm - lm->clazz->methods);
2661 /* implicit null-pointer check */
2662 M_ALD(REG_METHODPTR, REG_A0, OFFSET(java_object_t, vftbl));
2663 M_ALD(REG_METHODPTR, REG_METHODPTR, s1);
2664 M_ALD(REG_PV, REG_METHODPTR, s2);
2666 /* generate the actual call */
2668 M_JSR(REG_RA, REG_PV);
2669 REPLACEMENT_POINT_INVOKE_RETURN(cd, iptr);
2670 disp = (s4) (cd->mcodeptr - cd->mcodebase);
2671 M_LDA(REG_PV, REG_RA, -disp);
2675 /* store the return value */
2677 d = md->returntype.type;
2679 if (d != TYPE_VOID) {
2680 if (IS_INT_LNG_TYPE(d)) {
2681 s1 = codegen_reg_of_dst(jd, iptr, REG_RESULT);
2682 M_INTMOVE(REG_RESULT, s1);
2685 s1 = codegen_reg_of_dst(jd, iptr, REG_FRESULT);
2686 M_FLTMOVE(REG_FRESULT, s1);
2688 emit_store_dst(jd, iptr, s1);
2693 case ICMD_CHECKCAST: /* ..., objectref ==> ..., objectref */
2695 if (!(iptr->flags.bits & INS_FLAG_ARRAY)) {
2696 /* object type cast-check */
2701 if (INSTRUCTION_IS_UNRESOLVED(iptr)) {
2706 super = iptr->sx.s23.s3.c.cls;
2707 superindex = super->index;
2710 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
2712 /* if class is not resolved, check which code to call */
2714 if (super == NULL) {
2715 emit_label_beqz(cd, BRANCH_LABEL_1, s1);
2717 disp = dseg_add_unique_s4(cd, 0); /* super->flags */
2719 patcher_add_patch_ref(jd, PATCHER_resolve_classref_to_flags,
2720 iptr->sx.s23.s3.c.ref,
2723 M_ILD(REG_ITMP2, REG_PV, disp);
2724 disp = dseg_add_s4(cd, ACC_INTERFACE);
2725 M_ILD(REG_ITMP3, REG_PV, disp);
2726 M_AND(REG_ITMP2, REG_ITMP3, REG_ITMP2);
2727 emit_label_beqz(cd, BRANCH_LABEL_2, REG_ITMP2);
2730 /* interface checkcast code */
2732 if ((super == NULL) || (super->flags & ACC_INTERFACE)) {
2733 if (super == NULL) {
2734 patcher_add_patch_ref(jd,
2735 PATCHER_checkcast_interface,
2736 iptr->sx.s23.s3.c.ref,
2740 emit_label_beqz(cd, BRANCH_LABEL_3, s1);
2742 M_ALD(REG_ITMP2, s1, OFFSET(java_object_t, vftbl));
2743 M_ILD(REG_ITMP3, REG_ITMP2,
2744 OFFSET(vftbl_t, interfacetablelength));
2745 M_LDA(REG_ITMP3, REG_ITMP3, -superindex);
2746 emit_classcast_check(cd, iptr, BRANCH_LE, REG_ITMP3, s1);
2748 M_ALD(REG_ITMP3, REG_ITMP2,
2749 (s4) (OFFSET(vftbl_t, interfacetable[0]) -
2750 superindex * sizeof(methodptr*)));
2751 emit_classcast_check(cd, iptr, BRANCH_EQ, REG_ITMP3, s1);
2754 emit_label_br(cd, BRANCH_LABEL_4);
2756 emit_label(cd, BRANCH_LABEL_3);
2759 /* class checkcast code */
2761 if ((super == NULL) || !(super->flags & ACC_INTERFACE)) {
2762 if (super == NULL) {
2763 emit_label(cd, BRANCH_LABEL_2);
2765 disp = dseg_add_unique_address(cd, NULL);
2767 patcher_add_patch_ref(jd,
2768 PATCHER_resolve_classref_to_vftbl,
2769 iptr->sx.s23.s3.c.ref,
2773 disp = dseg_add_address(cd, super->vftbl);
2775 emit_label_beqz(cd, BRANCH_LABEL_5, s1);
2778 M_ALD(REG_ITMP2, s1, OFFSET(java_object_t, vftbl));
2779 M_ALD(REG_ITMP3, REG_PV, disp);
2781 M_ILD(REG_ITMP2, REG_ITMP2, OFFSET(vftbl_t, baseval));
2782 /* if (s1 != REG_ITMP1) { */
2783 /* M_ILD(REG_ITMP1, REG_ITMP3, OFFSET(vftbl_t, baseval)); */
2784 /* M_ILD(REG_ITMP3, REG_ITMP3, OFFSET(vftbl_t, diffval)); */
2785 /* #if defined(ENABLE_THREADS) */
2786 /* codegen_threadcritstop(cd, (u1 *) mcodeptr - cd->mcodebase); */
2788 /* M_ISUB(REG_ITMP2, REG_ITMP1, REG_ITMP2); */
2791 M_ILD(REG_ITMP3, REG_ITMP3, OFFSET(vftbl_t, baseval));
2792 M_ISUB(REG_ITMP2, REG_ITMP3, REG_ITMP2);
2793 M_ALD(REG_ITMP3, REG_PV, disp);
2794 M_ILD(REG_ITMP3, REG_ITMP3, OFFSET(vftbl_t, diffval));
2797 M_CMPULE(REG_ITMP2, REG_ITMP3, REG_ITMP3);
2798 emit_classcast_check(cd, iptr, BRANCH_EQ, REG_ITMP3, s1);
2801 emit_label(cd, BRANCH_LABEL_5);
2804 if (super == NULL) {
2805 emit_label(cd, BRANCH_LABEL_1);
2806 emit_label(cd, BRANCH_LABEL_4);
2809 d = codegen_reg_of_dst(jd, iptr, s1);
2812 /* array type cast-check */
2814 s1 = emit_load_s1(jd, iptr, REG_A0);
2815 M_INTMOVE(s1, REG_A0);
2817 if (INSTRUCTION_IS_UNRESOLVED(iptr)) {
2818 disp = dseg_add_unique_address(cd, NULL);
2820 patcher_add_patch_ref(jd,
2821 PATCHER_resolve_classref_to_classinfo,
2822 iptr->sx.s23.s3.c.ref,
2826 disp = dseg_add_address(cd, iptr->sx.s23.s3.c.cls);
2828 M_ALD(REG_A1, REG_PV, disp);
2829 disp = dseg_add_functionptr(cd, BUILTIN_arraycheckcast);
2830 M_ALD(REG_PV, REG_PV, disp);
2831 M_JSR(REG_RA, REG_PV);
2832 disp = (s4) (cd->mcodeptr - cd->mcodebase);
2833 M_LDA(REG_PV, REG_RA, -disp);
2835 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
2836 emit_classcast_check(cd, iptr, BRANCH_EQ, REG_RESULT, s1);
2838 d = codegen_reg_of_dst(jd, iptr, s1);
2842 emit_store_dst(jd, iptr, d);
2845 case ICMD_INSTANCEOF: /* ..., objectref ==> ..., intresult */
2849 vftbl_t *supervftbl;
2852 if (INSTRUCTION_IS_UNRESOLVED(iptr)) {
2858 super = iptr->sx.s23.s3.c.cls;
2859 superindex = super->index;
2860 supervftbl = super->vftbl;
2863 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
2864 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
2867 M_MOV(s1, REG_ITMP1);
2871 /* if class is not resolved, check which code to call */
2873 if (super == NULL) {
2875 emit_label_beqz(cd, BRANCH_LABEL_1, s1);
2877 disp = dseg_add_unique_s4(cd, 0); /* super->flags */
2879 patcher_add_patch_ref(jd, PATCHER_resolve_classref_to_flags,
2880 iptr->sx.s23.s3.c.ref, disp);
2882 M_ILD(REG_ITMP3, REG_PV, disp);
2884 disp = dseg_add_s4(cd, ACC_INTERFACE);
2885 M_ILD(REG_ITMP2, REG_PV, disp);
2886 M_AND(REG_ITMP3, REG_ITMP2, REG_ITMP3);
2887 emit_label_beqz(cd, BRANCH_LABEL_2, REG_ITMP3);
2890 /* interface instanceof code */
2892 if ((super == NULL) || (super->flags & ACC_INTERFACE)) {
2893 if (super == NULL) {
2894 /* If d == REG_ITMP2, then it's destroyed in check
2899 patcher_add_patch_ref(jd,
2900 PATCHER_instanceof_interface,
2901 iptr->sx.s23.s3.c.ref, 0);
2905 emit_label_beqz(cd, BRANCH_LABEL_3, s1);
2908 M_ALD(REG_ITMP1, s1, OFFSET(java_object_t, vftbl));
2909 M_ILD(REG_ITMP3, REG_ITMP1, OFFSET(vftbl_t, interfacetablelength));
2910 M_LDA(REG_ITMP3, REG_ITMP3, -superindex);
2911 M_BLEZ(REG_ITMP3, 2);
2912 M_ALD(REG_ITMP1, REG_ITMP1,
2913 (s4) (OFFSET(vftbl_t, interfacetable[0]) -
2914 superindex * sizeof(methodptr*)));
2915 M_CMPULT(REG_ZERO, REG_ITMP1, d); /* REG_ITMP1 != 0 */
2918 emit_label_br(cd, BRANCH_LABEL_4);
2920 emit_label(cd, BRANCH_LABEL_3);
2923 /* class instanceof code */
2925 if ((super == NULL) || !(super->flags & ACC_INTERFACE)) {
2926 if (super == NULL) {
2927 emit_label(cd, BRANCH_LABEL_2);
2929 disp = dseg_add_unique_address(cd, NULL);
2931 patcher_add_patch_ref(jd, PATCHER_resolve_classref_to_vftbl,
2932 iptr->sx.s23.s3.c.ref,
2936 disp = dseg_add_address(cd, supervftbl);
2939 emit_label_beqz(cd, BRANCH_LABEL_5, s1);
2942 M_ALD(REG_ITMP1, s1, OFFSET(java_object_t, vftbl));
2943 M_ALD(REG_ITMP2, REG_PV, disp);
2945 M_ILD(REG_ITMP1, REG_ITMP1, OFFSET(vftbl_t, baseval));
2946 M_ILD(REG_ITMP3, REG_ITMP2, OFFSET(vftbl_t, baseval));
2947 M_ILD(REG_ITMP2, REG_ITMP2, OFFSET(vftbl_t, diffval));
2949 M_ISUB(REG_ITMP1, REG_ITMP3, REG_ITMP1);
2950 M_CMPULE(REG_ITMP1, REG_ITMP2, d);
2953 emit_label(cd, BRANCH_LABEL_5);
2956 if (super == NULL) {
2957 emit_label(cd, BRANCH_LABEL_1);
2958 emit_label(cd, BRANCH_LABEL_4);
2961 emit_store_dst(jd, iptr, d);
2965 case ICMD_MULTIANEWARRAY:/* ..., cnt1, [cnt2, ...] ==> ..., arrayref */
2967 /* check for negative sizes and copy sizes to stack if necessary */
2969 MCODECHECK((iptr->s1.argcount << 1) + 64);
2971 for (s1 = iptr->s1.argcount; --s1 >= 0; ) {
2973 var = VAR(iptr->sx.s23.s2.args[s1]);
2975 /* copy SAVEDVAR sizes to stack */
2977 /* Already Preallocated? */
2979 if (!(var->flags & PREALLOC)) {
2980 s2 = emit_load(jd, iptr, var, REG_ITMP1);
2981 M_LST(s2, REG_SP, s1 * 8);
2985 /* a0 = dimension count */
2987 ICONST(REG_A0, iptr->s1.argcount);
2989 /* is patcher function set? */
2991 if (INSTRUCTION_IS_UNRESOLVED(iptr)) {
2992 disp = dseg_add_unique_address(cd, 0);
2994 patcher_add_patch_ref(jd, PATCHER_resolve_classref_to_classinfo,
2995 iptr->sx.s23.s3.c.ref,
2999 disp = dseg_add_address(cd, iptr->sx.s23.s3.c.cls);
3001 /* a1 = arraydescriptor */
3003 M_ALD(REG_A1, REG_PV, disp);
3005 /* a2 = pointer to dimensions = stack pointer */
3007 M_INTMOVE(REG_SP, REG_A2);
3009 disp = dseg_add_functionptr(cd, BUILTIN_multianewarray);
3010 M_ALD(REG_PV, REG_PV, disp);
3011 M_JSR(REG_RA, REG_PV);
3012 disp = (s4) (cd->mcodeptr - cd->mcodebase);
3013 M_LDA(REG_PV, REG_RA, -disp);
3015 /* check for exception before result assignment */
3017 emit_exception_check(cd, iptr);
3019 d = codegen_reg_of_dst(jd, iptr, REG_RESULT);
3020 M_INTMOVE(REG_RESULT, d);
3021 emit_store_dst(jd, iptr, d);
3025 exceptions_throw_internalerror("Unknown ICMD %d during code generation",
3030 } /* for instruction */
3032 } /* if (bptr -> flags >= BBREACHED) */
3033 } /* for basic block */
3035 /* generate traps */
3037 emit_patcher_traps(jd);
3039 /* everything's ok */
3045 /* codegen_emit_stub_native ****************************************************
3047 Emits a stub routine which calls a native method.
3049 *******************************************************************************/
3051 void codegen_emit_stub_native(jitdata *jd, methoddesc *nmd, functionptr f, int skipparams)
3062 /* get required compiler data */
3068 /* initialize variables */
3072 /* calculate stack frame size */
3074 cd->stackframesize =
3075 1 + /* return address */
3076 sizeof(stackframeinfo_t) / SIZEOF_VOID_P +
3077 sizeof(localref_table) / SIZEOF_VOID_P +
3078 1 + /* methodinfo for call trace */
3082 /* create method header */
3084 (void) dseg_add_unique_address(cd, code); /* CodeinfoPointer */
3085 (void) dseg_add_unique_s4(cd, cd->stackframesize * 8); /* FrameSize */
3086 (void) dseg_add_unique_s4(cd, 0); /* IsLeaf */
3087 (void) dseg_add_unique_s4(cd, 0); /* IntSave */
3088 (void) dseg_add_unique_s4(cd, 0); /* FltSave */
3090 /* generate stub code */
3092 M_LDA(REG_SP, REG_SP, -(cd->stackframesize * 8));
3093 M_AST(REG_RA, REG_SP, cd->stackframesize * 8 - SIZEOF_VOID_P);
3095 #if defined(ENABLE_GC_CACAO)
3096 /* Save callee saved integer registers in stackframeinfo (GC may
3097 need to recover them during a collection). */
3099 disp = cd->stackframesize * 8 - SIZEOF_VOID_P - sizeof(stackframeinfo_t) +
3100 OFFSET(stackframeinfo_t, intregs);
3102 for (i = 0; i < INT_SAV_CNT; i++)
3103 M_AST(abi_registers_integer_saved[i], REG_SP, disp + i * 8);
3106 /* save integer and float argument registers */
3108 for (i = 0; i < md->paramcount; i++) {
3109 if (!md->params[i].inmemory) {
3110 s1 = md->params[i].regoff;
3112 switch (md->paramtypes[i].type) {
3116 M_LST(s1, REG_SP, i * 8);
3119 M_FST(s1, REG_SP, i * 8);
3122 M_DST(s1, REG_SP, i * 8);
3128 /* prepare data structures for native function call */
3130 M_MOV(REG_SP, REG_A0);
3131 M_MOV(REG_PV, REG_A1);
3132 disp = dseg_add_functionptr(cd, codegen_start_native_call);
3133 M_ALD(REG_PV, REG_PV, disp);
3134 M_JSR(REG_RA, REG_PV);
3135 disp = (s4) (cd->mcodeptr - cd->mcodebase);
3136 M_LDA(REG_PV, REG_RA, -disp);
3138 /* remember class argument */
3140 if (m->flags & ACC_STATIC)
3141 M_MOV(REG_RESULT, REG_ITMP3);
3143 /* restore integer and float argument registers */
3145 for (i = 0; i < md->paramcount; i++) {
3146 if (!md->params[i].inmemory) {
3147 s1 = md->params[i].regoff;
3149 switch (md->paramtypes[i].type) {
3153 M_LLD(s1, REG_SP, i * 8);
3156 M_FLD(s1, REG_SP, i * 8);
3159 M_DLD(s1, REG_SP, i * 8);
3165 /* copy or spill arguments to new locations */
3167 for (i = md->paramcount - 1, j = i + skipparams; i >= 0; i--, j--) {
3168 t = md->paramtypes[i].type;
3170 if (IS_INT_LNG_TYPE(t)) {
3171 if (!md->params[i].inmemory) {
3172 s1 = md->params[i].regoff;
3173 s2 = nmd->params[j].regoff;
3175 if (!nmd->params[j].inmemory)
3178 M_LST(s1, REG_SP, s2);
3181 s1 = md->params[i].regoff + cd->stackframesize * 8;
3182 s2 = nmd->params[j].regoff;
3183 M_LLD(REG_ITMP1, REG_SP, s1);
3184 M_LST(REG_ITMP1, REG_SP, s2);
3188 if (!md->params[i].inmemory) {
3189 s1 = md->params[i].regoff;
3190 s2 = nmd->params[j].regoff;
3192 if (!nmd->params[j].inmemory)
3195 if (IS_2_WORD_TYPE(t))
3196 M_DST(s1, REG_SP, s2);
3198 M_FST(s1, REG_SP, s2);
3202 s1 = md->params[i].regoff + cd->stackframesize * 8;
3203 s2 = nmd->params[j].regoff;
3204 M_DLD(REG_FTMP1, REG_SP, s1);
3205 if (IS_2_WORD_TYPE(t))
3206 M_DST(REG_FTMP1, REG_SP, s2);
3208 M_FST(REG_FTMP1, REG_SP, s2);
3213 /* Handle native Java methods. */
3215 if (m->flags & ACC_NATIVE) {
3216 /* put class into second argument register */
3218 if (m->flags & ACC_STATIC)
3219 M_MOV(REG_ITMP3, REG_A1);
3221 /* put env into first argument register */
3223 disp = dseg_add_address(cd, VM_get_jnienv());
3224 M_ALD(REG_A0, REG_PV, disp);
3227 /* Call the native function. */
3229 disp = dseg_add_functionptr(cd, f);
3230 M_ALD(REG_PV, REG_PV, disp);
3231 M_JSR(REG_RA, REG_PV); /* call native method */
3232 disp = (s4) (cd->mcodeptr - cd->mcodebase);
3233 M_LDA(REG_PV, REG_RA, -disp); /* recompute pv from ra */
3235 /* save return value */
3237 switch (md->returntype.type) {
3241 M_LST(REG_RESULT, REG_SP, 0 * 8);
3244 M_FST(REG_FRESULT, REG_SP, 0 * 8);
3247 M_DST(REG_FRESULT, REG_SP, 0 * 8);
3253 /* remove native stackframe info */
3255 M_MOV(REG_SP, REG_A0);
3256 M_MOV(REG_PV, REG_A1);
3257 disp = dseg_add_functionptr(cd, codegen_finish_native_call);
3258 M_ALD(REG_PV, REG_PV, disp);
3259 M_JSR(REG_RA, REG_PV);
3260 disp = (s4) (cd->mcodeptr - cd->mcodebase);
3261 M_LDA(REG_PV, REG_RA, -disp);
3262 M_MOV(REG_RESULT, REG_ITMP1_XPTR);
3264 /* restore return value */
3266 switch (md->returntype.type) {
3270 M_LLD(REG_RESULT, REG_SP, 0 * 8);
3273 M_FLD(REG_FRESULT, REG_SP, 0 * 8);
3276 M_DLD(REG_FRESULT, REG_SP, 0 * 8);
3282 #if defined(ENABLE_GC_CACAO)
3283 /* Restore callee saved integer registers from stackframeinfo (GC
3284 might have modified them during a collection). */
3286 disp = cd->stackframesize * 8 - SIZEOF_VOID_P - sizeof(stackframeinfo_t) +
3287 OFFSET(stackframeinfo_t, intregs);
3289 for (i = 0; i < INT_SAV_CNT; i++)
3290 M_ALD(abi_registers_integer_saved[i], REG_SP, disp + i * 8);
3293 M_ALD(REG_RA, REG_SP, (cd->stackframesize - 1) * 8); /* get RA */
3294 M_LDA(REG_SP, REG_SP, cd->stackframesize * 8);
3296 /* check for exception */
3298 M_BNEZ(REG_ITMP1_XPTR, 1); /* if no exception then return */
3299 M_RET(REG_ZERO, REG_RA); /* return to caller */
3301 /* handle exception */
3303 M_ASUB_IMM(REG_RA, 4, REG_ITMP2_XPC); /* get exception address */
3305 disp = dseg_add_functionptr(cd, asm_handle_nat_exception);
3306 M_ALD(REG_ITMP3, REG_PV, disp); /* load asm exception handler address */
3307 M_JMP(REG_ZERO, REG_ITMP3); /* jump to asm exception handler */
3312 * These are local overrides for various environment variables in Emacs.
3313 * Please do not remove this and leave it at the end of the file, where
3314 * Emacs will automagically detect them.
3315 * ---------------------------------------------------------------------
3318 * indent-tabs-mode: t
3322 * vim:noexpandtab:sw=4:ts=4: