src/vm/jit/powerpc64/codegen.c

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