src/vm/jit/powerpc/codegen.c

   1 /* src/vm/jit/powerpc/codegen.c - machine code generator for 32-bit PowerPC
   2
   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
   7
   8    This file is part of CACAO.
   9
  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.
  14
  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.
  19
  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
  23    02110-1301, USA.
  24
  25    $Id: codegen.c 8196 2007-07-11 13:54:21Z twisti $
  26
  27 */
  28
  29
  30 #include "config.h"
  31
  32 #include <assert.h>
  33 #include <stdio.h>
  34 #include <signal.h>
  35
  36 #include "vm/types.h"
  37
  38 #include "md-abi.h"
  39
  40 #include "vm/jit/powerpc/arch.h"
  41 #include "vm/jit/powerpc/codegen.h"
  42
  43 #include "mm/memory.h"
  44
  45 #include "native/native.h"
  46
  47 #include "threads/lock-common.h"
  48
  49 #include "vm/builtin.h"
  50 #include "vm/exceptions.h"
  51 #include "vm/global.h"
  52 #include "vm/stringlocal.h"
  53 #include "vm/vm.h"
  54
  55 #include "vm/jit/abi.h"
  56 #include "vm/jit/abi-asm.h"
  57 #include "vm/jit/asmpart.h"
  58 #include "vm/jit/codegen-common.h"
  59 #include "vm/jit/dseg.h"
  60 #include "vm/jit/emit-common.h"
  61 #include "vm/jit/jit.h"
  62 #include "vm/jit/md.h"
  63 #include "vm/jit/methodheader.h"
  64 #include "vm/jit/parse.h"
  65 #include "vm/jit/patcher.h"
  66 #include "vm/jit/reg.h"
  67 #include "vm/jit/replace.h"
  68 #include "vm/jit/stacktrace.h"
  69
  70 #if defined(ENABLE_LSRA)
  71 # include "vm/jit/allocator/lsra.h"
  72 #endif
  73
  74 #include "vmcore/loader.h"
  75 #include "vmcore/options.h"
  76
  77
  78 /* codegen *********************************************************************
  79
  80    Generates machine code.
  81
  82 *******************************************************************************/
  83
  84 bool codegen_emit(jitdata *jd)
  85 {
  86         methodinfo         *m;
  87         codeinfo           *code;
  88         codegendata        *cd;
  89         registerdata       *rd;
  90         s4                  len, s1, s2, s3, d, disp;
  91         ptrint              a;
  92         varinfo            *var;
  93         basicblock         *bptr;
  94         instruction        *iptr;
  95         exception_entry    *ex;
  96         u2                  currentline;
  97         methodinfo         *lm;             /* local methodinfo for ICMD_INVOKE*  */
  98         unresolved_method  *um;
  99         builtintable_entry *bte;
 100         methoddesc         *md;
 101         fieldinfo          *fi;
 102         unresolved_field   *uf;
 103         s4                  fieldtype;
 104         s4                 varindex;
 105
 106         /* get required compiler data */
 107
 108         m    = jd->m;
 109         code = jd->code;
 110         cd   = jd->cd;
 111         rd   = jd->rd;
 112
 113         /* prevent compiler warnings */
 114
 115         d         = 0;
 116         fieldtype = 0;
 117         lm        = NULL;
 118         um        = NULL;
 119         uf        = NULL;
 120         bte       = NULL;
 121
 122         {
 123         s4 i, p, t, l;
 124         s4 savedregs_num;
 125
 126         savedregs_num = 0;
 127
 128         /* space to save used callee saved registers */
 129
 130         savedregs_num += (INT_SAV_CNT - rd->savintreguse);
 131         savedregs_num += (FLT_SAV_CNT - rd->savfltreguse) * 2;
 132
 133         cd->stackframesize = rd->memuse + savedregs_num;
 134
 135 #if defined(ENABLE_THREADS)
 136         /* Space to save argument of monitor_enter and Return Values to
 137            survive monitor_exit. The stack position for the argument can
 138            not be shared with place to save the return register on PPC,
 139            since both values reside in R3. */
 140
 141         if (checksync && (m->flags & ACC_SYNCHRONIZED)) {
 142                 /* reserve 2 slots for long/double return values for monitorexit */
 143
 144                 if (IS_2_WORD_TYPE(m->parseddesc->returntype.type))
 145                         cd->stackframesize += 3;
 146                 else
 147                         cd->stackframesize += 2;
 148         }
 149
 150 #endif
 151
 152         /* create method header */
 153
 154         /* align stack to 16-bytes */
 155
 156         if (!jd->isleafmethod || JITDATA_HAS_FLAG_VERBOSECALL(jd))
 157                 cd->stackframesize = (cd->stackframesize + 3) & ~3;
 158
 159         else if (jd->isleafmethod && (cd->stackframesize == LA_SIZE_IN_POINTERS))
 160                 cd->stackframesize = 0;
 161
 162         (void) dseg_add_unique_address(cd, code);              /* CodeinfoPointer */
 163         (void) dseg_add_unique_s4(cd, cd->stackframesize * 4); /* FrameSize       */
 164
 165 #if defined(ENABLE_THREADS)
 166         /* IsSync contains the offset relative to the stack pointer for the
 167            argument of monitor_exit used in the exception handler. Since the
 168            offset could be zero and give a wrong meaning of the flag it is
 169            offset by one.
 170         */
 171
 172         if (checksync && (m->flags & ACC_SYNCHRONIZED))
 173                 (void) dseg_add_unique_s4(cd, (rd->memuse + 1) * 4);/* IsSync         */
 174         else
 175 #endif
 176                 (void) dseg_add_unique_s4(cd, 0);                  /* IsSync          */
 177
 178         (void) dseg_add_unique_s4(cd, jd->isleafmethod);       /* IsLeaf          */
 179         (void) dseg_add_unique_s4(cd, INT_SAV_CNT - rd->savintreguse); /* IntSave */
 180         (void) dseg_add_unique_s4(cd, FLT_SAV_CNT - rd->savfltreguse); /* FltSave */
 181
 182         dseg_addlinenumbertablesize(cd);
 183
 184         (void) dseg_add_unique_s4(cd, jd->exceptiontablelength); /* ExTableSize   */
 185
 186         /* create exception table */
 187
 188         for (ex = jd->exceptiontable; ex != NULL; ex = ex->down) {
 189                 dseg_add_target(cd, ex->start);
 190                 dseg_add_target(cd, ex->end);
 191                 dseg_add_target(cd, ex->handler);
 192                 (void) dseg_add_unique_address(cd, ex->catchtype.any);
 193         }
 194
 195 #if defined(ENABLE_PROFILING)
 196         /* generate method profiling code */
 197
 198         if (JITDATA_HAS_FLAG_INSTRUMENT(jd)) {
 199                 /* count frequency */
 200
 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));
 205
 206 /*              PROFILE_CYCLE_START; */
 207         }
 208 #endif
 209
 210         /* create stack frame (if necessary) */
 211
 212         if (!jd->isleafmethod) {
 213                 M_MFLR(REG_ZERO);
 214                 M_AST(REG_ZERO, REG_SP, LA_LR_OFFSET);
 215         }
 216
 217         if (cd->stackframesize)
 218                 M_STWU(REG_SP, REG_SP, -(cd->stackframesize * 4));
 219
 220         /* save return address and used callee saved registers */
 221
 222         p = cd->stackframesize;
 223         for (i = INT_SAV_CNT - 1; i >= rd->savintreguse; i--) {
 224                 p--; M_IST(rd->savintregs[i], REG_SP, p * 4);
 225         }
 226         for (i = FLT_SAV_CNT - 1; i >= rd->savfltreguse; i--) {
 227                 p -= 2; M_DST(rd->savfltregs[i], REG_SP, p * 4);
 228         }
 229
 230         /* take arguments out of register or stack frame */
 231
 232         md = m->parseddesc;
 233
 234         for (p = 0, l = 0; p < md->paramcount; p++) {
 235                 t = md->paramtypes[p].type;
 236                 varindex = jd->local_map[l * 5 + t];
 237
 238                 l++;
 239                 if (IS_2_WORD_TYPE(t))    /* increment local counter for 2 word types */
 240                         l++;
 241
 242                 if (varindex == UNUSED)
 243                         continue;
 244
 245                 var = VAR(varindex);
 246                 s1  = md->params[p].regoff;
 247
 248                 if (IS_INT_LNG_TYPE(t)) {
 249                         if (!md->params[p].inmemory) {
 250                                 if (!IS_INMEMORY(var->flags)) {
 251                                         if (IS_2_WORD_TYPE(t))
 252                                                 M_LNGMOVE(s1, var->vv.regoff);
 253                                         else
 254                                                 M_INTMOVE(s1, var->vv.regoff);
 255                                 }
 256                                 else {
 257                                         if (IS_2_WORD_TYPE(t))
 258                                                 M_LST(s1, REG_SP, var->vv.regoff);
 259                                         else
 260                                                 M_IST(s1, REG_SP, var->vv.regoff);
 261                                 }
 262                         }
 263                         else {
 264                                 if (!IS_INMEMORY(var->flags)) {
 265                                         if (IS_2_WORD_TYPE(t))
 266                                                 M_LLD(var->vv.regoff, REG_SP, cd->stackframesize * 4 + s1);
 267                                         else
 268                                                 M_ILD(var->vv.regoff, REG_SP, cd->stackframesize * 4 + s1);
 269                                 }
 270                                 else {
 271 #if 1
 272                                         M_ILD(REG_ITMP1, REG_SP, cd->stackframesize * 4 + s1);
 273                                         M_IST(REG_ITMP1, REG_SP, var->vv.regoff);
 274                                         if (IS_2_WORD_TYPE(t)) {
 275                                                 M_ILD(REG_ITMP1, REG_SP, cd->stackframesize * 4 + s1 + 4);
 276                                                 M_IST(REG_ITMP1, REG_SP, var->vv.regoff + 4);
 277                                         }
 278 #else
 279                                         /* Reuse Memory Position on Caller Stack */
 280                                         var->vv.regoff = cd->stackframesize * 4 + s1;
 281 #endif
 282                                 }
 283                         }
 284                 }
 285                 else {
 286                         if (!md->params[p].inmemory) {
 287                                 if (!IS_INMEMORY(var->flags))
 288                                         M_FLTMOVE(s1, var->vv.regoff);
 289                                 else {
 290                                         if (IS_2_WORD_TYPE(t))
 291                                                 M_DST(s1, REG_SP, var->vv.regoff);
 292                                         else
 293                                                 M_FST(s1, REG_SP, var->vv.regoff);
 294                                 }
 295                         }
 296                         else {
 297                                 if (!IS_INMEMORY(var->flags)) {
 298                                         if (IS_2_WORD_TYPE(t))
 299                                                 M_DLD(var->vv.regoff, REG_SP, cd->stackframesize * 4 + s1);
 300                                         else
 301                                                 M_FLD(var->vv.regoff, REG_SP, cd->stackframesize * 4 + s1);
 302                                 }
 303                                 else {
 304 #if 1
 305                                         if (IS_2_WORD_TYPE(t)) {
 306                                                 M_DLD(REG_FTMP1, REG_SP, cd->stackframesize * 4 + s1);
 307                                                 M_DST(REG_FTMP1, REG_SP, var->vv.regoff);
 308                                         }
 309                                         else {
 310                                                 M_FLD(REG_FTMP1, REG_SP, cd->stackframesize * 4 + s1);
 311                                                 M_FST(REG_FTMP1, REG_SP, var->vv.regoff);
 312                                         }
 313 #else
 314                                         /* Reuse Memory Position on Caller Stack */
 315                                         var->vv.regoff = cd->stackframesize * 4 + s1;
 316 #endif
 317                                 }
 318                         }
 319                 }
 320         }
 321
 322 #if defined(ENABLE_THREADS)
 323         /* call monitorenter function */
 324
 325         if (checksync && (m->flags & ACC_SYNCHRONIZED)) {
 326                 /* stack offset for monitor argument */
 327
 328                 s1 = rd->memuse;
 329
 330 # if !defined(NDEBUG)
 331                 if (JITDATA_HAS_FLAG_VERBOSECALL(jd)) {
 332                         M_AADD_IMM(REG_SP, -((LA_SIZE_IN_POINTERS + ARG_CNT) * 8), REG_SP);
 333
 334                         for (p = 0; p < INT_ARG_CNT; p++)
 335                                 M_IST(abi_registers_integer_argument[p], REG_SP, LA_SIZE + p * 8);
 336
 337                         for (p = 0; p < FLT_ARG_CNT; p++)
 338                                 M_DST(abi_registers_float_argument[p], REG_SP, LA_SIZE + (INT_ARG_CNT + p) * 8);
 339
 340                         /* ATTENTION: We multiply here with 2, because we use * 8
 341                            above for simplicity and below * 4! */
 342
 343                         s1 += (LA_SIZE_IN_POINTERS + ARG_CNT) * 2;
 344                 }
 345 # endif
 346
 347                 disp = dseg_add_functionptr(cd, LOCK_monitor_enter);
 348                 M_ALD(REG_ITMP3, REG_PV, disp);
 349                 M_MTCTR(REG_ITMP3);
 350
 351                 /* get or test the lock object */
 352
 353                 if (m->flags & ACC_STATIC) {
 354                         disp = dseg_add_address(cd, &m->class->object.header);
 355                         M_ALD(REG_A0, REG_PV, disp);
 356                 }
 357                 else {
 358                         M_TST(REG_A0);
 359                         M_BNE(1);
 360                         M_ALD_INTERN(REG_ZERO, REG_ZERO, EXCEPTION_HARDWARE_NULLPOINTER);
 361                 }
 362
 363                 M_AST(REG_A0, REG_SP, s1 * 4);
 364                 M_JSR;
 365
 366 # if !defined(NDEBUG)
 367                 if (JITDATA_HAS_FLAG_VERBOSECALL(jd)) {
 368                         for (p = 0; p < INT_ARG_CNT; p++)
 369                                 M_ILD(abi_registers_integer_argument[p], REG_SP, LA_SIZE + p * 8);
 370
 371                         for (p = 0; p < FLT_ARG_CNT; p++)
 372                                 M_DLD(abi_registers_float_argument[p], REG_SP, LA_SIZE + (INT_ARG_CNT + p) * 8);
 373
 374                         M_AADD_IMM(REG_SP, (LA_SIZE_IN_POINTERS + ARG_CNT) * 8, REG_SP);
 375                 }
 376 # endif
 377         }
 378 #endif /* defined(ENABLE_THREADS) */
 379
 380         /* call trace function */
 381
 382         emit_verbosecall_enter(jd);
 383         }
 384
 385         /* end of header generation */
 386
 387         /* create replacement points */
 388
 389         REPLACEMENT_POINTS_INIT(cd, jd);
 390
 391         /* walk through all basic blocks */
 392
 393         for (bptr = jd->basicblocks; bptr != NULL; bptr = bptr->next) {
 394
 395                 bptr->mpc = (s4) (cd->mcodeptr - cd->mcodebase);
 396
 397                 if (bptr->flags >= BBREACHED) {
 398                 /* branch resolving */
 399
 400                 codegen_resolve_branchrefs(cd, bptr);
 401
 402                 /* handle replacement points */
 403
 404                 REPLACEMENT_POINT_BLOCK_START(cd, bptr);
 405
 406 #if defined(ENABLE_PROFILING)
 407                 /* generate basicblock profiling code */
 408
 409                 if (JITDATA_HAS_FLAG_INSTRUMENT(jd)) {
 410                         /* count frequency */
 411
 412                         disp = dseg_add_address(cd, code->bbfrequency);
 413                         M_ALD(REG_ITMP2, REG_PV, disp);
 414                         M_ALD(REG_ITMP3, REG_ITMP2, bptr->nr * 4);
 415                         M_IADD_IMM(REG_ITMP3, 1, REG_ITMP3);
 416                         M_AST(REG_ITMP3, REG_ITMP2, bptr->nr * 4);
 417
 418                         /* if this is an exception handler, start profiling again */
 419
 420 /*                      if (bptr->type == BBTYPE_EXH) */
 421 /*                              PROFILE_CYCLE_START; */
 422                 }
 423 #endif
 424
 425                 /* copy interface registers to their destination */
 426
 427                 len = bptr->indepth;
 428                 MCODECHECK(64+len);
 429
 430 #if defined(ENABLE_LSRA)
 431                 if (opt_lsra) {
 432                         while (src != NULL) {
 433                                 len--;
 434                                 if ((len == bptr->indepth-1) && (bptr->type == BBTYPE_EXH)) {
 435                                         /* d = reg_of_var(m, src, REG_ITMP1); */
 436                                         if (!IS_INMEMORY(src->flags))
 437                                                 d = src->vv.regoff;
 438                                         else
 439                                                 d = REG_ITMP1;
 440                                         M_INTMOVE(REG_ITMP1, d);
 441                                         emit_store(jd, NULL, src, d);
 442                                 }
 443                                 src = src->prev;
 444                         }
 445                 } else {
 446 #endif
 447                 while (len > 0) {
 448                         len--;
 449                         var = VAR(bptr->invars[len]);
 450                         if ((len == bptr->indepth-1) && (bptr->type == BBTYPE_EXH)) {
 451                                 d = codegen_reg_of_var(0, var, REG_ITMP1);
 452                                 M_INTMOVE(REG_ITMP1, d);
 453                                 emit_store(jd, NULL, var, d);
 454                         }
 455                         else {
 456                                 assert((var->flags & INOUT));
 457                         }
 458                 }
 459
 460 #if defined(ENABLE_LSRA)
 461                 }
 462 #endif
 463                 /* walk through all instructions */
 464
 465                 len = bptr->icount;
 466                 currentline = 0;
 467
 468                 for (iptr = bptr->iinstr; len > 0; len--, iptr++) {
 469                         if (iptr->line != currentline) {
 470                                 dseg_addlinenumber(cd, iptr->line);
 471                                 currentline = iptr->line;
 472                         }
 473
 474                         MCODECHECK(64);   /* an instruction usually needs < 64 words      */
 475
 476                 switch (iptr->opc) {
 477                 case ICMD_NOP:        /* ...  ==> ...                                 */
 478                 case ICMD_POP:        /* ..., value  ==> ...                          */
 479                 case ICMD_POP2:       /* ..., value, value  ==> ...                   */
 480                         break;
 481
 482                 case ICMD_INLINE_START:
 483
 484                         REPLACEMENT_POINT_INLINE_START(cd, iptr);
 485                         break;
 486
 487                 case ICMD_INLINE_BODY:
 488
 489                         REPLACEMENT_POINT_INLINE_BODY(cd, iptr);
 490                         dseg_addlinenumber_inline_start(cd, iptr);
 491                         dseg_addlinenumber(cd, iptr->line);
 492                         break;
 493
 494                 case ICMD_INLINE_END:
 495
 496                         dseg_addlinenumber_inline_end(cd, iptr);
 497                         dseg_addlinenumber(cd, iptr->line);
 498                         break;
 499
 500                 case ICMD_CHECKNULL:  /* ..., objectref  ==> ..., objectref           */
 501
 502                         s1 = emit_load_s1(jd, iptr, REG_ITMP1);
 503                         emit_nullpointer_check(cd, iptr, s1);
 504                         break;
 505
 506                 /* constant operations ************************************************/
 507
 508                 case ICMD_ICONST:     /* ...  ==> ..., constant                       */
 509
 510                         d = codegen_reg_of_dst(jd, iptr, REG_ITMP1);
 511                         ICONST(d, iptr->sx.val.i);
 512                         emit_store_dst(jd, iptr, d);
 513                         break;
 514
 515                 case ICMD_LCONST:     /* ...  ==> ..., constant                       */
 516
 517                         d = codegen_reg_of_dst(jd, iptr, REG_ITMP12_PACKED);
 518                         LCONST(d, iptr->sx.val.l);
 519                         emit_store_dst(jd, iptr, d);
 520                         break;
 521
 522                 case ICMD_FCONST:     /* ...  ==> ..., constant                       */
 523
 524                         d = codegen_reg_of_dst(jd, iptr, REG_FTMP1);
 525                         a = dseg_add_float(cd, iptr->sx.val.f);
 526                         M_FLD(d, REG_PV, a);
 527                         emit_store_dst(jd, iptr, d);
 528                         break;
 529
 530                 case ICMD_DCONST:     /* ...  ==> ..., constant                       */
 531
 532                         d = codegen_reg_of_dst(jd, iptr, REG_FTMP1);
 533                         a = dseg_add_double(cd, iptr->sx.val.d);
 534                         M_DLD(d, REG_PV, a);
 535                         emit_store_dst(jd, iptr, d);
 536                         break;
 537
 538                 case ICMD_ACONST:     /* ...  ==> ..., constant                       */
 539
 540                         d = codegen_reg_of_dst(jd, iptr, REG_ITMP1);
 541
 542                         if (INSTRUCTION_IS_UNRESOLVED(iptr)) {
 543                                 constant_classref *cr = iptr->sx.val.c.ref;;
 544
 545                                 disp = dseg_add_unique_address(cd, cr);
 546
 547                                 codegen_addpatchref(cd, PATCHER_resolve_classref_to_classinfo,
 548                                                                         cr, disp);
 549                         }
 550                         else
 551                                 disp = dseg_add_address(cd, iptr->sx.val.anyptr);
 552
 553                         M_ALD(d, REG_PV, disp);
 554                         emit_store_dst(jd, iptr, d);
 555                         break;
 556
 557
 558                 /* load/store/copy/move operations ************************************/
 559
 560                 case ICMD_ILOAD:      /* ...  ==> ..., content of local variable      */
 561                 case ICMD_ALOAD:      /* s1 = local variable                          */
 562                 case ICMD_LLOAD:
 563                 case ICMD_FLOAD:
 564                 case ICMD_DLOAD:
 565                 case ICMD_ISTORE:     /* ..., value  ==> ...                          */
 566                 case ICMD_LSTORE:
 567                 case ICMD_FSTORE:
 568                 case ICMD_DSTORE:
 569                 case ICMD_COPY:
 570                 case ICMD_MOVE:
 571
 572                         emit_copy(jd, iptr);
 573                         break;
 574
 575                 case ICMD_ASTORE:
 576
 577                         if (!(iptr->flags.bits & INS_FLAG_RETADDR))
 578                                 emit_copy(jd, iptr);
 579                         break;
 580
 581
 582                 /* integer operations *************************************************/
 583
 584                 case ICMD_INEG:       /* ..., value  ==> ..., - value                 */
 585
 586                         s1 = emit_load_s1(jd, iptr, REG_ITMP1);
 587                         d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
 588                         M_NEG(s1, d);
 589                         emit_store_dst(jd, iptr, d);
 590                         break;
 591
 592                 case ICMD_LNEG:       /* ..., value  ==> ..., - value                 */
 593
 594                         s1 = emit_load_s1(jd, iptr, REG_ITMP12_PACKED);
 595                         d = codegen_reg_of_dst(jd, iptr, REG_ITMP12_PACKED);
 596                         M_SUBFIC(GET_LOW_REG(s1), 0, GET_LOW_REG(d));
 597                         M_SUBFZE(GET_HIGH_REG(s1), GET_HIGH_REG(d));
 598                         emit_store_dst(jd, iptr, d);
 599                         break;
 600
 601                 case ICMD_I2L:        /* ..., value  ==> ..., value                   */
 602
 603                         s1 = emit_load_s1(jd, iptr, REG_ITMP2);
 604                         d = codegen_reg_of_dst(jd, iptr, REG_ITMP12_PACKED);
 605                         M_INTMOVE(s1, GET_LOW_REG(d));
 606                         M_SRA_IMM(GET_LOW_REG(d), 31, GET_HIGH_REG(d));
 607                         emit_store_dst(jd, iptr, d);
 608                         break;
 609
 610                 case ICMD_L2I:        /* ..., value  ==> ..., value                   */
 611
 612                         s1 = emit_load_s1_low(jd, iptr, REG_ITMP2);
 613                         d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
 614                         M_INTMOVE(s1, d);
 615                         emit_store_dst(jd, iptr, d);
 616                         break;
 617
 618                 case ICMD_INT2BYTE:   /* ..., value  ==> ..., value                   */
 619
 620                         s1 = emit_load_s1(jd, iptr, REG_ITMP1);
 621                         d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
 622                         M_BSEXT(s1, d);
 623                         emit_store_dst(jd, iptr, d);
 624                         break;
 625
 626                 case ICMD_INT2CHAR:   /* ..., value  ==> ..., value                   */
 627
 628                         s1 = emit_load_s1(jd, iptr, REG_ITMP1);
 629                         d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
 630                         M_CZEXT(s1, d);
 631                         emit_store_dst(jd, iptr, d);
 632                         break;
 633
 634                 case ICMD_INT2SHORT:  /* ..., value  ==> ..., value                   */
 635
 636                         s1 = emit_load_s1(jd, iptr, REG_ITMP1);
 637                         d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
 638                         M_SSEXT(s1, d);
 639                         emit_store_dst(jd, iptr, d);
 640                         break;
 641
 642
 643                 case ICMD_IADD:       /* ..., val1, val2  ==> ..., val1 + val2        */
 644
 645                         s1 = emit_load_s1(jd, iptr, REG_ITMP1);
 646                         s2 = emit_load_s2(jd, iptr, REG_ITMP2);
 647                         d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
 648                         M_IADD(s1, s2, d);
 649                         emit_store_dst(jd, iptr, d);
 650                         break;
 651
 652                                       /* s1.localindex = variable, sx.val.i = constant*/
 653
 654                 case ICMD_IINC:
 655                 case ICMD_IADDCONST:
 656
 657                         s1 = emit_load_s1(jd, iptr, REG_ITMP1);
 658                         d = codegen_reg_of_dst(jd, iptr, REG_ITMP1);
 659                         if ((iptr->sx.val.i >= -32768) && (iptr->sx.val.i <= 32767)) {
 660                                 M_IADD_IMM(s1, iptr->sx.val.i, d);
 661                         } else {
 662                                 ICONST(REG_ITMP2, iptr->sx.val.i);
 663                                 M_IADD(s1, REG_ITMP2, d);
 664                         }
 665                         /* XXX the old code for ICMD_IINC was as follows:
 666                         {
 667                                 u4 m = iptr->sx.val.i;
 668                                 if (m & 0x8000)
 669                                         m += 65536;
 670                                 if (m & 0xffff0000)
 671                                         M_ADDIS(s1, m >> 16, d);
 672                                 if (m & 0xffff)
 673                                         M_IADD_IMM(s1, m & 0xffff, d);
 674                         }
 675                         */
 676                         emit_store_dst(jd, iptr, d);
 677                         break;
 678
 679                 case ICMD_LADD:       /* ..., val1, val2  ==> ..., val1 + val2        */
 680
 681                         s1 = emit_load_s1_low(jd, iptr, REG_ITMP1);
 682                         s2 = emit_load_s2_low(jd, iptr, REG_ITMP2);
 683                         d = codegen_reg_of_dst(jd, iptr, REG_ITMP12_PACKED);
 684                         M_ADDC(s1, s2, GET_LOW_REG(d));
 685                         s1 = emit_load_s1_high(jd, iptr, REG_ITMP1);
 686                         s2 = emit_load_s2_high(jd, iptr, REG_ITMP3);/* don't use REG_ITMP2*/
 687                         M_ADDE(s1, s2, GET_HIGH_REG(d));
 688                         emit_store_dst(jd, iptr, d);
 689                         break;
 690
 691                 case ICMD_LADDCONST:  /* ..., value  ==> ..., value + constant        */
 692                                       /* sx.val.l = constant                          */
 693
 694                         s3 = iptr->sx.val.l & 0xffffffff;
 695                         s1 = emit_load_s1_low(jd, iptr, REG_ITMP1);
 696                         d = codegen_reg_of_dst(jd, iptr, REG_ITMP12_PACKED);
 697                         if ((s3 >= -32768) && (s3 <= 32767))
 698                                 M_ADDIC(s1, s3, GET_LOW_REG(d));
 699                         else {
 700                                 ICONST(REG_ITMP2, s3);
 701                                 M_ADDC(s1, REG_ITMP2, GET_LOW_REG(d));
 702                         }
 703                         s1 = emit_load_s1_high(jd, iptr, REG_ITMP1);
 704                         s3 = iptr->sx.val.l >> 32;
 705                         if (s3 == -1)
 706                                 M_ADDME(s1, GET_HIGH_REG(d));
 707                         else if (s3 == 0)
 708                                 M_ADDZE(s1, GET_HIGH_REG(d));
 709                         else {
 710                                 ICONST(REG_ITMP3, s3);                 /* don't use REG_ITMP2 */
 711                                 M_ADDE(s1, REG_ITMP3, GET_HIGH_REG(d));
 712                         }
 713                         emit_store_dst(jd, iptr, d);
 714                         break;
 715
 716                 case ICMD_ISUB:       /* ..., val1, val2  ==> ..., val1 - val2        */
 717
 718                         s1 = emit_load_s1(jd, iptr, REG_ITMP1);
 719                         s2 = emit_load_s2(jd, iptr, REG_ITMP2);
 720                         d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
 721                         M_ISUB(s1, s2, d);
 722                         emit_store_dst(jd, iptr, d);
 723                         break;
 724
 725                 case ICMD_ISUBCONST:  /* ..., value  ==> ..., value + constant        */
 726                                       /* sx.val.i = constant                          */
 727
 728                         s1 = emit_load_s1(jd, iptr, REG_ITMP1);
 729                         d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
 730                         if ((iptr->sx.val.i >= -32767) && (iptr->sx.val.i <= 32768))
 731                                 M_IADD_IMM(s1, -iptr->sx.val.i, d);
 732                         else {
 733                                 ICONST(REG_ITMP2, iptr->sx.val.i);
 734                                 M_ISUB(s1, REG_ITMP2, d);
 735                         }
 736                         emit_store_dst(jd, iptr, d);
 737                         break;
 738
 739                 case ICMD_LSUB:       /* ..., val1, val2  ==> ..., val1 - val2        */
 740
 741                         s1 = emit_load_s1_low(jd, iptr, REG_ITMP1);
 742                         s2 = emit_load_s2_low(jd, iptr, REG_ITMP2);
 743                         d = codegen_reg_of_dst(jd, iptr, REG_ITMP12_PACKED);
 744                         M_SUBC(s1, s2, GET_LOW_REG(d));
 745                         s1 = emit_load_s1_high(jd, iptr, REG_ITMP1);
 746                         s2 = emit_load_s2_high(jd, iptr, REG_ITMP3);/* don't use REG_ITMP2*/
 747                         M_SUBE(s1, s2, GET_HIGH_REG(d));
 748                         emit_store_dst(jd, iptr, d);
 749                         break;
 750
 751                 case ICMD_LSUBCONST:  /* ..., value  ==> ..., value - constant        */
 752                                       /* sx.val.l = constant                          */
 753
 754                         s3 = (-iptr->sx.val.l) & 0xffffffff;
 755                         s1 = emit_load_s1_low(jd, iptr, REG_ITMP1);
 756                         d = codegen_reg_of_dst(jd, iptr, REG_ITMP12_PACKED);
 757                         if ((s3 >= -32768) && (s3 <= 32767)) {
 758                                 M_ADDIC(s1, s3, GET_LOW_REG(d));
 759                         } else {
 760                                 ICONST(REG_ITMP2, s3);
 761                                 M_ADDC(s1, REG_ITMP2, GET_LOW_REG(d));
 762                         }
 763                         s1 = emit_load_s1_high(jd, iptr, REG_ITMP1);
 764                         s3 = (-iptr->sx.val.l) >> 32;
 765                         if (s3 == -1)
 766                                 M_ADDME(s1, GET_HIGH_REG(d));
 767                         else if (s3 == 0)
 768                                 M_ADDZE(s1, GET_HIGH_REG(d));
 769                         else {
 770                                 ICONST(REG_ITMP3, s3);                 /* don't use REG_ITMP2 */
 771                                 M_ADDE(s1, REG_ITMP3, GET_HIGH_REG(d));
 772                         }
 773                         emit_store_dst(jd, iptr, d);
 774                         break;
 775
 776                 case ICMD_IDIV:       /* ..., val1, val2  ==> ..., val1 / val2        */
 777
 778                         s1 = emit_load_s1(jd, iptr, REG_ITMP1);
 779                         s2 = emit_load_s2(jd, iptr, REG_ITMP2);
 780                         d = codegen_reg_of_dst(jd, iptr, REG_ITMP1);
 781                         emit_arithmetic_check(cd, iptr, s2);
 782                         M_LDAH(REG_ITMP3, REG_ZERO, 0x8000);
 783                         M_CMP(REG_ITMP3, s1);
 784                         M_BNE(3 + (s1 != d));
 785                         M_CMPI(s2, -1);
 786                         M_BNE(1 + (s1 != d));
 787                         M_INTMOVE(s1, d);
 788                         M_BR(1);
 789                         M_IDIV(s1, s2, d);
 790                         emit_store_dst(jd, iptr, d);
 791                         break;
 792
 793                 case ICMD_IREM:       /* ..., val1, val2  ==> ..., val1 % val2        */
 794
 795                         s1 = emit_load_s1(jd, iptr, REG_ITMP1);
 796                         s2 = emit_load_s2(jd, iptr, REG_ITMP2);
 797                         d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
 798                         emit_arithmetic_check(cd, iptr, s2);
 799                         M_LDAH(REG_ITMP3, REG_ZERO, 0x8000);
 800                         M_CMP(REG_ITMP3, s1);
 801                         M_BNE(4);
 802                         M_CMPI(s2, -1);
 803                         M_BNE(2);
 804                         M_CLR(d);
 805                         M_BR(3);
 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);
 810                         break;
 811
 812                 case ICMD_LDIV:       /* ..., val1, val2  ==> ..., val1 / val2        */
 813                 case ICMD_LREM:       /* ..., val1, val2  ==> ..., val1 % val2        */
 814
 815                         s1 = emit_load_s1(jd, iptr, REG_A0_A1_PACKED);
 816                         s2 = emit_load_s2(jd, iptr, REG_A2_A3_PACKED);
 817
 818                         /* XXX TODO: only do this if arithmetic check is really done! */
 819                         M_OR_TST(GET_HIGH_REG(s2), GET_LOW_REG(s2), REG_ITMP3);
 820                         /* XXX could be optimized */
 821                         emit_arithmetic_check(cd, iptr, REG_ITMP3);
 822
 823                         bte = iptr->sx.s23.s3.bte;
 824                         disp = dseg_add_functionptr(cd, bte->fp);
 825                         M_ALD(REG_ITMP3, REG_PV, disp);
 826                         M_MTCTR(REG_ITMP3);
 827
 828                         M_LNGMOVE(s1, REG_A0_A1_PACKED);
 829                         M_LNGMOVE(s2, REG_A2_A3_PACKED);
 830
 831                         M_JSR;
 832
 833                         d = codegen_reg_of_dst(jd, iptr, REG_RESULT_PACKED);
 834                         M_LNGMOVE(REG_RESULT_PACKED, d);
 835                         emit_store_dst(jd, iptr, d);
 836                         break;
 837
 838                 case ICMD_IMUL:       /* ..., val1, val2  ==> ..., val1 * val2        */
 839
 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_IMUL(s1, s2, d);
 844                         emit_store_dst(jd, iptr, d);
 845                         break;
 846
 847                 case ICMD_IMULCONST:  /* ..., value  ==> ..., value * constant        */
 848                                       /* sx.val.i = constant                          */
 849
 850                         s1 = emit_load_s1(jd, iptr, REG_ITMP1);
 851                         d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
 852                         if ((iptr->sx.val.i >= -32768) && (iptr->sx.val.i <= 32767))
 853                                 M_IMUL_IMM(s1, iptr->sx.val.i, d);
 854                         else {
 855                                 ICONST(REG_ITMP3, iptr->sx.val.i);
 856                                 M_IMUL(s1, REG_ITMP3, d);
 857                         }
 858                         emit_store_dst(jd, iptr, d);
 859                         break;
 860
 861                 case ICMD_IDIVPOW2:   /* ..., value  ==> ..., value << constant       */
 862
 863                         s1 = emit_load_s1(jd, iptr, REG_ITMP1);
 864                         d = codegen_reg_of_dst(jd, iptr, REG_ITMP3);
 865                         M_SRA_IMM(s1, iptr->sx.val.i, d);
 866                         M_ADDZE(d, d);
 867                         emit_store_dst(jd, iptr, d);
 868                         break;
 869
 870                 case ICMD_ISHL:       /* ..., val1, val2  ==> ..., val1 << val2       */
 871
 872                         s1 = emit_load_s1(jd, iptr, REG_ITMP1);
 873                         s2 = emit_load_s2(jd, iptr, REG_ITMP2);
 874                         d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
 875                         M_AND_IMM(s2, 0x1f, REG_ITMP3);
 876                         M_SLL(s1, REG_ITMP3, d);
 877                         emit_store_dst(jd, iptr, d);
 878                         break;
 879
 880                 case ICMD_ISHLCONST:  /* ..., value  ==> ..., value << constant       */
 881                                       /* sx.val.i = constant                          */
 882
 883                         s1 = emit_load_s1(jd, iptr, REG_ITMP1);
 884                         d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
 885                         M_SLL_IMM(s1, iptr->sx.val.i & 0x1f, d);
 886                         emit_store_dst(jd, iptr, d);
 887                         break;
 888
 889                 case ICMD_ISHR:       /* ..., val1, val2  ==> ..., val1 >> val2       */
 890
 891                         s1 = emit_load_s1(jd, iptr, REG_ITMP1);
 892                         s2 = emit_load_s2(jd, iptr, REG_ITMP2);
 893                         d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
 894                         M_AND_IMM(s2, 0x1f, REG_ITMP3);
 895                         M_SRA(s1, REG_ITMP3, d);
 896                         emit_store_dst(jd, iptr, d);
 897                         break;
 898
 899                 case ICMD_ISHRCONST:  /* ..., value  ==> ..., value >> constant       */
 900                                       /* sx.val.i = constant                          */
 901
 902                         s1 = emit_load_s1(jd, iptr, REG_ITMP1);
 903                         d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
 904                         M_SRA_IMM(s1, iptr->sx.val.i & 0x1f, d);
 905                         emit_store_dst(jd, iptr, d);
 906                         break;
 907
 908                 case ICMD_IUSHR:      /* ..., val1, val2  ==> ..., val1 >>> val2      */
 909
 910                         s1 = emit_load_s1(jd, iptr, REG_ITMP1);
 911                         s2 = emit_load_s2(jd, iptr, REG_ITMP2);
 912                         d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
 913                         M_AND_IMM(s2, 0x1f, REG_ITMP2);
 914                         M_SRL(s1, REG_ITMP2, d);
 915                         emit_store_dst(jd, iptr, d);
 916                         break;
 917
 918                 case ICMD_IUSHRCONST: /* ..., value  ==> ..., value >>> constant      */
 919                                       /* sx.val.i = constant                          */
 920
 921                         s1 = emit_load_s1(jd, iptr, REG_ITMP1);
 922                         d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
 923                         if (iptr->sx.val.i & 0x1f)
 924                                 M_SRL_IMM(s1, iptr->sx.val.i & 0x1f, d);
 925                         else {
 926                                 M_INTMOVE(s1, d);
 927                         }
 928                         emit_store_dst(jd, iptr, d);
 929                         break;
 930
 931                 case ICMD_IAND:       /* ..., val1, val2  ==> ..., val1 & val2        */
 932
 933                         s1 = emit_load_s1(jd, iptr, REG_ITMP1);
 934                         s2 = emit_load_s2(jd, iptr, REG_ITMP2);
 935                         d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
 936                         M_AND(s1, s2, d);
 937                         emit_store_dst(jd, iptr, d);
 938                         break;
 939
 940                 case ICMD_IANDCONST:  /* ..., value  ==> ..., value & constant        */
 941                                       /* sx.val.i = constant                          */
 942
 943                         s1 = emit_load_s1(jd, iptr, REG_ITMP1);
 944                         d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
 945                         if ((iptr->sx.val.i >= 0) && (iptr->sx.val.i <= 65535))
 946                                 M_AND_IMM(s1, iptr->sx.val.i, d);
 947                         /*
 948                         else if (iptr->sx.val.i == 0xffffff) {
 949                                 M_RLWINM(s1, 0, 8, 31, d);
 950                                 }
 951                         */
 952                         else {
 953                                 ICONST(REG_ITMP3, iptr->sx.val.i);
 954                                 M_AND(s1, REG_ITMP3, d);
 955                         }
 956                         emit_store_dst(jd, iptr, d);
 957                         break;
 958
 959                 case ICMD_LAND:       /* ..., val1, val2  ==> ..., val1 & val2        */
 960
 961                         s1 = emit_load_s1_low(jd, iptr, REG_ITMP1);
 962                         s2 = emit_load_s2_low(jd, iptr, REG_ITMP2);
 963                         d = codegen_reg_of_dst(jd, iptr, REG_ITMP12_PACKED);
 964                         M_AND(s1, s2, GET_LOW_REG(d));
 965                         s1 = emit_load_s1_high(jd, iptr, REG_ITMP1);
 966                         s2 = emit_load_s2_high(jd, iptr, REG_ITMP3);/* don't use REG_ITMP2*/
 967                         M_AND(s1, s2, GET_HIGH_REG(d));
 968                         emit_store_dst(jd, iptr, d);
 969                         break;
 970
 971                 case ICMD_LANDCONST:  /* ..., value  ==> ..., value & constant        */
 972                                       /* sx.val.l = constant                          */
 973
 974                         s3 = iptr->sx.val.l & 0xffffffff;
 975                         s1 = emit_load_s1_low(jd, iptr, REG_ITMP1);
 976                         d = codegen_reg_of_dst(jd, iptr, REG_ITMP12_PACKED);
 977                         if ((s3 >= 0) && (s3 <= 65535))
 978                                 M_AND_IMM(s1, s3, GET_LOW_REG(d));
 979                         else {
 980                                 ICONST(REG_ITMP3, s3);
 981                                 M_AND(s1, REG_ITMP3, GET_LOW_REG(d));
 982                         }
 983                         s1 = emit_load_s1_high(jd, iptr, REG_ITMP1);
 984                         s3 = iptr->sx.val.l >> 32;
 985                         if ((s3 >= 0) && (s3 <= 65535))
 986                                 M_AND_IMM(s1, s3, GET_HIGH_REG(d));
 987                         else {
 988                                 ICONST(REG_ITMP3, s3);                 /* don't use REG_ITMP2 */
 989                                 M_AND(s1, REG_ITMP3, GET_HIGH_REG(d));
 990                         }
 991                         emit_store_dst(jd, iptr, d);
 992                         break;
 993
 994                 case ICMD_IREMPOW2:   /* ..., value  ==> ..., value % constant        */
 995                                       /* sx.val.i = constant                          */
 996
 997                         s1 = emit_load_s1(jd, iptr, REG_ITMP1);
 998                         d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
 999                         M_MOV(s1, REG_ITMP2);
1000                         M_CMPI(s1, 0);
1001                         M_BGE(1 + 2*(iptr->sx.val.i >= 32768));
1002                         if (iptr->sx.val.i >= 32768) {
1003                                 M_ADDIS(REG_ZERO, iptr->sx.val.i >> 16, REG_ITMP2);
1004                                 M_OR_IMM(REG_ITMP2, iptr->sx.val.i, REG_ITMP2);
1005                                 M_IADD(s1, REG_ITMP2, REG_ITMP2);
1006                         }
1007                         else {
1008                                 M_IADD_IMM(s1, iptr->sx.val.i, REG_ITMP2);
1009                         }
1010                         {
1011                                 int b=0, m = iptr->sx.val.i;
1012                                 while (m >>= 1)
1013                                         ++b;
1014                                 M_RLWINM(REG_ITMP2, 0, 0, 30-b, REG_ITMP2);
1015                         }
1016                         M_ISUB(s1, REG_ITMP2, d);
1017                         emit_store_dst(jd, iptr, d);
1018                         break;
1019
1020                 case ICMD_IOR:        /* ..., val1, val2  ==> ..., val1 | val2        */
1021
1022                         s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1023                         s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1024                         d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
1025                         M_OR(s1, s2, d);
1026                         emit_store_dst(jd, iptr, d);
1027                         break;
1028
1029                 case ICMD_IORCONST:   /* ..., value  ==> ..., value | constant        */
1030                                       /* sx.val.i = constant                          */
1031
1032                         s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1033                         d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
1034                         if ((iptr->sx.val.i >= 0) && (iptr->sx.val.i <= 65535))
1035                                 M_OR_IMM(s1, iptr->sx.val.i, d);
1036                         else {
1037                                 ICONST(REG_ITMP3, iptr->sx.val.i);
1038                                 M_OR(s1, REG_ITMP3, d);
1039                         }
1040                         emit_store_dst(jd, iptr, d);
1041                         break;
1042
1043                 case ICMD_LOR:       /* ..., val1, val2  ==> ..., val1 | val2        */
1044
1045                         s1 = emit_load_s1_low(jd, iptr, REG_ITMP1);
1046                         s2 = emit_load_s2_low(jd, iptr, REG_ITMP2);
1047                         d = codegen_reg_of_dst(jd, iptr, REG_ITMP12_PACKED);
1048                         M_OR(s1, s2, GET_LOW_REG(d));
1049                         s1 = emit_load_s1_high(jd, iptr, REG_ITMP1);
1050                         s2 = emit_load_s2_high(jd, iptr, REG_ITMP3);/* don't use REG_ITMP2*/
1051                         M_OR(s1, s2, GET_HIGH_REG(d));
1052                         emit_store_dst(jd, iptr, d);
1053                         break;
1054
1055                 case ICMD_LORCONST:   /* ..., value  ==> ..., value | constant        */
1056                                       /* sx.val.l = constant                          */
1057
1058                         s3 = iptr->sx.val.l & 0xffffffff;
1059                         s1 = emit_load_s1_low(jd, iptr, REG_ITMP1);
1060                         d = codegen_reg_of_dst(jd, iptr, REG_ITMP12_PACKED);
1061                         if ((s3 >= 0) && (s3 <= 65535))
1062                                 M_OR_IMM(s1, s3, GET_LOW_REG(d));
1063                         else {
1064                                 ICONST(REG_ITMP3, s3);
1065                                 M_OR(s1, REG_ITMP3, GET_LOW_REG(d));
1066                         }
1067                         s1 = emit_load_s1_high(jd, iptr, REG_ITMP1);
1068                         s3 = iptr->sx.val.l >> 32;
1069                         if ((s3 >= 0) && (s3 <= 65535))
1070                                 M_OR_IMM(s1, s3, GET_HIGH_REG(d));
1071                         else {
1072                                 ICONST(REG_ITMP3, s3);                 /* don't use REG_ITMP2 */
1073                                 M_OR(s1, REG_ITMP3, GET_HIGH_REG(d));
1074                         }
1075                         emit_store_dst(jd, iptr, d);
1076                         break;
1077
1078                 case ICMD_IXOR:       /* ..., val1, val2  ==> ..., val1 ^ val2        */
1079
1080                         s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1081                         s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1082                         d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
1083                         M_XOR(s1, s2, d);
1084                         emit_store_dst(jd, iptr, d);
1085                         break;
1086
1087                 case ICMD_IXORCONST:  /* ..., value  ==> ..., value ^ constant        */
1088                                       /* sx.val.i = constant                          */
1089
1090                         s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1091                         d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
1092                         if ((iptr->sx.val.i >= 0) && (iptr->sx.val.i <= 65535))
1093                                 M_XOR_IMM(s1, iptr->sx.val.i, d);
1094                         else {
1095                                 ICONST(REG_ITMP3, iptr->sx.val.i);
1096                                 M_XOR(s1, REG_ITMP3, d);
1097                         }
1098                         emit_store_dst(jd, iptr, d);
1099                         break;
1100
1101                 case ICMD_LXOR:       /* ..., val1, val2  ==> ..., val1 ^ val2        */
1102
1103                         s1 = emit_load_s1_low(jd, iptr, REG_ITMP1);
1104                         s2 = emit_load_s2_low(jd, iptr, REG_ITMP2);
1105                         d = codegen_reg_of_dst(jd, iptr, REG_ITMP12_PACKED);
1106                         M_XOR(s1, s2, GET_LOW_REG(d));
1107                         s1 = emit_load_s1_high(jd, iptr, REG_ITMP1);
1108                         s2 = emit_load_s2_high(jd, iptr, REG_ITMP3);/* don't use REG_ITMP2*/
1109                         M_XOR(s1, s2, GET_HIGH_REG(d));
1110                         emit_store_dst(jd, iptr, d);
1111                         break;
1112
1113                 case ICMD_LXORCONST:  /* ..., value  ==> ..., value ^ constant        */
1114                                       /* sx.val.l = constant                          */
1115
1116                         s3 = iptr->sx.val.l & 0xffffffff;
1117                         s1 = emit_load_s1_low(jd, iptr, REG_ITMP1);
1118                         d = codegen_reg_of_dst(jd, iptr, REG_ITMP12_PACKED);
1119                         if ((s3 >= 0) && (s3 <= 65535))
1120                                 M_XOR_IMM(s1, s3, GET_LOW_REG(d));
1121                         else {
1122                                 ICONST(REG_ITMP3, s3);
1123                                 M_XOR(s1, REG_ITMP3, GET_LOW_REG(d));
1124                         }
1125                         s1 = emit_load_s1_high(jd, iptr, REG_ITMP1);
1126                         s3 = iptr->sx.val.l >> 32;
1127                         if ((s3 >= 0) && (s3 <= 65535))
1128                                 M_XOR_IMM(s1, s3, GET_HIGH_REG(d));
1129                         else {
1130                                 ICONST(REG_ITMP3, s3);                 /* don't use REG_ITMP2 */
1131                                 M_XOR(s1, REG_ITMP3, GET_HIGH_REG(d));
1132                         }
1133                         emit_store_dst(jd, iptr, d);
1134                         break;
1135
1136                 case ICMD_LCMP:       /* ..., val1, val2  ==> ..., val1 cmp val2      */
1137
1138                         s1 = emit_load_s1_high(jd, iptr, REG_ITMP3);
1139                         s2 = emit_load_s2_high(jd, iptr, REG_ITMP2);
1140                         d = codegen_reg_of_dst(jd, iptr, REG_ITMP1);
1141                         vm_abort("codegen: implement ICMD_LCMP!");
1142                         emit_store_dst(jd, iptr, d);
1143                         break;
1144
1145
1146                 /* floating operations ************************************************/
1147
1148                 case ICMD_FNEG:       /* ..., value  ==> ..., - value                 */
1149
1150                         s1 = emit_load_s1(jd, iptr, REG_FTMP1);
1151                         d = codegen_reg_of_dst(jd, iptr, REG_FTMP3);
1152                         M_FMOVN(s1, d);
1153                         emit_store_dst(jd, iptr, d);
1154                         break;
1155
1156                 case ICMD_DNEG:       /* ..., value  ==> ..., - value                 */
1157
1158                         s1 = emit_load_s1(jd, iptr, REG_FTMP1);
1159                         d = codegen_reg_of_dst(jd, iptr, REG_FTMP3);
1160                         M_FMOVN(s1, d);
1161                         emit_store_dst(jd, iptr, d);
1162                         break;
1163
1164                 case ICMD_FADD:       /* ..., val1, val2  ==> ..., val1 + val2        */
1165
1166                         s1 = emit_load_s1(jd, iptr, REG_FTMP1);
1167                         s2 = emit_load_s2(jd, iptr, REG_FTMP2);
1168                         d = codegen_reg_of_dst(jd, iptr, REG_FTMP3);
1169                         M_FADD(s1, s2, d);
1170                         emit_store_dst(jd, iptr, d);
1171                         break;
1172
1173                 case ICMD_DADD:       /* ..., val1, val2  ==> ..., val1 + val2        */
1174
1175                         s1 = emit_load_s1(jd, iptr, REG_FTMP1);
1176                         s2 = emit_load_s2(jd, iptr, REG_FTMP2);
1177                         d = codegen_reg_of_dst(jd, iptr, REG_FTMP3);
1178                         M_DADD(s1, s2, d);
1179                         emit_store_dst(jd, iptr, d);
1180                         break;
1181
1182                 case ICMD_FSUB:       /* ..., val1, val2  ==> ..., val1 - val2        */
1183
1184                         s1 = emit_load_s1(jd, iptr, REG_FTMP1);
1185                         s2 = emit_load_s2(jd, iptr, REG_FTMP2);
1186                         d = codegen_reg_of_dst(jd, iptr, REG_FTMP3);
1187                         M_FSUB(s1, s2, d);
1188                         emit_store_dst(jd, iptr, d);
1189                         break;
1190
1191                 case ICMD_DSUB:       /* ..., val1, val2  ==> ..., val1 - val2        */
1192
1193                         s1 = emit_load_s1(jd, iptr, REG_FTMP1);
1194                         s2 = emit_load_s2(jd, iptr, REG_FTMP2);
1195                         d = codegen_reg_of_dst(jd, iptr, REG_FTMP3);
1196                         M_DSUB(s1, s2, d);
1197                         emit_store_dst(jd, iptr, d);
1198                         break;
1199
1200                 case ICMD_FMUL:       /* ..., val1, val2  ==> ..., val1 * val2        */
1201
1202                         s1 = emit_load_s1(jd, iptr, REG_FTMP1);
1203                         s2 = emit_load_s2(jd, iptr, REG_FTMP2);
1204                         d = codegen_reg_of_dst(jd, iptr, REG_FTMP3);
1205                         M_FMUL(s1, s2, d);
1206                         emit_store_dst(jd, iptr, d);
1207                         break;
1208
1209                 case ICMD_DMUL:       /* ..., val1, val2  ==> ..., val1 * val2        */
1210
1211                         s1 = emit_load_s1(jd, iptr, REG_FTMP1);
1212                         s2 = emit_load_s2(jd, iptr, REG_FTMP2);
1213                         d = codegen_reg_of_dst(jd, iptr, REG_FTMP3);
1214                         M_DMUL(s1, s2, d);
1215                         emit_store_dst(jd, iptr, d);
1216                         break;
1217
1218                 case ICMD_FDIV:       /* ..., val1, val2  ==> ..., val1 / val2        */
1219
1220                         s1 = emit_load_s1(jd, iptr, REG_FTMP1);
1221                         s2 = emit_load_s2(jd, iptr, REG_FTMP2);
1222                         d = codegen_reg_of_dst(jd, iptr, REG_FTMP3);
1223                         M_FDIV(s1, s2, d);
1224                         emit_store_dst(jd, iptr, d);
1225                         break;
1226
1227                 case ICMD_DDIV:       /* ..., val1, val2  ==> ..., val1 / val2        */
1228
1229                         s1 = emit_load_s1(jd, iptr, REG_FTMP1);
1230                         s2 = emit_load_s2(jd, iptr, REG_FTMP2);
1231                         d = codegen_reg_of_dst(jd, iptr, REG_FTMP3);
1232                         M_DDIV(s1, s2, d);
1233                         emit_store_dst(jd, iptr, d);
1234                         break;
1235
1236                 case ICMD_F2I:       /* ..., value  ==> ..., (int) value              */
1237                 case ICMD_D2I:
1238
1239                         s1 = emit_load_s1(jd, iptr, REG_FTMP1);
1240                         d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
1241                         M_CLR(d);
1242                         disp = dseg_add_float(cd, 0.0);
1243                         M_FLD(REG_FTMP2, REG_PV, disp);
1244                         M_FCMPU(s1, REG_FTMP2);
1245                         M_BNAN(4);
1246                         disp = dseg_add_unique_s4(cd, 0);
1247                         M_CVTDL_C(s1, REG_FTMP1);
1248                         M_LDA(REG_ITMP1, REG_PV, disp);
1249                         M_STFIWX(REG_FTMP1, 0, REG_ITMP1);
1250                         M_ILD(d, REG_PV, disp);
1251                         emit_store_dst(jd, iptr, d);
1252                         break;
1253
1254                 case ICMD_F2D:       /* ..., value  ==> ..., (double) value           */
1255
1256                         s1 = emit_load_s1(jd, iptr, REG_FTMP1);
1257                         d = codegen_reg_of_dst(jd, iptr, REG_FTMP3);
1258                         M_FLTMOVE(s1, d);
1259                         emit_store_dst(jd, iptr, d);
1260                         break;
1261
1262                 case ICMD_D2F:       /* ..., value  ==> ..., (double) value           */
1263
1264                         s1 = emit_load_s1(jd, iptr, REG_FTMP1);
1265                         d = codegen_reg_of_dst(jd, iptr, REG_FTMP3);
1266                         M_CVTDF(s1, d);
1267                         emit_store_dst(jd, iptr, d);
1268                         break;
1269
1270                 case ICMD_FCMPL:      /* ..., val1, val2  ==> ..., val1 fcmpg val2    */
1271                 case ICMD_DCMPL:      /* == => 0, < => 1, > => -1                     */
1272
1273
1274                         s1 = emit_load_s1(jd, iptr, REG_FTMP1);
1275                         s2 = emit_load_s2(jd, iptr, REG_FTMP2);
1276                         d = codegen_reg_of_dst(jd, iptr, REG_ITMP1);
1277                         M_FCMPU(s2, s1);
1278                         M_IADD_IMM(REG_ZERO, -1, d);
1279                         M_BNAN(4);
1280                         M_BGT(3);
1281                         M_IADD_IMM(REG_ZERO, 0, d);
1282                         M_BGE(1);
1283                         M_IADD_IMM(REG_ZERO, 1, d);
1284                         emit_store_dst(jd, iptr, d);
1285                         break;
1286
1287                 case ICMD_FCMPG:      /* ..., val1, val2  ==> ..., val1 fcmpl val2    */
1288                 case ICMD_DCMPG:      /* == => 0, < => 1, > => -1                     */
1289
1290                         s1 = emit_load_s1(jd, iptr, REG_FTMP1);
1291                         s2 = emit_load_s2(jd, iptr, REG_FTMP2);
1292                         d = codegen_reg_of_dst(jd, iptr, REG_ITMP1);
1293                         M_FCMPU(s1, s2);
1294                         M_IADD_IMM(REG_ZERO, 1, d);
1295                         M_BNAN(4);
1296                         M_BGT(3);
1297                         M_IADD_IMM(REG_ZERO, 0, d);
1298                         M_BGE(1);
1299                         M_IADD_IMM(REG_ZERO, -1, d);
1300                         emit_store_dst(jd, iptr, d);
1301                         break;
1302
1303                 case ICMD_IF_FCMPEQ:    /* ..., value, value ==> ...                  */
1304                 case ICMD_IF_DCMPEQ:
1305
1306                         s1 = emit_load_s1(jd, iptr, REG_FTMP1);
1307                         s2 = emit_load_s2(jd, iptr, REG_FTMP2);
1308                         M_FCMPU(s1, s2);
1309                         M_BNAN(1);
1310                         emit_beq(cd, iptr->dst.block);
1311                         break;
1312
1313                 case ICMD_IF_FCMPNE:    /* ..., value, value ==> ...                  */
1314                 case ICMD_IF_DCMPNE:
1315
1316                         s1 = emit_load_s1(jd, iptr, REG_FTMP1);
1317                         s2 = emit_load_s2(jd, iptr, REG_FTMP2);
1318                         M_FCMPU(s1, s2);
1319                         emit_bnan(cd, iptr->dst.block);
1320                         emit_bne(cd, iptr->dst.block);
1321                         break;
1322
1323
1324                 case ICMD_IF_FCMPL_LT:  /* ..., value, value ==> ...                  */
1325                 case ICMD_IF_DCMPL_LT:
1326
1327                         s1 = emit_load_s1(jd, iptr, REG_FTMP1);
1328                         s2 = emit_load_s2(jd, iptr, REG_FTMP2);
1329                         M_FCMPU(s1, s2);
1330                         emit_bnan(cd, iptr->dst.block);
1331                         emit_blt(cd, iptr->dst.block);
1332                         break;
1333
1334                 case ICMD_IF_FCMPL_GT:  /* ..., value, value ==> ...                  */
1335                 case ICMD_IF_DCMPL_GT:
1336
1337                         s1 = emit_load_s1(jd, iptr, REG_FTMP1);
1338                         s2 = emit_load_s2(jd, iptr, REG_FTMP2);
1339                         M_FCMPU(s1, s2);
1340                         M_BNAN(1);
1341                         emit_bgt(cd, iptr->dst.block);
1342                         break;
1343
1344                 case ICMD_IF_FCMPL_LE:  /* ..., value, value ==> ...                  */
1345                 case ICMD_IF_DCMPL_LE:
1346
1347                         s1 = emit_load_s1(jd, iptr, REG_FTMP1);
1348                         s2 = emit_load_s2(jd, iptr, REG_FTMP2);
1349                         M_FCMPU(s1, s2);
1350                         emit_bnan(cd, iptr->dst.block);
1351                         emit_ble(cd, iptr->dst.block);
1352                         break;
1353
1354                 case ICMD_IF_FCMPL_GE:  /* ..., value, value ==> ...                  */
1355                 case ICMD_IF_DCMPL_GE:
1356
1357                         s1 = emit_load_s1(jd, iptr, REG_FTMP1);
1358                         s2 = emit_load_s2(jd, iptr, REG_FTMP2);
1359                         M_FCMPU(s1, s2);
1360                         M_BNAN(1);
1361                         emit_bge(cd, iptr->dst.block);
1362                         break;
1363
1364                 case ICMD_IF_FCMPG_LT:  /* ..., value, value ==> ...                  */
1365                 case ICMD_IF_DCMPG_LT:
1366
1367                         s1 = emit_load_s1(jd, iptr, REG_FTMP1);
1368                         s2 = emit_load_s2(jd, iptr, REG_FTMP2);
1369                         M_FCMPU(s1, s2);
1370                         M_BNAN(1);
1371                         emit_blt(cd, iptr->dst.block);
1372                         break;
1373
1374                 case ICMD_IF_FCMPG_GT:  /* ..., value, value ==> ...                  */
1375                 case ICMD_IF_DCMPG_GT:
1376
1377                         s1 = emit_load_s1(jd, iptr, REG_FTMP1);
1378                         s2 = emit_load_s2(jd, iptr, REG_FTMP2);
1379                         M_FCMPU(s1, s2);
1380                         emit_bnan(cd, iptr->dst.block);
1381                         emit_bgt(cd, iptr->dst.block);
1382                         break;
1383
1384                 case ICMD_IF_FCMPG_LE:  /* ..., value, value ==> ...                  */
1385                 case ICMD_IF_DCMPG_LE:
1386
1387                         s1 = emit_load_s1(jd, iptr, REG_FTMP1);
1388                         s2 = emit_load_s2(jd, iptr, REG_FTMP2);
1389                         M_FCMPU(s1, s2);
1390                         M_BNAN(1);
1391                         emit_ble(cd, iptr->dst.block);
1392                         break;
1393
1394                 case ICMD_IF_FCMPG_GE:  /* ..., value, value ==> ...                  */
1395                 case ICMD_IF_DCMPG_GE:
1396
1397                         s1 = emit_load_s1(jd, iptr, REG_FTMP1);
1398                         s2 = emit_load_s2(jd, iptr, REG_FTMP2);
1399                         M_FCMPU(s1, s2);
1400                         emit_bnan(cd, iptr->dst.block);
1401                         emit_bge(cd, iptr->dst.block);
1402                         break;
1403
1404
1405                 /* memory operations **************************************************/
1406
1407                 case ICMD_ARRAYLENGTH: /* ..., arrayref  ==> ..., length              */
1408
1409                         s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1410                         d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
1411                         /* implicit null-pointer check */
1412                         M_ILD(d, s1, OFFSET(java_arrayheader, size));
1413                         emit_store_dst(jd, iptr, d);
1414                         break;
1415
1416                 case ICMD_BALOAD:     /* ..., arrayref, index  ==> ..., value         */
1417
1418                         s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1419                         s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1420                         d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
1421                         emit_arrayindexoutofbounds_check(cd, iptr, s1, s2);
1422                         M_IADD_IMM(s2, OFFSET(java_bytearray, data[0]), REG_ITMP2);
1423                         /* implicit null-pointer check */
1424                         M_LBZX(d, s1, REG_ITMP2);
1425                         M_BSEXT(d, d);
1426                         emit_store_dst(jd, iptr, d);
1427                         break;
1428
1429                 case ICMD_CALOAD:     /* ..., arrayref, index  ==> ..., value         */
1430
1431                         s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1432                         s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1433                         d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
1434                         emit_arrayindexoutofbounds_check(cd, iptr, s1, s2);
1435                         M_SLL_IMM(s2, 1, REG_ITMP2);
1436                         M_IADD_IMM(REG_ITMP2, OFFSET(java_chararray, data[0]), REG_ITMP2);
1437                         /* implicit null-pointer check */
1438                         M_LHZX(d, s1, REG_ITMP2);
1439                         emit_store_dst(jd, iptr, d);
1440                         break;
1441
1442                 case ICMD_SALOAD:     /* ..., arrayref, index  ==> ..., value         */
1443
1444                         s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1445                         s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1446                         d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
1447                         emit_arrayindexoutofbounds_check(cd, iptr, s1, s2);
1448                         M_SLL_IMM(s2, 1, REG_ITMP2);
1449                         M_IADD_IMM(REG_ITMP2, OFFSET(java_shortarray, data[0]), REG_ITMP2);
1450                         /* implicit null-pointer check */
1451                         M_LHAX(d, s1, REG_ITMP2);
1452                         emit_store_dst(jd, iptr, d);
1453                         break;
1454
1455                 case ICMD_IALOAD:     /* ..., arrayref, index  ==> ..., value         */
1456
1457                         s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1458                         s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1459                         d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
1460                         emit_arrayindexoutofbounds_check(cd, iptr, s1, s2);
1461                         M_SLL_IMM(s2, 2, REG_ITMP2);
1462                         M_IADD_IMM(REG_ITMP2, OFFSET(java_intarray, data[0]), REG_ITMP2);
1463                         /* implicit null-pointer check */
1464                         M_LWZX(d, s1, REG_ITMP2);
1465                         emit_store_dst(jd, iptr, d);
1466                         break;
1467
1468                 case ICMD_LALOAD:     /* ..., arrayref, index  ==> ..., value         */
1469
1470                         s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1471                         s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1472                         d = codegen_reg_of_dst(jd, iptr, REG_ITMP12_PACKED);
1473                         /* implicit null-pointer check */
1474                         emit_arrayindexoutofbounds_check(cd, iptr, s1, s2);
1475                         M_SLL_IMM(s2, 3, REG_ITMP2);
1476                         M_IADD(s1, REG_ITMP2, REG_ITMP2);
1477                         M_LLD_INTERN(d, REG_ITMP2, OFFSET(java_longarray, data[0]));
1478                         emit_store_dst(jd, iptr, d);
1479                         break;
1480
1481                 case ICMD_FALOAD:     /* ..., arrayref, index  ==> ..., value         */
1482
1483                         s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1484                         s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1485                         d = codegen_reg_of_dst(jd, iptr, REG_FTMP1);
1486                         emit_arrayindexoutofbounds_check(cd, iptr, s1, s2);
1487                         M_SLL_IMM(s2, 2, REG_ITMP2);
1488                         M_IADD_IMM(REG_ITMP2, OFFSET(java_floatarray, data[0]), REG_ITMP2);
1489                         /* implicit null-pointer check */
1490                         M_LFSX(d, s1, REG_ITMP2);
1491                         emit_store_dst(jd, iptr, d);
1492                         break;
1493
1494                 case ICMD_DALOAD:     /* ..., arrayref, index  ==> ..., value         */
1495
1496                         s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1497                         s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1498                         d = codegen_reg_of_dst(jd, iptr, REG_FTMP1);
1499                         emit_arrayindexoutofbounds_check(cd, iptr, s1, s2);
1500                         M_SLL_IMM(s2, 3, REG_ITMP2);
1501                         M_IADD_IMM(REG_ITMP2, OFFSET(java_doublearray, data[0]), REG_ITMP2);
1502                         /* implicit null-pointer check */
1503                         M_LFDX(d, s1, REG_ITMP2);
1504                         emit_store_dst(jd, iptr, d);
1505                         break;
1506
1507                 case ICMD_AALOAD:     /* ..., arrayref, index  ==> ..., value         */
1508
1509                         s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1510                         s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1511                         d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
1512                         emit_arrayindexoutofbounds_check(cd, iptr, s1, s2);
1513                         M_SLL_IMM(s2, 2, REG_ITMP2);
1514                         M_IADD_IMM(REG_ITMP2, OFFSET(java_objectarray, data[0]), REG_ITMP2);
1515                         /* implicit null-pointer check */
1516                         M_LWZX(d, s1, REG_ITMP2);
1517                         emit_store_dst(jd, iptr, d);
1518                         break;
1519
1520
1521                 case ICMD_BASTORE:    /* ..., arrayref, index, value  ==> ...         */
1522
1523                         s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1524                         s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1525                         emit_arrayindexoutofbounds_check(cd, iptr, s1, s2);
1526                         s3 = emit_load_s3(jd, iptr, REG_ITMP3);
1527                         M_IADD_IMM(s2, OFFSET(java_bytearray, data[0]), REG_ITMP2);
1528                         /* implicit null-pointer check */
1529                         M_STBX(s3, s1, REG_ITMP2);
1530                         break;
1531
1532                 case ICMD_CASTORE:    /* ..., arrayref, index, value  ==> ...         */
1533
1534                         s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1535                         s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1536                         emit_arrayindexoutofbounds_check(cd, iptr, s1, s2);
1537                         s3 = emit_load_s3(jd, iptr, REG_ITMP3);
1538                         M_SLL_IMM(s2, 1, REG_ITMP2);
1539                         M_IADD_IMM(REG_ITMP2, OFFSET(java_chararray, data[0]), REG_ITMP2);
1540                         /* implicit null-pointer check */
1541                         M_STHX(s3, s1, REG_ITMP2);
1542                         break;
1543
1544                 case ICMD_SASTORE:    /* ..., arrayref, index, value  ==> ...         */
1545
1546                         s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1547                         s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1548                         emit_arrayindexoutofbounds_check(cd, iptr, s1, s2);
1549                         s3 = emit_load_s3(jd, iptr, REG_ITMP3);
1550                         M_SLL_IMM(s2, 1, REG_ITMP2);
1551                         M_IADD_IMM(REG_ITMP2, OFFSET(java_shortarray, data[0]), REG_ITMP2);
1552                         /* implicit null-pointer check */
1553                         M_STHX(s3, s1, REG_ITMP2);
1554                         break;
1555
1556                 case ICMD_IASTORE:    /* ..., arrayref, index, value  ==> ...         */
1557
1558                         s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1559                         s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1560                         emit_arrayindexoutofbounds_check(cd, iptr, s1, s2);
1561                         s3 = emit_load_s3(jd, iptr, REG_ITMP3);
1562                         M_SLL_IMM(s2, 2, REG_ITMP2);
1563                         M_IADD_IMM(REG_ITMP2, OFFSET(java_intarray, data[0]), REG_ITMP2);
1564                         /* implicit null-pointer check */
1565                         M_STWX(s3, s1, REG_ITMP2);
1566                         break;
1567
1568                 case ICMD_LASTORE:    /* ..., arrayref, index, value  ==> ...         */
1569
1570                         s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1571                         s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1572                         emit_arrayindexoutofbounds_check(cd, iptr, s1, s2);
1573                         s3 = emit_load_s3_high(jd, iptr, REG_ITMP3);
1574                         M_SLL_IMM(s2, 3, REG_ITMP2);
1575                         M_IADD_IMM(REG_ITMP2, OFFSET(java_longarray, data[0]), REG_ITMP2);
1576                         /* implicit null-pointer check */
1577                         M_STWX(s3, s1, REG_ITMP2);
1578                         M_IADD_IMM(REG_ITMP2, 4, REG_ITMP2);
1579                         s3 = emit_load_s3_low(jd, iptr, REG_ITMP3);
1580                         M_STWX(s3, s1, REG_ITMP2);
1581                         break;
1582
1583                 case ICMD_FASTORE:    /* ..., arrayref, index, value  ==> ...         */
1584
1585                         s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1586                         s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1587                         emit_arrayindexoutofbounds_check(cd, iptr, s1, s2);
1588                         s3 = emit_load_s3(jd, iptr, REG_FTMP3);
1589                         M_SLL_IMM(s2, 2, REG_ITMP2);
1590                         M_IADD_IMM(REG_ITMP2, OFFSET(java_floatarray, data[0]), REG_ITMP2);
1591                         /* implicit null-pointer check */
1592                         M_STFSX(s3, s1, REG_ITMP2);
1593                         break;
1594
1595                 case ICMD_DASTORE:    /* ..., arrayref, index, value  ==> ...         */
1596
1597                         s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1598                         s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1599                         emit_arrayindexoutofbounds_check(cd, iptr, s1, s2);
1600                         s3 = emit_load_s3(jd, iptr, REG_FTMP3);
1601                         M_SLL_IMM(s2, 3, REG_ITMP2);
1602                         M_IADD_IMM(REG_ITMP2, OFFSET(java_doublearray, data[0]), REG_ITMP2);
1603                         /* implicit null-pointer check */
1604                         M_STFDX(s3, s1, REG_ITMP2);
1605                         break;
1606
1607                 case ICMD_AASTORE:    /* ..., arrayref, index, value  ==> ...         */
1608
1609                         s1 = emit_load_s1(jd, iptr, REG_A0);
1610                         s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1611                         emit_arrayindexoutofbounds_check(cd, iptr, s1, s2);
1612                         s3 = emit_load_s3(jd, iptr, REG_A1);
1613
1614                         /* XXX what if array is NULL */
1615                         disp = dseg_add_functionptr(cd, BUILTIN_canstore);
1616                         M_ALD(REG_ITMP3, REG_PV, disp);
1617                         M_MTCTR(REG_ITMP3);
1618
1619                         M_INTMOVE(s1, REG_A0);
1620                         M_INTMOVE(s3, REG_A1);
1621
1622                         M_JSR;
1623                         emit_exception_check(cd, iptr);
1624
1625                         s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1626                         s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1627                         s3 = emit_load_s3(jd, iptr, REG_ITMP3);
1628                         M_SLL_IMM(s2, 2, REG_ITMP2);
1629                         M_IADD_IMM(REG_ITMP2, OFFSET(java_objectarray, data[0]), REG_ITMP2);
1630                         /* implicit null-pointer check */
1631                         M_STWX(s3, s1, REG_ITMP2);
1632                         break;
1633
1634
1635                 case ICMD_GETSTATIC:  /* ...  ==> ..., value                          */
1636
1637                         if (INSTRUCTION_IS_UNRESOLVED(iptr)) {
1638                                 uf        = iptr->sx.s23.s3.uf;
1639                                 fieldtype = uf->fieldref->parseddesc.fd->type;
1640                                 disp      = dseg_add_unique_address(cd, uf);
1641
1642                                 codegen_addpatchref(cd, PATCHER_get_putstatic, uf, disp);
1643                         }
1644                         else {
1645                                 fi        = iptr->sx.s23.s3.fmiref->p.field;
1646                                 fieldtype = fi->type;
1647                                 disp      = dseg_add_address(cd, &(fi->value));
1648
1649                                 if (!CLASS_IS_OR_ALMOST_INITIALIZED(fi->class))
1650                                         codegen_addpatchref(cd, PATCHER_initialize_class,
1651                                                                                 fi->class, disp);
1652                         }
1653
1654                         M_ALD(REG_ITMP1, REG_PV, disp);
1655                         switch (fieldtype) {
1656                         case TYPE_INT:
1657                                 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
1658                                 M_ILD_INTERN(d, REG_ITMP1, 0);
1659                                 break;
1660                         case TYPE_LNG:
1661                                 d = codegen_reg_of_dst(jd, iptr, REG_ITMP12_PACKED);
1662                                 M_ILD_INTERN(GET_LOW_REG(d), REG_ITMP1, 4);/* keep this order */
1663                                 M_ILD_INTERN(GET_HIGH_REG(d), REG_ITMP1, 0);/*keep this order */
1664                                 break;
1665                         case TYPE_ADR:
1666                                 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
1667                                 M_ALD_INTERN(d, REG_ITMP1, 0);
1668                                 break;
1669                         case TYPE_FLT:
1670                                 d = codegen_reg_of_dst(jd, iptr, REG_FTMP1);
1671                                 M_FLD_INTERN(d, REG_ITMP1, 0);
1672                                 break;
1673                         case TYPE_DBL:
1674                                 d = codegen_reg_of_dst(jd, iptr, REG_FTMP1);
1675                                 M_DLD_INTERN(d, REG_ITMP1, 0);
1676                                 break;
1677                         }
1678                         emit_store_dst(jd, iptr, d);
1679                         break;
1680
1681                 case ICMD_PUTSTATIC:  /* ..., value  ==> ...                          */
1682
1683                         if (INSTRUCTION_IS_UNRESOLVED(iptr)) {
1684                                 uf        = iptr->sx.s23.s3.uf;
1685                                 fieldtype = uf->fieldref->parseddesc.fd->type;
1686                                 disp      = dseg_add_unique_address(cd, uf);
1687
1688                                 codegen_addpatchref(cd, PATCHER_get_putstatic, uf, disp);
1689                         }
1690                         else {
1691                                 fi        = iptr->sx.s23.s3.fmiref->p.field;
1692                                 fieldtype = fi->type;
1693                                 disp      = dseg_add_address(cd, &(fi->value));
1694
1695                                 if (!CLASS_IS_OR_ALMOST_INITIALIZED(fi->class))
1696                                         codegen_addpatchref(cd, PATCHER_initialize_class,
1697                                                                                 fi->class, disp);
1698                         }
1699
1700                         M_ALD(REG_ITMP1, REG_PV, disp);
1701                         switch (fieldtype) {
1702                         case TYPE_INT:
1703                                 s1 = emit_load_s1(jd, iptr, REG_ITMP2);
1704                                 M_IST_INTERN(s1, REG_ITMP1, 0);
1705                                 break;
1706                         case TYPE_LNG:
1707                                 s1 = emit_load_s1(jd, iptr, REG_ITMP23_PACKED);
1708                                 M_LST_INTERN(s1, REG_ITMP1, 0);
1709                                 break;
1710                         case TYPE_ADR:
1711                                 s1 = emit_load_s1(jd, iptr, REG_ITMP2);
1712                                 M_AST_INTERN(s1, REG_ITMP1, 0);
1713                                 break;
1714                         case TYPE_FLT:
1715                                 s1 = emit_load_s1(jd, iptr, REG_FTMP2);
1716                                 M_FST_INTERN(s1, REG_ITMP1, 0);
1717                                 break;
1718                         case TYPE_DBL:
1719                                 s1 = emit_load_s1(jd, iptr, REG_FTMP2);
1720                                 M_DST_INTERN(s1, REG_ITMP1, 0);
1721                                 break;
1722                         }
1723                         break;
1724
1725
1726                 case ICMD_GETFIELD:   /* ...  ==> ..., value                          */
1727
1728                         s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1729
1730                         if (INSTRUCTION_IS_UNRESOLVED(iptr)) {
1731                                 uf        = iptr->sx.s23.s3.uf;
1732                                 fieldtype = uf->fieldref->parseddesc.fd->type;
1733                                 disp      = 0;
1734
1735                                 codegen_addpatchref(cd, PATCHER_get_putfield, uf, 0);
1736                         }
1737                         else {
1738                                 fi        = iptr->sx.s23.s3.fmiref->p.field;
1739                                 fieldtype = fi->type;
1740                                 disp      = fi->offset;
1741                         }
1742
1743                         /* implicit null-pointer check */
1744                         switch (fieldtype) {
1745                         case TYPE_INT:
1746                                 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
1747                                 M_ILD(d, s1, disp);
1748                                 break;
1749                         case TYPE_LNG:
1750                                 d = codegen_reg_of_dst(jd, iptr, REG_ITMP12_PACKED);
1751                                 if (GET_HIGH_REG(d) == s1) {
1752                                         M_ILD(GET_LOW_REG(d), s1, disp + 4);
1753                                         M_ILD(GET_HIGH_REG(d), s1, disp);
1754                                 }
1755                                 else {
1756                                         M_ILD(GET_HIGH_REG(d), s1, disp);
1757                                         M_ILD(GET_LOW_REG(d), s1, disp + 4);
1758                                 }
1759                                 break;
1760                         case TYPE_ADR:
1761                                 d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
1762                                 M_ALD(d, s1, disp);
1763                                 break;
1764                         case TYPE_FLT:
1765                                 d = codegen_reg_of_dst(jd, iptr, REG_FTMP1);
1766                                 M_FLD(d, s1, disp);
1767                                 break;
1768                         case TYPE_DBL:
1769                                 d = codegen_reg_of_dst(jd, iptr, REG_FTMP1);
1770                                 M_DLD(d, s1, disp);
1771                                 break;
1772                         }
1773                         emit_store_dst(jd, iptr, d);
1774                         break;
1775
1776                 case ICMD_PUTFIELD:   /* ..., value  ==> ...                          */
1777
1778                         s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1779
1780                         if (INSTRUCTION_IS_UNRESOLVED(iptr)) {
1781                                 uf        = iptr->sx.s23.s3.uf;
1782                                 fieldtype = uf->fieldref->parseddesc.fd->type;
1783                                 disp      = 0;
1784                         }
1785                         else {
1786                                 fi        = iptr->sx.s23.s3.fmiref->p.field;
1787                                 fieldtype = fi->type;
1788                                 disp      = fi->offset;
1789                         }
1790
1791                         if (IS_INT_LNG_TYPE(fieldtype)) {
1792                                 if (IS_2_WORD_TYPE(fieldtype))
1793                                         s2 = emit_load_s2(jd, iptr, REG_ITMP23_PACKED);
1794                                 else
1795                                         s2 = emit_load_s2(jd, iptr, REG_ITMP2);
1796                         }
1797                         else
1798                                 s2 = emit_load_s2(jd, iptr, REG_FTMP2);
1799
1800                         if (INSTRUCTION_IS_UNRESOLVED(iptr))
1801                                 codegen_addpatchref(cd, PATCHER_get_putfield, uf, 0);
1802
1803                         /* implicit null-pointer check */
1804                         switch (fieldtype) {
1805                         case TYPE_INT:
1806                                 M_IST(s2, s1, disp);
1807                                 break;
1808                         case TYPE_LNG:
1809                                 M_IST(GET_LOW_REG(s2), s1, disp + 4);      /* keep this order */
1810                                 M_IST(GET_HIGH_REG(s2), s1, disp);         /* keep this order */
1811                                 break;
1812                         case TYPE_ADR:
1813                                 M_AST(s2, s1, disp);
1814                                 break;
1815                         case TYPE_FLT:
1816                                 M_FST(s2, s1, disp);
1817                                 break;
1818                         case TYPE_DBL:
1819                                 M_DST(s2, s1, disp);
1820                                 break;
1821                         }
1822                         break;
1823
1824
1825                 /* branch operations **************************************************/
1826
1827                 case ICMD_ATHROW:       /* ..., objectref ==> ... (, objectref)       */
1828
1829                         s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1830                         M_INTMOVE(s1, REG_ITMP1_XPTR);
1831
1832 #ifdef ENABLE_VERIFIER
1833                         if (INSTRUCTION_IS_UNRESOLVED(iptr)) {
1834                                 unresolved_class *uc = iptr->sx.s23.s2.uc;
1835
1836                                 codegen_addpatchref(cd, PATCHER_resolve_class, uc, 0);
1837                         }
1838 #endif /* ENABLE_VERIFIER */
1839
1840                         disp = dseg_add_functionptr(cd, asm_handle_exception);
1841                         M_ALD(REG_ITMP2, REG_PV, disp);
1842                         M_MTCTR(REG_ITMP2);
1843
1844                         if (jd->isleafmethod)
1845                                 M_MFLR(REG_ITMP3);                          /* save LR        */
1846
1847                         M_BL(0);                                        /* get current PC */
1848                         M_MFLR(REG_ITMP2_XPC);
1849
1850                         if (jd->isleafmethod)
1851                                 M_MTLR(REG_ITMP3);                          /* restore LR     */
1852
1853                         M_RTS;                                          /* jump to CTR    */
1854                         ALIGNCODENOP;
1855                         break;
1856
1857                 case ICMD_GOTO:         /* ... ==> ...                                */
1858                 case ICMD_RET:          /* ... ==> ...                                */
1859
1860                         emit_br(cd, iptr->dst.block);
1861                         ALIGNCODENOP;
1862                         break;
1863
1864                 case ICMD_JSR:          /* ... ==> ...                                */
1865
1866                         emit_br(cd, iptr->sx.s23.s3.jsrtarget.block);
1867                         ALIGNCODENOP;
1868                         break;
1869
1870                 case ICMD_IFNULL:       /* ..., value ==> ...                         */
1871                 case ICMD_IFNONNULL:
1872
1873                         s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1874                         M_TST(s1);
1875                         emit_bcc(cd, iptr->dst.block, iptr->opc - ICMD_IFNULL, BRANCH_OPT_NONE);
1876                         break;
1877
1878                 case ICMD_IFLT:
1879                 case ICMD_IFLE:
1880                 case ICMD_IFNE:
1881                 case ICMD_IFGT:
1882                 case ICMD_IFGE:
1883                 case ICMD_IFEQ:         /* ..., value ==> ...                         */
1884
1885                         s1 = emit_load_s1(jd, iptr, REG_ITMP1);
1886                         if ((iptr->sx.val.i >= -32768) && (iptr->sx.val.i <= 32767))
1887                                 M_CMPI(s1, iptr->sx.val.i);
1888                         else {
1889                                 ICONST(REG_ITMP2, iptr->sx.val.i);
1890                                 M_CMP(s1, REG_ITMP2);
1891                         }
1892                         emit_bcc(cd, iptr->dst.block, iptr->opc - ICMD_IFEQ, BRANCH_OPT_NONE);
1893                         break;
1894
1895
1896                 case ICMD_IF_LEQ:       /* ..., value ==> ...                         */
1897
1898                         s1 = emit_load_s1_low(jd, iptr, REG_ITMP1);
1899                         s2 = emit_load_s1_high(jd, iptr, REG_ITMP2);
1900                         if (iptr->sx.val.l == 0) {
1901                                 M_OR_TST(s1, s2, REG_ITMP3);
1902                         }
1903                         else if ((iptr->sx.val.l >= 0) && (iptr->sx.val.l <= 0xffff)) {
1904                                 M_XOR_IMM(s2, 0, REG_ITMP2);
1905                                 M_XOR_IMM(s1, iptr->sx.val.l & 0xffff, REG_ITMP1);
1906                                 M_OR_TST(REG_ITMP1, REG_ITMP2, REG_ITMP3);
1907                         }
1908                         else {
1909                                 ICONST(REG_ITMP3, iptr->sx.val.l & 0xffffffff);
1910                                 M_XOR(s1, REG_ITMP3, REG_ITMP1);
1911                                 ICONST(REG_ITMP3, iptr->sx.val.l >> 32);
1912                                 M_XOR(s2, REG_ITMP3, REG_ITMP2);
1913                                 M_OR_TST(REG_ITMP1, REG_ITMP2, REG_ITMP3);
1914                         }
1915                         emit_beq(cd, iptr->dst.block);
1916                         break;
1917
1918                 case ICMD_IF_LLT:       /* ..., value ==> ...                         */
1919
1920                         s1 = emit_load_s1_low(jd, iptr, REG_ITMP1);
1921                         s2 = emit_load_s1_high(jd, iptr, REG_ITMP2);
1922                         if (iptr->sx.val.l == 0) {
1923                                 /* if high word is less than zero, the whole long is too */
1924                                 M_CMPI(s2, 0);
1925                                 emit_blt(cd, iptr->dst.block);
1926                         }
1927                         else if ((iptr->sx.val.l >= 0) && (iptr->sx.val.l <= 0xffff)) {
1928                                 M_CMPI(s2, 0);
1929                                 emit_blt(cd, iptr->dst.block);
1930                                 emit_label_bgt(cd, BRANCH_LABEL_1);
1931                                 M_CMPUI(s1, iptr->sx.val.l & 0xffff);
1932                                 emit_blt(cd, iptr->dst.block);
1933                                 emit_label(cd, BRANCH_LABEL_1);
1934                         }
1935                         else {
1936                                 ICONST(REG_ITMP3, iptr->sx.val.l >> 32);
1937                                 M_CMP(s2, REG_ITMP3);
1938                                 emit_blt(cd, iptr->dst.block);
1939                                 emit_label_bgt(cd, BRANCH_LABEL_1);
1940                                 ICONST(REG_ITMP3, iptr->sx.val.l & 0xffffffff);
1941                                 M_CMPU(s1, REG_ITMP3);
1942                                 emit_blt(cd, iptr->dst.block);
1943                                 emit_label(cd, BRANCH_LABEL_1);
1944                         }
1945                         break;
1946
1947                 case ICMD_IF_LLE:       /* ..., value ==> ...                         */
1948
1949                         s1 = emit_load_s1_low(jd, iptr, REG_ITMP1);
1950                         s2 = emit_load_s1_high(jd, iptr, REG_ITMP2);
1951 /*                      if (iptr->sx.val.l == 0) { */
1952 /*                              M_OR(s1, s2, REG_ITMP3); */
1953 /*                              M_CMPI(REG_ITMP3, 0); */
1954
1955 /*                      } else  */
1956                         if ((iptr->sx.val.l >= 0) && (iptr->sx.val.l <= 0xffff)) {
1957                                 M_CMPI(s2, 0);
1958                                 emit_blt(cd, iptr->dst.block);
1959                                 emit_label_bgt(cd, BRANCH_LABEL_1);
1960                                 M_CMPUI(s1, iptr->sx.val.l & 0xffff);
1961                         }
1962                         else {
1963                                 ICONST(REG_ITMP3, iptr->sx.val.l >> 32);
1964                                 M_CMP(s2, REG_ITMP3);
1965                                 emit_blt(cd, iptr->dst.block);
1966                                 emit_label_bgt(cd, BRANCH_LABEL_1);
1967                                 ICONST(REG_ITMP3, iptr->sx.val.l & 0xffffffff);
1968                                 M_CMPU(s1, REG_ITMP3);
1969                         }
1970                         emit_ble(cd, iptr->dst.block);
1971                         emit_label(cd, BRANCH_LABEL_1);
1972                         break;
1973
1974                 case ICMD_IF_LNE:       /* ..., value ==> ...                         */
1975
1976                         s1 = emit_load_s1_low(jd, iptr, REG_ITMP1);
1977                         s2 = emit_load_s1_high(jd, iptr, REG_ITMP2);
1978                         if (iptr->sx.val.l == 0) {
1979                                 M_OR_TST(s1, s2, REG_ITMP3);
1980                         }
1981                         else if ((iptr->sx.val.l >= 0) && (iptr->sx.val.l <= 0xffff)) {
1982                                 M_XOR_IMM(s2, 0, REG_ITMP2);
1983                                 M_XOR_IMM(s1, iptr->sx.val.l & 0xffff, REG_ITMP1);
1984                                 M_OR_TST(REG_ITMP1, REG_ITMP2, REG_ITMP3);
1985                         }
1986                         else {
1987                                 ICONST(REG_ITMP3, iptr->sx.val.l & 0xffffffff);
1988                                 M_XOR(s1, REG_ITMP3, REG_ITMP1);
1989                                 ICONST(REG_ITMP3, iptr->sx.val.l >> 32);
1990                                 M_XOR(s2, REG_ITMP3, REG_ITMP2);
1991                                 M_OR_TST(REG_ITMP1, REG_ITMP2, REG_ITMP3);
1992                         }
1993                         emit_bne(cd, iptr->dst.block);
1994                         break;
1995
1996                 case ICMD_IF_LGT:       /* ..., value ==> ...                         */
1997
1998                         s1 = emit_load_s1_low(jd, iptr, REG_ITMP1);
1999                         s2 = emit_load_s1_high(jd, iptr, REG_ITMP2);
2000 /*                      if (iptr->sx.val.l == 0) { */
2001 /*                              M_OR(s1, s2, REG_ITMP3); */
2002 /*                              M_CMPI(REG_ITMP3, 0); */
2003
2004 /*                      } else  */
2005                         if ((iptr->sx.val.l >= 0) && (iptr->sx.val.l <= 0xffff)) {
2006                                 M_CMPI(s2, 0);
2007                                 emit_bgt(cd, iptr->dst.block);
2008                                 emit_label_blt(cd, BRANCH_LABEL_1);
2009                                 M_CMPUI(s1, iptr->sx.val.l & 0xffff);
2010                         }
2011                         else {
2012                                 ICONST(REG_ITMP3, iptr->sx.val.l >> 32);
2013                                 M_CMP(s2, REG_ITMP3);
2014                                 emit_bgt(cd, iptr->dst.block);
2015                                 emit_label_blt(cd, BRANCH_LABEL_1);
2016                                 ICONST(REG_ITMP3, iptr->sx.val.l & 0xffffffff);
2017                                 M_CMPU(s1, REG_ITMP3);
2018                         }
2019                         emit_bgt(cd, iptr->dst.block);
2020                         emit_label(cd, BRANCH_LABEL_1);
2021                         break;
2022
2023                 case ICMD_IF_LGE:       /* ..., value ==> ...                         */
2024
2025                         s1 = emit_load_s1_low(jd, iptr, REG_ITMP1);
2026                         s2 = emit_load_s1_high(jd, iptr, REG_ITMP2);
2027                         if (iptr->sx.val.l == 0) {
2028                                 /* if high word is greater equal zero, the whole long is too */
2029                                 M_CMPI(s2, 0);
2030                                 emit_bge(cd, iptr->dst.block);
2031                         }
2032                         else if ((iptr->sx.val.l >= 0) && (iptr->sx.val.l <= 0xffff)) {
2033                                 M_CMPI(s2, 0);
2034                                 emit_bgt(cd, iptr->dst.block);
2035                                 emit_label_blt(cd, BRANCH_LABEL_1);
2036                                 M_CMPUI(s1, iptr->sx.val.l & 0xffff);
2037                                 emit_bge(cd, iptr->dst.block);
2038                                 emit_label(cd, BRANCH_LABEL_1);
2039                         }
2040                         else {
2041                                 ICONST(REG_ITMP3, iptr->sx.val.l >> 32);
2042                                 M_CMP(s2, REG_ITMP3);
2043                                 emit_bgt(cd, iptr->dst.block);
2044                                 emit_label_blt(cd, BRANCH_LABEL_1);
2045                                 ICONST(REG_ITMP3, iptr->sx.val.l & 0xffffffff);
2046                                 M_CMPU(s1, REG_ITMP3);
2047                                 emit_bge(cd, iptr->dst.block);
2048                                 emit_label(cd, BRANCH_LABEL_1);
2049                         }
2050                         break;
2051
2052                 case ICMD_IF_ICMPEQ:    /* ..., value, value ==> ...                  */
2053                 case ICMD_IF_ICMPNE:
2054                 case ICMD_IF_ICMPLT:
2055                 case ICMD_IF_ICMPGT:
2056                 case ICMD_IF_ICMPLE:
2057                 case ICMD_IF_ICMPGE:
2058
2059                         s1 = emit_load_s1(jd, iptr, REG_ITMP1);
2060                         s2 = emit_load_s2(jd, iptr, REG_ITMP2);
2061                         M_CMP(s1, s2);
2062                         emit_bcc(cd, iptr->dst.block, iptr->opc - ICMD_IF_ICMPEQ, BRANCH_OPT_NONE);
2063                         break;
2064
2065                 case ICMD_IF_ACMPEQ:    /* op1 = target JavaVM pc                     */
2066                 case ICMD_IF_ACMPNE:
2067
2068                         s1 = emit_load_s1(jd, iptr, REG_ITMP1);
2069                         s2 = emit_load_s2(jd, iptr, REG_ITMP2);
2070                         M_CMP(s1, s2);
2071                         emit_bcc(cd, iptr->dst.block, iptr->opc - ICMD_IF_ACMPEQ, BRANCH_OPT_NONE);
2072                         break;
2073
2074                 case ICMD_IF_LCMPEQ:    /* ..., value, value ==> ...                  */
2075
2076                         s1 = emit_load_s1_high(jd, iptr, REG_ITMP1);
2077                         s2 = emit_load_s2_high(jd, iptr, REG_ITMP2);
2078                         M_CMP(s1, s2);
2079                         emit_label_bne(cd, BRANCH_LABEL_1);
2080                         s1 = emit_load_s1_low(jd, iptr, REG_ITMP1);
2081                         s2 = emit_load_s2_low(jd, iptr, REG_ITMP2);
2082                         M_CMP(s1, s2);
2083                         emit_beq(cd, iptr->dst.block);
2084                         emit_label(cd, BRANCH_LABEL_1);
2085                         break;
2086
2087                 case ICMD_IF_LCMPNE:    /* ..., value, value ==> ...                  */
2088
2089                         s1 = emit_load_s1_high(jd, iptr, REG_ITMP1);
2090                         s2 = emit_load_s2_high(jd, iptr, REG_ITMP2);
2091                         M_CMP(s1, s2);
2092                         emit_bne(cd, iptr->dst.block);
2093                         s1 = emit_load_s1_low(jd, iptr, REG_ITMP1);
2094                         s2 = emit_load_s2_low(jd, iptr, REG_ITMP2);
2095                         M_CMP(s1, s2);
2096                         emit_bne(cd, iptr->dst.block);
2097                         break;
2098
2099                 case ICMD_IF_LCMPLT:    /* ..., value, value ==> ...                  */
2100
2101                         s1 = emit_load_s1_high(jd, iptr, REG_ITMP1);
2102                         s2 = emit_load_s2_high(jd, iptr, REG_ITMP2);
2103                         M_CMP(s1, s2);
2104                         emit_blt(cd, iptr->dst.block);
2105                         emit_label_bgt(cd, BRANCH_LABEL_1);
2106                         s1 = emit_load_s1_low(jd, iptr, REG_ITMP1);
2107                         s2 = emit_load_s2_low(jd, iptr, REG_ITMP2);
2108                         M_CMPU(s1, s2);
2109                         emit_blt(cd, iptr->dst.block);
2110                         emit_label(cd, BRANCH_LABEL_1);
2111                         break;
2112
2113                 case ICMD_IF_LCMPGT:    /* ..., value, value ==> ...                  */
2114
2115                         s1 = emit_load_s1_high(jd, iptr, REG_ITMP1);
2116                         s2 = emit_load_s2_high(jd, iptr, REG_ITMP2);
2117                         M_CMP(s1, s2);
2118                         emit_bgt(cd, iptr->dst.block);
2119                         emit_label_blt(cd, BRANCH_LABEL_1);
2120                         s1 = emit_load_s1_low(jd, iptr, REG_ITMP1);
2121                         s2 = emit_load_s2_low(jd, iptr, REG_ITMP2);
2122                         M_CMPU(s1, s2);
2123                         emit_bgt(cd, iptr->dst.block);
2124                         emit_label(cd, BRANCH_LABEL_1);
2125                         break;
2126
2127                 case ICMD_IF_LCMPLE:    /* ..., value, value ==> ...                  */
2128
2129                         s1 = emit_load_s1_high(jd, iptr, REG_ITMP1);
2130                         s2 = emit_load_s2_high(jd, iptr, REG_ITMP2);
2131                         M_CMP(s1, s2);
2132                         emit_blt(cd, iptr->dst.block);
2133                         emit_label_bgt(cd, BRANCH_LABEL_1);
2134                         s1 = emit_load_s1_low(jd, iptr, REG_ITMP1);
2135                         s2 = emit_load_s2_low(jd, iptr, REG_ITMP2);
2136                         M_CMPU(s1, s2);
2137                         emit_ble(cd, iptr->dst.block);
2138                         emit_label(cd, BRANCH_LABEL_1);
2139                         break;
2140
2141                 case ICMD_IF_LCMPGE:    /* ..., value, value ==> ...                  */
2142
2143                         s1 = emit_load_s1_high(jd, iptr, REG_ITMP1);
2144                         s2 = emit_load_s2_high(jd, iptr, REG_ITMP2);
2145                         M_CMP(s1, s2);
2146                         emit_bgt(cd, iptr->dst.block);
2147                         emit_label_blt(cd, BRANCH_LABEL_1);
2148                         s1 = emit_load_s1_low(jd, iptr, REG_ITMP1);
2149                         s2 = emit_load_s2_low(jd, iptr, REG_ITMP2);
2150                         M_CMPU(s1, s2);
2151                         emit_bge(cd, iptr->dst.block);
2152                         emit_label(cd, BRANCH_LABEL_1);
2153                         break;
2154
2155                 case ICMD_IRETURN:      /* ..., retvalue ==> ...                      */
2156
2157                         REPLACEMENT_POINT_RETURN(cd, iptr);
2158                         s1 = emit_load_s1(jd, iptr, REG_RESULT);
2159                         M_INTMOVE(s1, REG_RESULT);
2160                         goto nowperformreturn;
2161
2162                 case ICMD_ARETURN:      /* ..., retvalue ==> ...                      */
2163
2164                         REPLACEMENT_POINT_RETURN(cd, iptr);
2165                         s1 = emit_load_s1(jd, iptr, REG_RESULT);
2166                         M_INTMOVE(s1, REG_RESULT);
2167
2168 #ifdef ENABLE_VERIFIER
2169                         if (INSTRUCTION_IS_UNRESOLVED(iptr)) {
2170                                 unresolved_class *uc = iptr->sx.s23.s2.uc;
2171
2172                                 codegen_addpatchref(cd, PATCHER_resolve_class, uc, 0);
2173                         }
2174 #endif /* ENABLE_VERIFIER */
2175                         goto nowperformreturn;
2176
2177                 case ICMD_LRETURN:      /* ..., retvalue ==> ...                      */
2178
2179                         REPLACEMENT_POINT_RETURN(cd, iptr);
2180                         s1 = emit_load_s1(jd, iptr, REG_RESULT_PACKED);
2181                         M_LNGMOVE(s1, REG_RESULT_PACKED);
2182                         goto nowperformreturn;
2183
2184                 case ICMD_FRETURN:      /* ..., retvalue ==> ...                      */
2185                 case ICMD_DRETURN:
2186
2187                         REPLACEMENT_POINT_RETURN(cd, iptr);
2188                         s1 = emit_load_s1(jd, iptr, REG_FRESULT);
2189                         M_FLTMOVE(s1, REG_FRESULT);
2190                         goto nowperformreturn;
2191
2192                 case ICMD_RETURN:      /* ...  ==> ...                                */
2193
2194                         REPLACEMENT_POINT_RETURN(cd, iptr);
2195
2196 nowperformreturn:
2197                         {
2198                         s4 i, p;
2199
2200                         p = cd->stackframesize;
2201
2202                         /* call trace function */
2203
2204                         emit_verbosecall_exit(jd);
2205
2206 #if defined(ENABLE_THREADS)
2207                         if (checksync && (m->flags & ACC_SYNCHRONIZED)) {
2208                                 disp = dseg_add_functionptr(cd, LOCK_monitor_exit);
2209                                 M_ALD(REG_ITMP3, REG_PV, disp);
2210                                 M_MTCTR(REG_ITMP3);
2211
2212                                 /* we need to save the proper return value */
2213
2214                                 switch (iptr->opc) {
2215                                 case ICMD_LRETURN:
2216                                         M_IST(REG_RESULT2, REG_SP, rd->memuse * 4 + 8);
2217                                         /* fall through */
2218                                 case ICMD_IRETURN:
2219                                 case ICMD_ARETURN:
2220                                         M_IST(REG_RESULT , REG_SP, rd->memuse * 4 + 4);
2221                                         break;
2222                                 case ICMD_FRETURN:
2223                                         M_FST(REG_FRESULT, REG_SP, rd->memuse * 4 + 4);
2224                                         break;
2225                                 case ICMD_DRETURN:
2226                                         M_DST(REG_FRESULT, REG_SP, rd->memuse * 4 + 4);
2227                                         break;
2228                                 }
2229
2230                                 M_ALD(REG_A0, REG_SP, rd->memuse * 4);
2231                                 M_JSR;
2232
2233                                 /* and now restore the proper return value */
2234
2235                                 switch (iptr->opc) {
2236                                 case ICMD_LRETURN:
2237                                         M_ILD(REG_RESULT2, REG_SP, rd->memuse * 4 + 8);
2238                                         /* fall through */
2239                                 case ICMD_IRETURN:
2240                                 case ICMD_ARETURN:
2241                                         M_ILD(REG_RESULT , REG_SP, rd->memuse * 4 + 4);
2242                                         break;
2243                                 case ICMD_FRETURN:
2244                                         M_FLD(REG_FRESULT, REG_SP, rd->memuse * 4 + 4);
2245                                         break;
2246                                 case ICMD_DRETURN:
2247                                         M_DLD(REG_FRESULT, REG_SP, rd->memuse * 4 + 4);
2248                                         break;
2249                                 }
2250                         }
2251 #endif
2252
2253                         /* restore return address                                         */
2254
2255                         if (!jd->isleafmethod) {
2256                                 /* ATTENTION: Don't use REG_ZERO (r0) here, as M_ALD
2257                                    may have a displacement overflow. */
2258
2259                                 M_ALD(REG_ITMP1, REG_SP, p * 4 + LA_LR_OFFSET);
2260                                 M_MTLR(REG_ITMP1);
2261                         }
2262
2263                         /* restore saved registers                                        */
2264
2265                         for (i = INT_SAV_CNT - 1; i >= rd->savintreguse; i--) {
2266                                 p--; M_ILD(rd->savintregs[i], REG_SP, p * 4);
2267                         }
2268                         for (i = FLT_SAV_CNT - 1; i >= rd->savfltreguse; i--) {
2269                                 p -= 2; M_DLD(rd->savfltregs[i], REG_SP, p * 4);
2270                         }
2271
2272                         /* deallocate stack                                               */
2273
2274                         if (cd->stackframesize)
2275                                 M_LDA(REG_SP, REG_SP, cd->stackframesize * 4);
2276
2277                         M_RET;
2278                         ALIGNCODENOP;
2279                         }
2280                         break;
2281
2282
2283                 case ICMD_TABLESWITCH:  /* ..., index ==> ...                         */
2284                         {
2285                         s4 i, l;
2286                         branch_target_t *table;
2287
2288                         table = iptr->dst.table;
2289
2290                         l = iptr->sx.s23.s2.tablelow;
2291                         i = iptr->sx.s23.s3.tablehigh;
2292
2293                         s1 = emit_load_s1(jd, iptr, REG_ITMP1);
2294                         if (l == 0)
2295                                 M_INTMOVE(s1, REG_ITMP1);
2296                         else if (l <= 32768)
2297                                 M_LDA(REG_ITMP1, s1, -l);
2298                         else {
2299                                 ICONST(REG_ITMP2, l);
2300                                 M_ISUB(s1, REG_ITMP2, REG_ITMP1);
2301                         }
2302
2303                         i = i - l + 1;
2304
2305                         /* range check */
2306
2307                         M_CMPUI(REG_ITMP1, i - 1);
2308                         emit_bgt(cd, table[0].block);
2309
2310                         /* build jump table top down and use address of lowest entry */
2311
2312                         table += i;
2313
2314                         while (--i >= 0) {
2315                                 dseg_add_target(cd, table->block);
2316                                 --table;
2317                         }
2318
2319                         /* length of dataseg after last dseg_add_target is used by load */
2320
2321                         M_SLL_IMM(REG_ITMP1, 2, REG_ITMP1);
2322                         M_IADD(REG_ITMP1, REG_PV, REG_ITMP2);
2323                         M_ALD(REG_ITMP2, REG_ITMP2, -(cd->dseglen));
2324                         M_MTCTR(REG_ITMP2);
2325                         M_RTS;
2326                         ALIGNCODENOP;
2327                         }
2328                         break;
2329
2330
2331                 case ICMD_LOOKUPSWITCH: /* ..., key ==> ...                           */
2332                         {
2333                         s4 i;
2334                         lookup_target_t *lookup;
2335
2336                         lookup = iptr->dst.lookup;
2337
2338                         i = iptr->sx.s23.s2.lookupcount;
2339
2340                         MCODECHECK((i<<2)+8);
2341                         s1 = emit_load_s1(jd, iptr, REG_ITMP1);
2342
2343                         while (--i >= 0) {
2344                                 if ((lookup->value >= -32768) && (lookup->value <= 32767)) {
2345                                         M_CMPI(s1, lookup->value);
2346                                 }
2347                                 else {
2348                                         disp = dseg_add_s4(cd, lookup->value);
2349                                         M_ILD(REG_ITMP2, REG_PV, disp);
2350                                         M_CMP(s1, REG_ITMP2);
2351                                 }
2352                                 emit_beq(cd, lookup->target.block);
2353                                 lookup++;
2354                         }
2355
2356                         emit_br(cd, iptr->sx.s23.s3.lookupdefault.block);
2357                         ALIGNCODENOP;
2358                         break;
2359                         }
2360
2361
2362                 case ICMD_BUILTIN:      /* ..., [arg1, [arg2 ...]] ==> ...            */
2363
2364                         bte = iptr->sx.s23.s3.bte;
2365                         md  = bte->md;
2366                         goto gen_method;
2367
2368                 case ICMD_INVOKESTATIC: /* ..., [arg1, [arg2 ...]] ==> ...            */
2369
2370                 case ICMD_INVOKESPECIAL:/* ..., objectref, [arg1, [arg2 ...]] ==> ... */
2371                 case ICMD_INVOKEVIRTUAL:/* op1 = arg count, val.a = method pointer    */
2372                 case ICMD_INVOKEINTERFACE:
2373
2374                         REPLACEMENT_POINT_INVOKE(cd, iptr);
2375
2376                         if (INSTRUCTION_IS_UNRESOLVED(iptr)) {
2377                                 lm = NULL;
2378                                 um = iptr->sx.s23.s3.um;
2379                                 md = um->methodref->parseddesc.md;
2380                         }
2381                         else {
2382                                 lm = iptr->sx.s23.s3.fmiref->p.method;
2383                                 um = NULL;
2384                                 md = lm->parseddesc;
2385                         }
2386
2387 gen_method:
2388                         s3 = md->paramcount;
2389
2390                         MCODECHECK((s3 << 1) + 64);
2391
2392                         /* copy arguments to registers or stack location */
2393
2394                         for (s3 = s3 - 1; s3 >= 0; s3--) {
2395                                 var = VAR(iptr->sx.s23.s2.args[s3]);
2396                                 d   = md->params[s3].regoff;
2397
2398                                 /* Already Preallocated? */
2399                                 if (var->flags & PREALLOC)
2400                                         continue;
2401
2402                                 if (IS_INT_LNG_TYPE(var->type)) {
2403                                         if (!md->params[s3].inmemory) {
2404                                                 if (IS_2_WORD_TYPE(var->type)) {
2405                                                         s1 = emit_load(jd, iptr, var, d);
2406                                                         M_LNGMOVE(s1, d);
2407                                                 }
2408                                                 else {
2409                                                         s1 = emit_load(jd, iptr, var, d);
2410                                                         M_INTMOVE(s1, d);
2411                                                 }
2412                                         }
2413                                         else {
2414                                                 if (IS_2_WORD_TYPE(var->type)) {
2415                                                         s1 = emit_load(jd, iptr, var, REG_ITMP12_PACKED);
2416                                                         M_LST(s1, REG_SP, d);
2417                                                 }
2418                                                 else {
2419                                                         s1 = emit_load(jd, iptr, var, REG_ITMP1);
2420                                                         M_IST(s1, REG_SP, d);
2421                                                 }
2422                                         }
2423                                 }
2424                                 else {
2425                                         if (!md->params[s3].inmemory) {
2426                                                 s1 = emit_load(jd, iptr, var, d);
2427                                                 M_FLTMOVE(s1, d);
2428                                         }
2429                                         else {
2430                                                 s1 = emit_load(jd, iptr, var, REG_FTMP1);
2431                                                 if (IS_2_WORD_TYPE(var->type))
2432                                                         M_DST(s1, REG_SP, d);
2433                                                 else
2434                                                         M_FST(s1, REG_SP, d);
2435                                         }
2436                                 }
2437                         }
2438
2439                         switch (iptr->opc) {
2440                         case ICMD_BUILTIN:
2441                                 disp = dseg_add_functionptr(cd, bte->fp);
2442
2443                                 M_ALD(REG_PV, REG_PV, disp);  /* pointer to built-in-function */
2444
2445                                 /* generate the actual call */
2446
2447                                 M_MTCTR(REG_PV);
2448                                 M_JSR;
2449                                 REPLACEMENT_POINT_INVOKE_RETURN(cd, iptr);
2450                                 disp = (s4) (cd->mcodeptr - cd->mcodebase);
2451                                 M_MFLR(REG_ITMP1);
2452                                 M_LDA(REG_PV, REG_ITMP1, -disp);
2453
2454                                 emit_exception_check(cd, iptr);
2455                                 break;
2456
2457                         case ICMD_INVOKESPECIAL:
2458                                 emit_nullpointer_check(cd, iptr, REG_A0);
2459                                 /* fall-through */
2460
2461                         case ICMD_INVOKESTATIC:
2462                                 if (lm == NULL) {
2463                                         disp = dseg_add_unique_address(cd, um);
2464
2465                                         codegen_addpatchref(cd, PATCHER_invokestatic_special,
2466                                                                                 um, disp);
2467                                 }
2468                                 else
2469                                         disp = dseg_add_address(cd, lm->stubroutine);
2470
2471                                 M_ALD(REG_PV, REG_PV, disp);
2472
2473                                 /* generate the actual call */
2474
2475                                 M_MTCTR(REG_PV);
2476                                 M_JSR;
2477                                 REPLACEMENT_POINT_INVOKE_RETURN(cd, iptr);
2478                                 disp = (s4) (cd->mcodeptr - cd->mcodebase);
2479                                 M_MFLR(REG_ITMP1);
2480                                 M_LDA(REG_PV, REG_ITMP1, -disp);
2481                                 break;
2482
2483                         case ICMD_INVOKEVIRTUAL:
2484                                 if (lm == NULL) {
2485                                         codegen_addpatchref(cd, PATCHER_invokevirtual, um, 0);
2486
2487                                         s1 = 0;
2488                                 }
2489                                 else {
2490                                         s1 = OFFSET(vftbl_t, table[0]) +
2491                                                 sizeof(methodptr) * lm->vftblindex;
2492                                 }
2493
2494                                 /* implicit null-pointer check */
2495                                 M_ALD(REG_METHODPTR, REG_A0, OFFSET(java_objectheader, vftbl));
2496                                 M_ALD(REG_PV, REG_METHODPTR, s1);
2497
2498                                 /* generate the actual call */
2499
2500                                 M_MTCTR(REG_PV);
2501                                 M_JSR;
2502                                 REPLACEMENT_POINT_INVOKE_RETURN(cd, iptr);
2503                                 disp = (s4) (cd->mcodeptr - cd->mcodebase);
2504                                 M_MFLR(REG_ITMP1);
2505                                 M_LDA(REG_PV, REG_ITMP1, -disp);
2506                                 break;
2507
2508                         case ICMD_INVOKEINTERFACE:
2509                                 if (lm == NULL) {
2510                                         codegen_addpatchref(cd, PATCHER_invokeinterface, um, 0);
2511
2512                                         s1 = 0;
2513                                         s2 = 0;
2514                                 }
2515                                 else {
2516                                         s1 = OFFSET(vftbl_t, interfacetable[0]) -
2517                                                 sizeof(methodptr*) * lm->class->index;
2518
2519                                         s2 = sizeof(methodptr) * (lm - lm->class->methods);
2520                                 }
2521
2522                                 /* implicit null-pointer check */
2523                                 M_ALD(REG_METHODPTR, REG_A0, OFFSET(java_objectheader, vftbl));
2524                                 M_ALD(REG_METHODPTR, REG_METHODPTR, s1);
2525                                 M_ALD(REG_PV, REG_METHODPTR, s2);
2526
2527                                 /* generate the actual call */
2528
2529                                 M_MTCTR(REG_PV);
2530                                 M_JSR;
2531                                 REPLACEMENT_POINT_INVOKE_RETURN(cd, iptr);
2532                                 disp = (s4) (cd->mcodeptr - cd->mcodebase);
2533                                 M_MFLR(REG_ITMP1);
2534                                 M_LDA(REG_PV, REG_ITMP1, -disp);
2535                                 break;
2536                         }
2537
2538                         /* store return value */
2539
2540                         d = md->returntype.type;
2541
2542                         if (d != TYPE_VOID) {
2543                                 if (IS_INT_LNG_TYPE(d)) {
2544                                         if (IS_2_WORD_TYPE(d)) {
2545                                                 s1 = codegen_reg_of_dst(jd, iptr, REG_RESULT_PACKED);
2546                                                 M_LNGMOVE(REG_RESULT_PACKED, s1);
2547                                         }
2548                                         else {
2549                                                 s1 = codegen_reg_of_dst(jd, iptr, REG_RESULT);
2550                                                 M_INTMOVE(REG_RESULT, s1);
2551                                         }
2552                                 }
2553                                 else {
2554                                         s1 = codegen_reg_of_dst(jd, iptr, REG_FRESULT);
2555                                         M_FLTMOVE(REG_FRESULT, s1);
2556                                 }
2557                                 emit_store_dst(jd, iptr, s1);
2558                         }
2559                         break;
2560
2561
2562                 case ICMD_CHECKCAST:  /* ..., objectref ==> ..., objectref            */
2563
2564                         if (!(iptr->flags.bits & INS_FLAG_ARRAY)) {
2565                                 /* object type cast-check */
2566
2567                                 classinfo *super;
2568                                 s4         superindex;
2569
2570                                 if (INSTRUCTION_IS_UNRESOLVED(iptr)) {
2571                                         super      = NULL;
2572                                         superindex = 0;
2573                                 }
2574                                 else {
2575                                         super      = iptr->sx.s23.s3.c.cls;
2576                                         superindex = super->index;
2577                                 }
2578
2579                                 if ((super == NULL) || !(super->flags & ACC_INTERFACE))
2580                                         CODEGEN_CRITICAL_SECTION_NEW;
2581
2582                                 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
2583
2584                                 /* if class is not resolved, check which code to call */
2585
2586                                 if (super == NULL) {
2587                                         M_TST(s1);
2588                                         emit_label_beq(cd, BRANCH_LABEL_1);
2589
2590                                         disp = dseg_add_unique_s4(cd, 0);         /* super->flags */
2591
2592                                         codegen_addpatchref(cd,
2593                                                                                 PATCHER_resolve_classref_to_flags,
2594                                                                                 iptr->sx.s23.s3.c.ref,
2595                                                                                 disp);
2596
2597                                         M_ILD(REG_ITMP2, REG_PV, disp);
2598                                         M_AND_IMM(REG_ITMP2, ACC_INTERFACE, REG_ITMP2);
2599                                         emit_label_beq(cd, BRANCH_LABEL_2);
2600                                 }
2601
2602                                 /* interface checkcast code */
2603
2604                                 if ((super == NULL) || (super->flags & ACC_INTERFACE)) {
2605                                         if (super == NULL) {
2606                                                 codegen_addpatchref(cd,
2607                                                                                         PATCHER_checkcast_interface,
2608                                                                                         iptr->sx.s23.s3.c.ref,
2609                                                                                         0);
2610                                         }
2611                                         else {
2612                                                 M_TST(s1);
2613                                                 emit_label_beq(cd, BRANCH_LABEL_3);
2614                                         }
2615
2616                                         M_ALD(REG_ITMP2, s1, OFFSET(java_objectheader, vftbl));
2617                                         M_ILD(REG_ITMP3, REG_ITMP2, OFFSET(vftbl_t, interfacetablelength));
2618                                         M_LDATST(REG_ITMP3, REG_ITMP3, -superindex);
2619                                         emit_classcast_check(cd, iptr, BRANCH_LE, REG_ITMP3, s1);
2620
2621                                         M_ALD(REG_ITMP3, REG_ITMP2,
2622                                                   OFFSET(vftbl_t, interfacetable[0]) -
2623                                                   superindex * sizeof(methodptr*));
2624                                         M_TST(REG_ITMP3);
2625                                         emit_classcast_check(cd, iptr, BRANCH_EQ, REG_ITMP3, s1);
2626
2627                                         if (super == NULL)
2628                                                 emit_label_br(cd, BRANCH_LABEL_4);
2629                                         else
2630                                                 emit_label(cd, BRANCH_LABEL_3);
2631                                 }
2632
2633                                 /* class checkcast code */
2634
2635                                 if ((super == NULL) || !(super->flags & ACC_INTERFACE)) {
2636                                         if (super == NULL) {
2637                                                 emit_label(cd, BRANCH_LABEL_2);
2638
2639                                                 disp = dseg_add_unique_address(cd, NULL);
2640
2641                                                 codegen_addpatchref(cd, PATCHER_resolve_classref_to_vftbl,
2642                                                                                         iptr->sx.s23.s3.c.ref,
2643                                                                                         disp);
2644                                         }
2645                                         else {
2646                                                 disp = dseg_add_address(cd, super->vftbl);
2647
2648                                                 M_TST(s1);
2649                                                 emit_label_beq(cd, BRANCH_LABEL_5);
2650                                         }
2651
2652                                         M_ALD(REG_ITMP2, s1, OFFSET(java_objectheader, vftbl));
2653
2654                                         CODEGEN_CRITICAL_SECTION_START;
2655
2656                                         M_ILD(REG_ITMP3, REG_ITMP2, OFFSET(vftbl_t, baseval));
2657                                         M_ALD(REG_ITMP2, REG_PV, disp);
2658                                         if (s1 != REG_ITMP1) {
2659                                                 M_ILD(REG_ITMP1, REG_ITMP2, OFFSET(vftbl_t, baseval));
2660                                                 M_ILD(REG_ITMP2, REG_ITMP2, OFFSET(vftbl_t, diffval));
2661
2662                                                 CODEGEN_CRITICAL_SECTION_END;
2663
2664                                                 M_ISUB(REG_ITMP3, REG_ITMP1, REG_ITMP3);
2665                                         }
2666                                         else {
2667                                                 M_ILD(REG_ITMP2, REG_ITMP2, OFFSET(vftbl_t, baseval));
2668                                                 M_ISUB(REG_ITMP3, REG_ITMP2, REG_ITMP3);
2669                                                 M_ALD(REG_ITMP2, REG_PV, disp);
2670                                                 M_ILD(REG_ITMP2, REG_ITMP2, OFFSET(vftbl_t, diffval));
2671
2672                                                 CODEGEN_CRITICAL_SECTION_END;
2673                                         }
2674                                         M_CMPU(REG_ITMP3, REG_ITMP2);
2675                                         emit_classcast_check(cd, iptr, BRANCH_GT, REG_ITMP3, s1);
2676
2677                                         if (super != NULL)
2678                                                 emit_label(cd, BRANCH_LABEL_5);
2679                                 }
2680
2681                                 if (super == NULL) {
2682                                         emit_label(cd, BRANCH_LABEL_1);
2683                                         emit_label(cd, BRANCH_LABEL_4);
2684                                 }
2685
2686                                 d = codegen_reg_of_dst(jd, iptr, s1);
2687                         }
2688                         else {
2689                                 /* array type cast-check */
2690
2691                                 s1 = emit_load_s1(jd, iptr, REG_A0);
2692                                 M_INTMOVE(s1, REG_A0);
2693
2694                                 if (INSTRUCTION_IS_UNRESOLVED(iptr)) {
2695                                         disp = dseg_add_unique_address(cd, NULL);
2696
2697                                         codegen_addpatchref(cd, PATCHER_resolve_classref_to_classinfo,
2698                                                                                 iptr->sx.s23.s3.c.ref,
2699                                                                                 disp);
2700                                 }
2701                                 else
2702                                         disp = dseg_add_address(cd, iptr->sx.s23.s3.c.cls);
2703
2704                                 M_ALD(REG_A1, REG_PV, disp);
2705                                 disp = dseg_add_functionptr(cd, BUILTIN_arraycheckcast);
2706                                 M_ALD(REG_ITMP2, REG_PV, disp);
2707                                 M_MTCTR(REG_ITMP2);
2708                                 M_JSR;
2709                                 M_TST(REG_RESULT);
2710                                 emit_classcast_check(cd, iptr, BRANCH_EQ, REG_RESULT, s1);
2711
2712                                 s1 = emit_load_s1(jd, iptr, REG_ITMP1);
2713                                 d = codegen_reg_of_dst(jd, iptr, s1);
2714                         }
2715                         M_INTMOVE(s1, d);
2716                         emit_store_dst(jd, iptr, d);
2717                         break;
2718
2719                 case ICMD_INSTANCEOF: /* ..., objectref ==> ..., intresult            */
2720
2721                         {
2722                         classinfo *super;
2723                         s4         superindex;
2724
2725                         if (INSTRUCTION_IS_UNRESOLVED(iptr)) {
2726                                 super      = NULL;
2727                                 superindex = 0;
2728                         }
2729                         else {
2730                                 super      = iptr->sx.s23.s3.c.cls;
2731                                 superindex = super->index;
2732                         }
2733
2734                         if ((super == NULL) || !(super->flags & ACC_INTERFACE))
2735                                 CODEGEN_CRITICAL_SECTION_NEW;
2736
2737                         s1 = emit_load_s1(jd, iptr, REG_ITMP1);
2738
2739                         d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
2740                         if (s1 == d) {
2741                                 M_MOV(s1, REG_ITMP1);
2742                                 s1 = REG_ITMP1;
2743                         }
2744
2745                         M_CLR(d);
2746
2747                         /* if class is not resolved, check which code to call */
2748
2749                         if (super == NULL) {
2750                                 M_TST(s1);
2751                                 emit_label_beq(cd, BRANCH_LABEL_1);
2752
2753                                 disp = dseg_add_unique_s4(cd, 0);             /* super->flags */
2754
2755                                 codegen_addpatchref(cd, PATCHER_resolve_classref_to_flags,
2756                                                                         iptr->sx.s23.s3.c.ref, disp);
2757
2758                                 M_ILD(REG_ITMP3, REG_PV, disp);
2759                                 M_AND_IMM(REG_ITMP3, ACC_INTERFACE, REG_ITMP3);
2760                                 emit_label_beq(cd, BRANCH_LABEL_2);
2761                         }
2762
2763                         /* interface instanceof code */
2764
2765                         if ((super == NULL) || (super->flags & ACC_INTERFACE)) {
2766                                 if (super == NULL) {
2767                                         codegen_addpatchref(cd,
2768                                                                                 PATCHER_instanceof_interface,
2769                                                                                 iptr->sx.s23.s3.c.ref, 0);
2770                                 }
2771                                 else {
2772                                         M_TST(s1);
2773                                         emit_label_beq(cd, BRANCH_LABEL_3);
2774                                 }
2775
2776                                 M_ALD(REG_ITMP1, s1, OFFSET(java_objectheader, vftbl));
2777                                 M_ILD(REG_ITMP3, REG_ITMP1, OFFSET(vftbl_t, interfacetablelength));
2778                                 M_LDATST(REG_ITMP3, REG_ITMP3, -superindex);
2779                                 M_BLE(4);
2780                                 M_ALD(REG_ITMP1, REG_ITMP1,
2781                                           OFFSET(vftbl_t, interfacetable[0]) -
2782                                           superindex * sizeof(methodptr*));
2783                                 M_TST(REG_ITMP1);
2784                                 M_BEQ(1);
2785                                 M_IADD_IMM(REG_ZERO, 1, d);
2786
2787                                 if (super == NULL)
2788                                         emit_label_br(cd, BRANCH_LABEL_4);
2789                                 else
2790                                         emit_label(cd, BRANCH_LABEL_3);
2791                         }
2792
2793                         /* class instanceof code */
2794
2795                         if ((super == NULL) || !(super->flags & ACC_INTERFACE)) {
2796                                 if (super == NULL) {
2797                                         emit_label(cd, BRANCH_LABEL_2);
2798
2799                                         disp = dseg_add_unique_address(cd, NULL);
2800
2801                                         codegen_addpatchref(cd, PATCHER_resolve_classref_to_vftbl,
2802                                                                                 iptr->sx.s23.s3.c.ref,
2803                                                                                 disp);
2804                                 }
2805                                 else {
2806                                         disp = dseg_add_address(cd, super->vftbl);
2807
2808                                         M_TST(s1);
2809                                         emit_label_beq(cd, BRANCH_LABEL_5);
2810                                 }
2811
2812                                 M_ALD(REG_ITMP1, s1, OFFSET(java_objectheader, vftbl));
2813                                 M_ALD(REG_ITMP2, REG_PV, disp);
2814
2815                                 CODEGEN_CRITICAL_SECTION_START;
2816
2817                                 M_ILD(REG_ITMP1, REG_ITMP1, OFFSET(vftbl_t, baseval));
2818                                 M_ILD(REG_ITMP3, REG_ITMP2, OFFSET(vftbl_t, baseval));
2819                                 M_ILD(REG_ITMP2, REG_ITMP2, OFFSET(vftbl_t, diffval));
2820
2821                                 CODEGEN_CRITICAL_SECTION_END;
2822
2823                                 M_ISUB(REG_ITMP1, REG_ITMP3, REG_ITMP1);
2824                                 M_CMPU(REG_ITMP1, REG_ITMP2);
2825                                 M_CLR(d);
2826                                 M_BGT(1);
2827                                 M_IADD_IMM(REG_ZERO, 1, d);
2828
2829                                 if (super != NULL)
2830                                         emit_label(cd, BRANCH_LABEL_5);
2831                         }
2832
2833                         if (super == NULL) {
2834                                 emit_label(cd, BRANCH_LABEL_1);
2835                                 emit_label(cd, BRANCH_LABEL_4);
2836                         }
2837
2838                         emit_store_dst(jd, iptr, d);
2839                         }
2840                         break;
2841
2842                 case ICMD_MULTIANEWARRAY:/* ..., cnt1, [cnt2, ...] ==> ..., arrayref  */
2843
2844                         /* check for negative sizes and copy sizes to stack if necessary  */
2845
2846                         MCODECHECK((iptr->s1.argcount << 1) + 64);
2847
2848                         for (s1 = iptr->s1.argcount; --s1 >= 0;) {
2849                                 var = VAR(iptr->sx.s23.s2.args[s1]);
2850
2851                                 /* copy SAVEDVAR sizes to stack */
2852
2853                                 /* Already Preallocated? */
2854                                 if (!(var->flags & PREALLOC)) {
2855                                         s2 = emit_load(jd, iptr, var, REG_ITMP1);
2856 #if defined(__DARWIN__)
2857                                         M_IST(s2, REG_SP, LA_SIZE + (s1 + INT_ARG_CNT) * 4);
2858 #else
2859                                         M_IST(s2, REG_SP, LA_SIZE + (s1 + 3) * 4);
2860 #endif
2861                                 }
2862                         }
2863
2864                         /* a0 = dimension count */
2865
2866                         ICONST(REG_A0, iptr->s1.argcount);
2867
2868                         /* is patcher function set? */
2869
2870                         if (INSTRUCTION_IS_UNRESOLVED(iptr)) {
2871                                 disp = dseg_add_unique_address(cd, NULL);
2872
2873                                 codegen_addpatchref(cd, PATCHER_resolve_classref_to_classinfo,
2874                                                                         iptr->sx.s23.s3.c.ref, disp);
2875                         }
2876                         else
2877                                 disp = dseg_add_address(cd, iptr->sx.s23.s3.c.cls);
2878
2879                         /* a1 = arraydescriptor */
2880
2881                         M_ALD(REG_A1, REG_PV, disp);
2882
2883                         /* a2 = pointer to dimensions = stack pointer */
2884
2885 #if defined(__DARWIN__)
2886                         M_LDA(REG_A2, REG_SP, LA_SIZE + INT_ARG_CNT * 4);
2887 #else
2888                         M_LDA(REG_A2, REG_SP, LA_SIZE + 3 * 4);
2889 #endif
2890
2891                         disp = dseg_add_functionptr(cd, BUILTIN_multianewarray);
2892                         M_ALD(REG_ITMP3, REG_PV, disp);
2893                         M_MTCTR(REG_ITMP3);
2894                         M_JSR;
2895
2896                         /* check for exception before result assignment */
2897
2898                         emit_exception_check(cd, iptr);
2899
2900                         d = codegen_reg_of_dst(jd, iptr, REG_RESULT);
2901                         M_INTMOVE(REG_RESULT, d);
2902                         emit_store_dst(jd, iptr, d);
2903                         break;
2904
2905                 default:
2906                         exceptions_throw_internalerror("Unknown ICMD %d during code generation",
2907                                                                                    iptr->opc);
2908                         return false;
2909         } /* switch */
2910
2911         } /* for instruction */
2912
2913         } /* if (bptr -> flags >= BBREACHED) */
2914         } /* for basic block */
2915
2916         dseg_createlinenumbertable(cd);
2917
2918         /* generate stubs */
2919
2920         emit_patcher_stubs(jd);
2921         REPLACEMENT_EMIT_STUBS(jd);
2922
2923         /* everything's ok */
2924
2925         return true;
2926 }
2927
2928
2929 /* codegen_emit_stub_compiler **************************************************
2930
2931    Emits a stub routine which calls the compiler.
2932
2933 *******************************************************************************/
2934
2935 void codegen_emit_stub_compiler(jitdata *jd)
2936 {
2937         methodinfo  *m;
2938         codegendata *cd;
2939
2940         /* get required compiler data */
2941
2942         m  = jd->m;
2943         cd = jd->cd;
2944
2945         /* code for the stub */
2946
2947         M_ALD_INTERN(REG_ITMP1, REG_PV, -2 * SIZEOF_VOID_P);
2948         M_ALD_INTERN(REG_PV, REG_PV, -3 * SIZEOF_VOID_P);
2949         M_MTCTR(REG_PV);
2950         M_RTS;
2951 }
2952
2953
2954 /* codegen_emit_stub_native ****************************************************
2955
2956    Emits a stub routine which calls a native method.
2957
2958 *******************************************************************************/
2959
2960 void codegen_emit_stub_native(jitdata *jd, methoddesc *nmd, functionptr f)
2961 {
2962         methodinfo  *m;
2963         codeinfo    *code;
2964         codegendata *cd;
2965         methoddesc  *md;
2966         s4           nativeparams;
2967         s4           i, j;                 /* count variables                    */
2968         s4           t;
2969         s4           s1, s2, disp;
2970         s4           funcdisp;
2971
2972         /* get required compiler data */
2973
2974         m    = jd->m;
2975         code = jd->code;
2976         cd   = jd->cd;
2977
2978         /* set some variables */
2979
2980         md = m->parseddesc;
2981         nativeparams = (m->flags & ACC_STATIC) ? 2 : 1;
2982
2983         /* calculate stackframe size */
2984
2985         cd->stackframesize =
2986                 sizeof(stackframeinfo) / SIZEOF_VOID_P +
2987                 sizeof(localref_table) / SIZEOF_VOID_P +
2988                 4 +                             /* 4 stackframeinfo arguments (darwin)*/
2989                 nmd->paramcount * 2 +           /* assume all arguments are doubles   */
2990                 nmd->memuse;
2991
2992         /* keep stack 16-byte aligned */
2993
2994         cd->stackframesize = (cd->stackframesize + 3) & ~3;
2995
2996         /* create method header */
2997
2998         (void) dseg_add_unique_address(cd, code);              /* CodeinfoPointer */
2999         (void) dseg_add_unique_s4(cd, cd->stackframesize * 4); /* FrameSize       */
3000         (void) dseg_add_unique_s4(cd, 0);                      /* IsSync          */
3001         (void) dseg_add_unique_s4(cd, 0);                      /* IsLeaf          */
3002         (void) dseg_add_unique_s4(cd, 0);                      /* IntSave         */
3003         (void) dseg_add_unique_s4(cd, 0);                      /* FltSave         */
3004         (void) dseg_addlinenumbertablesize(cd);
3005         (void) dseg_add_unique_s4(cd, 0);                      /* ExTableSize     */
3006
3007         /* generate code */
3008
3009         M_MFLR(REG_ZERO);
3010         M_AST_INTERN(REG_ZERO, REG_SP, LA_LR_OFFSET);
3011         M_STWU(REG_SP, REG_SP, -(cd->stackframesize * 4));
3012
3013         /* get function address (this must happen before the stackframeinfo) */
3014
3015         funcdisp = dseg_add_functionptr(cd, f);
3016
3017 #if !defined(WITH_STATIC_CLASSPATH)
3018         if (f == NULL)
3019                 codegen_addpatchref(cd, PATCHER_resolve_native_function, m, funcdisp);
3020 #endif
3021
3022         /* emit trace code */
3023
3024         emit_verbosecall_enter(jd);
3025
3026         /* save integer and float argument registers */
3027
3028         for (i = 0; i < md->paramcount; i++) {
3029                 if (!md->params[i].inmemory) {
3030                         s1 = md->params[i].regoff;
3031
3032                         switch (md->paramtypes[i].type) {
3033                         case TYPE_INT:
3034                         case TYPE_ADR:
3035                                 M_IST(s1, REG_SP, LA_SIZE + 4*4 + i * 8);
3036                                 break;
3037                         case TYPE_LNG:
3038                                 M_LST(s1, REG_SP, LA_SIZE + 4*4 + i * 8);
3039                                 break;
3040                         case TYPE_FLT:
3041                         case TYPE_DBL:
3042                                 M_DST(s1, REG_SP, LA_SIZE + 4*4 + i * 8);
3043                                 break;
3044                         }
3045                 }
3046         }
3047
3048         /* create native stack info */
3049
3050         M_AADD_IMM(REG_SP, cd->stackframesize * 4, REG_A0);
3051         M_MOV(REG_PV, REG_A1);
3052         M_AADD_IMM(REG_SP, cd->stackframesize * 4, REG_A2);
3053         M_ALD(REG_A3, REG_SP, cd->stackframesize * 4 + LA_LR_OFFSET);
3054         disp = dseg_add_functionptr(cd, codegen_start_native_call);
3055         M_ALD(REG_ITMP1, REG_PV, disp);
3056         M_MTCTR(REG_ITMP1);
3057         M_JSR;
3058
3059         /* restore integer and float argument registers */
3060
3061         for (i = 0; i < md->paramcount; i++) {
3062                 if (!md->params[i].inmemory) {
3063                         s1 = md->params[i].regoff;
3064
3065                         switch (md->paramtypes[i].type) {
3066                         case TYPE_INT:
3067                         case TYPE_ADR:
3068                                 M_ILD(s1, REG_SP, LA_SIZE + 4*4 + i * 8);
3069                                 break;
3070                         case TYPE_LNG:
3071                                 M_LLD(s1, REG_SP, LA_SIZE + 4*4 + i * 8);
3072                                 break;
3073                         case TYPE_FLT:
3074                         case TYPE_DBL:
3075                                 M_DLD(s1, REG_SP, LA_SIZE + 4*4 + i * 8);
3076                                 break;
3077                         }
3078                 }
3079         }
3080
3081         /* copy or spill arguments to new locations */
3082
3083         for (i = md->paramcount - 1, j = i + nativeparams; i >= 0; i--, j--) {
3084                 t = md->paramtypes[i].type;
3085
3086                 if (IS_INT_LNG_TYPE(t)) {
3087                         if (!md->params[i].inmemory) {
3088                                 s1 = md->params[i].regoff;
3089                                 s2 = nmd->params[j].regoff;
3090
3091                                 if (!nmd->params[j].inmemory) {
3092                                         if (IS_2_WORD_TYPE(t))
3093                                                 M_LNGMOVE(s1, s2);
3094                                         else
3095                                                 M_INTMOVE(s1, s2);
3096                                 }
3097                                 else {
3098                                         if (IS_2_WORD_TYPE(t))
3099                                                 M_LST(s1, REG_SP, s2);
3100                                         else
3101                                                 M_IST(s1, REG_SP, s2);
3102                                 }
3103                         }
3104                         else {
3105                                 s1 = md->params[i].regoff + cd->stackframesize * 4;
3106                                 s2 = nmd->params[j].regoff;
3107
3108                                 M_ILD(REG_ITMP1, REG_SP, s1);
3109                                 if (IS_2_WORD_TYPE(t))
3110                                         M_ILD(REG_ITMP2, REG_SP, s1 + 4);
3111
3112                                 M_IST(REG_ITMP1, REG_SP, s2);
3113                                 if (IS_2_WORD_TYPE(t))
3114                                         M_IST(REG_ITMP2, REG_SP, s2 + 4);
3115                         }
3116                 }
3117                 else {
3118                         /* We only copy spilled float arguments, as the float
3119                            argument registers keep unchanged. */
3120
3121                         if (md->params[i].inmemory) {
3122                                 s1 = md->params[i].regoff + cd->stackframesize * 4;
3123                                 s2 = nmd->params[j].regoff;
3124
3125                                 if (IS_2_WORD_TYPE(t)) {
3126                                         M_DLD(REG_FTMP1, REG_SP, s1);
3127                                         M_DST(REG_FTMP1, REG_SP, s2);
3128                                 }
3129                                 else {
3130                                         M_FLD(REG_FTMP1, REG_SP, s1);
3131                                         M_FST(REG_FTMP1, REG_SP, s2);
3132                                 }
3133                         }
3134                 }
3135         }
3136
3137         /* put class into second argument register */
3138
3139         if (m->flags & ACC_STATIC) {
3140                 disp = dseg_add_address(cd, m->class);
3141                 M_ALD(REG_A1, REG_PV, disp);
3142         }
3143
3144         /* put env into first argument register */
3145
3146         disp = dseg_add_address(cd, _Jv_env);
3147         M_ALD(REG_A0, REG_PV, disp);
3148
3149         /* generate the actual native call */
3150
3151         M_ALD(REG_ITMP3, REG_PV, funcdisp);
3152         M_MTCTR(REG_ITMP3);
3153         M_JSR;
3154
3155         /* print call trace */
3156
3157         emit_verbosecall_exit(jd);
3158
3159         /* save return value */
3160
3161         switch (md->returntype.type) {
3162         case TYPE_INT:
3163         case TYPE_ADR:
3164                 M_IST(REG_RESULT, REG_SP, LA_SIZE + 1 * 4);
3165                 break;
3166         case TYPE_LNG:
3167                 M_LST(REG_RESULT_PACKED, REG_SP, LA_SIZE + 1 * 4);
3168                 break;
3169         case TYPE_FLT:
3170                 M_FST(REG_FRESULT, REG_SP, LA_SIZE + 1 * 4);
3171                 break;
3172         case TYPE_DBL:
3173                 M_DST(REG_FRESULT, REG_SP, LA_SIZE + 1 * 4);
3174                 break;
3175         case TYPE_VOID:
3176                 break;
3177         }
3178
3179         /* remove native stackframe info */
3180
3181         M_AADD_IMM(REG_SP, cd->stackframesize * 4, REG_A0);
3182         disp = dseg_add_functionptr(cd, codegen_finish_native_call);
3183         M_ALD(REG_ITMP1, REG_PV, disp);
3184         M_MTCTR(REG_ITMP1);
3185         M_JSR;
3186         M_MOV(REG_RESULT, REG_ITMP1_XPTR);
3187
3188         /* restore return value */
3189
3190         switch (md->returntype.type) {
3191         case TYPE_INT:
3192         case TYPE_ADR:
3193                 M_ILD(REG_RESULT, REG_SP, LA_SIZE + 1 * 4);
3194                 break;
3195         case TYPE_LNG:
3196                 M_LLD(REG_RESULT_PACKED, REG_SP, LA_SIZE + 1 * 4);
3197                 break;
3198         case TYPE_FLT:
3199                 M_FLD(REG_FRESULT, REG_SP, LA_SIZE + 1 * 4);
3200                 break;
3201         case TYPE_DBL:
3202                 M_DLD(REG_FRESULT, REG_SP, LA_SIZE + 1 * 4);
3203                 break;
3204         case TYPE_VOID:
3205                 break;
3206         }
3207
3208         M_ALD(REG_ITMP2_XPC, REG_SP, cd->stackframesize * 4 + LA_LR_OFFSET);
3209         M_MTLR(REG_ITMP2_XPC);
3210         M_LDA(REG_SP, REG_SP, cd->stackframesize * 4); /* remove stackframe       */
3211
3212         /* check for exception */
3213
3214         M_TST(REG_ITMP1_XPTR);
3215         M_BNE(1);                           /* if no exception then return        */
3216
3217         M_RET;
3218
3219         /* handle exception */
3220
3221         M_IADD_IMM(REG_ITMP2_XPC, -4, REG_ITMP2_XPC);  /* exception address       */
3222
3223         disp = dseg_add_functionptr(cd, asm_handle_nat_exception);
3224         M_ALD(REG_ITMP3, REG_PV, disp);
3225         M_MTCTR(REG_ITMP3);
3226         M_RTS;
3227
3228         /* generate patcher stubs */
3229
3230         emit_patcher_stubs(jd);
3231 }
3232
3233
3234 /*
3235  * These are local overrides for various environment variables in Emacs.
3236  * Please do not remove this and leave it at the end of the file, where
3237  * Emacs will automagically detect them.
3238  * ---------------------------------------------------------------------
3239  * Local variables:
3240  * mode: c
3241  * indent-tabs-mode: t
3242  * c-basic-offset: 4
3243  * tab-width: 4
3244  * End:
3245  * vim:noexpandtab:sw=4:ts=4:
3246  */