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