1 /* src/vm/jit/powerpc/codegen.c - machine code generator for 32-bit PowerPC
3 Copyright (C) 1996-2005, 2006 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
25 Contact: cacao@cacaojvm.org
27 Authors: Andreas Krall
30 Changes: Christian Thalinger
34 $Id: codegen.c 5633 2006-10-02 13:59:13Z edwin $
49 #include "vm/jit/powerpc/arch.h"
50 #include "vm/jit/powerpc/codegen.h"
52 #include "mm/memory.h"
53 #include "native/native.h"
55 #if defined(ENABLE_THREADS)
56 # include "threads/native/lock.h"
59 #include "vm/builtin.h"
60 #include "vm/exceptions.h"
61 #include "vm/global.h"
62 #include "vm/loader.h"
63 #include "vm/options.h"
64 #include "vm/stringlocal.h"
66 #include "vm/jit/abi-asm.h"
67 #include "vm/jit/asmpart.h"
68 #include "vm/jit/codegen-common.h"
69 #include "vm/jit/dseg.h"
70 #include "vm/jit/emit-common.h"
71 #include "vm/jit/jit.h"
72 #include "vm/jit/methodheader.h"
73 #include "vm/jit/parse.h"
74 #include "vm/jit/patcher.h"
75 #include "vm/jit/reg.h"
76 #include "vm/jit/replace.h"
78 #if defined(ENABLE_LSRA)
79 # include "vm/jit/allocator/lsra.h"
83 /* codegen *********************************************************************
85 Generates machine code.
87 *******************************************************************************/
89 bool codegen(jitdata *jd)
95 s4 len, s1, s2, s3, d, disp;
98 varinfo *var, *var1, *var2;
103 methodinfo *lm; /* local methodinfo for ICMD_INVOKE* */
104 unresolved_method *um;
105 builtintable_entry *bte;
107 rplpoint *replacementpoint;
110 /* get required compiler data */
117 /* prevent compiler warnings */
129 /* space to save used callee saved registers */
131 savedregs_num += (INT_SAV_CNT - rd->savintreguse);
132 savedregs_num += (FLT_SAV_CNT - rd->savfltreguse) * 2;
134 cd->stackframesize = rd->memuse + savedregs_num;
136 #if defined(ENABLE_THREADS)
137 /* Space to save argument of monitor_enter and Return Values to
138 survive monitor_exit. The stack position for the argument can
139 not be shared with place to save the return register on PPC,
140 since both values reside in R3. */
142 if (checksync && (m->flags & ACC_SYNCHRONIZED)) {
143 /* reserve 2 slots for long/double return values for monitorexit */
145 if (IS_2_WORD_TYPE(m->parseddesc->returntype.type))
146 cd->stackframesize += 3;
148 cd->stackframesize += 2;
153 /* create method header */
155 /* align stack to 16-bytes */
157 if (!jd->isleafmethod || JITDATA_HAS_FLAG_VERBOSECALL(jd))
158 cd->stackframesize = (cd->stackframesize + 3) & ~3;
160 else if (jd->isleafmethod && (cd->stackframesize == LA_SIZE_IN_POINTERS))
161 cd->stackframesize = 0;
163 (void) dseg_add_unique_address(cd, code); /* CodeinfoPointer */
164 (void) dseg_add_unique_s4(cd, cd->stackframesize * 4); /* FrameSize */
166 #if defined(ENABLE_THREADS)
167 /* IsSync contains the offset relative to the stack pointer for the
168 argument of monitor_exit used in the exception handler. Since the
169 offset could be zero and give a wrong meaning of the flag it is
173 if (checksync && (m->flags & ACC_SYNCHRONIZED))
174 (void) dseg_add_unique_s4(cd, (rd->memuse + 1) * 4);/* IsSync */
177 (void) dseg_add_unique_s4(cd, 0); /* IsSync */
179 (void) dseg_add_unique_s4(cd, jd->isleafmethod); /* IsLeaf */
180 (void) dseg_add_unique_s4(cd, INT_SAV_CNT - rd->savintreguse); /* IntSave */
181 (void) dseg_add_unique_s4(cd, FLT_SAV_CNT - rd->savfltreguse); /* FltSave */
183 dseg_addlinenumbertablesize(cd);
185 (void) dseg_add_unique_s4(cd, cd->exceptiontablelength); /* ExTableSize */
187 /* create exception table */
189 for (ex = cd->exceptiontable; ex != NULL; ex = ex->down) {
190 dseg_add_target(cd, ex->start);
191 dseg_add_target(cd, ex->end);
192 dseg_add_target(cd, ex->handler);
193 (void) dseg_add_unique_address(cd, ex->catchtype.any);
196 /* generate method profiling code */
198 if (JITDATA_HAS_FLAG_INSTRUMENT(jd)) {
199 /* count frequency */
201 M_ALD(REG_ITMP1, REG_PV, CodeinfoPointer);
202 M_ALD(REG_ITMP2, REG_ITMP1, OFFSET(codeinfo, frequency));
203 M_IADD_IMM(REG_ITMP2, 1, REG_ITMP2);
204 M_AST(REG_ITMP2, REG_ITMP1, OFFSET(codeinfo, frequency));
206 /* PROFILE_CYCLE_START; */
209 /* create stack frame (if necessary) */
211 if (!jd->isleafmethod) {
213 M_AST(REG_ZERO, REG_SP, LA_LR_OFFSET);
216 if (cd->stackframesize)
217 M_STWU(REG_SP, REG_SP, -(cd->stackframesize * 4));
219 /* save return address and used callee saved registers */
221 p = cd->stackframesize;
222 for (i = INT_SAV_CNT - 1; i >= rd->savintreguse; i--) {
223 p--; M_IST(rd->savintregs[i], REG_SP, p * 4);
225 for (i = FLT_SAV_CNT - 1; i >= rd->savfltreguse; i--) {
226 p -= 2; M_DST(rd->savfltregs[i], REG_SP, p * 4);
229 /* take arguments out of register or stack frame */
233 for (p = 0, l = 0; p < md->paramcount; p++) {
234 t = md->paramtypes[p].type;
235 varindex = jd->local_map[l * 5 + t];
238 if (IS_2_WORD_TYPE(t)) /* increment local counter for 2 word types */
241 if (varindex == UNUSED)
246 s1 = md->params[p].regoff;
247 if (IS_INT_LNG_TYPE(t)) { /* integer args */
248 if (IS_2_WORD_TYPE(t))
249 s2 = PACK_REGS(rd->argintregs[GET_LOW_REG(s1)],
250 rd->argintregs[GET_HIGH_REG(s1)]);
252 s2 = rd->argintregs[s1];
253 if (!md->params[p].inmemory) { /* register arguments */
254 if (!IS_INMEMORY(var->flags)) { /* reg arg -> register */
255 if (IS_2_WORD_TYPE(t))
256 M_LNGMOVE(s2, var->vv.regoff);
258 M_INTMOVE(s2, var->vv.regoff);
260 } else { /* reg arg -> spilled */
261 if (IS_2_WORD_TYPE(t))
262 M_LST(s2, REG_SP, var->vv.regoff * 4);
264 M_IST(s2, REG_SP, var->vv.regoff * 4);
267 } else { /* stack arguments */
268 if (!IS_INMEMORY(var->flags)) { /* stack arg -> register */
269 if (IS_2_WORD_TYPE(t))
270 M_LLD(var->vv.regoff, REG_SP, (cd->stackframesize + s1) * 4);
272 M_ILD(var->vv.regoff, REG_SP, (cd->stackframesize + s1) * 4);
274 } else { /* stack arg -> spilled */
276 M_ILD(REG_ITMP1, REG_SP, (cd->stackframesize + s1) * 4);
277 M_IST(REG_ITMP1, REG_SP, var->vv.regoff * 4);
278 if (IS_2_WORD_TYPE(t)) {
279 M_ILD(REG_ITMP1, REG_SP, (cd->stackframesize + s1) * 4 +4);
280 M_IST(REG_ITMP1, REG_SP, var->vv.regoff * 4 + 4);
283 /* Reuse Memory Position on Caller Stack */
284 var->vv.regoff = cd->stackframesize + s1;
289 } else { /* floating args */
290 if (!md->params[p].inmemory) { /* register arguments */
291 s2 = rd->argfltregs[s1];
292 if (!IS_INMEMORY(var->flags)) { /* reg arg -> register */
293 M_FLTMOVE(s2, var->vv.regoff);
295 } else { /* reg arg -> spilled */
296 if (IS_2_WORD_TYPE(t))
297 M_DST(s2, REG_SP, var->vv.regoff * 4);
299 M_FST(s2, REG_SP, var->vv.regoff * 4);
302 } else { /* stack arguments */
303 if (!IS_INMEMORY(var->flags)) { /* stack-arg -> register */
304 if (IS_2_WORD_TYPE(t))
305 M_DLD(var->vv.regoff, REG_SP, (cd->stackframesize + s1) * 4);
308 M_FLD(var->vv.regoff, REG_SP, (cd->stackframesize + s1) * 4);
310 } else { /* stack-arg -> spilled */
312 if (IS_2_WORD_TYPE(t)) {
313 M_DLD(REG_FTMP1, REG_SP, (cd->stackframesize + s1) * 4);
314 M_DST(REG_FTMP1, REG_SP, var->vv.regoff * 4);
315 var->vv.regoff = cd->stackframesize + s1;
318 M_FLD(REG_FTMP1, REG_SP, (cd->stackframesize + s1) * 4);
319 M_FST(REG_FTMP1, REG_SP, var->vv.regoff * 4);
322 /* Reuse Memory Position on Caller Stack */
323 var->vv.regoff = cd->stackframesize + s1;
330 #if defined(ENABLE_THREADS)
331 /* call monitorenter function */
333 if (checksync && (m->flags & ACC_SYNCHRONIZED)) {
334 /* stack offset for monitor argument */
338 # if !defined(NDEBUG)
339 if (JITDATA_HAS_FLAG_VERBOSECALL(jd)) {
340 M_AADD_IMM(REG_SP, -((LA_SIZE_IN_POINTERS + ARG_CNT) * 8), REG_SP);
342 for (p = 0; p < INT_ARG_CNT; p++)
343 M_IST(rd->argintregs[p], REG_SP, LA_SIZE + p * 8);
345 for (p = 0; p < FLT_ARG_CNT; p++)
346 M_DST(rd->argfltregs[p], REG_SP, LA_SIZE + (INT_ARG_CNT + p) * 8);
348 /* ATTENTION: We multiply here with 2, because we use * 8
349 above for simplicity and below * 4! */
351 s1 += (LA_SIZE_IN_POINTERS + ARG_CNT) * 2;
355 p = dseg_add_functionptr(cd, LOCK_monitor_enter);
356 M_ALD(REG_ITMP3, REG_PV, p);
359 /* get or test the lock object */
361 if (m->flags & ACC_STATIC) {
362 p = dseg_add_address(cd, &m->class->object.header);
363 M_ALD(REG_A0, REG_PV, p);
368 codegen_add_nullpointerexception_ref(cd);
371 M_AST(REG_A0, REG_SP, s1 * 4);
374 # if !defined(NDEBUG)
375 if (JITDATA_HAS_FLAG_VERBOSECALL(jd)) {
376 for (p = 0; p < INT_ARG_CNT; p++)
377 M_ILD(rd->argintregs[p], REG_SP, LA_SIZE + p * 8);
379 for (p = 0; p < FLT_ARG_CNT; p++)
380 M_DLD(rd->argfltregs[p], REG_SP, LA_SIZE + (INT_ARG_CNT + p) * 8);
382 M_AADD_IMM(REG_SP, (LA_SIZE_IN_POINTERS + ARG_CNT) * 8, REG_SP);
386 #endif /* defined(ENABLE_THREADS) */
388 /* call trace function */
390 if (JITDATA_HAS_FLAG_VERBOSECALL(jd))
391 emit_verbosecall_enter(jd);
394 /* end of header generation */
396 replacementpoint = code->rplpoints;
398 /* walk through all basic blocks */
400 for (bptr = jd->new_basicblocks; bptr != NULL; bptr = bptr->next) {
402 bptr->mpc = (s4) (cd->mcodeptr - cd->mcodebase);
404 if (bptr->flags >= BBREACHED) {
406 /* branch resolving */
410 for (brefs = bptr->branchrefs; brefs != NULL; brefs = brefs->next) {
411 gen_resolvebranch((u1*) cd->mcodebase + brefs->branchpos,
417 /* handle replacement points */
419 if (bptr->bitflags & BBFLAG_REPLACEMENT) {
420 replacementpoint->pc = (u1*)(ptrint)bptr->mpc; /* will be resolved later */
425 /* generate basicblock profiling code */
427 if (JITDATA_HAS_FLAG_INSTRUMENT(jd)) {
428 /* count frequency */
430 disp = dseg_add_address(cd, code->bbfrequency);
431 M_ALD(REG_ITMP2, REG_PV, disp);
432 M_ALD(REG_ITMP3, REG_ITMP2, bptr->nr * 4);
433 M_IADD_IMM(REG_ITMP3, 1, REG_ITMP3);
434 M_AST(REG_ITMP3, REG_ITMP2, bptr->nr * 4);
436 /* if this is an exception handler, start profiling again */
438 /* if (bptr->type == BBTYPE_EXH) */
439 /* PROFILE_CYCLE_START; */
442 /* copy interface registers to their destination */
447 #if defined(ENABLE_LSRA)
449 while (src != NULL) {
451 if ((len == 0) && (bptr->type != BBTYPE_STD)) {
452 /* d = reg_of_var(m, src, REG_ITMP1); */
453 if (!IS_INMEMORY(src->flags))
457 M_INTMOVE(REG_ITMP1, d);
458 emit_store(jd, NULL, src, d);
466 var = VAR(bptr->invars[len]);
467 if ((len == bptr->indepth-1) && (bptr->type != BBTYPE_STD)) {
468 d = codegen_reg_of_var(0, var, REG_ITMP1);
469 M_INTMOVE(REG_ITMP1, d);
470 emit_store(jd, NULL, var, d);
473 assert((var->flags & INOUT));
477 #if defined(ENABLE_LSRA)
480 /* walk through all instructions */
485 for (iptr = bptr->iinstr; len > 0; len--, iptr++) {
486 if (iptr->line != currentline) {
487 dseg_addlinenumber(cd, iptr->line);
488 currentline = iptr->line;
491 MCODECHECK(64); /* an instruction usually needs < 64 words */
494 case ICMD_NOP: /* ... ==> ... */
495 case ICMD_INLINE_START:
496 case ICMD_INLINE_END:
499 case ICMD_CHECKNULL: /* ..., objectref ==> ..., objectref */
501 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
504 codegen_add_nullpointerexception_ref(cd);
507 /* constant operations ************************************************/
509 case ICMD_ICONST: /* ... ==> ..., constant */
511 d = codegen_reg_of_dst(jd, iptr, REG_ITMP1);
512 ICONST(d, iptr->sx.val.i);
513 emit_store_dst(jd, iptr, d);
516 case ICMD_LCONST: /* ... ==> ..., constant */
518 d = codegen_reg_of_dst(jd, iptr, REG_ITMP12_PACKED);
519 LCONST(d, iptr->sx.val.l);
520 emit_store_dst(jd, iptr, d);
523 case ICMD_FCONST: /* ... ==> ..., constant */
525 d = codegen_reg_of_dst(jd, iptr, REG_FTMP1);
526 a = dseg_add_float(cd, iptr->sx.val.f);
528 emit_store_dst(jd, iptr, d);
531 case ICMD_DCONST: /* ... ==> ..., constant */
533 d = codegen_reg_of_dst(jd, iptr, REG_FTMP1);
534 a = dseg_add_double(cd, iptr->sx.val.d);
536 emit_store_dst(jd, iptr, d);
539 case ICMD_ACONST: /* ... ==> ..., constant */
541 d = codegen_reg_of_dst(jd, iptr, REG_ITMP1);
543 if (INSTRUCTION_IS_UNRESOLVED(iptr)) {
544 constant_classref *cr = iptr->sx.val.c.ref;;
546 disp = dseg_add_unique_address(cd, cr);
548 codegen_addpatchref(cd, PATCHER_resolve_classref_to_classinfo,
551 if (opt_showdisassemble)
555 disp = dseg_add_address(cd, iptr->sx.val.anyptr);
557 M_ALD(d, REG_PV, disp);
558 emit_store_dst(jd, iptr, d);
562 /* load/store/copy/move operations ************************************/
564 case ICMD_ILOAD: /* ... ==> ..., content of local variable */
565 case ICMD_ALOAD: /* s1 = local variable */
569 case ICMD_ISTORE: /* ..., value ==> ... */
570 case ICMD_ASTORE: /* dst = local variable */
577 emit_copy(jd, iptr, VAROP(iptr->s1), VAROP(iptr->dst));
581 /* pop operations *****************************************************/
583 /* attention: double and longs are only one entry in CACAO ICMDs */
585 case ICMD_POP: /* ..., value ==> ... */
586 case ICMD_POP2: /* ..., value, value ==> ... */
591 /* integer operations *************************************************/
593 case ICMD_INEG: /* ..., value ==> ..., - value */
595 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
596 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
598 emit_store_dst(jd, iptr, d);
601 case ICMD_LNEG: /* ..., value ==> ..., - value */
603 s1 = emit_load_s1(jd, iptr, REG_ITMP12_PACKED);
604 d = codegen_reg_of_dst(jd, iptr, REG_ITMP12_PACKED);
605 M_SUBFIC(GET_LOW_REG(s1), 0, GET_LOW_REG(d));
606 M_SUBFZE(GET_HIGH_REG(s1), GET_HIGH_REG(d));
607 emit_store_dst(jd, iptr, d);
610 case ICMD_I2L: /* ..., value ==> ..., value */
612 s1 = emit_load_s1(jd, iptr, REG_ITMP2);
613 d = codegen_reg_of_dst(jd, iptr, REG_ITMP12_PACKED);
614 M_INTMOVE(s1, GET_LOW_REG(d));
615 M_SRA_IMM(GET_LOW_REG(d), 31, GET_HIGH_REG(d));
616 emit_store_dst(jd, iptr, d);
619 case ICMD_L2I: /* ..., value ==> ..., value */
621 s1 = emit_load_s1_low(jd, iptr, REG_ITMP2);
622 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
624 emit_store_dst(jd, iptr, d);
627 case ICMD_INT2BYTE: /* ..., value ==> ..., value */
629 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
630 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
632 emit_store_dst(jd, iptr, d);
635 case ICMD_INT2CHAR: /* ..., value ==> ..., value */
637 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
638 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
640 emit_store_dst(jd, iptr, d);
643 case ICMD_INT2SHORT: /* ..., value ==> ..., value */
645 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
646 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
648 emit_store_dst(jd, iptr, d);
652 case ICMD_IADD: /* ..., val1, val2 ==> ..., val1 + val2 */
654 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
655 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
656 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
658 emit_store_dst(jd, iptr, d);
661 case ICMD_IADDCONST: /* ..., value ==> ..., value + constant */
662 /* sx.val.i = constant */
664 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
665 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
666 if ((iptr->sx.val.i >= -32768) && (iptr->sx.val.i <= 32767)) {
667 M_IADD_IMM(s1, iptr->sx.val.i, d);
669 ICONST(REG_ITMP2, iptr->sx.val.i);
670 M_IADD(s1, REG_ITMP2, d);
672 emit_store_dst(jd, iptr, d);
675 case ICMD_LADD: /* ..., val1, val2 ==> ..., val1 + val2 */
677 s1 = emit_load_s1_low(jd, iptr, REG_ITMP1);
678 s2 = emit_load_s2_low(jd, iptr, REG_ITMP2);
679 d = codegen_reg_of_dst(jd, iptr, REG_ITMP12_PACKED);
680 M_ADDC(s1, s2, GET_LOW_REG(d));
681 s1 = emit_load_s1_high(jd, iptr, REG_ITMP1);
682 s2 = emit_load_s2_high(jd, iptr, REG_ITMP3);/* don't use REG_ITMP2*/
683 M_ADDE(s1, s2, GET_HIGH_REG(d));
684 emit_store_dst(jd, iptr, d);
687 case ICMD_LADDCONST: /* ..., value ==> ..., value + constant */
688 /* sx.val.l = constant */
690 s3 = iptr->sx.val.l & 0xffffffff;
691 s1 = emit_load_s1_low(jd, iptr, REG_ITMP1);
692 d = codegen_reg_of_dst(jd, iptr, REG_ITMP12_PACKED);
693 if ((s3 >= -32768) && (s3 <= 32767))
694 M_ADDIC(s1, s3, GET_LOW_REG(d));
696 ICONST(REG_ITMP2, s3);
697 M_ADDC(s1, REG_ITMP2, GET_LOW_REG(d));
699 s1 = emit_load_s1_high(jd, iptr, REG_ITMP1);
700 s3 = iptr->sx.val.l >> 32;
702 M_ADDME(s1, GET_HIGH_REG(d));
704 M_ADDZE(s1, GET_HIGH_REG(d));
706 ICONST(REG_ITMP3, s3); /* don't use REG_ITMP2 */
707 M_ADDE(s1, REG_ITMP3, GET_HIGH_REG(d));
709 emit_store_dst(jd, iptr, d);
712 case ICMD_ISUB: /* ..., val1, val2 ==> ..., val1 - val2 */
714 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
715 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
716 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
718 emit_store_dst(jd, iptr, d);
721 case ICMD_ISUBCONST: /* ..., value ==> ..., value + constant */
722 /* sx.val.i = constant */
724 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
725 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
726 if ((iptr->sx.val.i >= -32767) && (iptr->sx.val.i <= 32768))
727 M_IADD_IMM(s1, -iptr->sx.val.i, d);
729 ICONST(REG_ITMP2, iptr->sx.val.i);
730 M_ISUB(s1, REG_ITMP2, d);
732 emit_store_dst(jd, iptr, d);
735 case ICMD_LSUB: /* ..., val1, val2 ==> ..., val1 - val2 */
737 s1 = emit_load_s1_low(jd, iptr, REG_ITMP1);
738 s2 = emit_load_s2_low(jd, iptr, REG_ITMP2);
739 d = codegen_reg_of_dst(jd, iptr, REG_ITMP12_PACKED);
740 M_SUBC(s1, s2, GET_LOW_REG(d));
741 s1 = emit_load_s1_high(jd, iptr, REG_ITMP1);
742 s2 = emit_load_s2_high(jd, iptr, REG_ITMP3);/* don't use REG_ITMP2*/
743 M_SUBE(s1, s2, GET_HIGH_REG(d));
744 emit_store_dst(jd, iptr, d);
747 case ICMD_LSUBCONST: /* ..., value ==> ..., value - constant */
748 /* sx.val.l = constant */
750 s3 = (-iptr->sx.val.l) & 0xffffffff;
751 s1 = emit_load_s1_low(jd, iptr, REG_ITMP1);
752 d = codegen_reg_of_dst(jd, iptr, REG_ITMP12_PACKED);
753 if ((s3 >= -32768) && (s3 <= 32767)) {
754 M_ADDIC(s1, s3, GET_LOW_REG(d));
756 ICONST(REG_ITMP2, s3);
757 M_ADDC(s1, REG_ITMP2, GET_LOW_REG(d));
759 s1 = emit_load_s1_high(jd, iptr, REG_ITMP1);
760 s3 = (-iptr->sx.val.l) >> 32;
762 M_ADDME(s1, GET_HIGH_REG(d));
764 M_ADDZE(s1, GET_HIGH_REG(d));
766 ICONST(REG_ITMP3, s3); /* don't use REG_ITMP2 */
767 M_ADDE(s1, REG_ITMP3, GET_HIGH_REG(d));
769 emit_store_dst(jd, iptr, d);
772 case ICMD_IDIV: /* ..., val1, val2 ==> ..., val1 / val2 */
774 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
775 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
776 d = codegen_reg_of_dst(jd, iptr, REG_ITMP1);
779 codegen_add_arithmeticexception_ref(cd);
780 M_LDAH(REG_ITMP3, REG_ZERO, 0x8000);
781 M_CMP(REG_ITMP3, s1);
782 M_BNE(3 + (s1 != d));
784 M_BNE(1 + (s1 != d));
788 emit_store_dst(jd, iptr, d);
791 case ICMD_IREM: /* ..., val1, val2 ==> ..., val1 % val2 */
793 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
794 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
795 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
798 codegen_add_arithmeticexception_ref(cd);
799 M_LDAH(REG_ITMP3, REG_ZERO, 0x8000);
800 M_CMP(REG_ITMP3, s1);
806 M_IDIV(s1, s2, REG_ITMP3);
807 M_IMUL(REG_ITMP3, s2, REG_ITMP3);
808 M_ISUB(s1, REG_ITMP3, d);
809 emit_store_dst(jd, iptr, d);
812 case ICMD_LDIV: /* ..., val1, val2 ==> ..., val1 / val2 */
813 case ICMD_LREM: /* ..., val1, val2 ==> ..., val1 % val2 */
815 bte = iptr->sx.s23.s3.bte;
818 s2 = emit_load_s2(jd, iptr, REG_ITMP12_PACKED);
819 M_OR_TST(GET_HIGH_REG(s2), GET_LOW_REG(s2), REG_ITMP3);
821 codegen_add_arithmeticexception_ref(cd);
823 disp = dseg_add_functionptr(cd, bte->fp);
824 M_ALD(REG_ITMP3, REG_PV, disp);
827 s3 = PACK_REGS(rd->argintregs[GET_LOW_REG(md->params[1].regoff)],
828 rd->argintregs[GET_HIGH_REG(md->params[1].regoff)]);
831 s1 = emit_load_s1(jd, iptr, REG_ITMP12_PACKED);
832 s3 = PACK_REGS(rd->argintregs[GET_LOW_REG(md->params[0].regoff)],
833 rd->argintregs[GET_HIGH_REG(md->params[0].regoff)]);
838 d = codegen_reg_of_dst(jd, iptr, REG_RESULT_PACKED);
839 M_LNGMOVE(REG_RESULT_PACKED, d);
840 emit_store_dst(jd, iptr, d);
843 case ICMD_IMUL: /* ..., val1, val2 ==> ..., val1 * val2 */
845 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
846 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
847 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
849 emit_store_dst(jd, iptr, d);
852 case ICMD_IMULCONST: /* ..., value ==> ..., value * constant */
853 /* sx.val.i = constant */
855 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
856 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
857 if ((iptr->sx.val.i >= -32768) && (iptr->sx.val.i <= 32767))
858 M_IMUL_IMM(s1, iptr->sx.val.i, d);
860 ICONST(REG_ITMP3, iptr->sx.val.i);
861 M_IMUL(s1, REG_ITMP3, d);
863 emit_store_dst(jd, iptr, d);
866 case ICMD_IDIVPOW2: /* ..., value ==> ..., value << constant */
868 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
869 d = codegen_reg_of_dst(jd, iptr, REG_ITMP3);
870 M_SRA_IMM(s1, iptr->sx.val.i, d);
872 emit_store_dst(jd, iptr, d);
875 case ICMD_ISHL: /* ..., val1, val2 ==> ..., val1 << val2 */
877 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
878 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
879 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
880 M_AND_IMM(s2, 0x1f, REG_ITMP3);
881 M_SLL(s1, REG_ITMP3, d);
882 emit_store_dst(jd, iptr, d);
885 case ICMD_ISHLCONST: /* ..., value ==> ..., value << constant */
886 /* sx.val.i = constant */
888 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
889 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
890 M_SLL_IMM(s1, iptr->sx.val.i & 0x1f, d);
891 emit_store_dst(jd, iptr, d);
894 case ICMD_ISHR: /* ..., val1, val2 ==> ..., val1 >> val2 */
896 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
897 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
898 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
899 M_AND_IMM(s2, 0x1f, REG_ITMP3);
900 M_SRA(s1, REG_ITMP3, d);
901 emit_store_dst(jd, iptr, d);
904 case ICMD_ISHRCONST: /* ..., value ==> ..., value >> constant */
905 /* sx.val.i = constant */
907 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
908 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
909 M_SRA_IMM(s1, iptr->sx.val.i & 0x1f, d);
910 emit_store_dst(jd, iptr, d);
913 case ICMD_IUSHR: /* ..., val1, val2 ==> ..., val1 >>> val2 */
915 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
916 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
917 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
918 M_AND_IMM(s2, 0x1f, REG_ITMP2);
919 M_SRL(s1, REG_ITMP2, d);
920 emit_store_dst(jd, iptr, d);
923 case ICMD_IUSHRCONST: /* ..., value ==> ..., value >>> constant */
924 /* sx.val.i = constant */
926 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
927 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
928 if (iptr->sx.val.i & 0x1f)
929 M_SRL_IMM(s1, iptr->sx.val.i & 0x1f, d);
933 emit_store_dst(jd, iptr, d);
936 case ICMD_IAND: /* ..., val1, val2 ==> ..., val1 & val2 */
938 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
939 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
940 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
942 emit_store_dst(jd, iptr, d);
945 case ICMD_IANDCONST: /* ..., value ==> ..., value & constant */
946 /* sx.val.i = constant */
948 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
949 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
950 if ((iptr->sx.val.i >= 0) && (iptr->sx.val.i <= 65535))
951 M_AND_IMM(s1, iptr->sx.val.i, d);
953 else if (iptr->sx.val.i == 0xffffff) {
954 M_RLWINM(s1, 0, 8, 31, d);
958 ICONST(REG_ITMP3, iptr->sx.val.i);
959 M_AND(s1, REG_ITMP3, d);
961 emit_store_dst(jd, iptr, d);
964 case ICMD_LAND: /* ..., val1, val2 ==> ..., val1 & val2 */
966 s1 = emit_load_s1_low(jd, iptr, REG_ITMP1);
967 s2 = emit_load_s2_low(jd, iptr, REG_ITMP2);
968 d = codegen_reg_of_dst(jd, iptr, REG_ITMP12_PACKED);
969 M_AND(s1, s2, GET_LOW_REG(d));
970 s1 = emit_load_s1_high(jd, iptr, REG_ITMP1);
971 s2 = emit_load_s2_high(jd, iptr, REG_ITMP3);/* don't use REG_ITMP2*/
972 M_AND(s1, s2, GET_HIGH_REG(d));
973 emit_store_dst(jd, iptr, d);
976 case ICMD_LANDCONST: /* ..., value ==> ..., value & constant */
977 /* sx.val.l = constant */
979 s3 = iptr->sx.val.l & 0xffffffff;
980 s1 = emit_load_s1_low(jd, iptr, REG_ITMP1);
981 d = codegen_reg_of_dst(jd, iptr, REG_ITMP12_PACKED);
982 if ((s3 >= 0) && (s3 <= 65535))
983 M_AND_IMM(s1, s3, GET_LOW_REG(d));
985 ICONST(REG_ITMP3, s3);
986 M_AND(s1, REG_ITMP3, GET_LOW_REG(d));
988 s1 = emit_load_s1_high(jd, iptr, REG_ITMP1);
989 s3 = iptr->sx.val.l >> 32;
990 if ((s3 >= 0) && (s3 <= 65535))
991 M_AND_IMM(s1, s3, GET_HIGH_REG(d));
993 ICONST(REG_ITMP3, s3); /* don't use REG_ITMP2 */
994 M_AND(s1, REG_ITMP3, GET_HIGH_REG(d));
996 emit_store_dst(jd, iptr, d);
999 case ICMD_IREMPOW2: /* ..., value ==> ..., value % constant */
1000 /* sx.val.i = constant */
1002 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1003 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
1004 M_MOV(s1, REG_ITMP2);
1006 M_BGE(1 + 2*(iptr->sx.val.i >= 32768));
1007 if (iptr->sx.val.i >= 32768) {
1008 M_ADDIS(REG_ZERO, iptr->sx.val.i >> 16, REG_ITMP2);
1009 M_OR_IMM(REG_ITMP2, iptr->sx.val.i, REG_ITMP2);
1010 M_IADD(s1, REG_ITMP2, REG_ITMP2);
1013 M_IADD_IMM(s1, iptr->sx.val.i, REG_ITMP2);
1016 int b=0, m = iptr->sx.val.i;
1019 M_RLWINM(REG_ITMP2, 0, 0, 30-b, REG_ITMP2);
1021 M_ISUB(s1, REG_ITMP2, d);
1022 emit_store_dst(jd, iptr, d);
1025 case ICMD_IOR: /* ..., val1, val2 ==> ..., val1 | val2 */
1027 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1028 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1029 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
1031 emit_store_dst(jd, iptr, d);
1034 case ICMD_IORCONST: /* ..., value ==> ..., value | constant */
1035 /* sx.val.i = constant */
1037 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1038 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
1039 if ((iptr->sx.val.i >= 0) && (iptr->sx.val.i <= 65535))
1040 M_OR_IMM(s1, iptr->sx.val.i, d);
1042 ICONST(REG_ITMP3, iptr->sx.val.i);
1043 M_OR(s1, REG_ITMP3, d);
1045 emit_store_dst(jd, iptr, d);
1048 case ICMD_LOR: /* ..., val1, val2 ==> ..., val1 | val2 */
1050 s1 = emit_load_s1_low(jd, iptr, REG_ITMP1);
1051 s2 = emit_load_s2_low(jd, iptr, REG_ITMP2);
1052 d = codegen_reg_of_dst(jd, iptr, REG_ITMP12_PACKED);
1053 M_OR(s1, s2, GET_LOW_REG(d));
1054 s1 = emit_load_s1_high(jd, iptr, REG_ITMP1);
1055 s2 = emit_load_s2_high(jd, iptr, REG_ITMP3);/* don't use REG_ITMP2*/
1056 M_OR(s1, s2, GET_HIGH_REG(d));
1057 emit_store_dst(jd, iptr, d);
1060 case ICMD_LORCONST: /* ..., value ==> ..., value | constant */
1061 /* sx.val.l = constant */
1063 s3 = iptr->sx.val.l & 0xffffffff;
1064 s1 = emit_load_s1_low(jd, iptr, REG_ITMP1);
1065 d = codegen_reg_of_dst(jd, iptr, REG_ITMP12_PACKED);
1066 if ((s3 >= 0) && (s3 <= 65535))
1067 M_OR_IMM(s1, s3, GET_LOW_REG(d));
1069 ICONST(REG_ITMP3, s3);
1070 M_OR(s1, REG_ITMP3, GET_LOW_REG(d));
1072 s1 = emit_load_s1_high(jd, iptr, REG_ITMP1);
1073 s3 = iptr->sx.val.l >> 32;
1074 if ((s3 >= 0) && (s3 <= 65535))
1075 M_OR_IMM(s1, s3, GET_HIGH_REG(d));
1077 ICONST(REG_ITMP3, s3); /* don't use REG_ITMP2 */
1078 M_OR(s1, REG_ITMP3, GET_HIGH_REG(d));
1080 emit_store_dst(jd, iptr, d);
1083 case ICMD_IXOR: /* ..., val1, val2 ==> ..., val1 ^ 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);
1089 emit_store_dst(jd, iptr, d);
1092 case ICMD_IXORCONST: /* ..., value ==> ..., value ^ constant */
1093 /* sx.val.i = constant */
1095 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1096 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
1097 if ((iptr->sx.val.i >= 0) && (iptr->sx.val.i <= 65535))
1098 M_XOR_IMM(s1, iptr->sx.val.i, d);
1100 ICONST(REG_ITMP3, iptr->sx.val.i);
1101 M_XOR(s1, REG_ITMP3, d);
1103 emit_store_dst(jd, iptr, d);
1106 case ICMD_LXOR: /* ..., val1, val2 ==> ..., val1 ^ val2 */
1108 s1 = emit_load_s1_low(jd, iptr, REG_ITMP1);
1109 s2 = emit_load_s2_low(jd, iptr, REG_ITMP2);
1110 d = codegen_reg_of_dst(jd, iptr, REG_ITMP12_PACKED);
1111 M_XOR(s1, s2, GET_LOW_REG(d));
1112 s1 = emit_load_s1_high(jd, iptr, REG_ITMP1);
1113 s2 = emit_load_s2_high(jd, iptr, REG_ITMP3);/* don't use REG_ITMP2*/
1114 M_XOR(s1, s2, GET_HIGH_REG(d));
1115 emit_store_dst(jd, iptr, d);
1118 case ICMD_LXORCONST: /* ..., value ==> ..., value ^ constant */
1119 /* sx.val.l = constant */
1121 s3 = iptr->sx.val.l & 0xffffffff;
1122 s1 = emit_load_s1_low(jd, iptr, REG_ITMP1);
1123 d = codegen_reg_of_dst(jd, iptr, REG_ITMP12_PACKED);
1124 if ((s3 >= 0) && (s3 <= 65535))
1125 M_XOR_IMM(s1, s3, GET_LOW_REG(d));
1127 ICONST(REG_ITMP3, s3);
1128 M_XOR(s1, REG_ITMP3, GET_LOW_REG(d));
1130 s1 = emit_load_s1_high(jd, iptr, REG_ITMP1);
1131 s3 = iptr->sx.val.l >> 32;
1132 if ((s3 >= 0) && (s3 <= 65535))
1133 M_XOR_IMM(s1, s3, GET_HIGH_REG(d));
1135 ICONST(REG_ITMP3, s3); /* don't use REG_ITMP2 */
1136 M_XOR(s1, REG_ITMP3, GET_HIGH_REG(d));
1138 emit_store_dst(jd, iptr, d);
1141 case ICMD_LCMP: /* ..., val1, val2 ==> ..., val1 cmp val2 */
1142 /*******************************************************************
1143 TODO: CHANGE THIS TO A VERSION THAT WORKS !!!
1144 *******************************************************************/
1145 s1 = emit_load_s1_high(jd, iptr, REG_ITMP3);
1146 s2 = emit_load_s2_high(jd, iptr, REG_ITMP2);
1147 d = codegen_reg_of_dst(jd, iptr, REG_ITMP1);
1149 int tempreg = false;
1153 var1 = VAROP(iptr->s1);
1154 var2 = VAROP(iptr->sx.s23.s2);
1156 if (IS_INMEMORY(var1->flags)) {
1157 tempreg = tempreg || (d == REG_ITMP3) || (d == REG_ITMP2);
1159 tempreg = tempreg || (d == GET_HIGH_REG(var1->vv.regoff))
1160 || (d == GET_LOW_REG(var1->vv.regoff));
1162 if (IS_INMEMORY(var2->flags)) {
1163 tempreg = tempreg || (d == REG_ITMP3) || (d == REG_ITMP2);
1165 tempreg = tempreg || (d == GET_HIGH_REG(var2->vv.regoff))
1166 || (d == GET_LOW_REG(var2->vv.regoff));
1169 dreg = tempreg ? REG_ITMP1 : d;
1170 M_IADD_IMM(REG_ZERO, 1, dreg);
1175 s1 = emit_load_s1_low(jd, iptr, REG_ITMP3);
1176 s2 = emit_load_s2_low(jd, iptr, REG_ITMP2);
1180 M_IADD_IMM(dreg, -1, dreg);
1181 M_IADD_IMM(dreg, -1, dreg);
1182 gen_resolvebranch(br1, br1, cd->mcodeptr);
1183 gen_resolvebranch(br1 + 1 * 4, br1 + 1 * 4, cd->mcodeptr - 2 * 4);
1186 emit_store_dst(jd, iptr, d);
1189 case ICMD_IINC: /* ..., value ==> ..., value + constant */
1190 /* s1.localindex = variable, sx.val.i = constant*/
1192 d = codegen_reg_of_dst(jd, iptr, REG_ITMP1);
1193 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1196 u4 m = iptr->sx.val.i;
1200 M_ADDIS(s1, m >> 16, d);
1202 M_IADD_IMM(s1, m & 0xffff, d);
1204 emit_store_dst(jd, iptr, d);
1208 /* floating operations ************************************************/
1210 case ICMD_FNEG: /* ..., value ==> ..., - value */
1212 s1 = emit_load_s1(jd, iptr, REG_FTMP1);
1213 d = codegen_reg_of_dst(jd, iptr, REG_FTMP3);
1215 emit_store_dst(jd, iptr, d);
1218 case ICMD_DNEG: /* ..., value ==> ..., - value */
1220 s1 = emit_load_s1(jd, iptr, REG_FTMP1);
1221 d = codegen_reg_of_dst(jd, iptr, REG_FTMP3);
1223 emit_store_dst(jd, iptr, d);
1226 case ICMD_FADD: /* ..., val1, val2 ==> ..., val1 + val2 */
1228 s1 = emit_load_s1(jd, iptr, REG_FTMP1);
1229 s2 = emit_load_s2(jd, iptr, REG_FTMP2);
1230 d = codegen_reg_of_dst(jd, iptr, REG_FTMP3);
1232 emit_store_dst(jd, iptr, d);
1235 case ICMD_DADD: /* ..., val1, val2 ==> ..., val1 + val2 */
1237 s1 = emit_load_s1(jd, iptr, REG_FTMP1);
1238 s2 = emit_load_s2(jd, iptr, REG_FTMP2);
1239 d = codegen_reg_of_dst(jd, iptr, REG_FTMP3);
1241 emit_store_dst(jd, iptr, d);
1244 case ICMD_FSUB: /* ..., val1, val2 ==> ..., val1 - val2 */
1246 s1 = emit_load_s1(jd, iptr, REG_FTMP1);
1247 s2 = emit_load_s2(jd, iptr, REG_FTMP2);
1248 d = codegen_reg_of_dst(jd, iptr, REG_FTMP3);
1250 emit_store_dst(jd, iptr, d);
1253 case ICMD_DSUB: /* ..., 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);
1259 emit_store_dst(jd, iptr, d);
1262 case ICMD_FMUL: /* ..., val1, val2 ==> ..., val1 * val2 */
1264 s1 = emit_load_s1(jd, iptr, REG_FTMP1);
1265 s2 = emit_load_s2(jd, iptr, REG_FTMP2);
1266 d = codegen_reg_of_dst(jd, iptr, REG_FTMP3);
1268 emit_store_dst(jd, iptr, d);
1271 case ICMD_DMUL: /* ..., val1, val2 ==> ..., val1 * val2 */
1273 s1 = emit_load_s1(jd, iptr, REG_FTMP1);
1274 s2 = emit_load_s2(jd, iptr, REG_FTMP2);
1275 d = codegen_reg_of_dst(jd, iptr, REG_FTMP3);
1277 emit_store_dst(jd, iptr, d);
1280 case ICMD_FDIV: /* ..., val1, val2 ==> ..., val1 / val2 */
1282 s1 = emit_load_s1(jd, iptr, REG_FTMP1);
1283 s2 = emit_load_s2(jd, iptr, REG_FTMP2);
1284 d = codegen_reg_of_dst(jd, iptr, REG_FTMP3);
1286 emit_store_dst(jd, iptr, d);
1289 case ICMD_DDIV: /* ..., val1, val2 ==> ..., val1 / val2 */
1291 s1 = emit_load_s1(jd, iptr, REG_FTMP1);
1292 s2 = emit_load_s2(jd, iptr, REG_FTMP2);
1293 d = codegen_reg_of_dst(jd, iptr, REG_FTMP3);
1295 emit_store_dst(jd, iptr, d);
1298 case ICMD_F2I: /* ..., value ==> ..., (int) value */
1301 s1 = emit_load_s1(jd, iptr, REG_FTMP1);
1302 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
1304 disp = dseg_add_float(cd, 0.0);
1305 M_FLD(REG_FTMP2, REG_PV, disp);
1306 M_FCMPU(s1, REG_FTMP2);
1308 disp = dseg_add_unique_s4(cd, 0);
1309 M_CVTDL_C(s1, REG_FTMP1);
1310 M_LDA(REG_ITMP1, REG_PV, disp);
1311 M_STFIWX(REG_FTMP1, 0, REG_ITMP1);
1312 M_ILD(d, REG_PV, disp);
1313 emit_store_dst(jd, iptr, d);
1316 case ICMD_F2D: /* ..., value ==> ..., (double) value */
1318 s1 = emit_load_s1(jd, iptr, REG_FTMP1);
1319 d = codegen_reg_of_dst(jd, iptr, REG_FTMP3);
1321 emit_store_dst(jd, iptr, d);
1324 case ICMD_D2F: /* ..., value ==> ..., (double) value */
1326 s1 = emit_load_s1(jd, iptr, REG_FTMP1);
1327 d = codegen_reg_of_dst(jd, iptr, REG_FTMP3);
1329 emit_store_dst(jd, iptr, d);
1332 case ICMD_FCMPL: /* ..., val1, val2 ==> ..., val1 fcmpg val2 */
1333 case ICMD_DCMPL: /* == => 0, < => 1, > => -1 */
1336 s1 = emit_load_s1(jd, iptr, REG_FTMP1);
1337 s2 = emit_load_s2(jd, iptr, REG_FTMP2);
1338 d = codegen_reg_of_dst(jd, iptr, REG_ITMP1);
1340 M_IADD_IMM(REG_ZERO, -1, d);
1343 M_IADD_IMM(REG_ZERO, 0, d);
1345 M_IADD_IMM(REG_ZERO, 1, d);
1346 emit_store_dst(jd, iptr, d);
1349 case ICMD_FCMPG: /* ..., val1, val2 ==> ..., val1 fcmpl val2 */
1350 case ICMD_DCMPG: /* == => 0, < => 1, > => -1 */
1352 s1 = emit_load_s1(jd, iptr, REG_FTMP1);
1353 s2 = emit_load_s2(jd, iptr, REG_FTMP2);
1354 d = codegen_reg_of_dst(jd, iptr, REG_ITMP1);
1356 M_IADD_IMM(REG_ZERO, 1, d);
1359 M_IADD_IMM(REG_ZERO, 0, d);
1361 M_IADD_IMM(REG_ZERO, -1, d);
1362 emit_store_dst(jd, iptr, d);
1365 case ICMD_IF_FCMPEQ: /* ..., value, value ==> ... */
1366 case ICMD_IF_DCMPEQ:
1368 s1 = emit_load_s1(jd, iptr, REG_FTMP1);
1369 s2 = emit_load_s2(jd, iptr, REG_FTMP2);
1373 codegen_addreference(cd, iptr->dst.block);
1376 case ICMD_IF_FCMPNE: /* ..., value, value ==> ... */
1377 case ICMD_IF_DCMPNE:
1379 s1 = emit_load_s1(jd, iptr, REG_FTMP1);
1380 s2 = emit_load_s2(jd, iptr, REG_FTMP2);
1383 codegen_addreference(cd, iptr->dst.block);
1385 codegen_addreference(cd, iptr->dst.block);
1389 case ICMD_IF_FCMPL_LT: /* ..., value, value ==> ... */
1390 case ICMD_IF_DCMPL_LT:
1392 s1 = emit_load_s1(jd, iptr, REG_FTMP1);
1393 s2 = emit_load_s2(jd, iptr, REG_FTMP2);
1396 codegen_addreference(cd, iptr->dst.block);
1398 codegen_addreference(cd, iptr->dst.block);
1401 case ICMD_IF_FCMPL_GT: /* ..., value, value ==> ... */
1402 case ICMD_IF_DCMPL_GT:
1404 s1 = emit_load_s1(jd, iptr, REG_FTMP1);
1405 s2 = emit_load_s2(jd, iptr, REG_FTMP2);
1409 codegen_addreference(cd, iptr->dst.block);
1412 case ICMD_IF_FCMPL_LE: /* ..., value, value ==> ... */
1413 case ICMD_IF_DCMPL_LE:
1415 s1 = emit_load_s1(jd, iptr, REG_FTMP1);
1416 s2 = emit_load_s2(jd, iptr, REG_FTMP2);
1419 codegen_addreference(cd, iptr->dst.block);
1421 codegen_addreference(cd, iptr->dst.block);
1424 case ICMD_IF_FCMPL_GE: /* ..., value, value ==> ... */
1425 case ICMD_IF_DCMPL_GE:
1427 s1 = emit_load_s1(jd, iptr, REG_FTMP1);
1428 s2 = emit_load_s2(jd, iptr, REG_FTMP2);
1432 codegen_addreference(cd, iptr->dst.block);
1435 case ICMD_IF_FCMPG_LT: /* ..., value, value ==> ... */
1436 case ICMD_IF_DCMPG_LT:
1438 s1 = emit_load_s1(jd, iptr, REG_FTMP1);
1439 s2 = emit_load_s2(jd, iptr, REG_FTMP2);
1443 codegen_addreference(cd, iptr->dst.block);
1446 case ICMD_IF_FCMPG_GT: /* ..., value, value ==> ... */
1447 case ICMD_IF_DCMPG_GT:
1449 s1 = emit_load_s1(jd, iptr, REG_FTMP1);
1450 s2 = emit_load_s2(jd, iptr, REG_FTMP2);
1453 codegen_addreference(cd, iptr->dst.block);
1455 codegen_addreference(cd, iptr->dst.block);
1458 case ICMD_IF_FCMPG_LE: /* ..., value, value ==> ... */
1459 case ICMD_IF_DCMPG_LE:
1461 s1 = emit_load_s1(jd, iptr, REG_FTMP1);
1462 s2 = emit_load_s2(jd, iptr, REG_FTMP2);
1466 codegen_addreference(cd, iptr->dst.block);
1469 case ICMD_IF_FCMPG_GE: /* ..., value, value ==> ... */
1470 case ICMD_IF_DCMPG_GE:
1472 s1 = emit_load_s1(jd, iptr, REG_FTMP1);
1473 s2 = emit_load_s2(jd, iptr, REG_FTMP2);
1476 codegen_addreference(cd, iptr->dst.block);
1478 codegen_addreference(cd, iptr->dst.block);
1482 /* memory operations **************************************************/
1484 case ICMD_ARRAYLENGTH: /* ..., arrayref ==> ..., length */
1486 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1487 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
1488 gen_nullptr_check(s1);
1489 M_ILD(d, s1, OFFSET(java_arrayheader, size));
1490 emit_store_dst(jd, iptr, d);
1493 case ICMD_BALOAD: /* ..., arrayref, index ==> ..., value */
1495 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1496 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1497 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
1498 if (INSTRUCTION_MUST_CHECK(iptr)) {
1499 gen_nullptr_check(s1);
1502 M_IADD_IMM(s2, OFFSET(java_chararray, data[0]), REG_ITMP2);
1503 M_LBZX(d, s1, REG_ITMP2);
1505 emit_store_dst(jd, iptr, d);
1508 case ICMD_CALOAD: /* ..., arrayref, index ==> ..., value */
1510 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1511 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1512 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
1513 if (INSTRUCTION_MUST_CHECK(iptr)) {
1514 gen_nullptr_check(s1);
1517 M_SLL_IMM(s2, 1, REG_ITMP2);
1518 M_IADD_IMM(REG_ITMP2, OFFSET(java_chararray, data[0]), REG_ITMP2);
1519 M_LHZX(d, s1, REG_ITMP2);
1520 emit_store_dst(jd, iptr, d);
1523 case ICMD_SALOAD: /* ..., arrayref, index ==> ..., value */
1525 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1526 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1527 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
1528 if (INSTRUCTION_MUST_CHECK(iptr)) {
1529 gen_nullptr_check(s1);
1532 M_SLL_IMM(s2, 1, REG_ITMP2);
1533 M_IADD_IMM(REG_ITMP2, OFFSET(java_shortarray, data[0]), REG_ITMP2);
1534 M_LHAX(d, s1, REG_ITMP2);
1535 emit_store_dst(jd, iptr, d);
1538 case ICMD_IALOAD: /* ..., arrayref, index ==> ..., value */
1540 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1541 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1542 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
1543 if (INSTRUCTION_MUST_CHECK(iptr)) {
1544 gen_nullptr_check(s1);
1547 M_SLL_IMM(s2, 2, REG_ITMP2);
1548 M_IADD_IMM(REG_ITMP2, OFFSET(java_intarray, data[0]), REG_ITMP2);
1549 M_LWZX(d, s1, REG_ITMP2);
1550 emit_store_dst(jd, iptr, d);
1553 case ICMD_LALOAD: /* ..., arrayref, index ==> ..., value */
1555 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1556 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1557 d = codegen_reg_of_dst(jd, iptr, REG_ITMP12_PACKED);
1558 if (INSTRUCTION_MUST_CHECK(iptr)) {
1559 gen_nullptr_check(s1);
1562 M_SLL_IMM(s2, 3, REG_ITMP2);
1563 M_IADD(s1, REG_ITMP2, REG_ITMP2);
1564 M_LLD_INTERN(d, REG_ITMP2, OFFSET(java_longarray, data[0]));
1565 emit_store_dst(jd, iptr, d);
1568 case ICMD_FALOAD: /* ..., arrayref, index ==> ..., value */
1570 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1571 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1572 d = codegen_reg_of_dst(jd, iptr, REG_FTMP1);
1573 if (INSTRUCTION_MUST_CHECK(iptr)) {
1574 gen_nullptr_check(s1);
1577 M_SLL_IMM(s2, 2, REG_ITMP2);
1578 M_IADD_IMM(REG_ITMP2, OFFSET(java_floatarray, data[0]), REG_ITMP2);
1579 M_LFSX(d, s1, REG_ITMP2);
1580 emit_store_dst(jd, iptr, d);
1583 case ICMD_DALOAD: /* ..., arrayref, index ==> ..., value */
1585 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1586 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1587 d = codegen_reg_of_dst(jd, iptr, REG_FTMP1);
1588 if (INSTRUCTION_MUST_CHECK(iptr)) {
1589 gen_nullptr_check(s1);
1592 M_SLL_IMM(s2, 3, REG_ITMP2);
1593 M_IADD_IMM(REG_ITMP2, OFFSET(java_doublearray, data[0]), REG_ITMP2);
1594 M_LFDX(d, s1, REG_ITMP2);
1595 emit_store_dst(jd, iptr, d);
1598 case ICMD_AALOAD: /* ..., arrayref, index ==> ..., value */
1600 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1601 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1602 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
1603 if (INSTRUCTION_MUST_CHECK(iptr)) {
1604 gen_nullptr_check(s1);
1607 M_SLL_IMM(s2, 2, REG_ITMP2);
1608 M_IADD_IMM(REG_ITMP2, OFFSET(java_objectarray, data[0]), REG_ITMP2);
1609 M_LWZX(d, s1, REG_ITMP2);
1610 emit_store_dst(jd, iptr, d);
1614 case ICMD_BASTORE: /* ..., arrayref, index, value ==> ... */
1616 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1617 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1618 if (INSTRUCTION_MUST_CHECK(iptr)) {
1619 gen_nullptr_check(s1);
1622 s3 = emit_load_s3(jd, iptr, REG_ITMP3);
1623 M_IADD_IMM(s2, OFFSET(java_bytearray, data[0]), REG_ITMP2);
1624 M_STBX(s3, s1, REG_ITMP2);
1627 case ICMD_CASTORE: /* ..., arrayref, index, value ==> ... */
1629 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1630 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1631 if (INSTRUCTION_MUST_CHECK(iptr)) {
1632 gen_nullptr_check(s1);
1635 s3 = emit_load_s3(jd, iptr, REG_ITMP3);
1636 M_SLL_IMM(s2, 1, REG_ITMP2);
1637 M_IADD_IMM(REG_ITMP2, OFFSET(java_chararray, data[0]), REG_ITMP2);
1638 M_STHX(s3, s1, REG_ITMP2);
1641 case ICMD_SASTORE: /* ..., arrayref, index, value ==> ... */
1643 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1644 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1645 if (INSTRUCTION_MUST_CHECK(iptr)) {
1646 gen_nullptr_check(s1);
1649 s3 = emit_load_s3(jd, iptr, REG_ITMP3);
1650 M_SLL_IMM(s2, 1, REG_ITMP2);
1651 M_IADD_IMM(REG_ITMP2, OFFSET(java_shortarray, data[0]), REG_ITMP2);
1652 M_STHX(s3, s1, REG_ITMP2);
1655 case ICMD_IASTORE: /* ..., arrayref, index, value ==> ... */
1657 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1658 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1659 if (INSTRUCTION_MUST_CHECK(iptr)) {
1660 gen_nullptr_check(s1);
1663 s3 = emit_load_s3(jd, iptr, REG_ITMP3);
1664 M_SLL_IMM(s2, 2, REG_ITMP2);
1665 M_IADD_IMM(REG_ITMP2, OFFSET(java_intarray, data[0]), REG_ITMP2);
1666 M_STWX(s3, s1, REG_ITMP2);
1669 case ICMD_LASTORE: /* ..., arrayref, index, value ==> ... */
1671 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1672 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1673 if (INSTRUCTION_MUST_CHECK(iptr)) {
1674 gen_nullptr_check(s1);
1677 s3 = emit_load_s3_high(jd, iptr, REG_ITMP3);
1678 M_SLL_IMM(s2, 3, REG_ITMP2);
1679 M_IADD_IMM(REG_ITMP2, OFFSET(java_longarray, data[0]), REG_ITMP2);
1680 M_STWX(s3, s1, REG_ITMP2);
1681 M_IADD_IMM(REG_ITMP2, 4, REG_ITMP2);
1682 s3 = emit_load_s3_low(jd, iptr, REG_ITMP3);
1683 M_STWX(s3, s1, REG_ITMP2);
1686 case ICMD_FASTORE: /* ..., arrayref, index, value ==> ... */
1688 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1689 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1690 if (INSTRUCTION_MUST_CHECK(iptr)) {
1691 gen_nullptr_check(s1);
1694 s3 = emit_load_s3(jd, iptr, REG_FTMP3);
1695 M_SLL_IMM(s2, 2, REG_ITMP2);
1696 M_IADD_IMM(REG_ITMP2, OFFSET(java_floatarray, data[0]), REG_ITMP2);
1697 M_STFSX(s3, s1, REG_ITMP2);
1700 case ICMD_DASTORE: /* ..., arrayref, index, value ==> ... */
1702 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1703 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1704 if (INSTRUCTION_MUST_CHECK(iptr)) {
1705 gen_nullptr_check(s1);
1708 s3 = emit_load_s3(jd, iptr, REG_FTMP3);
1709 M_SLL_IMM(s2, 3, REG_ITMP2);
1710 M_IADD_IMM(REG_ITMP2, OFFSET(java_doublearray, data[0]), REG_ITMP2);
1711 M_STFDX(s3, s1, REG_ITMP2);
1714 case ICMD_AASTORE: /* ..., arrayref, index, value ==> ... */
1716 s1 = emit_load_s1(jd, iptr, REG_A0);
1717 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1718 if (INSTRUCTION_MUST_CHECK(iptr)) {
1719 gen_nullptr_check(s1);
1722 s3 = emit_load_s3(jd, iptr, REG_A1);
1724 disp = dseg_add_functionptr(cd, BUILTIN_canstore);
1725 M_ALD(REG_ITMP3, REG_PV, disp);
1728 M_INTMOVE(s1, REG_A0);
1729 M_INTMOVE(s3, REG_A1);
1734 codegen_add_arraystoreexception_ref(cd);
1736 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1737 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1738 s3 = emit_load_s3(jd, iptr, REG_ITMP3);
1739 M_SLL_IMM(s2, 2, REG_ITMP2);
1740 M_IADD_IMM(REG_ITMP2, OFFSET(java_objectarray, data[0]), REG_ITMP2);
1741 M_STWX(s3, s1, REG_ITMP2);
1745 case ICMD_GETSTATIC: /* ... ==> ..., value */
1747 if (INSTRUCTION_IS_UNRESOLVED(iptr)) {
1748 unresolved_field *uf = iptr->sx.s23.s3.uf;
1750 fieldtype = uf->fieldref->parseddesc.fd->type;
1751 disp = dseg_add_unique_address(cd, uf);
1753 codegen_addpatchref(cd, PATCHER_get_putstatic, uf, disp);
1755 if (opt_showdisassemble)
1759 fieldinfo *fi = iptr->sx.s23.s3.fmiref->p.field;
1761 fieldtype = fi->type;
1762 disp = dseg_add_address(cd, &(fi->value));
1764 if (!CLASS_IS_OR_ALMOST_INITIALIZED(fi->class)) {
1765 codegen_addpatchref(cd, PATCHER_initialize_class,
1768 if (opt_showdisassemble)
1773 M_ALD(REG_ITMP1, REG_PV, disp);
1774 switch (fieldtype) {
1776 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
1777 M_ILD_INTERN(d, REG_ITMP1, 0);
1780 d = codegen_reg_of_dst(jd, iptr, REG_ITMP12_PACKED);
1781 M_ILD_INTERN(GET_LOW_REG(d), REG_ITMP1, 4);/* keep this order */
1782 M_ILD_INTERN(GET_HIGH_REG(d), REG_ITMP1, 0);/*keep this order */
1785 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
1786 M_ALD_INTERN(d, REG_ITMP1, 0);
1789 d = codegen_reg_of_dst(jd, iptr, REG_FTMP1);
1790 M_FLD_INTERN(d, REG_ITMP1, 0);
1793 d = codegen_reg_of_dst(jd, iptr, REG_FTMP1);
1794 M_DLD_INTERN(d, REG_ITMP1, 0);
1797 emit_store_dst(jd, iptr, d);
1800 case ICMD_PUTSTATIC: /* ..., value ==> ... */
1802 if (INSTRUCTION_IS_UNRESOLVED(iptr)) {
1803 unresolved_field *uf = iptr->sx.s23.s3.uf;
1805 fieldtype = uf->fieldref->parseddesc.fd->type;
1806 disp = dseg_add_unique_address(cd, uf);
1808 codegen_addpatchref(cd, PATCHER_get_putstatic, uf, disp);
1810 if (opt_showdisassemble)
1814 fieldinfo *fi = iptr->sx.s23.s3.fmiref->p.field;
1816 fieldtype = fi->type;
1817 disp = dseg_add_address(cd, &(fi->value));
1819 if (!CLASS_IS_OR_ALMOST_INITIALIZED(fi->class)) {
1820 codegen_addpatchref(cd, PATCHER_initialize_class,
1823 if (opt_showdisassemble)
1828 M_ALD(REG_ITMP1, REG_PV, disp);
1829 switch (fieldtype) {
1831 s1 = emit_load_s1(jd, iptr, REG_ITMP2);
1832 M_IST_INTERN(s1, REG_ITMP1, 0);
1835 s1 = emit_load_s1(jd, iptr, REG_ITMP23_PACKED);
1836 M_LST_INTERN(s1, REG_ITMP1, 0);
1839 s1 = emit_load_s1(jd, iptr, REG_ITMP2);
1840 M_AST_INTERN(s1, REG_ITMP1, 0);
1843 s1 = emit_load_s1(jd, iptr, REG_FTMP2);
1844 M_FST_INTERN(s1, REG_ITMP1, 0);
1847 s1 = emit_load_s1(jd, iptr, REG_FTMP2);
1848 M_DST_INTERN(s1, REG_ITMP1, 0);
1854 case ICMD_GETFIELD: /* ... ==> ..., value */
1856 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1857 gen_nullptr_check(s1);
1859 if (INSTRUCTION_IS_UNRESOLVED(iptr)) {
1860 unresolved_field *uf = iptr->sx.s23.s3.uf;
1862 fieldtype = uf->fieldref->parseddesc.fd->type;
1864 codegen_addpatchref(cd, PATCHER_get_putfield, uf, 0);
1866 if (opt_showdisassemble)
1872 fieldinfo *fi = iptr->sx.s23.s3.fmiref->p.field;
1873 fieldtype = fi->type;
1877 switch (fieldtype) {
1879 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
1883 d = codegen_reg_of_dst(jd, iptr, REG_ITMP12_PACKED);
1884 if (GET_HIGH_REG(d) == s1) {
1885 M_ILD(GET_LOW_REG(d), s1, disp + 4);
1886 M_ILD(GET_HIGH_REG(d), s1, disp);
1889 M_ILD(GET_HIGH_REG(d), s1, disp);
1890 M_ILD(GET_LOW_REG(d), s1, disp + 4);
1894 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
1898 d = codegen_reg_of_dst(jd, iptr, REG_FTMP1);
1902 d = codegen_reg_of_dst(jd, iptr, REG_FTMP1);
1906 emit_store_dst(jd, iptr, d);
1909 case ICMD_PUTFIELD: /* ..., value ==> ... */
1911 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1912 gen_nullptr_check(s1);
1914 if (!IS_FLT_DBL_TYPE(fieldtype)) {
1915 if (IS_2_WORD_TYPE(fieldtype))
1916 s2 = emit_load_s2(jd, iptr, REG_ITMP23_PACKED);
1918 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1921 s2 = emit_load_s2(jd, iptr, REG_FTMP2);
1923 if (INSTRUCTION_IS_UNRESOLVED(iptr)) {
1924 unresolved_field *uf = iptr->sx.s23.s3.uf;
1926 fieldtype = uf->fieldref->parseddesc.fd->type;
1928 codegen_addpatchref(cd, PATCHER_get_putfield, uf, 0);
1930 if (opt_showdisassemble)
1936 fieldinfo *fi = iptr->sx.s23.s3.fmiref->p.field;
1937 fieldtype = fi->type;
1941 switch (fieldtype) {
1943 M_IST(s2, s1, disp);
1946 M_IST(GET_LOW_REG(s2), s1, disp + 4); /* keep this order */
1947 M_IST(GET_HIGH_REG(s2), s1, disp); /* keep this order */
1950 M_AST(s2, s1, disp);
1953 M_FST(s2, s1, disp);
1956 M_DST(s2, s1, disp);
1962 /* branch operations **************************************************/
1964 case ICMD_ATHROW: /* ..., objectref ==> ... (, objectref) */
1966 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1967 M_INTMOVE(s1, REG_ITMP1_XPTR);
1969 #ifdef ENABLE_VERIFIER
1970 if (INSTRUCTION_IS_UNRESOLVED(iptr)) {
1971 unresolved_class *uc = iptr->sx.s23.s2.uc;
1973 codegen_addpatchref(cd, PATCHER_resolve_class, uc, 0);
1975 if (opt_showdisassemble)
1978 #endif /* ENABLE_VERIFIER */
1980 disp = dseg_add_functionptr(cd, asm_handle_exception);
1981 M_ALD(REG_ITMP2, REG_PV, disp);
1984 if (jd->isleafmethod)
1985 M_MFLR(REG_ITMP3); /* save LR */
1987 M_BL(0); /* get current PC */
1988 M_MFLR(REG_ITMP2_XPC);
1990 if (jd->isleafmethod)
1991 M_MTLR(REG_ITMP3); /* restore LR */
1993 M_RTS; /* jump to CTR */
1997 case ICMD_GOTO: /* ... ==> ... */
1998 case ICMD_RET: /* ... ==> ... */
2001 codegen_addreference(cd, iptr->dst.block);
2005 case ICMD_JSR: /* ... ==> ... */
2007 if (jd->isleafmethod)
2012 M_IADD_IMM(REG_ITMP1, jd->isleafmethod ? 4*4 : 3*4, REG_ITMP1);
2014 if (jd->isleafmethod)
2018 codegen_addreference(cd, iptr->sx.s23.s3.jsrtarget.block);
2021 case ICMD_IFNULL: /* ..., value ==> ... */
2023 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
2026 codegen_addreference(cd, iptr->dst.block);
2029 case ICMD_IFNONNULL: /* ..., value ==> ... */
2031 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
2034 codegen_addreference(cd, iptr->dst.block);
2042 case ICMD_IFEQ: /* ..., value ==> ... */
2044 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
2045 if ((iptr->sx.val.i >= -32768) && (iptr->sx.val.i <= 32767))
2046 M_CMPI(s1, iptr->sx.val.i);
2048 ICONST(REG_ITMP2, iptr->sx.val.i);
2049 M_CMP(s1, REG_ITMP2);
2051 switch (iptr->opc) {
2071 codegen_addreference(cd, iptr->dst.block);
2075 case ICMD_IF_LEQ: /* ..., value ==> ... */
2077 s1 = emit_load_s1_low(jd, iptr, REG_ITMP1);
2078 s2 = emit_load_s1_high(jd, iptr, REG_ITMP2);
2079 if (iptr->sx.val.l == 0) {
2080 M_OR_TST(s1, s2, REG_ITMP3);
2082 else if ((iptr->sx.val.l >= 0) && (iptr->sx.val.l <= 0xffff)) {
2083 M_XOR_IMM(s2, 0, REG_ITMP2);
2084 M_XOR_IMM(s1, iptr->sx.val.l & 0xffff, REG_ITMP1);
2085 M_OR_TST(REG_ITMP1, REG_ITMP2, REG_ITMP3);
2088 ICONST(REG_ITMP3, iptr->sx.val.l & 0xffffffff);
2089 M_XOR(s1, REG_ITMP3, REG_ITMP1);
2090 ICONST(REG_ITMP3, iptr->sx.val.l >> 32);
2091 M_XOR(s2, REG_ITMP3, REG_ITMP2);
2092 M_OR_TST(REG_ITMP1, REG_ITMP2, REG_ITMP3);
2095 codegen_addreference(cd, iptr->dst.block);
2098 case ICMD_IF_LLT: /* ..., value ==> ... */
2099 s1 = emit_load_s1_low(jd, iptr, REG_ITMP1);
2100 s2 = emit_load_s1_high(jd, iptr, REG_ITMP2);
2101 if (iptr->sx.val.l == 0) {
2102 /* if high word is less than zero, the whole long is too */
2105 else if ((iptr->sx.val.l >= 0) && (iptr->sx.val.l <= 0xffff)) {
2108 codegen_addreference(cd, iptr->dst.block);
2110 M_CMPUI(s1, iptr->sx.val.l & 0xffff);
2113 ICONST(REG_ITMP3, iptr->sx.val.l >> 32);
2114 M_CMP(s2, REG_ITMP3);
2116 codegen_addreference(cd, iptr->dst.block);
2118 ICONST(REG_ITMP3, iptr->sx.val.l & 0xffffffff);
2119 M_CMPU(s1, REG_ITMP3);
2122 codegen_addreference(cd, iptr->dst.block);
2125 case ICMD_IF_LLE: /* ..., value ==> ... */
2127 s1 = emit_load_s1_low(jd, iptr, REG_ITMP1);
2128 s2 = emit_load_s1_high(jd, iptr, REG_ITMP2);
2129 /* if (iptr->sx.val.l == 0) { */
2130 /* M_OR(s1, s2, REG_ITMP3); */
2131 /* M_CMPI(REG_ITMP3, 0); */
2134 if ((iptr->sx.val.l >= 0) && (iptr->sx.val.l <= 0xffff)) {
2137 codegen_addreference(cd, iptr->dst.block);
2139 M_CMPUI(s1, iptr->sx.val.l & 0xffff);
2142 ICONST(REG_ITMP3, iptr->sx.val.l >> 32);
2143 M_CMP(s2, REG_ITMP3);
2145 codegen_addreference(cd, iptr->dst.block);
2147 ICONST(REG_ITMP3, iptr->sx.val.l & 0xffffffff);
2148 M_CMPU(s1, REG_ITMP3);
2151 codegen_addreference(cd, iptr->dst.block);
2154 case ICMD_IF_LNE: /* ..., value ==> ... */
2156 s1 = emit_load_s1_low(jd, iptr, REG_ITMP1);
2157 s2 = emit_load_s1_high(jd, iptr, REG_ITMP2);
2158 if (iptr->sx.val.l == 0) {
2159 M_OR_TST(s1, s2, REG_ITMP3);
2161 else if ((iptr->sx.val.l >= 0) && (iptr->sx.val.l <= 0xffff)) {
2162 M_XOR_IMM(s2, 0, REG_ITMP2);
2163 M_XOR_IMM(s1, iptr->sx.val.l & 0xffff, REG_ITMP1);
2164 M_OR_TST(REG_ITMP1, REG_ITMP2, REG_ITMP3);
2167 ICONST(REG_ITMP3, iptr->sx.val.l & 0xffffffff);
2168 M_XOR(s1, REG_ITMP3, REG_ITMP1);
2169 ICONST(REG_ITMP3, iptr->sx.val.l >> 32);
2170 M_XOR(s2, REG_ITMP3, REG_ITMP2);
2171 M_OR_TST(REG_ITMP1, REG_ITMP2, REG_ITMP3);
2174 codegen_addreference(cd, iptr->dst.block);
2177 case ICMD_IF_LGT: /* ..., value ==> ... */
2179 s1 = emit_load_s1_low(jd, iptr, REG_ITMP1);
2180 s2 = emit_load_s1_high(jd, iptr, REG_ITMP2);
2181 /* if (iptr->sx.val.l == 0) { */
2182 /* M_OR(s1, s2, REG_ITMP3); */
2183 /* M_CMPI(REG_ITMP3, 0); */
2186 if ((iptr->sx.val.l >= 0) && (iptr->sx.val.l <= 0xffff)) {
2189 codegen_addreference(cd, iptr->dst.block);
2191 M_CMPUI(s1, iptr->sx.val.l & 0xffff);
2194 ICONST(REG_ITMP3, iptr->sx.val.l >> 32);
2195 M_CMP(s2, REG_ITMP3);
2197 codegen_addreference(cd, iptr->dst.block);
2199 ICONST(REG_ITMP3, iptr->sx.val.l & 0xffffffff);
2200 M_CMPU(s1, REG_ITMP3);
2203 codegen_addreference(cd, iptr->dst.block);
2206 case ICMD_IF_LGE: /* ..., value ==> ... */
2208 s1 = emit_load_s1_low(jd, iptr, REG_ITMP1);
2209 s2 = emit_load_s1_high(jd, iptr, REG_ITMP2);
2210 if (iptr->sx.val.l == 0) {
2211 /* if high word is greater equal zero, the whole long is too */
2214 else if ((iptr->sx.val.l >= 0) && (iptr->sx.val.l <= 0xffff)) {
2217 codegen_addreference(cd, iptr->dst.block);
2219 M_CMPUI(s1, iptr->sx.val.l & 0xffff);
2222 ICONST(REG_ITMP3, iptr->sx.val.l >> 32);
2223 M_CMP(s2, REG_ITMP3);
2225 codegen_addreference(cd, iptr->dst.block);
2227 ICONST(REG_ITMP3, iptr->sx.val.l & 0xffffffff);
2228 M_CMPU(s1, REG_ITMP3);
2231 codegen_addreference(cd, iptr->dst.block);
2234 case ICMD_IF_ICMPEQ: /* ..., value, value ==> ... */
2235 case ICMD_IF_ACMPEQ: /* op1 = target JavaVM pc */
2237 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
2238 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
2241 codegen_addreference(cd, iptr->dst.block);
2244 case ICMD_IF_LCMPEQ: /* ..., value, value ==> ... */
2246 s1 = emit_load_s1_high(jd, iptr, REG_ITMP1);
2247 s2 = emit_load_s2_high(jd, iptr, REG_ITMP2);
2249 /* load low-bits before the branch, so we know the distance */
2250 s1 = emit_load_s1_low(jd, iptr, REG_ITMP1);
2251 s2 = emit_load_s2_low(jd, iptr, REG_ITMP2);
2255 codegen_addreference(cd, iptr->dst.block);
2258 case ICMD_IF_ICMPNE: /* ..., value, value ==> ... */
2259 case ICMD_IF_ACMPNE: /* op1 = target JavaVM pc */
2261 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
2262 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
2265 codegen_addreference(cd, iptr->dst.block);
2268 case ICMD_IF_LCMPNE: /* ..., value, value ==> ... */
2270 s1 = emit_load_s1_high(jd, iptr, REG_ITMP1);
2271 s2 = emit_load_s2_high(jd, iptr, REG_ITMP2);
2274 codegen_addreference(cd, iptr->dst.block);
2275 s1 = emit_load_s1_low(jd, iptr, REG_ITMP1);
2276 s2 = emit_load_s2_low(jd, iptr, REG_ITMP2);
2279 codegen_addreference(cd, iptr->dst.block);
2282 case ICMD_IF_ICMPLT: /* ..., value, value ==> ... */
2284 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
2285 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
2288 codegen_addreference(cd, iptr->dst.block);
2291 case ICMD_IF_LCMPLT: /* ..., value, value ==> ... */
2293 s1 = emit_load_s1_high(jd, iptr, REG_ITMP1);
2294 s2 = emit_load_s2_high(jd, iptr, REG_ITMP2);
2297 codegen_addreference(cd, iptr->dst.block);
2298 /* load low-bits before the branch, so we know the distance */
2299 s1 = emit_load_s1_low(jd, iptr, REG_ITMP1);
2300 s2 = emit_load_s2_low(jd, iptr, REG_ITMP2);
2304 codegen_addreference(cd, iptr->dst.block);
2307 case ICMD_IF_ICMPGT: /* ..., value, value ==> ... */
2309 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
2310 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
2313 codegen_addreference(cd, iptr->dst.block);
2316 case ICMD_IF_LCMPGT: /* ..., value, value ==> ... */
2318 s1 = emit_load_s1_high(jd, iptr, REG_ITMP1);
2319 s2 = emit_load_s2_high(jd, iptr, REG_ITMP2);
2322 codegen_addreference(cd, iptr->dst.block);
2323 /* load low-bits before the branch, so we know the distance */
2324 s1 = emit_load_s1_low(jd, iptr, REG_ITMP1);
2325 s2 = emit_load_s2_low(jd, iptr, REG_ITMP2);
2329 codegen_addreference(cd, iptr->dst.block);
2332 case ICMD_IF_ICMPLE: /* ..., value, value ==> ... */
2334 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
2335 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
2338 codegen_addreference(cd, iptr->dst.block);
2341 case ICMD_IF_LCMPLE: /* ..., value, value ==> ... */
2343 s1 = emit_load_s1_high(jd, iptr, REG_ITMP1);
2344 s2 = emit_load_s2_high(jd, iptr, REG_ITMP2);
2347 codegen_addreference(cd, iptr->dst.block);
2348 /* load low-bits before the branch, so we know the distance */
2349 s1 = emit_load_s1_low(jd, iptr, REG_ITMP1);
2350 s2 = emit_load_s2_low(jd, iptr, REG_ITMP2);
2354 codegen_addreference(cd, iptr->dst.block);
2357 case ICMD_IF_ICMPGE: /* ..., value, value ==> ... */
2359 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
2360 s2 = emit_load_s2(jd, iptr, REG_ITMP2);
2363 codegen_addreference(cd, iptr->dst.block);
2366 case ICMD_IF_LCMPGE: /* ..., value, value ==> ... */
2368 s1 = emit_load_s1_high(jd, iptr, REG_ITMP1);
2369 s2 = emit_load_s2_high(jd, iptr, REG_ITMP2);
2372 codegen_addreference(cd, iptr->dst.block);
2373 /* load low-bits before the branch, so we know the distance */
2374 s1 = emit_load_s1_low(jd, iptr, REG_ITMP1);
2375 s2 = emit_load_s2_low(jd, iptr, REG_ITMP2);
2379 codegen_addreference(cd, iptr->dst.block);
2382 case ICMD_IRETURN: /* ..., retvalue ==> ... */
2384 s1 = emit_load_s1(jd, iptr, REG_RESULT);
2385 M_INTMOVE(s1, REG_RESULT);
2386 goto nowperformreturn;
2388 case ICMD_ARETURN: /* ..., retvalue ==> ... */
2390 s1 = emit_load_s1(jd, iptr, REG_RESULT);
2391 M_INTMOVE(s1, REG_RESULT);
2393 #ifdef ENABLE_VERIFIER
2394 if (INSTRUCTION_IS_UNRESOLVED(iptr)) {
2395 unresolved_class *uc = iptr->sx.s23.s2.uc;
2397 codegen_addpatchref(cd, PATCHER_resolve_class, uc, 0);
2399 if (opt_showdisassemble)
2402 #endif /* ENABLE_VERIFIER */
2403 goto nowperformreturn;
2405 case ICMD_LRETURN: /* ..., retvalue ==> ... */
2407 s1 = emit_load_s1(jd, iptr, REG_RESULT_PACKED);
2408 M_LNGMOVE(s1, REG_RESULT_PACKED);
2409 goto nowperformreturn;
2411 case ICMD_FRETURN: /* ..., retvalue ==> ... */
2414 s1 = emit_load_s1(jd, iptr, REG_FRESULT);
2415 M_FLTMOVE(s1, REG_FRESULT);
2416 goto nowperformreturn;
2418 case ICMD_RETURN: /* ... ==> ... */
2424 p = cd->stackframesize;
2426 /* call trace function */
2428 if (JITDATA_HAS_FLAG_VERBOSECALL(jd))
2429 emit_verbosecall_exit(jd);
2431 #if defined(ENABLE_THREADS)
2432 if (checksync && (m->flags & ACC_SYNCHRONIZED)) {
2433 disp = dseg_add_functionptr(cd, LOCK_monitor_exit);
2434 M_ALD(REG_ITMP3, REG_PV, disp);
2437 /* we need to save the proper return value */
2439 switch (iptr->opc) {
2441 M_IST(REG_RESULT2, REG_SP, rd->memuse * 4 + 8);
2445 M_IST(REG_RESULT , REG_SP, rd->memuse * 4 + 4);
2448 M_FST(REG_FRESULT, REG_SP, rd->memuse * 4 + 4);
2451 M_DST(REG_FRESULT, REG_SP, rd->memuse * 4 + 4);
2455 M_ALD(REG_A0, REG_SP, rd->memuse * 4);
2458 /* and now restore the proper return value */
2460 switch (iptr->opc) {
2462 M_ILD(REG_RESULT2, REG_SP, rd->memuse * 4 + 8);
2466 M_ILD(REG_RESULT , REG_SP, rd->memuse * 4 + 4);
2469 M_FLD(REG_FRESULT, REG_SP, rd->memuse * 4 + 4);
2472 M_DLD(REG_FRESULT, REG_SP, rd->memuse * 4 + 4);
2478 /* restore return address */
2480 if (!jd->isleafmethod) {
2481 /* ATTENTION: Don't use REG_ZERO (r0) here, as M_ALD
2482 may have a displacement overflow. */
2484 M_ALD(REG_ITMP1, REG_SP, p * 4 + LA_LR_OFFSET);
2488 /* restore saved registers */
2490 for (i = INT_SAV_CNT - 1; i >= rd->savintreguse; i--) {
2491 p--; M_ILD(rd->savintregs[i], REG_SP, p * 4);
2493 for (i = FLT_SAV_CNT - 1; i >= rd->savfltreguse; i--) {
2494 p -= 2; M_DLD(rd->savfltregs[i], REG_SP, p * 4);
2497 /* deallocate stack */
2499 if (cd->stackframesize)
2500 M_LDA(REG_SP, REG_SP, cd->stackframesize * 4);
2508 case ICMD_TABLESWITCH: /* ..., index ==> ... */
2511 branch_target_t *table;
2513 table = iptr->dst.table;
2515 l = iptr->sx.s23.s2.tablelow;
2516 i = iptr->sx.s23.s3.tablehigh;
2518 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
2520 M_INTMOVE(s1, REG_ITMP1);
2521 else if (l <= 32768)
2522 M_LDA(REG_ITMP1, s1, -l);
2524 ICONST(REG_ITMP2, l);
2525 M_ISUB(s1, REG_ITMP2, REG_ITMP1);
2532 M_CMPUI(REG_ITMP1, i - 1);
2534 codegen_addreference(cd, table[0].block);
2536 /* build jump table top down and use address of lowest entry */
2541 dseg_add_target(cd, table->block);
2545 /* length of dataseg after last dseg_add_target is used by load */
2547 M_SLL_IMM(REG_ITMP1, 2, REG_ITMP1);
2548 M_IADD(REG_ITMP1, REG_PV, REG_ITMP2);
2549 M_ALD(REG_ITMP2, REG_ITMP2, -(cd->dseglen));
2557 case ICMD_LOOKUPSWITCH: /* ..., key ==> ... */
2560 lookup_target_t *lookup;
2562 lookup = iptr->dst.lookup;
2564 i = iptr->sx.s23.s2.lookupcount;
2566 MCODECHECK((i<<2)+8);
2567 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
2570 if ((lookup->value >= -32768) && (lookup->value <= 32767)) {
2571 M_CMPI(s1, lookup->value);
2574 disp = dseg_add_s4(cd, lookup->value);
2575 M_ILD(REG_ITMP2, REG_PV, disp);
2576 M_CMP(s1, REG_ITMP2);
2579 codegen_addreference(cd, lookup->target.block);
2584 codegen_addreference(cd, iptr->sx.s23.s3.lookupdefault.block);
2591 case ICMD_BUILTIN: /* ..., [arg1, [arg2 ...]] ==> ... */
2593 bte = iptr->sx.s23.s3.bte;
2597 case ICMD_INVOKESTATIC: /* ..., [arg1, [arg2 ...]] ==> ... */
2599 case ICMD_INVOKESPECIAL:/* ..., objectref, [arg1, [arg2 ...]] ==> ... */
2600 case ICMD_INVOKEVIRTUAL:/* op1 = arg count, val.a = method pointer */
2601 case ICMD_INVOKEINTERFACE:
2603 if (INSTRUCTION_IS_UNRESOLVED(iptr)) {
2605 um = iptr->sx.s23.s3.um;
2606 md = um->methodref->parseddesc.md;
2609 lm = iptr->sx.s23.s3.fmiref->p.method;
2611 md = lm->parseddesc;
2615 s3 = md->paramcount;
2617 MCODECHECK((s3 << 1) + 64);
2619 /* copy arguments to registers or stack location */
2621 for (s3 = s3 - 1; s3 >= 0; s3--) {
2622 var = VAR(iptr->sx.s23.s2.args[s3]);
2624 /* Already Preallocated? */
2625 if (var->flags & PREALLOC)
2628 if (IS_INT_LNG_TYPE(var->type)) {
2629 if (!md->params[s3].inmemory) {
2630 if (IS_2_WORD_TYPE(var->type)) {
2632 rd->argintregs[GET_LOW_REG(md->params[s3].regoff)],
2633 rd->argintregs[GET_HIGH_REG(md->params[s3].regoff)]);
2634 d = emit_load(jd, iptr, var, s1);
2638 s1 = rd->argintregs[md->params[s3].regoff];
2639 d = emit_load(jd, iptr, var, s1);
2644 if (IS_2_WORD_TYPE(var->type)) {
2645 d = emit_load(jd, iptr, var, REG_ITMP12_PACKED);
2646 M_LST(d, REG_SP, md->params[s3].regoff * 4);
2649 d = emit_load(jd, iptr, var, REG_ITMP1);
2650 M_IST(d, REG_SP, md->params[s3].regoff * 4);
2655 if (!md->params[s3].inmemory) {
2656 s1 = rd->argfltregs[md->params[s3].regoff];
2657 d = emit_load(jd, iptr, var, s1);
2661 d = emit_load(jd, iptr, var, REG_FTMP1);
2662 if (IS_2_WORD_TYPE(var->type))
2663 M_DST(d, REG_SP, md->params[s3].regoff * 4);
2665 M_FST(d, REG_SP, md->params[s3].regoff * 4);
2670 switch (iptr->opc) {
2672 disp = dseg_add_functionptr(cd, bte->fp);
2674 M_ALD(REG_PV, REG_PV, disp); /* pointer to built-in-function */
2677 case ICMD_INVOKESPECIAL:
2678 gen_nullptr_check(REG_A0);
2679 M_ILD(REG_ITMP1, REG_A0, 0); /* hardware nullptr */
2682 case ICMD_INVOKESTATIC:
2684 disp = dseg_add_unique_address(cd, um);
2686 codegen_addpatchref(cd, PATCHER_invokestatic_special,
2689 if (opt_showdisassemble)
2693 disp = dseg_add_address(cd, lm->stubroutine);
2695 M_ALD(REG_PV, REG_PV, disp);
2698 case ICMD_INVOKEVIRTUAL:
2699 gen_nullptr_check(REG_A0);
2702 codegen_addpatchref(cd, PATCHER_invokevirtual, um, 0);
2704 if (opt_showdisassemble)
2710 s1 = OFFSET(vftbl_t, table[0]) +
2711 sizeof(methodptr) * lm->vftblindex;
2714 M_ALD(REG_METHODPTR, REG_A0,
2715 OFFSET(java_objectheader, vftbl));
2716 M_ALD(REG_PV, REG_METHODPTR, s1);
2719 case ICMD_INVOKEINTERFACE:
2720 gen_nullptr_check(REG_A0);
2723 codegen_addpatchref(cd, PATCHER_invokeinterface, um, 0);
2725 if (opt_showdisassemble)
2732 s1 = OFFSET(vftbl_t, interfacetable[0]) -
2733 sizeof(methodptr*) * lm->class->index;
2735 s2 = sizeof(methodptr) * (lm - lm->class->methods);
2738 M_ALD(REG_METHODPTR, REG_A0,
2739 OFFSET(java_objectheader, vftbl));
2740 M_ALD(REG_METHODPTR, REG_METHODPTR, s1);
2741 M_ALD(REG_PV, REG_METHODPTR, s2);
2745 /* generate the actual call */
2749 disp = (s4) (cd->mcodeptr - cd->mcodebase);
2751 M_LDA(REG_PV, REG_ITMP1, -disp);
2753 /* actually only used for ICMD_BUILTIN */
2755 if (INSTRUCTION_MUST_CHECK(iptr)) {
2756 M_CMPI(REG_RESULT, 0);
2758 codegen_add_fillinstacktrace_ref(cd);
2761 /* store return value */
2763 d = md->returntype.type;
2765 if (d != TYPE_VOID) {
2766 if (IS_INT_LNG_TYPE(d)) {
2767 if (IS_2_WORD_TYPE(d)) {
2768 s1 = codegen_reg_of_dst(jd, iptr, REG_RESULT_PACKED);
2769 M_LNGMOVE(REG_RESULT_PACKED, s1);
2772 s1 = codegen_reg_of_dst(jd, iptr, REG_RESULT);
2773 M_INTMOVE(REG_RESULT, s1);
2777 s1 = codegen_reg_of_dst(jd, iptr, REG_FRESULT);
2778 M_FLTMOVE(REG_FRESULT, s1);
2780 emit_store_dst(jd, iptr, s1);
2785 case ICMD_CHECKCAST: /* ..., objectref ==> ..., objectref */
2786 /* val.a: (classinfo*) superclass */
2788 /* superclass is an interface:
2790 * OK if ((sub == NULL) ||
2791 * (sub->vftbl->interfacetablelength > super->index) &&
2792 * (sub->vftbl->interfacetable[-super->index] != NULL));
2794 * superclass is a class:
2796 * OK if ((sub == NULL) || (0
2797 * <= (sub->vftbl->baseval - super->vftbl->baseval) <=
2798 * super->vftbl->diffvall));
2801 if (!(iptr->flags.bits & INS_FLAG_ARRAY)) {
2802 /* object type cast-check */
2807 if (INSTRUCTION_IS_UNRESOLVED(iptr)) {
2812 super = iptr->sx.s23.s3.c.cls;
2813 superindex = super->index;
2816 #if defined(ENABLE_THREADS)
2817 codegen_threadcritrestart(cd, cd->mcodeptr - cd->mcodebase);
2820 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
2822 /* calculate interface checkcast code size */
2826 s2 += (opt_showdisassemble ? 1 : 0);
2828 /* calculate class checkcast code size */
2830 s3 = 8 + (s1 == REG_ITMP1);
2832 s3 += (opt_showdisassemble ? 1 : 0);
2834 /* if class is not resolved, check which code to call */
2836 if (super == NULL) {
2838 M_BEQ(3 + (opt_showdisassemble ? 1 : 0) + s2 + 1 + s3);
2840 disp = dseg_add_unique_s4(cd, 0); /* super->flags */
2842 codegen_addpatchref(cd,
2843 PATCHER_resolve_classref_to_flags,
2844 iptr->sx.s23.s3.c.ref,
2847 if (opt_showdisassemble)
2850 M_ILD(REG_ITMP2, REG_PV, disp);
2851 M_AND_IMM(REG_ITMP2, ACC_INTERFACE, REG_ITMP2);
2855 /* interface checkcast code */
2857 if ((super == NULL) || (super->flags & ACC_INTERFACE)) {
2858 if (super == NULL) {
2859 codegen_addpatchref(cd,
2860 PATCHER_checkcast_instanceof_interface,
2861 iptr->sx.s23.s3.c.ref,
2864 if (opt_showdisassemble)
2872 M_ALD(REG_ITMP2, s1, OFFSET(java_objectheader, vftbl));
2873 M_ILD(REG_ITMP3, REG_ITMP2, OFFSET(vftbl_t, interfacetablelength));
2874 M_LDATST(REG_ITMP3, REG_ITMP3, -superindex);
2876 codegen_add_classcastexception_ref(cd, s1);
2877 M_ALD(REG_ITMP3, REG_ITMP2,
2878 OFFSET(vftbl_t, interfacetable[0]) -
2879 superindex * sizeof(methodptr*));
2882 codegen_add_classcastexception_ref(cd, s1);
2888 /* class checkcast code */
2890 if ((super == NULL) || !(super->flags & ACC_INTERFACE)) {
2891 if (super == NULL) {
2892 disp = dseg_add_unique_address(cd, NULL);
2894 codegen_addpatchref(cd, PATCHER_resolve_classref_to_vftbl,
2895 iptr->sx.s23.s3.c.ref,
2898 if (opt_showdisassemble)
2902 disp = dseg_add_address(cd, super->vftbl);
2908 M_ALD(REG_ITMP2, s1, OFFSET(java_objectheader, vftbl));
2909 #if defined(ENABLE_THREADS)
2910 codegen_threadcritstart(cd, cd->mcodeptr - cd->mcodebase);
2912 M_ILD(REG_ITMP3, REG_ITMP2, OFFSET(vftbl_t, baseval));
2913 M_ALD(REG_ITMP2, REG_PV, disp);
2914 if (s1 != REG_ITMP1) {
2915 M_ILD(REG_ITMP1, REG_ITMP2, OFFSET(vftbl_t, baseval));
2916 M_ILD(REG_ITMP2, REG_ITMP2, OFFSET(vftbl_t, diffval));
2917 #if defined(ENABLE_THREADS)
2918 codegen_threadcritstop(cd, cd->mcodeptr - cd->mcodebase);
2920 M_ISUB(REG_ITMP3, REG_ITMP1, REG_ITMP3);
2922 M_ILD(REG_ITMP2, REG_ITMP2, OFFSET(vftbl_t, baseval));
2923 M_ISUB(REG_ITMP3, REG_ITMP2, REG_ITMP3);
2924 M_ALD(REG_ITMP2, REG_PV, disp);
2925 M_ILD(REG_ITMP2, REG_ITMP2, OFFSET(vftbl_t, diffval));
2926 #if defined(ENABLE_THREADS)
2927 codegen_threadcritstop(cd, cd->mcodeptr - cd->mcodebase);
2930 M_CMPU(REG_ITMP3, REG_ITMP2);
2932 codegen_add_classcastexception_ref(cd, s1);
2934 d = codegen_reg_of_dst(jd, iptr, s1);
2937 /* array type cast-check */
2939 s1 = emit_load_s1(jd, iptr, REG_A0);
2940 M_INTMOVE(s1, REG_A0);
2942 if (INSTRUCTION_IS_UNRESOLVED(iptr)) {
2943 disp = dseg_add_unique_address(cd, NULL);
2945 codegen_addpatchref(cd, PATCHER_resolve_classref_to_classinfo,
2946 iptr->sx.s23.s3.c.ref,
2949 if (opt_showdisassemble)
2953 disp = dseg_add_address(cd, iptr->sx.s23.s3.c.cls);
2955 M_ALD(REG_A1, REG_PV, disp);
2956 disp = dseg_add_functionptr(cd, BUILTIN_arraycheckcast);
2957 M_ALD(REG_ITMP2, REG_PV, disp);
2962 codegen_add_classcastexception_ref(cd, s1);
2964 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
2965 d = codegen_reg_of_dst(jd, iptr, s1);
2968 emit_store_dst(jd, iptr, d);
2971 case ICMD_INSTANCEOF: /* ..., objectref ==> ..., intresult */
2972 /* val.a: (classinfo*) superclass */
2974 /* superclass is an interface:
2976 * return (sub != NULL) &&
2977 * (sub->vftbl->interfacetablelength > super->index) &&
2978 * (sub->vftbl->interfacetable[-super->index] != NULL);
2980 * superclass is a class:
2982 * return ((sub != NULL) && (0
2983 * <= (sub->vftbl->baseval - super->vftbl->baseval) <=
2984 * super->vftbl->diffvall));
2991 if (INSTRUCTION_IS_UNRESOLVED(iptr)) {
2996 super = iptr->sx.s23.s3.c.cls;
2997 superindex = super->index;
3000 #if defined(ENABLE_THREADS)
3001 codegen_threadcritrestart(cd, cd->mcodeptr - cd->mcodebase);
3003 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
3004 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
3006 M_MOV(s1, REG_ITMP1);
3010 /* calculate interface instanceof code size */
3014 s2 += (opt_showdisassemble ? 1 : 0);
3016 /* calculate class instanceof code size */
3020 s3 += (opt_showdisassemble ? 1 : 0);
3024 /* if class is not resolved, check which code to call */
3026 if (super == NULL) {
3028 M_BEQ(3 + (opt_showdisassemble ? 1 : 0) + s2 + 1 + s3);
3030 disp = dseg_add_unique_s4(cd, 0); /* super->flags */
3032 codegen_addpatchref(cd, PATCHER_resolve_classref_to_flags,
3033 iptr->sx.s23.s3.c.ref, disp);
3035 if (opt_showdisassemble)
3038 M_ILD(REG_ITMP3, REG_PV, disp);
3039 M_AND_IMM(REG_ITMP3, ACC_INTERFACE, REG_ITMP3);
3043 /* interface instanceof code */
3045 if ((super == NULL) || (super->flags & ACC_INTERFACE)) {
3046 if (super == NULL) {
3047 codegen_addpatchref(cd,
3048 PATCHER_checkcast_instanceof_interface,
3049 iptr->sx.s23.s3.c.ref, 0);
3051 if (opt_showdisassemble)
3059 M_ALD(REG_ITMP1, s1, OFFSET(java_objectheader, vftbl));
3060 M_ILD(REG_ITMP3, REG_ITMP1, OFFSET(vftbl_t, interfacetablelength));
3061 M_LDATST(REG_ITMP3, REG_ITMP3, -superindex);
3063 M_ALD(REG_ITMP1, REG_ITMP1,
3064 OFFSET(vftbl_t, interfacetable[0]) -
3065 superindex * sizeof(methodptr*));
3068 M_IADD_IMM(REG_ZERO, 1, d);
3074 /* class instanceof code */
3076 if ((super == NULL) || !(super->flags & ACC_INTERFACE)) {
3077 if (super == NULL) {
3078 disp = dseg_add_unique_address(cd, NULL);
3080 codegen_addpatchref(cd, PATCHER_resolve_classref_to_vftbl,
3081 iptr->sx.s23.s3.c.ref,
3084 if (opt_showdisassemble)
3088 disp = dseg_add_address(cd, super->vftbl);
3094 M_ALD(REG_ITMP1, s1, OFFSET(java_objectheader, vftbl));
3095 M_ALD(REG_ITMP2, REG_PV, disp);
3096 #if defined(ENABLE_THREADS)
3097 codegen_threadcritstart(cd, cd->mcodeptr - cd->mcodebase);
3099 M_ILD(REG_ITMP1, REG_ITMP1, OFFSET(vftbl_t, baseval));
3100 M_ILD(REG_ITMP3, REG_ITMP2, OFFSET(vftbl_t, baseval));
3101 M_ILD(REG_ITMP2, REG_ITMP2, OFFSET(vftbl_t, diffval));
3102 #if defined(ENABLE_THREADS)
3103 codegen_threadcritstop(cd, cd->mcodeptr - cd->mcodebase);
3105 M_ISUB(REG_ITMP1, REG_ITMP3, REG_ITMP1);
3106 M_CMPU(REG_ITMP1, REG_ITMP2);
3109 M_IADD_IMM(REG_ZERO, 1, d);
3111 emit_store_dst(jd, iptr, d);
3115 case ICMD_MULTIANEWARRAY:/* ..., cnt1, [cnt2, ...] ==> ..., arrayref */
3117 /* check for negative sizes and copy sizes to stack if necessary */
3119 MCODECHECK((iptr->s1.argcount << 1) + 64);
3121 for (s1 = iptr->s1.argcount; --s1 >= 0;) {
3122 var = VAR(iptr->sx.s23.s2.args[s1]);
3124 /* copy SAVEDVAR sizes to stack */
3126 /* Already Preallocated? */
3127 if (!(var->flags & PREALLOC)) {
3128 s2 = emit_load(jd, iptr, var, REG_ITMP1);
3129 #if defined(__DARWIN__)
3130 M_IST(s2, REG_SP, LA_SIZE + (s1 + INT_ARG_CNT) * 4);
3132 M_IST(s2, REG_SP, LA_SIZE + (s1 + 3) * 4);
3137 /* a0 = dimension count */
3139 ICONST(REG_A0, iptr->s1.argcount);
3141 /* is patcher function set? */
3143 if (INSTRUCTION_IS_UNRESOLVED(iptr)) {
3144 disp = dseg_add_unique_address(cd, NULL);
3146 codegen_addpatchref(cd, PATCHER_resolve_classref_to_classinfo,
3147 iptr->sx.s23.s3.c.ref, disp);
3149 if (opt_showdisassemble)
3153 disp = dseg_add_address(cd, iptr->sx.s23.s3.c.cls);
3155 /* a1 = arraydescriptor */
3157 M_ALD(REG_A1, REG_PV, disp);
3159 /* a2 = pointer to dimensions = stack pointer */
3161 #if defined(__DARWIN__)
3162 M_LDA(REG_A2, REG_SP, LA_SIZE + INT_ARG_CNT * 4);
3164 M_LDA(REG_A2, REG_SP, LA_SIZE + 3 * 4);
3167 disp = dseg_add_functionptr(cd, BUILTIN_multianewarray);
3168 M_ALD(REG_ITMP3, REG_PV, disp);
3172 /* check for exception before result assignment */
3174 M_CMPI(REG_RESULT, 0);
3176 codegen_add_fillinstacktrace_ref(cd);
3178 d = codegen_reg_of_dst(jd, iptr, REG_RESULT);
3179 M_INTMOVE(REG_RESULT, d);
3180 emit_store_dst(jd, iptr, d);
3185 new_internalerror("Unknown ICMD %d during code generation",
3190 } /* for instruction */
3192 } /* if (bptr -> flags >= BBREACHED) */
3193 } /* for basic block */
3195 dseg_createlinenumbertable(cd);
3197 /* generate stubs */
3199 emit_exception_stubs(jd);
3200 emit_patcher_stubs(jd);
3201 emit_replacement_stubs(jd);
3205 /* everything's ok */
3211 /* createcompilerstub **********************************************************
3213 Creates a stub routine which calls the compiler.
3215 *******************************************************************************/
3217 #define COMPILERSTUB_DATASIZE 3 * SIZEOF_VOID_P
3218 #define COMPILERSTUB_CODESIZE 4 * 4
3220 #define COMPILERSTUB_SIZE COMPILERSTUB_DATASIZE + COMPILERSTUB_CODESIZE
3223 u1 *createcompilerstub(methodinfo *m)
3225 u1 *s; /* memory to hold the stub */
3231 s = CNEW(u1, COMPILERSTUB_SIZE);
3233 /* set data pointer and code pointer */
3236 s = s + COMPILERSTUB_DATASIZE;
3238 /* mark start of dump memory area */
3240 dumpsize = dump_size();
3242 cd = DNEW(codegendata);
3245 /* Store the codeinfo pointer in the same place as in the
3246 methodheader for compiled methods. */
3248 code = code_codeinfo_new(m);
3250 d[0] = (ptrint) asm_call_jit_compiler;
3252 d[2] = (ptrint) code;
3254 M_ALD_INTERN(REG_ITMP1, REG_PV, -2 * SIZEOF_VOID_P);
3255 M_ALD_INTERN(REG_PV, REG_PV, -3 * SIZEOF_VOID_P);
3259 md_cacheflush((u1 *) d, COMPILERSTUB_SIZE);
3261 #if defined(ENABLE_STATISTICS)
3263 count_cstub_len += COMPILERSTUB_SIZE;
3266 /* release dump area */
3268 dump_release(dumpsize);
3274 /* createnativestub ************************************************************
3276 Creates a stub routine which calls a native method.
3278 *******************************************************************************/
3280 u1 *createnativestub(functionptr f, jitdata *jd, methoddesc *nmd)
3288 s4 i, j; /* count variables */
3293 /* get required compiler data */
3300 /* set some variables */
3303 nativeparams = (m->flags & ACC_STATIC) ? 2 : 1;
3305 /* calculate stackframe size */
3307 cd->stackframesize =
3308 sizeof(stackframeinfo) / SIZEOF_VOID_P +
3309 sizeof(localref_table) / SIZEOF_VOID_P +
3310 4 + /* 4 stackframeinfo arguments (darwin)*/
3311 nmd->paramcount * 2 + /* assume all arguments are doubles */
3314 /* keep stack 16-byte aligned */
3316 cd->stackframesize = (cd->stackframesize + 3) & ~3;
3318 /* create method header */
3320 (void) dseg_add_unique_address(cd, code); /* CodeinfoPointer */
3321 (void) dseg_add_unique_s4(cd, cd->stackframesize * 4); /* FrameSize */
3322 (void) dseg_add_unique_s4(cd, 0); /* IsSync */
3323 (void) dseg_add_unique_s4(cd, 0); /* IsLeaf */
3324 (void) dseg_add_unique_s4(cd, 0); /* IntSave */
3325 (void) dseg_add_unique_s4(cd, 0); /* FltSave */
3326 (void) dseg_addlinenumbertablesize(cd);
3327 (void) dseg_add_unique_s4(cd, 0); /* ExTableSize */
3332 M_AST_INTERN(REG_ZERO, REG_SP, LA_LR_OFFSET);
3333 M_STWU(REG_SP, REG_SP, -(cd->stackframesize * 4));
3335 if (JITDATA_HAS_FLAG_VERBOSECALL(jd))
3336 emit_verbosecall_enter(jd);
3338 /* get function address (this must happen before the stackframeinfo) */
3340 funcdisp = dseg_add_functionptr(cd, f);
3342 #if !defined(WITH_STATIC_CLASSPATH)
3344 codegen_addpatchref(cd, PATCHER_resolve_native_function, m, funcdisp);
3346 if (opt_showdisassemble)
3351 /* save integer and float argument registers */
3355 for (i = 0; i < md->paramcount; i++) {
3356 t = md->paramtypes[i].type;
3358 if (IS_INT_LNG_TYPE(t)) {
3359 if (!md->params[i].inmemory) {
3360 s1 = md->params[i].regoff;
3361 if (IS_2_WORD_TYPE(t)) {
3362 M_IST(rd->argintregs[GET_HIGH_REG(s1)], REG_SP, LA_SIZE + 4 * 4 + j * 4);
3364 M_IST(rd->argintregs[GET_LOW_REG(s1)], REG_SP, LA_SIZE + 4 * 4 + j * 4);
3366 M_IST(rd->argintregs[s1], REG_SP, LA_SIZE + 4 * 4 + j * 4);
3373 for (i = 0; i < md->paramcount; i++) {
3374 if (IS_FLT_DBL_TYPE(md->paramtypes[i].type)) {
3375 if (!md->params[i].inmemory) {
3376 s1 = md->params[i].regoff;
3377 M_DST(rd->argfltregs[s1], REG_SP, LA_SIZE + 4 * 4 + j * 8);
3383 /* create native stack info */
3385 M_AADD_IMM(REG_SP, cd->stackframesize * 4, REG_A0);
3386 M_MOV(REG_PV, REG_A1);
3387 M_AADD_IMM(REG_SP, cd->stackframesize * 4, REG_A2);
3388 M_ALD(REG_A3, REG_SP, cd->stackframesize * 4 + LA_LR_OFFSET);
3389 disp = dseg_add_functionptr(cd, codegen_start_native_call);
3390 M_ALD(REG_ITMP1, REG_PV, disp);
3394 /* restore integer and float argument registers */
3398 for (i = 0; i < md->paramcount; i++) {
3399 t = md->paramtypes[i].type;
3401 if (IS_INT_LNG_TYPE(t)) {
3402 if (!md->params[i].inmemory) {
3403 s1 = md->params[i].regoff;
3405 if (IS_2_WORD_TYPE(t)) {
3406 M_ILD(rd->argintregs[GET_HIGH_REG(s1)], REG_SP, LA_SIZE + 4 * 4 + j * 4);
3408 M_ILD(rd->argintregs[GET_LOW_REG(s1)], REG_SP, LA_SIZE + 4 * 4 + j * 4);
3410 M_ILD(rd->argintregs[s1], REG_SP, LA_SIZE + 4 * 4 + j * 4);
3417 for (i = 0; i < md->paramcount; i++) {
3418 if (IS_FLT_DBL_TYPE(md->paramtypes[i].type)) {
3419 if (!md->params[i].inmemory) {
3420 s1 = md->params[i].regoff;
3421 M_DLD(rd->argfltregs[s1], REG_SP, LA_SIZE + 4 * 4 + j * 8);
3427 /* copy or spill arguments to new locations */
3429 for (i = md->paramcount - 1, j = i + nativeparams; i >= 0; i--, j--) {
3430 t = md->paramtypes[i].type;
3432 if (IS_INT_LNG_TYPE(t)) {
3433 if (!md->params[i].inmemory) {
3434 if (IS_2_WORD_TYPE(t))
3436 rd->argintregs[GET_LOW_REG(md->params[i].regoff)],
3437 rd->argintregs[GET_HIGH_REG(md->params[i].regoff)]);
3439 s1 = rd->argintregs[md->params[i].regoff];
3441 if (!nmd->params[j].inmemory) {
3442 if (IS_2_WORD_TYPE(t)) {
3444 rd->argintregs[GET_LOW_REG(nmd->params[j].regoff)],
3445 rd->argintregs[GET_HIGH_REG(nmd->params[j].regoff)]);
3448 s2 = rd->argintregs[nmd->params[j].regoff];
3453 s2 = nmd->params[j].regoff;
3454 if (IS_2_WORD_TYPE(t))
3455 M_LST(s1, REG_SP, s2 * 4);
3457 M_IST(s1, REG_SP, s2 * 4);
3461 s1 = md->params[i].regoff + cd->stackframesize;
3462 s2 = nmd->params[j].regoff;
3464 M_ILD(REG_ITMP1, REG_SP, s1 * 4);
3465 if (IS_2_WORD_TYPE(t))
3466 M_ILD(REG_ITMP2, REG_SP, s1 * 4 + 4);
3468 M_IST(REG_ITMP1, REG_SP, s2 * 4);
3469 if (IS_2_WORD_TYPE(t))
3470 M_IST(REG_ITMP2, REG_SP, s2 * 4 + 4);
3474 /* We only copy spilled float arguments, as the float
3475 argument registers keep unchanged. */
3477 if (md->params[i].inmemory) {
3478 s1 = md->params[i].regoff + cd->stackframesize;
3479 s2 = nmd->params[j].regoff;
3481 if (IS_2_WORD_TYPE(t)) {
3482 M_DLD(REG_FTMP1, REG_SP, s1 * 4);
3483 M_DST(REG_FTMP1, REG_SP, s2 * 4);
3486 M_FLD(REG_FTMP1, REG_SP, s1 * 4);
3487 M_FST(REG_FTMP1, REG_SP, s2 * 4);
3493 /* put class into second argument register */
3495 if (m->flags & ACC_STATIC) {
3496 disp = dseg_add_address(cd, m->class);
3497 M_ALD(REG_A1, REG_PV, disp);
3500 /* put env into first argument register */
3502 disp = dseg_add_address(cd, _Jv_env);
3503 M_ALD(REG_A0, REG_PV, disp);
3505 /* generate the actual native call */
3507 M_ALD(REG_ITMP3, REG_PV, funcdisp);
3511 /* print call trace */
3513 if (JITDATA_HAS_FLAG_VERBOSECALL(jd))
3514 emit_verbosecall_exit(jd);
3516 /* save return value */
3518 if (md->returntype.type != TYPE_VOID) {
3519 if (IS_INT_LNG_TYPE(md->returntype.type)) {
3520 if (IS_2_WORD_TYPE(md->returntype.type))
3521 M_IST(REG_RESULT2, REG_SP, LA_SIZE + 2 * 4);
3522 M_IST(REG_RESULT, REG_SP, LA_SIZE + 1 * 4);
3525 if (IS_2_WORD_TYPE(md->returntype.type))
3526 M_DST(REG_FRESULT, REG_SP, LA_SIZE + 1 * 4);
3528 M_FST(REG_FRESULT, REG_SP, LA_SIZE + 1 * 4);
3532 /* remove native stackframe info */
3534 M_AADD_IMM(REG_SP, cd->stackframesize * 4, REG_A0);
3535 disp = dseg_add_functionptr(cd, codegen_finish_native_call);
3536 M_ALD(REG_ITMP1, REG_PV, disp);
3539 M_MOV(REG_RESULT, REG_ITMP1_XPTR);
3541 /* restore return value */
3543 if (md->returntype.type != TYPE_VOID) {
3544 if (IS_INT_LNG_TYPE(md->returntype.type)) {
3545 if (IS_2_WORD_TYPE(md->returntype.type))
3546 M_ILD(REG_RESULT2, REG_SP, LA_SIZE + 2 * 4);
3547 M_ILD(REG_RESULT, REG_SP, LA_SIZE + 1 * 4);
3550 if (IS_2_WORD_TYPE(md->returntype.type))
3551 M_DLD(REG_FRESULT, REG_SP, LA_SIZE + 1 * 4);
3553 M_FLD(REG_FRESULT, REG_SP, LA_SIZE + 1 * 4);
3557 M_ALD(REG_ITMP2_XPC, REG_SP, cd->stackframesize * 4 + LA_LR_OFFSET);
3558 M_MTLR(REG_ITMP2_XPC);
3559 M_LDA(REG_SP, REG_SP, cd->stackframesize * 4); /* remove stackframe */
3561 /* check for exception */
3563 M_TST(REG_ITMP1_XPTR);
3564 M_BNE(1); /* if no exception then return */
3568 /* handle exception */
3570 M_IADD_IMM(REG_ITMP2_XPC, -4, REG_ITMP2_XPC); /* exception address */
3572 disp = dseg_add_functionptr(cd, asm_handle_nat_exception);
3573 M_ALD(REG_ITMP3, REG_PV, disp);
3577 /* generate patcher stubs */
3579 emit_patcher_stubs(jd);
3583 return code->entrypoint;
3588 * These are local overrides for various environment variables in Emacs.
3589 * Please do not remove this and leave it at the end of the file, where
3590 * Emacs will automagically detect them.
3591 * ---------------------------------------------------------------------
3594 * indent-tabs-mode: t
3598 * vim:noexpandtab:sw=4:ts=4: