1 /* src/vm/jit/m68k/codegen.c
3 Copyright (C) 1996-2005, 2006, 2007 R. Grafl, A. Krall, C. Kruegel,
4 C. Oates, R. Obermaisser, M. Platter, M. Probst, S. Ring,
5 E. Steiner, C. Thalinger, D. Thuernbeck, P. Tomsich, C. Ullrich,
6 J. Wenninger, Institut f. Computersprachen - TU Wien
8 This file is part of CACAO.
10 This program is free software; you can redistribute it and/or
11 modify it under the terms of the GNU General Public License as
12 published by the Free Software Foundation; either version 2, or (at
13 your option) any later version.
15 This program is distributed in the hope that it will be useful, but
16 WITHOUT ANY WARRANTY; without even the implied warranty of
17 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
18 General Public License for more details.
20 You should have received a copy of the GNU General Public License
21 along with this program; if not, write to the Free Software
22 Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
37 #include "vm/jit/m68k/codegen.h"
38 #include "vm/jit/m68k/emit.h"
40 #include "mm/memory.h"
41 #include "native/jni.h"
42 #include "native/localref.h"
43 #include "native/native.h"
45 #include "threads/lock-common.h"
47 #include "vm/builtin.h"
48 #include "vm/exceptions.h"
49 #include "vm/global.h"
50 #include "vm/stringlocal.h"
53 #include "vm/jit/asmpart.h"
54 #include "vm/jit/codegen-common.h"
55 #include "vm/jit/dseg.h"
56 #include "vm/jit/emit-common.h"
57 #include "vm/jit/jit.h"
58 #include "vm/jit/abi.h"
59 #include "vm/jit/parse.h"
60 #include "vm/jit/patcher.h"
61 #include "vm/jit/reg.h"
62 #include "vm/jit/replace.h"
63 #include "vm/jit/stacktrace.h"
64 #include "vm/jit/md.h"
66 #include "vmcore/loader.h"
67 #include "vmcore/options.h"
68 #include "vmcore/utf8.h"
71 bool codegen_emit(jitdata *jd)
77 s4 len, s1, s2, s3, d, disp;
84 methodinfo *lm; /* local methodinfo for ICMD_INVOKE* */
85 unresolved_method *um;
86 builtintable_entry *bte;
93 /* get required compiler data */
100 /* prevent compiler warnings */
108 /* save calle saved registers */
109 s4 savedregs_num = 0;
111 savedregs_num += (INT_SAV_CNT - rd->savintreguse);
112 savedregs_num += (ADR_SAV_CNT - rd->savadrreguse);
113 savedregs_num += (FLT_SAV_CNT - rd->savfltreguse);
115 cd->stackframesize = rd->memuse + savedregs_num;
117 /* we always add 2 stack slots.
118 * 1 word the lock word, which may be unused and resides @ rd->memuse * 8
119 * + 2 words to either save the return value for LOCK_monitor_exit @ rd->memuse * 8 + 8
120 * on the other hand we could use 2 words when a builtin returns a doulbe which are
121 * returned in %d0, %d1 and need to be stored onto the stack and read in used a fmovemd
122 * so we always _need_ at least 2 slots, and this keeps the code simple */
123 cd->stackframesize += 2;
125 cd->stackframesize *= 8; /* we use 8 byte stack slots */
128 #if defined(ENABLE_THREADS)
129 /* we need additional space to save argument of monitor_enter */
130 if (checksync && (m->flags & ACC_SYNCHRONIZED)) {
131 if (IS_2_WORD_TYPE(m->parseddesc->returntype.type)) {
132 cd->stackframesize += 2;
134 cd->stackframesize += 1;
140 /* create method header */
141 (void) dseg_add_unique_address(cd, code); /* CodeinfoPointer */
142 (void) dseg_add_unique_s4(cd, cd->stackframesize); /* FrameSize */
143 #if defined(ENABLE_THREADS)
144 if (checksync && (m->flags & ACC_SYNCHRONIZED))
145 (void) dseg_add_unique_s4(cd, (rd->memuse + 1) * 8);/* IsSync */
148 (void) dseg_add_unique_s4(cd, 0); /* IsSync */
149 (void) dseg_add_unique_s4(cd, jd->isleafmethod); /* IsLeaf */
151 /* XXX we use the IntSave a split field for the adr now */
152 (void) dseg_add_unique_s4(cd, (ADR_SAV_CNT - rd->savadrreguse) << 16 | (INT_SAV_CNT - rd->savintreguse)); /* IntSave */
153 (void) dseg_add_unique_s4(cd, FLT_SAV_CNT - rd->savfltreguse); /* FltSave */
155 dseg_addlinenumbertablesize(cd);
157 (void) dseg_add_unique_s4(cd, jd->exceptiontablelength); /* ExTableSize */
159 /* create exception table */
160 for (ex = jd->exceptiontable; ex != NULL; ex = ex->down) {
161 dseg_add_target(cd, ex->start);
162 dseg_add_target(cd, ex->end);
163 dseg_add_target(cd, ex->handler);
164 (void) dseg_add_unique_address(cd, ex->catchtype.any);
167 #if defined(ENABLE_PROFILING)
172 emit_verbosecall_enter(jd);
174 /* create stack frame */
175 M_AADD_IMM(-(cd->stackframesize), REG_SP);
177 /* save used callee saved registers */
178 p = cd->stackframesize;
179 for (i=INT_SAV_CNT-1; i>=rd->savintreguse; --i) {
180 p-=8; M_IST(rd->savintregs[i], REG_SP, p);
182 for (i=ADR_SAV_CNT-1; i>=rd->savadrreguse; --i) {
183 p-=8; M_AST(rd->savadrregs[i], REG_SP, p);
185 #if !defined(ENABLE_SOFTFLOAT)
186 for (i=FLT_SAV_CNT-1; i>=rd->savfltreguse; --i) {
187 p-=8; M_FSTORE(rd->savfltregs[i], REG_SP, p);
190 assert(FLT_SAV_CNT == 0);
191 assert(rd->savfltreguse == 0);
193 /* take arguments out of stack frame */
195 for (p = 0, l = 0; p < md->paramcount; p++) {
196 t = md->paramtypes[p].type;
197 varindex = jd->local_map[l * 5 + t];
200 if (IS_2_WORD_TYPE(t)) /* increment local counter for 2 word types */
203 if (varindex == UNUSED)
208 s1 = md->params[p].regoff;
209 assert(md->params[p].inmemory); /* all args are on stack */
212 #if defined(ENABLE_SOFTFLOAT)
218 if (!IS_INMEMORY(var->flags)) { /* stack arg -> register */
219 if (IS_2_WORD_TYPE(t)) {
220 M_LLD(var->vv.regoff, REG_SP, cd->stackframesize + s1 + 4);
222 M_ILD(var->vv.regoff, REG_SP, cd->stackframesize + s1 + 4);
224 } else { /* stack arg -> spilled */
225 M_ILD(REG_ITMP1, REG_SP, cd->stackframesize + s1 + 4);
226 M_IST(REG_ITMP1, REG_SP, var->vv.regoff);
227 if (IS_2_WORD_TYPE(t)) {
228 M_ILD(REG_ITMP1, REG_SP, cd->stackframesize + s1 + 4 + 4);
229 M_IST(REG_ITMP1, REG_SP, var->vv.regoff + 4);
233 #if !defined(ENABLE_SOFTFLOAT)
236 if (!IS_INMEMORY(var->flags)) { /* stack-arg -> register */
237 if (IS_2_WORD_TYPE(t)) {
238 M_DLD(var->vv.regoff, REG_SP, cd->stackframesize + s1 + 4);
240 M_FLD(var->vv.regoff, REG_SP, cd->stackframesize + s1 + 4);
242 } else { /* stack-arg -> spilled */
243 if (IS_2_WORD_TYPE(t)) {
244 M_DLD(REG_FTMP1, REG_SP, cd->stackframesize + s1 + 4);
245 M_DST(REG_FTMP1, REG_SP, var->vv.regoff);
247 M_FLD(REG_FTMP1, REG_SP, cd->stackframesize + s1 + 4);
248 M_FST(REG_FTMP1, REG_SP, var->vv.regoff);
252 #endif /* SOFTFLOAT */
254 if (!IS_INMEMORY(var->flags)) { /* stack-arg -> register */
255 M_ALD(var->vv.regoff, REG_SP, cd->stackframesize + s1 + 4);
256 } else { /* stack-arg -> spilled */
257 M_ALD(REG_ATMP1, REG_SP, cd->stackframesize + s1 + 4);
258 M_AST(REG_ATMP1, REG_SP, var->vv.regoff);
263 } /* end for argument out of stack*/
265 #if defined(ENABLE_THREADS)
266 /* call lock_monitor_enter function */
267 if (checksync && (m->flags & ACC_SYNCHRONIZED)) {
268 if (m->flags & ACC_STATIC) {
269 M_AMOV_IMM((&m->class->object.header), REG_ATMP1);
271 /* for non-static case the first arg is the object */
272 M_ALD(REG_ATMP1, REG_SP, cd->stackframesize + 4);
275 M_TRAP(M68K_EXCEPTION_HARDWARE_NULLPOINTER);
278 M_AST(REG_ATMP1, REG_SP, rd->memuse * 8);
279 M_AST(REG_ATMP1, REG_SP, 0 * 4);
280 M_JSR_IMM(LOCK_monitor_enter);
286 /* create replacement points */
287 REPLACEMENT_POINTS_INIT(cd, jd);
289 /* foreach basic block */
290 for (bptr = jd->basicblocks; bptr != NULL; bptr = bptr->next) {
292 bptr->mpc = (s4) (cd->mcodeptr - cd->mcodebase);
294 if (bptr->flags >= BBREACHED) {
296 /* branch resolving */
297 codegen_resolve_branchrefs(cd, bptr);
299 /* handle replacement points */
300 REPLACEMENT_POINT_BLOCK_START(cd, bptr);
302 #if defined(ENABLE_PROFILING)
305 /* FIXME there are still some constrcuts to copy in here */
307 #if defined(ENABLE_LSRA)
311 /* copy interface registers to their destination */
317 var = VAR(bptr->invars[len]);
318 if ((len == bptr->indepth-1) && (bptr->type == BBTYPE_EXH)) {
319 d = codegen_reg_of_var(0, var, REG_ATMP1_XPTR);
320 M_ADRMOVE(REG_ATMP1_XPTR, d);
321 emit_store(jd, NULL, var, d);
324 assert((var->flags & INOUT));
328 /* walk through all instructions */
332 for (iptr = bptr->iinstr; len > 0; len--, iptr++) {
333 if (iptr->line != currentline) {
334 dseg_addlinenumber(cd, iptr->line);
335 currentline = iptr->line;
338 MCODECHECK(1024); /* 1kB should be enough */
341 case ICMD_NOP: /* ... ==> ... */
342 case ICMD_POP: /* ..., value ==> ... */
343 case ICMD_POP2: /* ..., value, value ==> ... */
346 case ICMD_INLINE_START:
348 REPLACEMENT_POINT_INLINE_START(cd, iptr);
351 case ICMD_INLINE_BODY:
353 REPLACEMENT_POINT_INLINE_BODY(cd, iptr);
354 dseg_addlinenumber_inline_start(cd, iptr);
355 dseg_addlinenumber(cd, iptr->line);
358 case ICMD_INLINE_END:
360 dseg_addlinenumber_inline_end(cd, iptr);
361 dseg_addlinenumber(cd, iptr->line);
364 case ICMD_CHECKNULL: /* ..., objectref ==> ..., objectref */
366 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
367 assert(VAROP(iptr->s1)->type == TYPE_ADR);
368 emit_nullpointer_check(cd, iptr, s1);
372 /* CONST **************************************************************/
373 case ICMD_ICONST: /* ... ==> ..., constant */
374 d = codegen_reg_of_dst(jd, iptr, REG_ITMP1);
375 M_IMOV_IMM(iptr->sx.val.i, d);
376 emit_store_dst(jd, iptr, d);
379 case ICMD_LCONST: /* ... ==> ..., constant */
381 d = codegen_reg_of_dst(jd, iptr, REG_ITMP12_PACKED);
382 LCONST(iptr->sx.val.l, d);
383 emit_store_dst(jd, iptr, d);
386 case ICMD_FCONST: /* ... ==> ..., constant */
388 #if defined(ENABLE_SOFTFLOAT)
389 d = codegen_reg_of_dst(jd, iptr, REG_ITMP1);
390 M_IMOV_IMM(iptr->sx.val.i, d);
391 emit_store_dst(jd, iptr, d);
393 d = codegen_reg_of_dst(jd, iptr, REG_FTMP1);
394 FCONST(iptr->sx.val.i, d);
395 emit_store_dst(jd, iptr, d);
399 case ICMD_DCONST: /* ... ==> ..., constant */
401 #if defined(ENABLE_SOFTFLOAT)
402 d = codegen_reg_of_dst(jd, iptr, REG_ITMP12_PACKED);
403 LCONST(iptr->sx.val.l, d);
404 emit_store_dst(jd, iptr, d);
406 d = codegen_reg_of_dst(jd, iptr, REG_FTMP1);
407 disp = dseg_add_double(cd, iptr->sx.val.d);
408 M_AMOV_IMM(0, REG_ATMP1);
410 M_DLD(d, REG_ATMP1, disp);
411 emit_store_dst(jd, iptr, d);
416 /* some long operations *********************************************/
417 case ICMD_LADD: /* ..., val1, val2 ==> ..., val1 + val2 */
418 s1 = emit_load_s1_low(jd, iptr, REG_ITMP3);
419 s2 = emit_load_s2_low(jd, iptr, REG_ITMP1);
420 d = codegen_reg_of_dst(jd, iptr, REG_ITMP12_PACKED);
421 M_INTMOVE(s2, REG_ITMP1);
422 M_IADD(s1, REG_ITMP1); /* low word */
423 s1 = emit_load_s1_high(jd, iptr, REG_ITMP3);
424 s2 = emit_load_s2_high(jd, iptr, REG_ITMP2);
425 M_INTMOVE(s2, REG_ITMP2);
426 M_IADDX(s1, REG_ITMP2); /* high word */
427 emit_store_dst(jd, iptr, d);
430 case ICMD_LADDCONST: /* ..., value ==> ..., value + constant */
431 /* sx.val.l = constant */
432 s1 = emit_load_s1_low(jd, iptr, REG_ITMP1);
433 s2 = emit_load_s1_high(jd, iptr, REG_ITMP2);
434 d = codegen_reg_of_dst(jd, iptr, REG_ITMP12_PACKED);
436 M_IMOV_IMM(iptr->sx.val.l >> 32, REG_ITMP3);
438 s3 = iptr->sx.val.l & 0xffffffff;
439 M_INTMOVE(s1, REG_ITMP1);
440 M_IADD_IMM(s3, REG_ITMP1); /* lower word in REG_ITMP1 now */
442 M_IADDX(REG_ITMP3, REG_ITMP2); /* high word in REG_ITMP2 now */
443 M_LNGMOVE(REG_ITMP12_PACKED, d);
444 emit_store_dst(jd, iptr, d);
447 case ICMD_LSUB: /* ..., val1, val2 ==> ..., val1 - val2 */
448 s1 = emit_load_s1_low(jd, iptr, REG_ITMP1);
449 s2 = emit_load_s2_low(jd, iptr, REG_ITMP3);
450 d = codegen_reg_of_dst(jd, iptr, REG_ITMP12_PACKED);
451 M_INTMOVE(s1, REG_ITMP1);
452 M_ISUB(s2, REG_ITMP1); /* low word */
453 s1 = emit_load_s1_high(jd, iptr, REG_ITMP2);
454 s2 = emit_load_s2_high(jd, iptr, REG_ITMP3);
455 M_INTMOVE(s1, REG_ITMP2);
456 M_ISUBX(s2, REG_ITMP2); /* high word */
457 emit_store_dst(jd, iptr, d);
460 case ICMD_LSUBCONST: /* ..., value ==> ..., value - constant */
461 /* sx.val.l = constant */
462 s1 = emit_load_s1_low(jd, iptr, REG_ITMP1);
463 s2 = emit_load_s1_high(jd, iptr, REG_ITMP2);
464 d = codegen_reg_of_dst(jd, iptr, REG_ITMP12_PACKED);
466 M_IMOV_IMM( (-iptr->sx.val.l) >> 32, REG_ITMP3);
468 s3 = (-iptr->sx.val.l) & 0xffffffff;
469 M_INTMOVE(s1, REG_ITMP1);
470 M_IADD_IMM(s3, REG_ITMP1); /* lower word in REG_ITMP1 now */
472 M_IADDX(REG_ITMP3, REG_ITMP2); /* high word in REG_ITMP2 now */
473 M_LNGMOVE(REG_ITMP12_PACKED, d);
474 emit_store_dst(jd, iptr, d);
477 case ICMD_LNEG: /* ..., value ==> ..., - value */
478 s1 = emit_load_s1(jd, iptr, REG_ITMP12_PACKED);
479 d = codegen_reg_of_dst(jd, iptr, REG_ITMP12_PACKED);
480 M_LNGMOVE(s1, REG_ITMP12_PACKED);
481 M_INEG(GET_LOW_REG(REG_ITMP12_PACKED));
482 M_INEGX(GET_HIGH_REG(REG_ITMP12_PACKED));
483 M_LNGMOVE(REG_ITMP12_PACKED, d);
484 emit_store_dst(jd, iptr, d);
487 /* integer operations ************************************************/
488 case ICMD_INEG: /* ..., value ==> ..., - value */
490 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
491 d = codegen_reg_of_dst(jd, iptr, REG_ITMP1);
492 M_INTMOVE(s1, REG_ITMP1);
494 M_INTMOVE(REG_ITMP1, d);
495 emit_store_dst(jd, iptr, d);
498 case ICMD_I2L: /* ..., value ==> ..., value */
500 s1 = emit_load_s1(jd, iptr, REG_ITMP3);
501 d = codegen_reg_of_dst(jd, iptr, REG_ITMP12_PACKED);
502 M_IMOV(s1, GET_LOW_REG(d)); /* sets negativ bit */
504 M_ISET(GET_HIGH_REG(d));
506 M_ICLR(GET_HIGH_REG(d));
508 emit_store_dst(jd, iptr, d);
511 case ICMD_L2I: /* ..., value ==> ..., value */
513 s1 = emit_load_s1_low(jd, iptr, REG_ITMP2);
514 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
516 emit_store_dst(jd, iptr, d);
518 case ICMD_INT2BYTE: /* ..., value ==> ..., value */
520 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
521 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
523 emit_store_dst(jd, iptr, d);
526 case ICMD_INT2CHAR: /* ..., value ==> ..., value */
528 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
529 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
531 emit_store_dst(jd, iptr, d);
534 case ICMD_INT2SHORT: /* ..., value ==> ..., value */
536 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
537 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
539 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);
549 M_INTMOVE(s2, REG_ITMP2);
550 M_IADD(s1, REG_ITMP2);
551 M_INTMOVE(REG_ITMP2, d);
552 emit_store_dst(jd, iptr, d);
555 /* s1.localindex = variable, sx.val.i = constant*/
560 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
561 d = codegen_reg_of_dst(jd, iptr, REG_ITMP1);
562 M_INTMOVE(s1, REG_ITMP1);
563 M_IADD_IMM(iptr->sx.val.i, REG_ITMP1);
564 M_INTMOVE(REG_ITMP1, d);
565 emit_store_dst(jd, iptr, d);
568 case ICMD_ISUB: /* ..., val1, val2 ==> ..., val1 - val2 */
570 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
571 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
572 d = codegen_reg_of_dst(jd, iptr, REG_ITMP1);
573 M_INTMOVE(s1, REG_ITMP1);
574 M_ISUB(s2, REG_ITMP1);
575 M_INTMOVE(REG_ITMP1, d);
576 emit_store_dst(jd, iptr, d);
579 case ICMD_ISUBCONST: /* ..., value ==> ..., value + constant */
580 /* sx.val.i = constant */
582 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
583 d = codegen_reg_of_dst(jd, iptr, REG_ITMP1);
584 M_INTMOVE(s1, REG_ITMP1);
585 M_IADD_IMM(-iptr->sx.val.i, REG_ITMP1);
586 M_INTMOVE(REG_ITMP1, d);
587 emit_store_dst(jd, iptr, d);
590 case ICMD_IDIV: /* ..., val1, val2 ==> ..., val1 / val2 */
591 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
592 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
593 d = codegen_reg_of_dst(jd, iptr, REG_ITMP1);
594 emit_arithmetic_check(cd, iptr, s2);
595 M_INTMOVE(s1, REG_ITMP1);
596 M_IDIV(s2, REG_ITMP1);
597 M_INTMOVE(REG_ITMP1, d);
598 emit_store_dst(jd, iptr, d);
601 case ICMD_IDIVPOW2: /* ..., value ==> ..., value << constant */
602 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
603 d = codegen_reg_of_dst(jd, iptr, REG_ITMP1);
604 M_INTMOVE(s1, REG_ITMP1);
608 M_IADD_IMM((1 << iptr->sx.val.i) - 1, REG_ITMP1);
610 M_IMOV_IMM(iptr->sx.val.i, REG_ITMP2);
611 M_ISSR(REG_ITMP2, REG_ITMP1);
612 M_INTMOVE(REG_ITMP1, d);
613 emit_store_dst(jd, iptr, d);
616 case ICMD_IREM: /* ..., val1, val2 ==> ..., val1 % val2 */
617 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
618 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
619 d = codegen_reg_of_dst(jd, iptr, REG_ITMP3);
620 emit_arithmetic_check(cd, iptr, s2);
622 M_ICMP_IMM(0x80000000, s1);
627 M_TPFL; /* hides the next instruction */
628 M_IREM(s2, s1, REG_ITMP3);
630 M_INTMOVE(REG_ITMP3, d);
632 emit_store_dst(jd, iptr, d);
635 case ICMD_IREMPOW2: /* ..., value ==> ..., value << constant */
636 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
637 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
639 M_IMOV(s1, REG_ITMP1);
643 M_IAND_IMM(iptr->sx.val.i, d);
645 M_BGE(2 + 2 + 6 + 2);
646 M_IMOV(s1, d); /* don't use M_INTMOVE, so we know the jump offset */
648 M_IAND_IMM(iptr->sx.val.i, d); /* use 32-bit for jump offset */
651 emit_store_dst(jd, iptr, d);
655 case ICMD_LDIV: /* ..., val1, val2 ==> ..., val1 / val2 */
656 case ICMD_LREM: /* ..., val1, val2 ==> ..., val1 % val2 */
658 bte = iptr->sx.s23.s3.bte;
661 s2 = emit_load_s2(jd, iptr, REG_ITMP12_PACKED);
662 M_INTMOVE(GET_LOW_REG(s2), REG_ITMP3);
663 M_IOR(GET_HIGH_REG(s2), REG_ITMP3);
664 /* XXX could be optimized */
665 emit_arithmetic_check(cd, iptr, REG_ITMP3);
667 M_LST(s2, REG_SP, 2 * 4);
668 s1 = emit_load_s1(jd, iptr, REG_ITMP12_PACKED);
669 M_LST(s1, REG_SP, 0 * 4);
673 d = codegen_reg_of_dst(jd, iptr, REG_RESULT_PACKED);
674 M_LNGMOVE(REG_RESULT_PACKED, d);
675 emit_store_dst(jd, iptr, d);
678 case ICMD_IMUL: /* ..., val1, val2 ==> ..., val1 * val2 */
680 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
681 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
682 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
683 M_INTMOVE(s2, REG_ITMP2);
684 M_IMUL(s1, REG_ITMP2);
685 M_INTMOVE(REG_ITMP2, d);
686 emit_store_dst(jd, iptr, d);
689 case ICMD_IMULCONST: /* ..., value ==> ..., value * constant */
690 /* sx.val.i = constant */
691 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
692 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
693 M_IMOV_IMM(iptr->sx.val.i, REG_ITMP2);
694 M_IMUL(s1, REG_ITMP2);
695 M_INTMOVE(REG_ITMP2, d);
696 emit_store_dst(jd, iptr, d);
699 case ICMD_ISHL: /* ..., val1, val2 ==> ..., val1 << val2 */
701 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
702 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
703 d = codegen_reg_of_dst(jd, iptr, REG_ITMP1);
704 M_INTMOVE(s1, REG_ITMP1);
705 M_INTMOVE(s2, REG_ITMP2);
706 M_IAND_IMM(0x1f, REG_ITMP2);
707 M_ISSL(REG_ITMP2, REG_ITMP1);
708 M_INTMOVE(REG_ITMP1, d);
709 emit_store_dst(jd, iptr, d);
712 case ICMD_ISHLCONST: /* ..., value ==> ..., value << constant */
713 /* sx.val.i = constant */
715 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
716 d = codegen_reg_of_dst(jd, iptr, REG_ITMP1);
717 if (iptr->sx.val.i & 0x1f) {
718 M_INTMOVE(s1, REG_ITMP1)
719 if ((iptr->sx.val.i & 0x1f) <= 7) {
720 M_ISSL_IMM(iptr->sx.val.i & 0x1f, REG_ITMP1);
722 M_IMOV_IMM(iptr->sx.val.i & 0x1f, REG_ITMP2);
723 M_ISSL(REG_ITMP2, REG_ITMP1);
725 M_INTMOVE(REG_ITMP1, d);
729 emit_store_dst(jd, iptr, d);
732 case ICMD_ISHR: /* ..., val1, val2 ==> ..., val1 >> val2 */
734 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
735 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
736 d = codegen_reg_of_dst(jd, iptr, REG_ITMP1);
737 M_INTMOVE(s1, REG_ITMP1);
738 M_INTMOVE(s2, REG_ITMP2);
739 M_IAND_IMM(0x1f, REG_ITMP2);
740 M_ISSR(REG_ITMP2, REG_ITMP1);
741 M_INTMOVE(REG_ITMP1, d);
742 emit_store_dst(jd, iptr, d);
745 case ICMD_ISHRCONST: /* ..., value ==> ..., value >> constant */
746 /* sx.val.i = constant */
748 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
749 d = codegen_reg_of_dst(jd, iptr, REG_ITMP1);
750 if (iptr->sx.val.i & 0x1f) {
751 M_INTMOVE(s1, REG_ITMP1)
752 if ((iptr->sx.val.i & 0x1f) <= 7) {
753 M_ISSR_IMM(iptr->sx.val.i & 0x1f, REG_ITMP1);
755 M_IMOV_IMM(iptr->sx.val.i & 0x1f, REG_ITMP2);
756 M_ISSR(REG_ITMP2, REG_ITMP1);
758 M_INTMOVE(REG_ITMP1, d);
762 emit_store_dst(jd, iptr, d);
765 case ICMD_IUSHR: /* ..., val1, val2 ==> ..., val1 >>> val2 */
767 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
768 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
769 d = codegen_reg_of_dst(jd, iptr, REG_ITMP1);
770 M_INTMOVE(s1, REG_ITMP1);
771 M_INTMOVE(s2, REG_ITMP2);
772 M_IAND_IMM(0x1f, REG_ITMP2);
773 M_IUSR(REG_ITMP2, REG_ITMP1);
774 M_INTMOVE(REG_ITMP1, d);
775 emit_store_dst(jd, iptr, d);
778 case ICMD_IUSHRCONST: /* ..., value ==> ..., value >>> constant */
779 /* sx.val.i = constant */
780 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
781 d = codegen_reg_of_dst(jd, iptr, REG_ITMP1);
782 if (iptr->sx.val.i & 0x1f) {
783 M_INTMOVE(s1, REG_ITMP1)
784 if ((iptr->sx.val.i & 0x1f) <= 7) {
785 M_IUSR_IMM(iptr->sx.val.i & 0x1f, REG_ITMP1);
787 M_IMOV_IMM(iptr->sx.val.i & 0x1f, REG_ITMP2);
788 M_IUSR(REG_ITMP2, REG_ITMP1);
790 M_INTMOVE(REG_ITMP1, d);
794 emit_store_dst(jd, iptr, d);
797 case ICMD_IAND: /* ..., val1, val2 ==> ..., val1 & val2 */
799 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
800 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
801 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
802 M_INTMOVE(s2, REG_ITMP2);
803 M_IAND(s1, REG_ITMP2);
804 M_INTMOVE(REG_ITMP2, d);
805 emit_store_dst(jd, iptr, d);
808 case ICMD_IANDCONST: /* ..., value ==> ..., value & constant */
809 /* sx.val.i = constant */
811 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
812 d = codegen_reg_of_dst(jd, iptr, REG_ITMP1);
813 M_INTMOVE(s1, REG_ITMP1);
814 M_IAND_IMM(iptr->sx.val.i, REG_ITMP1);
815 M_INTMOVE(REG_ITMP1, d);
816 emit_store_dst(jd, iptr, d);
819 case ICMD_IOR: /* ..., val1, val2 ==> ..., val1 | val2 */
820 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
821 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
822 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
823 M_INTMOVE(s2, REG_ITMP2);
824 M_IOR(s1, REG_ITMP2);
825 M_INTMOVE(REG_ITMP2, d);
826 emit_store_dst(jd, iptr, d);
829 case ICMD_IORCONST: /* ..., value ==> ..., value | constant */
830 /* sx.val.i = constant */
831 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
832 d = codegen_reg_of_dst(jd, iptr, REG_ITMP1);
833 M_INTMOVE(s1, REG_ITMP1);
834 M_IOR_IMM(iptr->sx.val.i, REG_ITMP1);
835 M_INTMOVE(REG_ITMP1, d);
836 emit_store_dst(jd, iptr, d);
839 case ICMD_IXOR: /* ..., val1, val2 ==> ..., val1 | val2 */
840 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
841 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
842 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
843 M_INTMOVE(s2, REG_ITMP2);
844 M_IXOR(s1, REG_ITMP2);
845 M_INTMOVE(REG_ITMP2, d);
846 emit_store_dst(jd, iptr, d);
849 case ICMD_IXORCONST: /* ..., value ==> ..., value | constant */
850 /* sx.val.i = constant */
851 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
852 d = codegen_reg_of_dst(jd, iptr, REG_ITMP1);
853 M_INTMOVE(s1, REG_ITMP1);
854 M_IXOR_IMM(iptr->sx.val.i, REG_ITMP1);
855 M_INTMOVE(REG_ITMP1, d);
856 emit_store_dst(jd, iptr, d);
859 /* floating point operations ******************************************/
860 #if !defined(ENABLE_SOFTFLOAT)
861 case ICMD_FCMPL: /* ..., val1, val2 ==> ..., val1 fcmpl val2 */
863 s1 = emit_load_s1(jd, iptr, REG_FTMP1);
864 s2 = emit_load_s2(jd, iptr, REG_FTMP2);
865 d = codegen_reg_of_dst(jd, iptr, REG_ITMP1);
868 M_BFUN(14); /* result is -1, branch to end */
869 M_BFLT(10); /* result is -1, branch to end */
871 M_BFEQ(4) /* result is 0, branch to end */
873 emit_store_dst(jd, iptr, d);
876 case ICMD_FCMPG: /* ..., val1, val2 ==> ..., val1 fcmpg val2 */
878 s1 = emit_load_s1(jd, iptr, REG_FTMP1);
879 s2 = emit_load_s2(jd, iptr, REG_FTMP2);
880 d = codegen_reg_of_dst(jd, iptr, REG_ITMP1);
883 M_BFUN(16); /* result is +1, branch to end */
884 M_BFGT(14); /* result is +1, branch to end */
886 M_BFEQ(8) /* result is 0, branch to end */
888 emit_store_dst(jd, iptr, d);
891 case ICMD_FMUL: /* ..., val1, val2 ==> ..., val1 * val2 */
892 s1 = emit_load_s1(jd, iptr, REG_FTMP1);
893 s2 = emit_load_s2(jd, iptr, REG_FTMP2);
894 d = codegen_reg_of_dst(jd, iptr, REG_FTMP2);
895 M_FLTMOVE(s2, REG_FTMP2);
896 M_FMUL(s1, REG_FTMP2);
897 M_FLTMOVE(REG_FTMP2, d);
898 emit_store_dst(jd, iptr, d);
901 case ICMD_DMUL: /* ..., val1, val2 ==> ..., val1 * val2 */
902 s1 = emit_load_s1(jd, iptr, REG_FTMP1);
903 s2 = emit_load_s2(jd, iptr, REG_FTMP2);
904 d = codegen_reg_of_dst(jd, iptr, REG_FTMP2);
905 M_DBLMOVE(s2, REG_FTMP2);
906 M_DMUL(s1, REG_FTMP2);
907 M_DBLMOVE(REG_FTMP2, d);
908 emit_store_dst(jd, iptr, d);
911 case ICMD_FDIV: /* ..., val1, val2 ==> ..., val1 / val2 */
912 s1 = emit_load_s1(jd, iptr, REG_FTMP1);
913 s2 = emit_load_s2(jd, iptr, REG_FTMP2);
914 d = codegen_reg_of_dst(jd, iptr, REG_FTMP1);
915 M_FLTMOVE(s1, REG_FTMP1);
916 M_FDIV(s2, REG_FTMP1);
917 M_FLTMOVE(REG_FTMP1, d);
918 emit_store_dst(jd, iptr, d);
921 case ICMD_DDIV: /* ..., val1, val2 ==> ..., val1 / val2 */
922 s1 = emit_load_s1(jd, iptr, REG_FTMP1);
923 s2 = emit_load_s2(jd, iptr, REG_FTMP2);
924 d = codegen_reg_of_dst(jd, iptr, REG_FTMP1);
925 M_DBLMOVE(s1, REG_FTMP1);
926 M_DDIV(s2, REG_FTMP1);
927 M_DBLMOVE(REG_FTMP1, d);
928 emit_store_dst(jd, iptr, d);
931 case ICMD_FADD: /* ..., val1, val2 ==> ..., val1 + val2 */
932 s1 = emit_load_s1(jd, iptr, REG_FTMP1);
933 s2 = emit_load_s2(jd, iptr, REG_FTMP2);
934 d = codegen_reg_of_dst(jd, iptr, REG_FTMP2);
935 M_FLTMOVE(s2, REG_FTMP2);
936 M_FADD(s1, REG_FTMP2);
937 M_FLTMOVE(REG_FTMP2, d);
938 emit_store_dst(jd, iptr, d);
941 case ICMD_DADD: /* ..., val1, val2 ==> ..., val1 + val2 */
942 s1 = emit_load_s1(jd, iptr, REG_FTMP1);
943 s2 = emit_load_s2(jd, iptr, REG_FTMP2);
944 d = codegen_reg_of_dst(jd, iptr, REG_FTMP2);
945 M_DBLMOVE(s2, REG_FTMP2);
946 M_DADD(s1, REG_FTMP2);
947 M_DBLMOVE(REG_FTMP2, d);
948 emit_store_dst(jd, iptr, d);
951 case ICMD_FSUB: /* ..., val1, val2 ==> ..., val1 - val2 */
952 s1 = emit_load_s1(jd, iptr, REG_FTMP1);
953 s2 = emit_load_s2(jd, iptr, REG_FTMP2);
954 d = codegen_reg_of_dst(jd, iptr, REG_FTMP2);
955 M_FLTMOVE(s1, REG_FTMP1);
956 M_FSUB(s2, REG_FTMP1);
957 M_FLTMOVE(REG_FTMP1, d);
958 emit_store_dst(jd, iptr, d);
961 case ICMD_DSUB: /* ..., val1, val2 ==> ..., val1 - val2 */
962 s1 = emit_load_s1(jd, iptr, REG_FTMP1);
963 s2 = emit_load_s2(jd, iptr, REG_FTMP2);
964 d = codegen_reg_of_dst(jd, iptr, REG_FTMP2);
965 M_DBLMOVE(s1, REG_FTMP1);
966 M_DSUB(s2, REG_FTMP1);
967 M_DBLMOVE(REG_FTMP1, d);
968 emit_store_dst(jd, iptr, d);
971 case ICMD_F2D: /* ..., value ==> ..., (double) value */
972 s1 = emit_load_s1(jd, iptr, REG_FTMP1);
973 d = codegen_reg_of_dst(jd, iptr, REG_FTMP2);
975 emit_store_dst(jd, iptr, d);
978 case ICMD_D2F: /* ..., value ==> ..., (float) value */
979 s1 = emit_load_s1(jd, iptr, REG_FTMP1);
980 d = codegen_reg_of_dst(jd, iptr, REG_FTMP2);
982 emit_store_dst(jd, iptr, d);
985 case ICMD_FNEG: /* ..., value ==> ..., - value */
986 s1 = emit_load_s1(jd, iptr, REG_FTMP1);
987 d = codegen_reg_of_dst(jd, iptr, REG_FTMP2);
989 emit_store_dst(jd, iptr, d);
992 case ICMD_DNEG: /* ..., value ==> ..., - value */
993 s1 = emit_load_s1(jd, iptr, REG_FTMP1);
994 d = codegen_reg_of_dst(jd, iptr, REG_FTMP2);
996 emit_store_dst(jd, iptr, d);
1001 /* load/store/copy/move operations ************************************/
1003 case ICMD_ILOAD: /* ... ==> ..., content of local variable */
1004 case ICMD_ALOAD: /* s1 = local variable */
1008 case ICMD_ISTORE: /* ..., value ==> ... */
1015 emit_copy(jd, iptr);
1020 if (!(iptr->flags.bits & INS_FLAG_RETADDR))
1021 emit_copy(jd, iptr);
1025 case ICMD_ACONST: /* ... ==> ..., constant */
1026 d = codegen_reg_of_dst(jd, iptr, REG_ITMP1);
1028 if (INSTRUCTION_IS_UNRESOLVED(iptr)) {
1029 constant_classref *cr = iptr->sx.val.c.ref;;
1030 codegen_addpatchref(cd, PATCHER_resolve_classref_to_classinfo, cr, 0);
1033 M_AMOV_IMM(iptr->sx.val.anyptr, d);
1035 emit_store_dst(jd, iptr, d);
1037 /* BRANCH *************************************************************/
1039 case ICMD_ATHROW: /* ..., objectref ==> ... (, objectref) */
1041 s1 = emit_load_s1(jd, iptr, REG_ATMP1);
1042 M_ADRMOVE(s1, REG_ATMP1_XPTR);
1044 #ifdef ENABLE_VERIFIER
1045 if (INSTRUCTION_IS_UNRESOLVED(iptr)) {
1046 unresolved_class *uc = iptr->sx.s23.s2.uc;
1048 codegen_addpatchref(cd, PATCHER_resolve_class, uc, 0);
1050 #endif /* ENABLE_VERIFIER */
1051 M_JSR_PCREL(2); /* get current PC */
1054 M_AMOV_IMM(asm_handle_exception, REG_ATMP3);
1059 case ICMD_GOTO: /* ... ==> ... */
1060 case ICMD_RET: /* ... ==> ... */
1062 emit_br(cd, iptr->dst.block);
1066 case ICMD_JSR: /* ... ==> ... */
1068 emit_br(cd, iptr->sx.s23.s3.jsrtarget.block);
1074 case ICMD_IFNULL: /* ..., value ==> ... */
1075 case ICMD_IFNONNULL:
1076 assert(IS_ADR_TYPE(VAROP(iptr->s1)->type));
1077 s1 = emit_load_s1(jd, iptr, REG_ATMP1);
1079 emit_bcc(cd, iptr->dst.block, iptr->opc - ICMD_IFNULL, BRANCH_OPT_NONE);
1087 case ICMD_IFEQ: /* ..., value ==> ... */
1089 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1090 assert (VAROP(iptr->s1)->type == TYPE_INT);
1091 M_ICMP_IMM(iptr->sx.val.i, s1);
1092 emit_bcc(cd, iptr->dst.block, iptr->opc - ICMD_IFEQ, BRANCH_OPT_NONE);
1095 case ICMD_IF_ICMPEQ: /* ..., value, value ==> ... */
1096 case ICMD_IF_ICMPNE:
1097 case ICMD_IF_ICMPLT:
1098 case ICMD_IF_ICMPGT:
1099 case ICMD_IF_ICMPLE:
1100 case ICMD_IF_ICMPGE:
1102 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1103 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1105 emit_bcc(cd, iptr->dst.block, iptr->opc - ICMD_IF_ICMPEQ, BRANCH_OPT_NONE);
1108 case ICMD_IF_ACMPEQ: /* op1 = target JavaVM pc */
1109 case ICMD_IF_ACMPNE:
1111 s1 = emit_load_s1(jd, iptr, REG_ATMP1);
1112 s2 = emit_load_s2(jd, iptr, REG_ATMP2);
1114 emit_bcc(cd, iptr->dst.block, iptr->opc - ICMD_IF_ACMPEQ, BRANCH_OPT_NONE);
1118 /* MEMORY *************************************************************/
1120 case ICMD_GETSTATIC: /* ... ==> ..., value */
1122 if (INSTRUCTION_IS_UNRESOLVED(iptr)) {
1123 uf = iptr->sx.s23.s3.uf;
1124 fieldtype = uf->fieldref->parseddesc.fd->type;
1127 codegen_addpatchref(cd, PATCHER_get_putstatic, uf, 0);
1130 fi = iptr->sx.s23.s3.fmiref->p.field;
1131 fieldtype = fi->type;
1132 disp = (intptr_t) fi->value;
1134 if (!CLASS_IS_OR_ALMOST_INITIALIZED(fi->class)) {
1135 codegen_addpatchref(cd, PATCHER_initialize_class, fi->class,
1140 M_AMOV_IMM(disp, REG_ATMP1);
1141 switch (fieldtype) {
1142 #if defined(ENABLE_SOFTFLOAT)
1146 d = codegen_reg_of_dst(jd, iptr, REG_ITMP1);
1147 M_ILD(d, REG_ATMP1, 0);
1150 d = codegen_reg_of_dst(jd, iptr, REG_ITMP1);
1151 M_ALD(d, REG_ATMP1, 0);
1153 #if defined(ENABLE_SOFTFLOAT)
1157 d = codegen_reg_of_dst(jd, iptr, REG_ITMP23_PACKED);
1158 M_LLD(d, REG_ATMP1, 0);
1160 #if !defined(ENABLE_SOFTFLOAT)
1162 d = codegen_reg_of_dst(jd, iptr, REG_FTMP1);
1163 M_FLD(d, REG_ATMP1, 0);
1166 d = codegen_reg_of_dst(jd, iptr, REG_FTMP1);
1167 M_DLD(d, REG_ATMP1, 0);
1171 emit_store_dst(jd, iptr, d);
1174 case ICMD_PUTSTATIC: /* ..., value ==> ... */
1176 if (INSTRUCTION_IS_UNRESOLVED(iptr)) {
1177 uf = iptr->sx.s23.s3.uf;
1178 fieldtype = uf->fieldref->parseddesc.fd->type;
1181 codegen_addpatchref(cd, PATCHER_get_putstatic, uf, 0);
1184 fi = iptr->sx.s23.s3.fmiref->p.field;
1185 fieldtype = fi->type;
1186 disp = (intptr_t) fi->value;
1188 if (!CLASS_IS_OR_ALMOST_INITIALIZED(fi->class))
1189 codegen_addpatchref(cd, PATCHER_initialize_class, fi->class,
1193 M_AMOV_IMM(disp, REG_ATMP1);
1194 switch (fieldtype) {
1195 #if defined(ENABLE_SOFTFLOAT)
1199 s1 = emit_load_s1(jd, iptr, REG_ITMP2);
1200 M_IST(s1, REG_ATMP1, 0);
1202 #if defined(ENABLE_SOFTFLOAT)
1206 s1 = emit_load_s1(jd, iptr, REG_ITMP23_PACKED);
1207 M_LST(s1, REG_ATMP1, 0);
1210 s1 = emit_load_s1(jd, iptr, REG_ITMP2);
1211 M_AST(s1, REG_ATMP1, 0);
1213 #if !defined(ENABLE_SOFTFLOAT)
1215 s1 = emit_load_s1(jd, iptr, REG_FTMP2);
1216 M_FST(s1, REG_ATMP1, 0);
1219 s1 = emit_load_s1(jd, iptr, REG_FTMP2);
1220 M_DST(s1, REG_ATMP1, 0);
1227 case ICMD_GETFIELD: /* ... ==> ..., value */
1229 s1 = emit_load_s1(jd, iptr, REG_ATMP1);
1231 if (INSTRUCTION_IS_UNRESOLVED(iptr)) {
1232 uf = iptr->sx.s23.s3.uf;
1233 fieldtype = uf->fieldref->parseddesc.fd->type;
1236 codegen_addpatchref(cd, PATCHER_get_putfield, uf, 0);
1239 fi = iptr->sx.s23.s3.fmiref->p.field;
1240 fieldtype = fi->type;
1244 /* implicit null-pointer check */
1245 switch (fieldtype) {
1246 #if defined(ENABLE_SOFTFLOAT)
1250 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
1253 #if defined(ENABLE_SOFTFLOAT)
1257 d = codegen_reg_of_dst(jd, iptr, REG_ITMP12_PACKED);
1261 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
1264 #if !defined(ENABLE_SOFTFLOAT)
1266 d = codegen_reg_of_dst(jd, iptr, REG_FTMP1);
1270 d = codegen_reg_of_dst(jd, iptr, REG_FTMP1);
1275 emit_store_dst(jd, iptr, d);
1278 case ICMD_PUTFIELD: /* ..., value ==> ... */
1280 s1 = emit_load_s1(jd, iptr, REG_ATMP1);
1282 if (INSTRUCTION_IS_UNRESOLVED(iptr)) {
1283 uf = iptr->sx.s23.s3.uf;
1284 fieldtype = uf->fieldref->parseddesc.fd->type;
1288 fi = iptr->sx.s23.s3.fmiref->p.field;
1289 fieldtype = fi->type;
1293 if (IS_INT_LNG_TYPE(fieldtype)) {
1294 if (IS_2_WORD_TYPE(fieldtype)) {
1295 s2 = emit_load_s2(jd, iptr, REG_ITMP23_PACKED);
1297 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1300 s2 = emit_load_s2(jd, iptr, REG_FTMP2);
1303 if (INSTRUCTION_IS_UNRESOLVED(iptr))
1304 codegen_addpatchref(cd, PATCHER_get_putfield, uf, 0);
1306 /* implicit null-pointer check */
1307 switch (fieldtype) {
1308 #if defined(ENABLE_SOFTFLOAT)
1312 M_IST(s2, s1, disp);
1315 #if defined(ENABLE_SOFTFLOAT)
1319 M_LST(s2, s1, disp);
1322 M_AST(s2, s1, disp);
1324 #if !defined(ENABLE_SOFTFLOAT)
1326 M_FST(s2, s1, disp);
1329 M_DST(s2, s1, disp);
1335 case ICMD_ARRAYLENGTH: /* ..., arrayref ==> ..., length */
1337 s1 = emit_load_s1(jd, iptr, REG_ATMP1);
1338 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
1339 /* implicit null-pointer check */
1340 M_ILD(d, s1, OFFSET(java_array_t, size));
1341 emit_store_dst(jd, iptr, d);
1344 case ICMD_BALOAD: /* ..., arrayref, index ==> ..., value */
1346 s1 = emit_load_s1(jd, iptr, REG_ATMP1);
1347 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1348 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
1349 emit_arrayindexoutofbounds_check(cd, iptr, s1, s2);
1350 M_INTMOVE(s2, REG_ITMP2);
1351 M_IADD_IMM(OFFSET(java_bytearray_t, data[0]), REG_ITMP2);
1352 M_ADRMOVE(s1, REG_ATMP1);
1353 M_AADDINT(REG_ITMP2, REG_ATMP1);
1354 /* implicit null-pointer check */
1355 M_LBZX(REG_ATMP1, d);
1357 emit_store_dst(jd, iptr, d);
1360 case ICMD_CALOAD: /* ..., arrayref, index ==> ..., value */
1362 s1 = emit_load_s1(jd, iptr, REG_ATMP1);
1363 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1364 d = codegen_reg_of_dst(jd, iptr, REG_ITMP1);
1365 emit_arrayindexoutofbounds_check(cd, iptr, s1, s2);
1366 M_INTMOVE(s2, REG_ITMP2);
1367 M_ISSL_IMM(1, REG_ITMP2);
1368 M_IADD_IMM(OFFSET(java_chararray_t, data[0]), REG_ITMP2);
1369 M_ADRMOVE(s1, REG_ATMP1);
1370 M_AADDINT(REG_ITMP2, REG_ATMP1);
1371 /* implicit null-pointer check */
1372 M_LHZX(REG_ATMP1, d);
1374 emit_store_dst(jd, iptr, d);
1377 case ICMD_SALOAD: /* ..., arrayref, index ==> ..., value */
1379 s1 = emit_load_s1(jd, iptr, REG_ATMP1);
1380 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1381 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
1382 emit_arrayindexoutofbounds_check(cd, iptr, s1, s2);
1383 M_INTMOVE(s2, REG_ITMP2);
1384 M_ISSL_IMM(1, REG_ITMP2);
1385 M_IADD_IMM(OFFSET(java_shortarray_t, data[0]), REG_ITMP2);
1386 M_ADRMOVE(s1, REG_ATMP1);
1387 M_AADDINT(REG_ITMP2, REG_ATMP1);
1389 /* implicit null-pointer check */
1390 M_LHZX(REG_ATMP1, d);
1392 emit_store_dst(jd, iptr, d);
1395 case ICMD_IALOAD: /* ..., arrayref, index ==> ..., value */
1397 s1 = emit_load_s1(jd, iptr, REG_ATMP1);
1398 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1399 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
1400 emit_arrayindexoutofbounds_check(cd, iptr, s1, s2);
1401 M_INTMOVE(s2, REG_ITMP2);
1402 M_ISSL_IMM(2, REG_ITMP2);
1403 M_IADD_IMM(OFFSET(java_intarray_t, data[0]), REG_ITMP2);
1404 M_ADRMOVE(s1, REG_ATMP1);
1405 M_AADDINT(REG_ITMP2, REG_ATMP1);
1406 /* implicit null-pointer check */
1407 M_LWZX(REG_ATMP1, d);
1408 emit_store_dst(jd, iptr, d);
1411 case ICMD_LALOAD: /* ..., arrayref, index ==> ..., value */
1412 s1 = emit_load_s1(jd, iptr, REG_ATMP1);
1413 s2 = emit_load_s2(jd, iptr, REG_ITMP1);
1414 d = codegen_reg_of_dst(jd, iptr, REG_ITMP12_PACKED);
1415 /* implicit null-pointer check */
1416 emit_arrayindexoutofbounds_check(cd, iptr, s1, s2);
1417 M_INTMOVE(s2, REG_ITMP1);
1418 M_ISSL_IMM(3, REG_ITMP1);
1419 M_IADD_IMM(OFFSET(java_longarray_t, data[0]), REG_ITMP1);
1420 M_ADRMOVE(s1, REG_ATMP1);
1421 M_AADDINT(REG_ITMP1, REG_ATMP1);
1422 /* implicit null-pointer check */
1423 M_LLD(d, REG_ATMP1, 0);
1424 emit_store_dst(jd, iptr, d);
1427 case ICMD_FALOAD: /* ..., arrayref, index ==> ..., value */
1428 s1 = emit_load_s1(jd, iptr, REG_ATMP1);
1429 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1430 emit_arrayindexoutofbounds_check(cd, iptr, s1, s2);
1431 M_INTMOVE(s2, REG_ITMP2);
1432 M_ISSL_IMM(2, REG_ITMP2);
1433 M_IADD_IMM(OFFSET(java_floatarray_t, data[0]), REG_ITMP2);
1434 M_ADRMOVE(s1, REG_ATMP1);
1435 M_AADDINT(REG_ITMP2, REG_ATMP1);
1436 /* implicit null-pointer check */
1437 #if !defined(ENABLE_SOFTFLOAT)
1438 d = codegen_reg_of_dst(jd, iptr, REG_FTMP1);
1439 M_FLD(d, REG_ATMP1, 0);
1441 d = codegen_reg_of_dst(jd, iptr, REG_ITMP1);
1442 M_LWZX(REG_ATMP1, d);
1444 emit_store_dst(jd, iptr, d);
1447 case ICMD_DALOAD: /* ..., arrayref, index ==> ..., value */
1448 s1 = emit_load_s1(jd, iptr, REG_ATMP1);
1449 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1450 emit_arrayindexoutofbounds_check(cd, iptr, s1, s2);
1451 M_INTMOVE(s2, REG_ITMP2);
1452 M_ISSL_IMM(3, REG_ITMP2);
1453 M_IADD_IMM(OFFSET(java_doublearray_t, data[0]), REG_ITMP2);
1454 M_ADRMOVE(s1, REG_ATMP1);
1455 M_AADDINT(REG_ITMP2, REG_ATMP1);
1456 /* implicit null-pointer check */
1457 #if !defined(ENABLE_SOFTFLOAT)
1458 d = codegen_reg_of_dst(jd, iptr, REG_FTMP1);
1459 M_DLD(d, REG_ATMP1, 0);
1461 d = codegen_reg_of_dst(jd, iptr, REG_ITMP12_PACKED);
1462 M_LLD(d, REG_ATMP1, 0);
1464 emit_store_dst(jd, iptr, d);
1467 case ICMD_AALOAD: /* ..., arrayref, index ==> ..., value */
1468 s1 = emit_load_s1(jd, iptr, REG_ATMP1);
1469 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1470 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
1471 emit_arrayindexoutofbounds_check(cd, iptr, s1, s2);
1472 M_INTMOVE(s2, REG_ITMP2);
1473 M_ISSL_IMM(2, REG_ITMP2);
1474 M_IADD_IMM(OFFSET(java_objectarray_t, data[0]), REG_ITMP2);
1475 M_ADRMOVE(s1, REG_ATMP1);
1476 M_AADDINT(REG_ITMP2, REG_ATMP1);
1478 /* implicit null-pointer check */
1479 M_LAX(REG_ATMP1, d);
1480 emit_store_dst(jd, iptr, d);
1484 case ICMD_BASTORE: /* ..., arrayref, index, value ==> ... */
1485 s1 = emit_load_s1(jd, iptr, REG_ATMP1);
1486 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1487 emit_arrayindexoutofbounds_check(cd, iptr, s1, s2);
1488 s3 = emit_load_s3(jd, iptr, REG_ITMP3);
1489 M_INTMOVE(s2, REG_ITMP2);
1490 M_IADD_IMM(OFFSET(java_bytearray_t, data[0]), REG_ITMP2);
1491 M_ADRMOVE(s1, REG_ATMP1);
1492 M_AADDINT(REG_ITMP2, REG_ATMP1);
1493 /* implicit null-pointer check */
1494 M_STBX(REG_ATMP1, s3);
1497 case ICMD_CASTORE: /* ..., arrayref, index, value ==> ... */
1498 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1499 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1500 emit_arrayindexoutofbounds_check(cd, iptr, s1, s2);
1501 s3 = emit_load_s3(jd, iptr, REG_ITMP3);
1502 M_INTMOVE(s2, REG_ITMP2);
1503 M_ISSL_IMM(1, REG_ITMP2);
1504 M_IADD_IMM(OFFSET(java_chararray_t, data[0]), REG_ITMP2);
1505 M_ADRMOVE(s1, REG_ATMP1);
1506 M_AADDINT(REG_ITMP2, REG_ATMP1);
1507 /* implicit null-pointer check */
1508 M_STHX(REG_ATMP1, s3);
1511 case ICMD_SASTORE: /* ..., arrayref, index, value ==> ... */
1512 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1513 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1514 emit_arrayindexoutofbounds_check(cd, iptr, s1, s2);
1515 s3 = emit_load_s3(jd, iptr, REG_ITMP3);
1516 M_INTMOVE(s2, REG_ITMP2);
1517 M_ISSL_IMM(1, REG_ITMP2);
1518 M_IADD_IMM(OFFSET(java_shortarray_t, data[0]), REG_ITMP2);
1519 M_ADRMOVE(s1, REG_ATMP1);
1520 M_AADDINT(REG_ITMP2, REG_ATMP1);
1521 /* implicit null-pointer check */
1522 M_STHX(REG_ATMP1, s3);
1525 case ICMD_IASTORE: /* ..., arrayref, index, value ==> ... */
1526 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1527 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1528 emit_arrayindexoutofbounds_check(cd, iptr, s1, s2);
1529 s3 = emit_load_s3(jd, iptr, REG_ITMP3);
1530 M_INTMOVE(s2, REG_ITMP2);
1531 M_ISSL_IMM(2, REG_ITMP2);
1532 M_IADD_IMM(OFFSET(java_intarray_t, data[0]), REG_ITMP2);
1533 M_ADRMOVE(s1, REG_ATMP1);
1534 M_AADDINT(REG_ITMP2, REG_ATMP1);
1535 /* implicit null-pointer check */
1536 M_STWX(REG_ATMP1, s3);
1539 case ICMD_LASTORE: /* ..., arrayref, index, value ==> ... */
1540 s1 = emit_load_s1(jd, iptr, REG_ATMP1);
1541 s2 = emit_load_s2(jd, iptr, REG_ITMP1);
1542 emit_arrayindexoutofbounds_check(cd, iptr, s1, s2);
1544 M_INTMOVE(s2, REG_ITMP1);
1545 M_ISSL_IMM(3, REG_ITMP1);
1546 M_IADD_IMM(OFFSET(java_longarray_t, data[0]), REG_ITMP1);
1547 M_ADRMOVE(s1, REG_ATMP1);
1548 M_AADDINT(REG_ITMP1, REG_ATMP1);
1549 /* implicit null-pointer check */
1550 s3 = emit_load_s3(jd, iptr, REG_ITMP12_PACKED);
1551 M_LST(s3, REG_ATMP1, 0);
1554 case ICMD_FASTORE: /* ..., arrayref, index, value ==> ... */
1555 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1556 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1557 emit_arrayindexoutofbounds_check(cd, iptr, s1, s2);
1558 M_INTMOVE(s2, REG_ITMP2);
1559 M_ISSL_IMM(2, REG_ITMP2);
1560 M_IADD_IMM(OFFSET(java_floatarray_t, data[0]), REG_ITMP2);
1561 M_ADRMOVE(s1, REG_ATMP1);
1562 M_AADDINT(REG_ITMP2, REG_ATMP1);
1563 /* implicit null-pointer check */
1564 #if !defined(ENABLE_SOFTFLOAT)
1565 s3 = emit_load_s3(jd, iptr, REG_FTMP3);
1566 M_FST(s3, REG_ATMP1, 0);
1568 s3 = emit_load_s3(jd, iptr, REG_ITMP3);
1569 M_STWX(REG_ATMP1, s3);
1573 case ICMD_DASTORE: /* ..., arrayref, index, value ==> ... */
1574 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1575 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1576 emit_arrayindexoutofbounds_check(cd, iptr, s1, s2);
1577 M_INTMOVE(s2, REG_ITMP2);
1578 M_ISSL_IMM(3, REG_ITMP2);
1579 M_IADD_IMM(OFFSET(java_doublearray_t, data[0]), REG_ITMP2);
1580 M_ADRMOVE(s1, REG_ATMP1);
1581 M_AADDINT(REG_ITMP2, REG_ATMP1);
1582 /* implicit null-pointer check */
1583 #if !defined(ENABLE_SOFTFLOAT)
1584 s3 = emit_load_s3(jd, iptr, REG_FTMP3);
1585 M_DST(s3, REG_ATMP1, 0);
1587 s3 = emit_load_s3(jd, iptr, REG_ITMP12_PACKED);
1588 /* implicit null-pointer check */
1589 M_LST(s3, REG_ATMP1, 0);
1593 case ICMD_AASTORE: /* ..., arrayref, index, value ==> ... */
1595 s1 = emit_load_s1(jd, iptr, REG_ATMP1);
1596 s2 = emit_load_s2(jd, iptr, REG_ITMP1);
1597 emit_arrayindexoutofbounds_check(cd, iptr, s1, s2);
1598 s3 = emit_load_s3(jd, iptr, REG_ATMP2);
1600 /* XXX what if array is NULL */
1601 disp = dseg_add_functionptr(cd, BUILTIN_FAST_canstore);
1603 M_AST(s1, REG_SP, 0*4);
1604 M_AST(s3, REG_SP, 1*4);
1605 M_JSR_IMM(BUILTIN_FAST_canstore);
1606 emit_arraystore_check(cd, iptr);
1608 s1 = emit_load_s1(jd, iptr, REG_ATMP1);
1609 s2 = emit_load_s2(jd, iptr, REG_ITMP1);
1610 s3 = emit_load_s3(jd, iptr, REG_ATMP2);
1611 M_INTMOVE(s2, REG_ITMP1);
1612 M_ISSL_IMM(2, REG_ITMP1);
1613 M_IADD_IMM(OFFSET(java_objectarray_t, data[0]), REG_ITMP1);
1614 M_ADRMOVE(s1, REG_ATMP1);
1615 M_AADDINT(REG_ITMP1, REG_ATMP1);
1616 /* implicit null-pointer check */
1617 M_STAX(REG_ATMP1, s3);
1622 /* METHOD INVOCATION *********************************************************/
1623 case ICMD_BUILTIN: /* ..., [arg1, [arg2 ...]] ==> ... */
1624 REPLACEMENT_POINT_FORGC_BUILTIN(cd, iptr);
1626 bte = iptr->sx.s23.s3.bte;
1630 case ICMD_INVOKESTATIC: /* ..., [arg1, [arg2 ...]] ==> ... */
1631 case ICMD_INVOKESPECIAL:/* ..., objectref, [arg1, [arg2 ...]] ==> ... */
1632 case ICMD_INVOKEVIRTUAL:/* op1 = arg count, val.a = method pointer */
1633 case ICMD_INVOKEINTERFACE:
1634 REPLACEMENT_POINT_INVOKE(cd, iptr);
1636 if (INSTRUCTION_IS_UNRESOLVED(iptr)) {
1638 um = iptr->sx.s23.s3.um;
1639 md = um->methodref->parseddesc.md;
1642 lm = iptr->sx.s23.s3.fmiref->p.method;
1644 md = lm->parseddesc;
1647 s3 = md->paramcount;
1649 MCODECHECK((s3 << 1) + 64);
1651 /* copy arguments to stack */
1652 for (s3 = s3 - 1; s3 >= 0; s3--) {
1653 var = VAR(iptr->sx.s23.s2.args[s3]);
1654 /* already preallocated */
1655 if (var->flags & PREALLOC) continue;
1657 if (!md->params[s3].inmemory) assert(0);
1659 switch (var->type) {
1660 #if defined(ENABLE_SOFTFLOAT)
1664 d = emit_load(jd, iptr, var, REG_ITMP12_PACKED);
1665 M_LST(d, REG_SP, md->params[s3].regoff);
1667 #if defined(ENABLE_SOFTFLOAT)
1671 d = emit_load(jd, iptr, var, REG_ITMP1);
1672 M_IST(d, REG_SP, md->params[s3].regoff);
1675 d = emit_load(jd, iptr, var, REG_ATMP1);
1676 M_AST(d, REG_SP, md->params[s3].regoff);
1678 #if !defined(ENABLE_SOFTFLOAT)
1680 d = emit_load(jd, iptr, var, REG_FTMP1);
1681 M_FST(d, REG_SP, md->params[s3].regoff);
1684 d = emit_load(jd, iptr, var, REG_FTMP1);
1685 M_DST(d, REG_SP, md->params[s3].regoff);
1693 /* arguments in place now */
1696 disp = (ptrint) bte->fp;
1697 d = md->returntype.type;
1700 REPLACEMENT_POINT_INVOKE_RETURN(cd, iptr);
1701 emit_exception_check(cd, iptr);
1704 case ICMD_INVOKESPECIAL:
1705 /* adress register for sure */
1706 M_ALD(REG_ATMP1, REG_SP, 0);
1707 emit_nullpointer_check(cd, iptr, REG_ATMP1);
1709 case ICMD_INVOKESTATIC:
1711 codegen_addpatchref(cd, PATCHER_invokestatic_special, um, 0);
1713 M_AMOV_IMM(disp, REG_ATMP1);
1715 disp = lm->stubroutine;
1716 M_AMOV_IMM(disp, REG_ATMP1);
1719 /* generate the actual call */
1721 REPLACEMENT_POINT_INVOKE_RETURN(cd, iptr);
1725 case ICMD_INVOKEVIRTUAL:
1727 codegen_addpatchref(cd, PATCHER_invokevirtual, um, 0);
1730 s1 = OFFSET(vftbl_t, table[0]) + sizeof(methodptr) * lm->vftblindex;
1732 /* load object pointer (==argument 0) */
1733 M_ALD(REG_ATMP1, REG_SP, 0);
1734 /* implicit null-pointer check */
1735 M_ALD(REG_METHODPTR, REG_ATMP1, OFFSET(java_object_t, vftbl));
1736 M_ALD(REG_ATMP3, REG_METHODPTR, s1);
1737 /* generate the actual call */
1740 case ICMD_INVOKEINTERFACE:
1742 codegen_addpatchref(cd, PATCHER_invokeinterface, um, 0);
1747 s1 = OFFSET(vftbl_t, interfacetable[0]) - sizeof(methodptr*) * lm->class->index;
1748 s2 = sizeof(methodptr) * (lm - lm->class->methods);
1750 /* load object pointer (==argument 0) */
1751 M_ALD(REG_ATMP1, REG_SP, 0);
1753 /* implicit null-pointer check */
1754 M_ALD(REG_METHODPTR, REG_ATMP1, OFFSET(java_object_t, vftbl));
1755 M_ALD(REG_METHODPTR, REG_METHODPTR, s1);
1756 M_ALD(REG_ATMP3, REG_METHODPTR, s2);
1758 /* generate the actual call */
1760 REPLACEMENT_POINT_INVOKE_RETURN(cd, iptr);
1764 } /* switch (iptr->opc) */
1766 REPLACEMENT_POINT_INVOKE_RETURN(cd, iptr);
1767 REPLACEMENT_POINT_FORGC_BUILTIN_RETURN(cd, iptr);
1769 /* store return value */
1770 d = md->returntype.type;
1773 case TYPE_VOID: break;
1774 #if defined(ENABLE_SOFTFLOAT)
1778 s1 = codegen_reg_of_dst(jd, iptr, REG_RESULT);
1779 M_INTMOVE(REG_RESULT, s1);
1781 #if defined(ENABLE_SOFTFLOAT)
1785 s1 = codegen_reg_of_dst(jd, iptr, REG_RESULT_PACKED);
1786 M_LNGMOVE(REG_RESULT_PACKED, s1);
1789 s1 = codegen_reg_of_dst(jd, iptr, REG_ATMP1);
1790 /* all stuff is returned in %d0 */
1791 M_INT2ADRMOVE(REG_RESULT, s1);
1793 #if !defined(ENABLE_SOFTFLOAT)
1795 * for BUILTINS float values are returned in %d0,%d1
1796 * within cacao we use %fp0 for that.
1799 s1 = codegen_reg_of_dst(jd, iptr, REG_FTMP1);
1800 if (iptr->opc == ICMD_BUILTIN) {
1801 M_INT2FLTMOVE(REG_FRESULT, s1);
1803 M_FLTMOVE(REG_FRESULT, s1);
1807 s1 = codegen_reg_of_dst(jd, iptr, REG_FTMP1);
1808 if (iptr->opc == ICMD_BUILTIN) {
1809 M_LST(REG_RESULT_PACKED, REG_SP, rd->memuse * 4 + 4);
1810 M_DLD(s1, REG_SP, rd->memuse * 4 + 4);
1812 M_DBLMOVE(REG_FRESULT, s1);
1819 if (d != TYPE_VOID) emit_store_dst(jd, iptr, s1);
1820 break; /* ICMD_INVOKE* */
1822 #if defined(ENABLE_SOFTFLOAT)
1825 case ICMD_IRETURN: /* ..., retvalue ==> ... */
1827 REPLACEMENT_POINT_RETURN(cd, iptr);
1828 s1 = emit_load_s1(jd, iptr, REG_RESULT);
1829 M_INTMOVE(s1, REG_RESULT);
1830 goto nowperformreturn;
1832 case ICMD_ARETURN: /* ..., retvalue ==> ... */
1834 REPLACEMENT_POINT_RETURN(cd, iptr);
1835 s1 = emit_load_s1(jd, iptr, REG_RESULT);
1836 assert(VAROP(iptr->s1)->type == TYPE_ADR);
1837 M_ADR2INTMOVE(s1, REG_RESULT);
1839 #ifdef ENABLE_VERIFIER
1840 if (INSTRUCTION_IS_UNRESOLVED(iptr)) {
1841 unresolved_class *uc = iptr->sx.s23.s2.uc;
1843 codegen_addpatchref(cd, PATCHER_resolve_class, uc, 0);
1845 #endif /* ENABLE_VERIFIER */
1846 goto nowperformreturn;
1848 #if defined(ENABLE_SOFTFLOAT)
1851 case ICMD_LRETURN: /* ..., retvalue ==> ... */
1852 REPLACEMENT_POINT_RETURN(cd, iptr);
1853 s1 = emit_load_s1(jd, iptr, REG_RESULT_PACKED);
1854 M_LNGMOVE(s1, REG_RESULT_PACKED);
1855 goto nowperformreturn;
1857 #if !defined(ENABLE_SOFTFLOAT)
1858 case ICMD_FRETURN: /* ..., retvalue ==> ... */
1859 REPLACEMENT_POINT_RETURN(cd, iptr);
1860 s1 = emit_load_s1(jd, iptr, REG_FRESULT);
1861 M_FLTMOVE(s1, REG_FRESULT);
1862 goto nowperformreturn;
1865 REPLACEMENT_POINT_RETURN(cd, iptr);
1866 s1 = emit_load_s1(jd, iptr, REG_FRESULT);
1867 M_DBLMOVE(s1, REG_FRESULT);
1868 goto nowperformreturn;
1872 case ICMD_RETURN: /* ... ==> ... */
1874 REPLACEMENT_POINT_RETURN(cd, iptr);
1880 p = cd->stackframesize;
1882 /* call trace function */
1883 #if !defined(NDEBUG)
1884 emit_verbosecall_exit(jd);
1887 #if defined(ENABLE_THREADS)
1888 /* call lock_monitor_exit */
1889 if (checksync && (m->flags & ACC_SYNCHRONIZED)) {
1890 M_ILD(REG_ITMP3, REG_SP, rd->memuse * 8);
1892 /* we need to save the proper return value */
1893 /* we do not care for the long -> doubel convert space here */
1894 switch (iptr->opc) {
1895 #if defined(ENABLE_SOFTFLOAT)
1899 M_LST(REG_RESULT_PACKED, REG_SP, rd->memuse * 8 + 8);
1901 #if defined(ENABLE_SOFTFLOAT)
1906 M_IST(REG_RESULT , REG_SP, rd->memuse * 8 + 8);
1908 #if !defined(ENABLE_SOFTFLOAT)
1910 M_FST(REG_FRESULT, REG_SP, rd->memuse * 8 + 8);
1913 M_DST(REG_FRESULT, REG_SP, rd->memuse * 8 + 8);
1918 M_IST(REG_ITMP3, REG_SP, 0 * 4);
1919 M_JSR_IMM(LOCK_monitor_exit);
1921 /* and now restore the proper return value */
1922 switch (iptr->opc) {
1924 #if defined(ENABLE_SOFTFLOAT)
1928 M_LLD(REG_RESULT_PACKED, REG_SP, rd->memuse * 8 + 8);
1930 #if defined(ENABLE_SOFTFLOAT)
1935 M_ILD(REG_RESULT , REG_SP, rd->memuse * 8 + 8);
1937 #if !defined(ENABLE_SOFTFLOAT)
1939 M_FLD(REG_FRESULT, REG_SP, rd->memuse * 8 + 8);
1942 M_DLD(REG_FRESULT, REG_SP, rd->memuse * 8 + 8);
1950 /* restore return address */
1952 if (!jd->isleafmethod) {
1953 /* ATTENTION: Don't use REG_ZERO (r0) here, as M_ALD
1954 may have a displacement overflow. */
1956 M_ALD(REG_ITMP1, REG_SP, p * 4 + LA_LR_OFFSET);
1960 /* restore saved registers */
1962 for (i = INT_SAV_CNT - 1; i >= rd->savintreguse; i--) {
1963 p-=8; M_ILD(rd->savintregs[i], REG_SP, p);
1965 for (i=ADR_SAV_CNT-1; i>=rd->savadrreguse; --i) {
1966 p-=8; M_ALD(rd->savadrregs[i], REG_SP, p);
1968 #if !defined(ENABLE_SOFTFLOAT)
1969 for (i = FLT_SAV_CNT - 1; i >= rd->savfltreguse; i--) {
1970 p-=8; M_FLOAD(rd->savfltregs[i], REG_SP, p);
1973 /* deallocate stack */
1974 M_AADD_IMM(cd->stackframesize, REG_SP);
1980 case ICMD_INSTANCEOF: /* ..., objectref ==> ..., intresult */
1981 /* val.a: (classinfo*) superclass */
1983 /* superclass is an interface:
1985 * return (sub != NULL) &&
1986 * (sub->vftbl->interfacetablelength > super->index) &&
1987 * (sub->vftbl->interfacetable[-super->index] != NULL);
1989 * superclass is a class:
1991 * return ((sub != NULL) && (0
1992 * <= (sub->vftbl->baseval - super->vftbl->baseval) <=
1993 * super->vftbl->diffvall));
2000 if (INSTRUCTION_IS_UNRESOLVED(iptr)) {
2005 super = iptr->sx.s23.s3.c.cls;
2006 superindex = super->index;
2009 if ((super == NULL) || !(super->flags & ACC_INTERFACE))
2010 CODEGEN_CRITICAL_SECTION_NEW;
2012 s1 = emit_load_s1(jd, iptr, REG_ATMP1);
2013 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
2015 assert(VAROP(iptr->s1 )->type == TYPE_ADR);
2016 assert(VAROP(iptr->dst)->type == TYPE_INT);
2020 /* if class is not resolved, check which code to call */
2022 if (super == NULL) {
2024 emit_label_beq(cd, BRANCH_LABEL_1);
2026 codegen_addpatchref(cd, PATCHER_resolve_classref_to_flags, iptr->sx.s23.s3.c.ref, 0);
2028 M_IMOV_IMM32(0, REG_ITMP3);
2029 M_IAND_IMM(ACC_INTERFACE, REG_ITMP3);
2030 emit_label_beq(cd, BRANCH_LABEL_2);
2033 /* interface instanceof code */
2035 if ((super == NULL) || (super->flags & ACC_INTERFACE)) {
2036 if (super == NULL) {
2037 codegen_addpatchref(cd, PATCHER_instanceof_interface, iptr->sx.s23.s3.c.ref, 0);
2040 emit_label_beq(cd, BRANCH_LABEL_3);
2043 M_ALD(REG_ATMP1, s1, OFFSET(java_object_t, vftbl));
2044 M_ILD(REG_ITMP3, REG_ATMP1, OFFSET(vftbl_t, interfacetablelength));
2045 M_IADD_IMM(-superindex, REG_ITMP3); /* -superindex may be patched patched */
2048 M_ALD(REG_ATMP1, REG_ATMP1, OFFSET(vftbl_t, interfacetable[0]) - superindex * sizeof(methodptr*)); /* patch here too! */
2054 emit_label_br(cd, BRANCH_LABEL_4);
2056 emit_label(cd, BRANCH_LABEL_3);
2059 /* class instanceof code */
2061 if ((super == NULL) || !(super->flags & ACC_INTERFACE)) {
2062 if (super == NULL) {
2063 emit_label(cd, BRANCH_LABEL_2);
2065 codegen_addpatchref(cd, PATCHER_resolve_classref_to_vftbl, iptr->sx.s23.s3.c.ref, 0);
2066 M_AMOV_IMM(0, REG_ATMP2);
2068 M_AMOV_IMM(super->vftbl, REG_ATMP2);
2070 emit_label_beq(cd, BRANCH_LABEL_5);
2073 M_ALD(REG_ATMP1, s1, OFFSET(java_object_t, vftbl));
2075 CODEGEN_CRITICAL_SECTION_START;
2077 M_ILD(REG_ITMP1, REG_ATMP1, OFFSET(vftbl_t, baseval));
2078 M_ILD(REG_ITMP3, REG_ATMP2, OFFSET(vftbl_t, baseval));
2079 M_ILD(REG_ITMP2, REG_ATMP2, OFFSET(vftbl_t, diffval));
2081 CODEGEN_CRITICAL_SECTION_END;
2083 M_ISUB(REG_ITMP3, REG_ITMP1);
2084 M_ICMP(REG_ITMP2, REG_ITMP1);
2087 M_TPFW; /* overlaps next instruction */
2091 emit_label(cd, BRANCH_LABEL_5);
2094 if (super == NULL) {
2095 emit_label(cd, BRANCH_LABEL_1);
2096 emit_label(cd, BRANCH_LABEL_4);
2099 emit_store_dst(jd, iptr, d);
2103 case ICMD_CHECKCAST: /* ..., objectref ==> ..., objectref */
2104 /* val.a: (classinfo*) superclass */
2106 /* superclass is an interface:
2108 * OK if ((sub == NULL) ||
2109 * (sub->vftbl->interfacetablelength > super->index) &&
2110 * (sub->vftbl->interfacetable[-super->index] != NULL));
2112 * superclass is a class:
2114 * OK if ((sub == NULL) || (0
2115 * <= (sub->vftbl->baseval - super->vftbl->baseval) <=
2116 * super->vftbl->diffvall));
2119 if (!(iptr->flags.bits & INS_FLAG_ARRAY)) {
2120 /* object type cast-check */
2125 if (INSTRUCTION_IS_UNRESOLVED(iptr)) {
2130 super = iptr->sx.s23.s3.c.cls;
2131 superindex = super->index;
2134 if ((super == NULL) || !(super->flags & ACC_INTERFACE))
2135 CODEGEN_CRITICAL_SECTION_NEW;
2137 s1 = emit_load_s1(jd, iptr, REG_ATMP1);
2138 assert(VAROP(iptr->s1)->type == TYPE_ADR);
2140 /* if class is not resolved, check which code to call */
2142 if (super == NULL) {
2144 emit_label_beq(cd, BRANCH_LABEL_1);
2146 codegen_addpatchref(cd, PATCHER_resolve_classref_to_flags, iptr->sx.s23.s3.c.ref, 0);
2148 M_IMOV_IMM32(0, REG_ITMP2);
2149 M_IAND_IMM(ACC_INTERFACE, REG_ITMP2);
2150 emit_label_beq(cd, BRANCH_LABEL_2);
2153 /* interface checkcast code */
2155 if ((super == NULL) || (super->flags & ACC_INTERFACE)) {
2156 if (super == NULL) {
2157 codegen_addpatchref(cd, PATCHER_checkcast_interface, iptr->sx.s23.s3.c.ref, 0);
2160 emit_label_beq(cd, BRANCH_LABEL_3);
2163 M_ALD(REG_ATMP2, s1, OFFSET(java_object_t, vftbl));
2164 M_ILD(REG_ITMP3, REG_ATMP2, OFFSET(vftbl_t, interfacetablelength));
2166 M_IADD_IMM(-superindex, REG_ITMP3); /* superindex patched */
2168 emit_classcast_check(cd, iptr, BRANCH_LE, REG_ITMP3, s1);
2170 M_ALD(REG_ATMP3, REG_ATMP2, OFFSET(vftbl_t, interfacetable[0]) - superindex * sizeof(methodptr*)); /* patched*/
2172 emit_classcast_check(cd, iptr, BRANCH_EQ, REG_ATMP3, s1);
2175 emit_label_br(cd, BRANCH_LABEL_4);
2177 emit_label(cd, BRANCH_LABEL_3);
2180 /* class checkcast code */
2182 if ((super == NULL) || !(super->flags & ACC_INTERFACE)) {
2183 if (super == NULL) {
2184 emit_label(cd, BRANCH_LABEL_2);
2186 codegen_addpatchref(cd, PATCHER_resolve_classref_to_vftbl, iptr->sx.s23.s3.c.ref, 0);
2187 M_AMOV_IMM(0, REG_ATMP3);
2189 M_AMOV_IMM(super->vftbl, REG_ATMP3);
2191 emit_label_beq(cd, BRANCH_LABEL_5);
2194 M_ALD(REG_ATMP2, s1, OFFSET(java_object_t, vftbl));
2196 CODEGEN_CRITICAL_SECTION_START;
2198 M_ILD(REG_ITMP3, REG_ATMP2, OFFSET(vftbl_t, baseval)); /* REG_ITMP3 == sub->vftbl->baseval */
2199 M_ILD(REG_ITMP1, REG_ATMP3, OFFSET(vftbl_t, baseval));
2200 M_ILD(REG_ITMP2, REG_ATMP3, OFFSET(vftbl_t, diffval));
2202 CODEGEN_CRITICAL_SECTION_END;
2204 M_ISUB(REG_ITMP1, REG_ITMP3);
2205 M_ICMP(REG_ITMP2, REG_ITMP3); /* XXX was CMPU */
2207 emit_classcast_check(cd, iptr, BRANCH_UGT, REG_ITMP3, s1); /* XXX was BRANCH_GT */
2210 emit_label(cd, BRANCH_LABEL_5);
2213 if (super == NULL) {
2214 emit_label(cd, BRANCH_LABEL_1);
2215 emit_label(cd, BRANCH_LABEL_4);
2218 d = codegen_reg_of_dst(jd, iptr, s1);
2220 /* array type cast-check */
2222 s1 = emit_load_s1(jd, iptr, REG_ATMP2);
2224 if (INSTRUCTION_IS_UNRESOLVED(iptr)) {
2225 codegen_addpatchref(cd, PATCHER_resolve_classref_to_classinfo, iptr->sx.s23.s3.c.ref, 0);
2226 M_AMOV_IMM(0, REG_ATMP1);
2228 M_AMOV_IMM(iptr->sx.s23.s3.c.cls, REG_ATMP1);
2233 M_JSR_IMM(BUILTIN_arraycheckcast);
2234 M_AADD_IMM(2*4, REG_SP); /* pop arguments off stack */
2236 emit_classcast_check(cd, iptr, BRANCH_EQ, REG_RESULT, s1);
2238 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
2239 d = codegen_reg_of_dst(jd, iptr, s1);
2241 assert(VAROP(iptr->dst)->type == TYPE_ADR);
2243 emit_store_dst(jd, iptr, d);
2246 case ICMD_TABLESWITCH: /* ..., index ==> ... */
2249 branch_target_t *table;
2251 table = iptr->dst.table;
2253 l = iptr->sx.s23.s2.tablelow;
2254 i = iptr->sx.s23.s3.tablehigh;
2256 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
2257 M_INTMOVE(s1, REG_ITMP1);
2258 if (l != 0) M_ISUB_IMM(l, REG_ITMP1);
2263 M_ICMP_IMM(i - 1, REG_ITMP1);
2264 emit_bugt(cd, table[0].block);
2266 /* build jump table top down and use address of lowest entry */
2270 dseg_add_target(cd, table->block);
2274 /* length of dataseg after last dseg_add_target is used by load */
2275 M_AMOV_IMM(0, REG_ATMP2);
2278 M_ISSL_IMM(2, REG_ITMP1); /* index * 4 == offset in table */
2279 M_AADDINT(REG_ITMP1, REG_ATMP2); /* offset in table */
2280 M_AADD_IMM(-(cd->dseglen), REG_ATMP2); /* start of table in dseg */
2281 M_ALD(REG_ATMP1, REG_ATMP2, 0);
2288 case ICMD_LOOKUPSWITCH: /* ..., key ==> ... */
2291 lookup_target_t *lookup;
2293 lookup = iptr->dst.lookup;
2295 i = iptr->sx.s23.s2.lookupcount;
2297 MCODECHECK((i<<2)+8);
2298 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
2301 M_ICMP_IMM(lookup->value, s1);
2302 emit_beq(cd, lookup->target.block);
2306 emit_br(cd, iptr->sx.s23.s3.lookupdefault.block);
2311 case ICMD_MULTIANEWARRAY:/* ..., cnt1, [cnt2, ...] ==> ..., arrayref */
2313 /* check for negative sizes and copy sizes to stack if necessary */
2314 MCODECHECK((iptr->s1.argcount << 1) + 64);
2316 for (s1 = iptr->s1.argcount; --s1 >= 0;) {
2317 var = VAR(iptr->sx.s23.s2.args[s1]);
2319 /* Already Preallocated? */
2320 if (!(var->flags & PREALLOC)) {
2321 s2 = emit_load(jd, iptr, var, REG_ITMP1);
2322 M_IST(s2, REG_SP, (s1 + 3) * 4);
2326 /* a0 = dimension count */
2327 M_IMOV_IMM(iptr->s1.argcount, REG_ITMP1);
2328 M_IST(REG_ITMP1, REG_SP, 0*4);
2330 /* a1 = arraydescriptor */
2331 if (INSTRUCTION_IS_UNRESOLVED(iptr)) {
2332 codegen_addpatchref(cd, PATCHER_resolve_classref_to_classinfo, iptr->sx.s23.s3.c.ref, 0);
2333 M_AMOV_IMM(0, REG_ATMP1);
2335 M_AMOV_IMM(iptr->sx.s23.s3.c.cls, REG_ATMP1);
2337 M_AST(REG_ATMP1, REG_SP, 1*4);
2339 /* a2 = pointer to dimensions = stack pointer */
2340 M_AMOV(REG_SP, REG_ATMP1);
2341 M_AADD_IMM(3*4, REG_ATMP1);
2342 M_AST(REG_ATMP1, REG_SP, 2*4);
2344 M_JSR_IMM(BUILTIN_multianewarray);
2346 /* check for exception before result assignment */
2347 emit_exception_check(cd, iptr);
2349 assert(VAROP(iptr->dst)->type == TYPE_ADR);
2350 d = codegen_reg_of_dst(jd, iptr, REG_RESULT);
2351 M_INT2ADRMOVE(REG_RESULT, d);
2352 emit_store_dst(jd, iptr, d);
2358 printf("UNKNOWN OPCODE %d\n", iptr->opc);
2359 exceptions_throw_internalerror("Unknown ICMD %d during code generation", iptr->opc);
2362 /* M_TPF; */ /* nop after each ICMD */
2363 } /* for each instruction */
2365 /* At the end of a basic block we may have to append some nops,
2366 because the patcher stub calling code might be longer than the
2367 actual instruction. So codepatching does not change the
2368 following block unintentionally. */
2370 if (cd->mcodeptr < cd->lastmcodeptr) {
2371 while (cd->mcodeptr < cd->lastmcodeptr) {
2377 } /* if (btpre->flags >= BBREACHED) */
2378 } /* for each basic block */
2380 dseg_createlinenumbertable(cd);
2382 /* generate stubs */
2383 emit_patcher_stubs(jd);
2389 /* codegen_emit_stub_compiler **************************************************
2391 Emits a stub routine which calls the compiler.
2393 *******************************************************************************/
2395 void codegen_emit_stub_compiler(jitdata *jd)
2400 /* get required compiler data */
2405 /* code for the stub */
2407 M_AMOV_IMM(m, REG_ATMP1);
2408 M_AMOV_IMM(asm_call_jit_compiler, REG_ATMP3);
2412 /* codegen_emit_stub_builtin ***************************************************
2414 Creates a stub routine which calls a builtin function.
2416 *******************************************************************************/
2418 void codegen_emit_stub_builtin(jitdata *jd, builtintable_entry *bte)
2427 /* get required compiler data */
2431 /* set some variables */
2434 /* calculate stack frame size */
2435 cd->stackframesize =
2436 sizeof(stackframeinfo) / SIZEOF_VOID_P +
2437 4; /* 4 arguments or return value */
2439 /* create method header */
2440 (void) dseg_add_unique_address(cd, code); /* CodeinfoPointer */
2441 (void) dseg_add_unique_s4(cd, cd->stackframesize * 4); /* FrameSize */
2442 (void) dseg_add_unique_s4(cd, 0); /* IsSync */
2443 (void) dseg_add_unique_s4(cd, 0); /* IsLeaf */
2444 (void) dseg_add_unique_s4(cd, 0); /* IntSave */
2445 (void) dseg_add_unique_s4(cd, 0); /* FltSave */
2446 (void) dseg_addlinenumbertablesize(cd);
2447 (void) dseg_add_unique_s4(cd, 0); /* ExTableSize */
2449 /* generate stub code */
2450 M_AADD_IMM(-(cd->stackframesize*4), REG_SP);
2452 #if defined(ENABLE_GC_CACAO)
2453 /* Save callee saved integer registers in stackframeinfo (GC may
2454 need to recover them during a collection). */
2456 disp = cd->stackframesize * 4 - sizeof(stackframeinfo) +
2457 OFFSET(stackframeinfo, adrregs);
2459 for (i = 0; i < ADR_SAV_CNT; i++)
2460 M_AST(abi_registers_address_saved[i], REG_SP, disp + i * 4);
2463 /* create dynamic stack info */
2465 M_AMOV(REG_SP, REG_ATMP1);
2466 M_AADD_IMM(cd->stackframesize * 4, REG_ATMP1);
2467 M_AST(REG_ATMP1, REG_SP, 0 * 4); /* datasp */
2469 M_AMOV_IMM(0, REG_ATMP1); /* we need pv patched in */
2470 dseg_adddata(cd); /* this does the trick */
2471 M_AST(REG_ATMP1, REG_SP, 1 * 4); /* pv */
2473 M_AMOV(REG_SP, REG_ATMP1);
2474 M_AADD_IMM(cd->stackframesize * 4 + SIZEOF_VOID_P, REG_ATMP1);
2475 M_AST(REG_ATMP1, REG_SP, 2 * 4); /* sp */
2477 M_ALD(REG_ATMP3, REG_SP, cd->stackframesize * 4);
2478 M_AST(REG_ATMP3, REG_SP, 3 * 4); /* ra */
2480 M_JSR_IMM(codegen_stub_builtin_enter);
2482 /* copy arguments into new stackframe */
2484 for (i = 0; i < md->paramcount; i++) {
2485 if (!md->params[i].inmemory) {
2486 log_text("No integer argument registers available!");
2489 } else { /* float/double in memory can be copied like int/longs */
2490 s1 = md->params[i].regoff + cd->stackframesize * 4 + 4;
2491 s2 = md->params[i].regoff;
2493 M_ILD(REG_ITMP1, REG_SP, s1);
2494 M_IST(REG_ITMP1, REG_SP, s2);
2495 if (IS_2_WORD_TYPE(md->paramtypes[i].type)) {
2496 M_ILD(REG_ITMP1, REG_SP, s1 + 4);
2497 M_IST(REG_ITMP1, REG_SP, s2 + 4);
2503 /* call the builtin function */
2505 M_AMOV_IMM(bte->fp, REG_ATMP3);
2508 /* save return value */
2509 switch (md->returntype.type) {
2510 case TYPE_VOID: break;
2512 /* natives return float arguments in %d0, %d1, cacao expects them in %fp0 */
2515 M_IST(REG_D1, REG_SP, 2 * 4);
2521 M_IST(REG_D0, REG_SP, 1 * 4);
2527 /* remove native stackframe info */
2529 M_AMOV(REG_SP, REG_ATMP1);
2530 M_AADD_IMM(cd->stackframesize * 4, REG_ATMP1);
2531 M_AST(REG_ATMP1, REG_SP, 0 * 4);
2533 M_JSR_IMM(codegen_stub_builtin_exit);
2535 /* restore return value */
2536 switch (md->returntype.type) {
2537 case TYPE_VOID: break;
2541 M_ILD(REG_D1, REG_SP, 2 * 4);
2547 M_ILD(REG_D0, REG_SP, 1 * 4);
2553 #if defined(ENABLE_GC_CACAO)
2554 /* Restore callee saved integer registers from stackframeinfo (GC
2555 might have modified them during a collection). */
2557 disp = cd->stackframesize * 4 - sizeof(stackframeinfo) +
2558 OFFSET(stackframeinfo, adrregs);
2560 for (i = 0; i < ADR_SAV_CNT; i++)
2561 M_ALD(abi_registers_address_saved[i], REG_SP, disp + i * 4);
2564 /* remove stackframe */
2565 M_AADD_IMM(cd->stackframesize * 4, REG_SP);
2572 /* codegen_emit_stub_native ****************************************************
2574 Emits a stub routine which calls a native method.
2576 *******************************************************************************/
2578 void codegen_emit_stub_native(jitdata *jd, methoddesc *nmd, functionptr f)
2585 s4 nativeparams, i, j, t, s1, s2;
2587 /* get required compiler data */
2595 nativeparams = (m->flags & ACC_STATIC) ? 2 : 1;
2597 /* calc stackframe size */
2598 cd->stackframesize = sizeof(stackframeinfo) / SIZEOF_VOID_P +
2599 sizeof(localref_table) / SIZEOF_VOID_P +
2601 1 + /* functionptr */
2602 4; /* args for codegen_start_native_call */
2604 /* create method header */
2605 (void) dseg_add_unique_address(cd, code); /* CodeinfoPointer */
2606 (void) dseg_add_unique_s4(cd, cd->stackframesize * 4); /* FrameSize */
2607 (void) dseg_add_unique_s4(cd, 0); /* IsSync */
2608 (void) dseg_add_unique_s4(cd, 0); /* IsLeaf */
2609 (void) dseg_add_unique_s4(cd, 0); /* IntSave */
2610 (void) dseg_add_unique_s4(cd, 0); /* FltSave */
2611 (void) dseg_addlinenumbertablesize(cd);
2612 (void) dseg_add_unique_s4(cd, 0); /* ExTableSize */
2614 /* print call trace */
2615 #if !defined(NDEBUG)
2616 if (JITDATA_HAS_FLAG_VERBOSECALL(jd)) {
2617 emit_verbosecall_enter(jd);
2622 M_AADD_IMM(-(cd->stackframesize*4), REG_SP);
2624 /* get function address (this must happen before the stackframeinfo) */
2625 #if !defined(WITH_STATIC_CLASSPATH)
2627 codegen_addpatchref(cd, PATCHER_resolve_native_function, m, 0);
2630 M_AMOV_IMM(f, REG_ATMP2); /* do not move this line, the patcher is needed */
2632 M_AST(REG_ATMP2, REG_SP, 4 * 4);
2634 /* put arguments for codegen_start_native_call onto stack */
2635 /* void codegen_start_native_call(u1 *datasp, u1 *pv, u1 *sp, u1 *ra) */
2637 M_AMOV(REG_SP, REG_ATMP1);
2638 M_AADD_IMM(cd->stackframesize * 4, REG_ATMP1);
2640 M_ALD(REG_ATMP3, REG_ATMP1, 0 * 4);
2641 M_AST(REG_ATMP3, REG_SP, 3 * 4); /* ra */
2643 M_AST(REG_ATMP1, REG_SP, 0 * 4); /* datasp */
2645 M_AADD_IMM(1 * 4 , REG_ATMP1);
2646 M_AST(REG_ATMP1, REG_SP, 2 * 4); /* sp */
2648 M_AMOV_IMM(0, REG_ATMP2); /* 0 needs to patched */
2649 dseg_adddata(cd); /* this patches it */
2651 M_AST(REG_ATMP2, REG_SP, 1 * 4); /* pv */
2653 M_JSR_IMM(codegen_start_native_call);
2655 /* load function pointer */
2656 M_ALD(REG_ATMP2, REG_SP, 4 * 4);
2658 /* copy arguments into stackframe */
2659 for (i = md->paramcount -1, j = i + nativeparams; i >= 0; --i, --j) {
2660 t = md->paramtypes[i].type;
2661 /* all arguments via stack */
2662 assert(md->params[i].inmemory);
2664 s1 = md->params[i].regoff + cd->stackframesize * 4 + 4;
2665 s2 = nmd->params[j].regoff;
2667 /* simply copy argument stack */
2668 M_ILD(REG_ITMP1, REG_SP, s1);
2669 M_IST(REG_ITMP1, REG_SP, s2);
2670 if (IS_2_WORD_TYPE(t)) {
2671 M_ILD(REG_ITMP1, REG_SP, s1 + 4);
2672 M_IST(REG_ITMP1, REG_SP, s2 + 4);
2676 /* for static function class as second arg */
2677 if (m->flags & ACC_STATIC) {
2678 M_AMOV_IMM(m->class, REG_ATMP1);
2679 M_AST(REG_ATMP1, REG_SP, 1 * 4);
2681 /* env ist first argument */
2682 M_AMOV_IMM(_Jv_env, REG_ATMP1);
2683 M_AST(REG_ATMP1, REG_SP, 0 * 4);
2685 /* call the native function */
2688 /* save return value */
2689 switch (md->returntype.type) {
2690 case TYPE_VOID: break;
2692 /* natives return float arguments in %d0, %d1, cacao expects them in %fp0 */
2695 M_IST(REG_D1, REG_SP, 2 * 4);
2701 M_IST(REG_D0, REG_SP, 1 * 4);
2707 /* print call trace */
2708 #if ! defined(NDEBUG)
2709 if (JITDATA_HAS_FLAG_VERBOSECALL(jd)) {
2710 emit_verbosecall_exit(jd);
2713 /* remove native stackframe info */
2714 /* therefore we call: java_objectheader *codegen_finish_native_call(u1 *datasp) */
2716 M_AMOV(REG_SP, REG_ATMP3);
2717 M_AADD_IMM(cd->stackframesize * 4, REG_ATMP3);
2718 M_AST(REG_ATMP3, REG_SP, 0 * 4); /* datasp */
2719 M_JSR_IMM(codegen_finish_native_call);
2721 M_INT2ADRMOVE(REG_RESULT, REG_ATMP1);
2722 /* restore return value */
2723 switch (md->returntype.type) {
2724 case TYPE_VOID: break;
2728 M_ILD(REG_D1, REG_SP, 2 * 4);
2733 M_ILD(REG_D0, REG_SP, 1 * 4);
2738 #if !defined(ENABLE_SOFTFLOAT)
2739 /* additionally load values into floating points registers
2740 * as cacao jit code expects them there */
2741 switch (md->returntype.type) {
2743 M_FLD(REG_D0, REG_SP, 1 * 4);
2746 M_DLD(REG_D0, REG_SP, 1 * 4);
2750 /* restore saved registers */
2752 M_AADD_IMM(cd->stackframesize*4, REG_SP);
2753 /* check for exception */
2758 /* handle exception, REG_ATMP1 already contains exception object, REG_ATMP2 holds address */
2760 M_ALD(REG_ATMP2_XPC, REG_SP, 0); /* take return address as faulting instruction */
2761 M_AADD_IMM(-2, REG_ATMP2_XPC); /* which is off by 2 */
2762 M_JMP_IMM(asm_handle_nat_exception);
2764 /* should never be reached from within jit code*/
2767 /* generate patcher stub call code */
2768 emit_patcher_stubs(jd);
2773 * These are local overrides for various environment variables in Emacs.
2774 * Please do not remove this and leave it at the end of the file, where
2775 * Emacs will automagically detect them.
2776 * ---------------------------------------------------------------------
2779 * indent-tabs-mode: t
2783 * vim:noexpandtab:sw=4:ts=4: