ncomp/nstack.c

   1 /* -*- mode: c; tab-width: 4; c-basic-offset: 4 -*- */
   2 /****************************** ncomp/nstack.c *********************************
   3
   4         Copyright (c) 1997 A. Krall, R. Grafl, M. Gschwind, M. Probst
   5
   6         See file COPYRIGHT for information on usage and disclaimer of warranties
   7
   8         Parser for JavaVM to intermediate code translation
   9
  10         Authors: Andreas  Krall      EMAIL: cacao@complang.tuwien.ac.at
  11
  12         Last Change: 1997/11/18
  13
  14 *******************************************************************************/
  15
  16 #define CONDITIONAL_LOADCONST
  17
  18 #ifdef STATISTICS
  19 #define COUNT(cnt) cnt++
  20 #else
  21 #define COUNT(cnt)
  22 #endif
  23
  24 #define STACKRESET {curstack=0;stackdepth=0;}
  25
  26 #define TYPEPANIC  {show_icmd_method();panic("Stack type mismatch");}
  27 #define CURKIND    curstack->varkind
  28 #define CURTYPE    curstack->type
  29
  30 #define NEWSTACK(s,v,n) {new->prev=curstack;new->type=s;new->flags=0;\
  31                         new->varkind=v;new->varnum=n;curstack=new;new++;}
  32 #define NEWSTACKn(s,n)  NEWSTACK(s,UNDEFVAR,n)
  33 #define NEWSTACK0(s)    NEWSTACK(s,UNDEFVAR,0)
  34 #define NEWXSTACK   {NEWSTACK(TYPE_ADR,STACKVAR,0);curstack=0;}
  35
  36 #define SETDST      {iptr->dst=curstack;}
  37 #define POP(s)      {if(s!=curstack->type){TYPEPANIC;}\
  38                      if(curstack->varkind==UNDEFVAR)curstack->varkind=TEMPVAR;\
  39                      curstack=curstack->prev;}
  40 #define POPANY      {if(curstack->varkind==UNDEFVAR)curstack->varkind=TEMPVAR;\
  41                      curstack=curstack->prev;}
  42 #define COPY(s,d)   {(d)->flags=0;(d)->type=(s)->type;\
  43                      (d)->varkind=(s)->varkind;(d)->varnum=(s)->varnum;}
  44
  45 #define CONST(s)    {NEWSTACKn(s,stackdepth);SETDST;stackdepth++;}
  46 #define LOAD(s,v,n) {NEWSTACK(s,v,n);SETDST;stackdepth++;}
  47 #define STORE(s)    {POP(s);SETDST;stackdepth--;}
  48 #define OP1_0(s)    {POP(s);SETDST;stackdepth--;}
  49 #define OP1_0ANY    {POPANY;SETDST;stackdepth--;}
  50 #define OP0_1(s)    {NEWSTACKn(s,stackdepth);SETDST;stackdepth++;}
  51 #define OP1_1(s,d)  {POP(s);NEWSTACKn(d,stackdepth-1);SETDST;}
  52 #define OP2_0(s)    {POP(s);POP(s);SETDST;stackdepth-=2;}
  53 #define OPTT2_0(t,b){POP(t);POP(b);SETDST;stackdepth-=2;}
  54 #define OP2_1(s)    {POP(s);POP(s);NEWSTACKn(s,stackdepth-2);SETDST;stackdepth--;}
  55 #define OP2IAT_1(s) {POP(TYPE_INT);POP(TYPE_ADR);NEWSTACKn(s,stackdepth-2);\
  56                      SETDST;stackdepth--;}
  57 #define OP2IT_1(s)  {POP(TYPE_INT);POP(s);NEWSTACKn(s,stackdepth-2);\
  58                      SETDST;stackdepth--;}
  59 #define OPTT2_1(s,d){POP(s);POP(s);NEWSTACKn(d,stackdepth-2);SETDST;stackdepth--;}
  60 #define OP2_2(s)    {POP(s);POP(s);NEWSTACKn(s,stackdepth-2);\
  61                      NEWSTACKn(s,stackdepth-1);SETDST;}
  62 #define OP3TIA_0(s) {POP(s);POP(TYPE_INT);POP(TYPE_ADR);SETDST;stackdepth-=3;}
  63 #define OP3_0(s)    {POP(s);POP(s);POP(s);SETDST;stackdepth-=3;}
  64 #define POPMANY(i)  {stackdepth-=i;while(--i>=0){POPANY;}SETDST;}
  65 #define DUP         {NEWSTACK(CURTYPE,CURKIND,curstack->varnum);SETDST;\
  66                     stackdepth++;}
  67 #define SWAP        {COPY(curstack,new);POPANY;COPY(curstack,new+1);POPANY;\
  68                     new[0].prev=curstack;new[1].prev=new;\
  69                     curstack=new+1;new+=2;SETDST;}
  70 #define DUP_X1      {COPY(curstack,new);COPY(curstack,new+2);POPANY;\
  71                     COPY(curstack,new+1);POPANY;new[0].prev=curstack;\
  72                     new[1].prev=new;new[2].prev=new+1;\
  73                     curstack=new+2;new+=3;SETDST;stackdepth++;}
  74 #define DUP2_X1     {COPY(curstack,new+1);COPY(curstack,new+4);POPANY;\
  75                     COPY(curstack,new);COPY(curstack,new+3);POPANY;\
  76                     COPY(curstack,new+2);POPANY;new[0].prev=curstack;\
  77                     new[1].prev=new;new[2].prev=new+1;\
  78                     new[3].prev=new+2;new[4].prev=new+3;\
  79                     curstack=new+4;new+=5;SETDST;stackdepth+=2;}
  80 #define DUP_X2      {COPY(curstack,new);COPY(curstack,new+3);POPANY;\
  81                     COPY(curstack,new+2);POPANY;COPY(curstack,new+1);POPANY;\
  82                     new[0].prev=curstack;new[1].prev=new;\
  83                     new[2].prev=new+1;new[3].prev=new+2;\
  84                     curstack=new+3;new+=4;SETDST;stackdepth++;}
  85 #define DUP2_X2     {COPY(curstack,new+1);COPY(curstack,new+5);POPANY;\
  86                     COPY(curstack,new);COPY(curstack,new+4);POPANY;\
  87                     COPY(curstack,new+3);POPANY;COPY(curstack,new+2);POPANY;\
  88                     new[0].prev=curstack;new[1].prev=new;\
  89                     new[2].prev=new+1;new[3].prev=new+2;\
  90                     new[4].prev=new+3;new[5].prev=new+4;\
  91                     curstack=new+5;new+=6;SETDST;stackdepth+=2;}
  92
  93 #define COPYCURSTACK(copy) {\
  94         int d;\
  95         stackptr s;\
  96         if(curstack){\
  97                 s=curstack;\
  98                 new+=stackdepth;\
  99                 d=stackdepth;\
 100                 copy=new;\
 101                 while(s){\
 102                         copy--;d--;\
 103                         copy->prev=copy-1;\
 104                         copy->type=s->type;\
 105                         copy->flags=0;\
 106                         copy->varkind=STACKVAR;\
 107                         copy->varnum=d;\
 108                         s=s->prev;\
 109                         }\
 110                 copy->prev=NULL;\
 111                 copy=new-1;\
 112                 }\
 113         else\
 114                 copy=NULL;\
 115 }
 116
 117
 118 #define BBEND(s,i){\
 119         i=stackdepth-1;\
 120         copy=s;\
 121         while(copy){\
 122                 if((copy->varkind==STACKVAR)&&(copy->varnum>i))\
 123                         copy->varkind=TEMPVAR;\
 124                 else {\
 125                         copy->varkind=STACKVAR;\
 126                         copy->varnum=i;\
 127                         }\
 128                 interfaces[i][copy->type].type = copy->type;\
 129                 interfaces[i][copy->type].flags |= copy->flags;\
 130                 i--;copy=copy->prev;\
 131                 }\
 132         i=bptr->indepth-1;\
 133         copy=bptr->instack;\
 134         while(copy){\
 135                 interfaces[i][copy->type].type = copy->type;\
 136                 if(copy->varkind==STACKVAR){\
 137                         if (copy->flags & SAVEDVAR)\
 138                                 interfaces[i][copy->type].flags |= SAVEDVAR;\
 139                         }\
 140                 i--;copy=copy->prev;\
 141                 }\
 142 }
 143
 144
 145 #define MARKREACHED(b,c) {\
 146         if(b->flags<0)\
 147                 {COPYCURSTACK(c);b->flags=0;b->instack=c;b->indepth=stackdepth;}\
 148         else {stackptr s=curstack;stackptr t=b->instack;\
 149                 if(b->indepth!=stackdepth)\
 150                         {show_icmd_method();panic("Stack depth mismatch");}\
 151                 while(s){if (s->type!=t->type)\
 152                                 TYPEPANIC\
 153                         s=s->prev;t=t->prev;\
 154                         }\
 155                 }\
 156 }
 157
 158
 159 static void show_icmd_method();
 160
 161 static void analyse_stack()
 162 {
 163         int b_count, b_index;
 164         int stackdepth;
 165         stackptr curstack, new, copy;
 166         int opcode, i, len, loops;
 167         int superblockend, repeat, deadcode;
 168         instruction *iptr = instr;
 169         basicblock *bptr, *tbptr;
 170         s4  *s4ptr;
 171
 172         arguments_num = 0;
 173         new = stack;
 174         loops = 0;
 175         block[0].flags = BBREACHED;
 176         block[0].instack = 0;
 177         block[0].indepth = 0;
 178
 179         for (i = 0; i < exceptiontablelength; i++) {
 180                 bptr = &block[block_index[extable[i].handlerpc]];
 181                 bptr->flags = BBREACHED;
 182                 bptr->type = BBTYPE_EXH;
 183                 bptr->instack = new;
 184                 bptr->indepth = 1;
 185                 bptr->pre_count = 10000;
 186                 STACKRESET;
 187                 NEWXSTACK;
 188                 }
 189
 190 #ifdef CONDITIONAL_LOADCONST
 191         b_count = block_count;
 192         bptr = block;
 193         while (--b_count >= 0) {
 194                 if (bptr[1].ipc > bptr[0].ipc) {
 195                         iptr = instr + bptr[1].ipc - 1;
 196                         switch (iptr->opc) {
 197                                 case ICMD_RET:
 198                                 case ICMD_RETURN:
 199                                 case ICMD_IRETURN:
 200                                 case ICMD_LRETURN:
 201                                 case ICMD_FRETURN:
 202                                 case ICMD_DRETURN:
 203                                 case ICMD_ARETURN:
 204                                 case ICMD_ATHROW:
 205                                         break;
 206
 207                                 case ICMD_IFEQ:
 208                                 case ICMD_IFNE:
 209                                 case ICMD_IFLT:
 210                                 case ICMD_IFGE:
 211                                 case ICMD_IFGT:
 212                                 case ICMD_IFLE:
 213
 214                                 case ICMD_IFNULL:
 215                                 case ICMD_IFNONNULL:
 216
 217                                 case ICMD_IF_ICMPEQ:
 218                                 case ICMD_IF_ICMPNE:
 219                                 case ICMD_IF_ICMPLT:
 220                                 case ICMD_IF_ICMPGE:
 221                                 case ICMD_IF_ICMPGT:
 222                                 case ICMD_IF_ICMPLE:
 223
 224                                 case ICMD_IF_ACMPEQ:
 225                                 case ICMD_IF_ACMPNE:
 226                                         bptr[1].pre_count++;
 227                                 case ICMD_GOTO:
 228                                         block[block_index[iptr->op1]].pre_count++;
 229                                         break;
 230
 231                                 case ICMD_TABLESWITCH:
 232                                         s4ptr = iptr->val.a;
 233                                         block[block_index[*s4ptr++]].pre_count++;   /* default */
 234                                         i = *s4ptr++;                               /* low     */
 235                                         i = *s4ptr++ - i + 1;                       /* high    */
 236                                         while (--i >= 0) {
 237                                                 block[block_index[*s4ptr++]].pre_count++;
 238                                                 }
 239                                         break;
 240
 241                                 case ICMD_LOOKUPSWITCH:
 242                                         s4ptr = iptr->val.a;
 243                                         block[block_index[*s4ptr++]].pre_count++;   /* default */
 244                                         i = *s4ptr++;                               /* count   */
 245                                         while (--i >= 0) {
 246                                                 block[block_index[s4ptr[1]]].pre_count++;
 247                                                 s4ptr += 2;
 248                                                 }
 249                                         break;
 250                                 default:
 251                                         bptr[1].pre_count++;
 252                                         break;
 253                                 }
 254                         }
 255                 bptr++;
 256                 }
 257 #endif
 258
 259
 260         do {
 261                 loops++;
 262                 b_count = block_count;
 263                 bptr = block;
 264                 superblockend = true;
 265                 repeat = false;
 266                 STACKRESET;
 267                 deadcode = true;
 268                 while (--b_count >= 0) {
 269                         if (bptr->flags == BBDELETED) {
 270                                 /* do nothing */
 271                                 }
 272                         else if (superblockend && (bptr->flags < BBREACHED))
 273                                 repeat = true;
 274                         else if (bptr->flags <= BBREACHED) {
 275                                 if (superblockend)
 276                                         stackdepth = bptr->indepth;
 277                                 else if (bptr->flags < BBREACHED) {
 278                                         COPYCURSTACK(copy);
 279                                         bptr->instack = copy;
 280                                         bptr->indepth = stackdepth;
 281                                         }
 282                                 else if (bptr->indepth != stackdepth) {
 283                                         show_icmd_method();
 284                                         panic("Stack depth mismatch");
 285
 286                                         }
 287                                 curstack = bptr->instack;
 288                                 deadcode = false;
 289                                 superblockend = false;
 290                                 bptr->flags = BBFINISHED;
 291                                 i = bptr[0].ipc;
 292                                 len = bptr[1].ipc - i;
 293                                 iptr = &instr[i];
 294                                 b_index = bptr - block;
 295                                 while (--len >= 0)  {
 296                                         opcode = iptr->opc;
 297                                         switch (opcode) {
 298
 299                                                 /* pop 0 push 0 */
 300
 301                                                 case ICMD_NOP:
 302                                                 case ICMD_CHECKASIZE:
 303
 304                                                 case ICMD_IFEQ_ICONST:
 305                                                 case ICMD_IFNE_ICONST:
 306                                                 case ICMD_IFLT_ICONST:
 307                                                 case ICMD_IFGE_ICONST:
 308                                                 case ICMD_IFGT_ICONST:
 309                                                 case ICMD_IFLE_ICONST:
 310                                                 case ICMD_ELSE_ICONST:
 311                                                         SETDST;
 312                                                         break;
 313
 314                                                 case ICMD_RET:
 315                                                         locals[iptr->op1][TYPE_ADR].type = TYPE_ADR;
 316                                                 case ICMD_RETURN:
 317                                                         COUNT(count_pcmd_return);
 318                                                         SETDST;
 319                                                         superblockend = true;
 320                                                         break;
 321
 322                                                 /* pop 0 push 1 const */
 323
 324                                                 case ICMD_ICONST:
 325                                                         COUNT(count_pcmd_load);
 326                                                         if (len > 0) {
 327                                                                 switch (iptr[1].opc) {
 328                                                                         case ICMD_IADD:
 329                                                                                 iptr[0].opc = ICMD_IADDCONST;
 330 icmd_iconst_tail:
 331                                                                                 iptr[1].opc = ICMD_NOP;
 332                                                                                 OP1_1(TYPE_INT,TYPE_INT);
 333                                                                                 COUNT(count_pcmd_op);
 334                                                                                 break;
 335                                                                         case ICMD_ISUB:
 336                                                                                 iptr[0].opc = ICMD_ISUBCONST;
 337                                                                                 goto icmd_iconst_tail;
 338                                                                         case ICMD_IMUL:
 339                                                                                 iptr[0].opc = ICMD_IMULCONST;
 340                                                                                 goto icmd_iconst_tail;
 341                                                                         case ICMD_IDIV:
 342                                                                                 if (iptr[0].val.i == 0x00000002)
 343                                                                                         iptr[0].val.i = 1;
 344                                                                                 else if (iptr[0].val.i == 0x00000004)
 345                                                                                         iptr[0].val.i = 2;
 346                                                                                 else if (iptr[0].val.i == 0x00000008)
 347                                                                                         iptr[0].val.i = 3;
 348                                                                                 else if (iptr[0].val.i == 0x00000010)
 349                                                                                         iptr[0].val.i = 4;
 350                                                                                 else if (iptr[0].val.i == 0x00000020)
 351                                                                                         iptr[0].val.i = 5;
 352                                                                                 else if (iptr[0].val.i == 0x00000040)
 353                                                                                         iptr[0].val.i = 6;
 354                                                                                 else if (iptr[0].val.i == 0x00000080)
 355                                                                                         iptr[0].val.i = 7;
 356                                                                                 else if (iptr[0].val.i == 0x00000100)
 357                                                                                         iptr[0].val.i = 8;
 358                                                                                 else if (iptr[0].val.i == 0x00000200)
 359                                                                                         iptr[0].val.i = 9;
 360                                                                                 else if (iptr[0].val.i == 0x00000400)
 361                                                                                         iptr[0].val.i = 10;
 362                                                                                 else if (iptr[0].val.i == 0x00000800)
 363                                                                                         iptr[0].val.i = 11;
 364                                                                                 else if (iptr[0].val.i == 0x00001000)
 365                                                                                         iptr[0].val.i = 12;
 366                                                                                 else if (iptr[0].val.i == 0x00002000)
 367                                                                                         iptr[0].val.i = 13;
 368                                                                                 else if (iptr[0].val.i == 0x00004000)
 369                                                                                         iptr[0].val.i = 14;
 370                                                                                 else if (iptr[0].val.i == 0x00008000)
 371                                                                                         iptr[0].val.i = 15;
 372                                                                                 else if (iptr[0].val.i == 0x00010000)
 373                                                                                         iptr[0].val.i = 16;
 374                                                                                 else if (iptr[0].val.i == 0x00020000)
 375                                                                                         iptr[0].val.i = 17;
 376                                                                                 else if (iptr[0].val.i == 0x00040000)
 377                                                                                         iptr[0].val.i = 18;
 378                                                                                 else if (iptr[0].val.i == 0x00080000)
 379                                                                                         iptr[0].val.i = 19;
 380                                                                                 else if (iptr[0].val.i == 0x00100000)
 381                                                                                         iptr[0].val.i = 20;
 382                                                                                 else if (iptr[0].val.i == 0x00200000)
 383                                                                                         iptr[0].val.i = 21;
 384                                                                                 else if (iptr[0].val.i == 0x00400000)
 385                                                                                         iptr[0].val.i = 22;
 386                                                                                 else if (iptr[0].val.i == 0x00800000)
 387                                                                                         iptr[0].val.i = 23;
 388                                                                                 else if (iptr[0].val.i == 0x01000000)
 389                                                                                         iptr[0].val.i = 24;
 390                                                                                 else if (iptr[0].val.i == 0x02000000)
 391                                                                                         iptr[0].val.i = 25;
 392                                                                                 else if (iptr[0].val.i == 0x04000000)
 393                                                                                         iptr[0].val.i = 26;
 394                                                                                 else if (iptr[0].val.i == 0x08000000)
 395                                                                                         iptr[0].val.i = 27;
 396                                                                                 else if (iptr[0].val.i == 0x10000000)
 397                                                                                         iptr[0].val.i = 28;
 398                                                                                 else if (iptr[0].val.i == 0x20000000)
 399                                                                                         iptr[0].val.i = 29;
 400                                                                                 else if (iptr[0].val.i == 0x40000000)
 401                                                                                         iptr[0].val.i = 30;
 402                                                                                 else if (iptr[0].val.i == 0x80000000)
 403                                                                                         iptr[0].val.i = 31;
 404                                                                                 else {
 405                                                                                         CONST(TYPE_INT);
 406                                                                                         break;
 407                                                                                         }
 408                                                                                 iptr[0].opc = ICMD_IDIVPOW2;
 409                                                                                 goto icmd_iconst_tail;
 410                                                                         case ICMD_IREM:
 411                                                                                 if (iptr[0].val.i == 0x10001) {
 412                                                                                         iptr[0].opc = ICMD_IREM0X10001;
 413                                                                                         goto icmd_iconst_tail;
 414                                                                                         }
 415                                                                                 if ((iptr[0].val.i == 0x00000002) ||
 416                                                                                     (iptr[0].val.i == 0x00000004) ||
 417                                                                                     (iptr[0].val.i == 0x00000008) ||
 418                                                                                     (iptr[0].val.i == 0x00000010) ||
 419                                                                                     (iptr[0].val.i == 0x00000020) ||
 420                                                                                     (iptr[0].val.i == 0x00000040) ||
 421                                                                                     (iptr[0].val.i == 0x00000080) ||
 422                                                                                     (iptr[0].val.i == 0x00000100) ||
 423                                                                                     (iptr[0].val.i == 0x00000200) ||
 424                                                                                     (iptr[0].val.i == 0x00000400) ||
 425                                                                                     (iptr[0].val.i == 0x00000800) ||
 426                                                                                     (iptr[0].val.i == 0x00001000) ||
 427                                                                                     (iptr[0].val.i == 0x00002000) ||
 428                                                                                     (iptr[0].val.i == 0x00004000) ||
 429                                                                                     (iptr[0].val.i == 0x00008000) ||
 430                                                                                     (iptr[0].val.i == 0x00010000) ||
 431                                                                                     (iptr[0].val.i == 0x00020000) ||
 432                                                                                     (iptr[0].val.i == 0x00040000) ||
 433                                                                                     (iptr[0].val.i == 0x00080000) ||
 434                                                                                     (iptr[0].val.i == 0x00100000) ||
 435                                                                                     (iptr[0].val.i == 0x00200000) ||
 436                                                                                     (iptr[0].val.i == 0x00400000) ||
 437                                                                                     (iptr[0].val.i == 0x00800000) ||
 438                                                                                     (iptr[0].val.i == 0x01000000) ||
 439                                                                                     (iptr[0].val.i == 0x02000000) ||
 440                                                                                     (iptr[0].val.i == 0x04000000) ||
 441                                                                                     (iptr[0].val.i == 0x08000000) ||
 442                                                                                     (iptr[0].val.i == 0x10000000) ||
 443                                                                                     (iptr[0].val.i == 0x20000000) ||
 444                                                                                     (iptr[0].val.i == 0x40000000) ||
 445                                                                                     (iptr[0].val.i == 0x80000000)) {
 446                                                                                         iptr[0].opc = ICMD_IREMPOW2;
 447                                                                                         iptr[0].val.i -= 1;
 448                                                                                         goto icmd_iconst_tail;
 449                                                                                         }
 450                                                                                 CONST(TYPE_INT);
 451                                                                                 break;
 452                                                                         case ICMD_IAND:
 453                                                                                 iptr[0].opc = ICMD_IANDCONST;
 454                                                                                 goto icmd_iconst_tail;
 455                                                                         case ICMD_IOR:
 456                                                                                 iptr[0].opc = ICMD_IORCONST;
 457                                                                                 goto icmd_iconst_tail;
 458                                                                         case ICMD_IXOR:
 459                                                                                 iptr[0].opc = ICMD_IXORCONST;
 460                                                                                 goto icmd_iconst_tail;
 461                                                                         case ICMD_ISHL:
 462                                                                                 iptr[0].opc = ICMD_ISHLCONST;
 463                                                                                 goto icmd_iconst_tail;
 464                                                                         case ICMD_ISHR:
 465                                                                                 iptr[0].opc = ICMD_ISHRCONST;
 466                                                                                 goto icmd_iconst_tail;
 467                                                                         case ICMD_IUSHR:
 468                                                                                 iptr[0].opc = ICMD_IUSHRCONST;
 469                                                                                 goto icmd_iconst_tail;
 470                                                                         case ICMD_IF_ICMPEQ:
 471                                                                                 iptr[0].opc = ICMD_IFEQ;
 472 icmd_if_icmp_tail:
 473                                                                                 iptr[0].op1 = iptr[1].op1;
 474                                                                                 iptr[1].opc = ICMD_NOP;
 475                                                                                 OP1_0(TYPE_INT);
 476                                                                                 tbptr = block + block_index[iptr->op1];
 477                                                                                 MARKREACHED(tbptr, copy);
 478                                                                                 COUNT(count_pcmd_bra);
 479                                                                                 break;
 480                                                                         case ICMD_IF_ICMPLT:
 481                                                                                 iptr[0].opc = ICMD_IFLT;
 482                                                                                 goto icmd_if_icmp_tail;
 483                                                                         case ICMD_IF_ICMPLE:
 484                                                                                 iptr[0].opc = ICMD_IFLE;
 485                                                                                 goto icmd_if_icmp_tail;
 486                                                                         case ICMD_IF_ICMPNE:
 487                                                                                 iptr[0].opc = ICMD_IFNE;
 488                                                                                 goto icmd_if_icmp_tail;
 489                                                                         case ICMD_IF_ICMPGT:
 490                                                                                 iptr[0].opc = ICMD_IFGT;
 491                                                                                 goto icmd_if_icmp_tail;
 492                                                                         case ICMD_IF_ICMPGE:
 493                                                                                 iptr[0].opc = ICMD_IFGE;
 494                                                                                 goto icmd_if_icmp_tail;
 495                                                                         default:
 496                                                                                 CONST(TYPE_INT);
 497                                                                         }
 498                                                                 }
 499                                                         else
 500                                                                 CONST(TYPE_INT);
 501                                                         break;
 502                                                 case ICMD_LCONST:
 503                                                         COUNT(count_pcmd_load);
 504                                                         if (len > 0) {
 505                                                                 switch (iptr[1].opc) {
 506                                                                         case ICMD_LADD:
 507                                                                                 iptr[0].opc = ICMD_LADDCONST;
 508 icmd_lconst_tail:
 509                                                                                 iptr[1].opc = ICMD_NOP;
 510                                                                                 OP1_1(TYPE_LNG,TYPE_LNG);
 511                                                                                 COUNT(count_pcmd_op);
 512                                                                                 break;
 513                                                                         case ICMD_LSUB:
 514                                                                                 iptr[0].opc = ICMD_LSUBCONST;
 515                                                                                 goto icmd_lconst_tail;
 516                                                                         case ICMD_LMUL:
 517                                                                                 iptr[0].opc = ICMD_LMULCONST;
 518                                                                                 goto icmd_lconst_tail;
 519                                                                         case ICMD_LDIV:
 520                                                                                 if (iptr[0].val.l == 0x00000002)
 521                                                                                         iptr[0].val.l = 1;
 522                                                                                 else if (iptr[0].val.l == 0x00000004)
 523                                                                                         iptr[0].val.l = 2;
 524                                                                                 else if (iptr[0].val.l == 0x00000008)
 525                                                                                         iptr[0].val.l = 3;
 526                                                                                 else if (iptr[0].val.l == 0x00000010)
 527                                                                                         iptr[0].val.l = 4;
 528                                                                                 else if (iptr[0].val.l == 0x00000020)
 529                                                                                         iptr[0].val.l = 5;
 530                                                                                 else if (iptr[0].val.l == 0x00000040)
 531                                                                                         iptr[0].val.l = 6;
 532                                                                                 else if (iptr[0].val.l == 0x00000080)
 533                                                                                         iptr[0].val.l = 7;
 534                                                                                 else if (iptr[0].val.l == 0x00000100)
 535                                                                                         iptr[0].val.l = 8;
 536                                                                                 else if (iptr[0].val.l == 0x00000200)
 537                                                                                         iptr[0].val.l = 9;
 538                                                                                 else if (iptr[0].val.l == 0x00000400)
 539                                                                                         iptr[0].val.l = 10;
 540                                                                                 else if (iptr[0].val.l == 0x00000800)
 541                                                                                         iptr[0].val.l = 11;
 542                                                                                 else if (iptr[0].val.l == 0x00001000)
 543                                                                                         iptr[0].val.l = 12;
 544                                                                                 else if (iptr[0].val.l == 0x00002000)
 545                                                                                         iptr[0].val.l = 13;
 546                                                                                 else if (iptr[0].val.l == 0x00004000)
 547                                                                                         iptr[0].val.l = 14;
 548                                                                                 else if (iptr[0].val.l == 0x00008000)
 549                                                                                         iptr[0].val.l = 15;
 550                                                                                 else if (iptr[0].val.l == 0x00010000)
 551                                                                                         iptr[0].val.l = 16;
 552                                                                                 else if (iptr[0].val.l == 0x00020000)
 553                                                                                         iptr[0].val.l = 17;
 554                                                                                 else if (iptr[0].val.l == 0x00040000)
 555                                                                                         iptr[0].val.l = 18;
 556                                                                                 else if (iptr[0].val.l == 0x00080000)
 557                                                                                         iptr[0].val.l = 19;
 558                                                                                 else if (iptr[0].val.l == 0x00100000)
 559                                                                                         iptr[0].val.l = 20;
 560                                                                                 else if (iptr[0].val.l == 0x00200000)
 561                                                                                         iptr[0].val.l = 21;
 562                                                                                 else if (iptr[0].val.l == 0x00400000)
 563                                                                                         iptr[0].val.l = 22;
 564                                                                                 else if (iptr[0].val.l == 0x00800000)
 565                                                                                         iptr[0].val.l = 23;
 566                                                                                 else if (iptr[0].val.l == 0x01000000)
 567                                                                                         iptr[0].val.l = 24;
 568                                                                                 else if (iptr[0].val.l == 0x02000000)
 569                                                                                         iptr[0].val.l = 25;
 570                                                                                 else if (iptr[0].val.l == 0x04000000)
 571                                                                                         iptr[0].val.l = 26;
 572                                                                                 else if (iptr[0].val.l == 0x08000000)
 573                                                                                         iptr[0].val.l = 27;
 574                                                                                 else if (iptr[0].val.l == 0x10000000)
 575                                                                                         iptr[0].val.l = 28;
 576                                                                                 else if (iptr[0].val.l == 0x20000000)
 577                                                                                         iptr[0].val.l = 29;
 578                                                                                 else if (iptr[0].val.l == 0x40000000)
 579                                                                                         iptr[0].val.l = 30;
 580                                                                                 else if (iptr[0].val.l == 0x80000000)
 581                                                                                         iptr[0].val.l = 31;
 582                                                                                 else {
 583                                                                                         CONST(TYPE_LNG);
 584                                                                                         break;
 585                                                                                         }
 586                                                                                 iptr[0].opc = ICMD_LDIVPOW2;
 587                                                                                 goto icmd_lconst_tail;
 588                                                                         case ICMD_LREM:
 589                                                                                 if (iptr[0].val.l == 0x10001) {
 590                                                                                         iptr[0].opc = ICMD_LREM0X10001;
 591                                                                                         goto icmd_lconst_tail;
 592                                                                                         }
 593                                                                                 if ((iptr[0].val.l == 0x00000002) ||
 594                                                                                     (iptr[0].val.l == 0x00000004) ||
 595                                                                                     (iptr[0].val.l == 0x00000008) ||
 596                                                                                     (iptr[0].val.l == 0x00000010) ||
 597                                                                                     (iptr[0].val.l == 0x00000020) ||
 598                                                                                     (iptr[0].val.l == 0x00000040) ||
 599                                                                                     (iptr[0].val.l == 0x00000080) ||
 600                                                                                     (iptr[0].val.l == 0x00000100) ||
 601                                                                                     (iptr[0].val.l == 0x00000200) ||
 602                                                                                     (iptr[0].val.l == 0x00000400) ||
 603                                                                                     (iptr[0].val.l == 0x00000800) ||
 604                                                                                     (iptr[0].val.l == 0x00001000) ||
 605                                                                                     (iptr[0].val.l == 0x00002000) ||
 606                                                                                     (iptr[0].val.l == 0x00004000) ||
 607                                                                                     (iptr[0].val.l == 0x00008000) ||
 608                                                                                     (iptr[0].val.l == 0x00010000) ||
 609                                                                                     (iptr[0].val.l == 0x00020000) ||
 610                                                                                     (iptr[0].val.l == 0x00040000) ||
 611                                                                                     (iptr[0].val.l == 0x00080000) ||
 612                                                                                     (iptr[0].val.l == 0x00100000) ||
 613                                                                                     (iptr[0].val.l == 0x00200000) ||
 614                                                                                     (iptr[0].val.l == 0x00400000) ||
 615                                                                                     (iptr[0].val.l == 0x00800000) ||
 616                                                                                     (iptr[0].val.l == 0x01000000) ||
 617                                                                                     (iptr[0].val.l == 0x02000000) ||
 618                                                                                     (iptr[0].val.l == 0x04000000) ||
 619                                                                                     (iptr[0].val.l == 0x08000000) ||
 620                                                                                     (iptr[0].val.l == 0x10000000) ||
 621                                                                                     (iptr[0].val.l == 0x20000000) ||
 622                                                                                     (iptr[0].val.l == 0x40000000) ||
 623                                                                                     (iptr[0].val.l == 0x80000000)) {
 624                                                                                         iptr[0].opc = ICMD_LREMPOW2;
 625                                                                                         iptr[0].val.l -= 1;
 626                                                                                         goto icmd_lconst_tail;
 627                                                                                         }
 628                                                                                 CONST(TYPE_LNG);
 629                                                                                 break;
 630                                                                         case ICMD_LAND:
 631                                                                                 iptr[0].opc = ICMD_LANDCONST;
 632                                                                                 goto icmd_lconst_tail;
 633                                                                         case ICMD_LOR:
 634                                                                                 iptr[0].opc = ICMD_LORCONST;
 635                                                                                 goto icmd_lconst_tail;
 636                                                                         case ICMD_LXOR:
 637                                                                                 iptr[0].opc = ICMD_LXORCONST;
 638                                                                                 goto icmd_lconst_tail;
 639                                                                         case ICMD_LSHL:
 640                                                                                 iptr[0].opc = ICMD_LSHLCONST;
 641                                                                                 goto icmd_lconst_tail;
 642                                                                         case ICMD_LSHR:
 643                                                                                 iptr[0].opc = ICMD_LSHRCONST;
 644                                                                                 goto icmd_lconst_tail;
 645                                                                         case ICMD_LUSHR:
 646                                                                                 iptr[0].opc = ICMD_LUSHRCONST;
 647                                                                                 goto icmd_lconst_tail;
 648                                                                         case ICMD_LCMP:
 649                                                                                 if ((len > 1) && (iptr[2].val.i == 0)) {
 650                                                                                         switch (iptr[2].opc) {
 651                                                                                         case ICMD_IFEQ:
 652                                                                                                 iptr[0].opc = ICMD_IF_LEQ;
 653 icmd_lconst_lcmp_tail:
 654                                                                                                 iptr[0].op1 = iptr[2].op1;
 655                                                                                                 iptr[1].opc = ICMD_NOP;
 656                                                                                                 iptr[2].opc = ICMD_NOP;
 657                                                                                                 OP1_0(TYPE_LNG);
 658                                                                                                 tbptr = block + block_index[iptr->op1];
 659                                                                                                 MARKREACHED(tbptr, copy);
 660                                                                                                 COUNT(count_pcmd_bra);
 661                                                                                                 COUNT(count_pcmd_op);
 662                                                                                                 break;
 663                                                                                         case ICMD_IFNE:
 664                                                                                                 iptr[0].opc = ICMD_IF_LNE;
 665                                                                                                 goto icmd_lconst_lcmp_tail;
 666                                                                                         case ICMD_IFLT:
 667                                                                                                 iptr[0].opc = ICMD_IF_LLT;
 668                                                                                                 goto icmd_lconst_lcmp_tail;
 669                                                                                         case ICMD_IFGT:
 670                                                                                                 iptr[0].opc = ICMD_IF_LGT;
 671                                                                                                 goto icmd_lconst_lcmp_tail;
 672                                                                                         case ICMD_IFLE:
 673                                                                                                 iptr[0].opc = ICMD_IF_LLE;
 674                                                                                                 goto icmd_lconst_lcmp_tail;
 675                                                                                         case ICMD_IFGE:
 676                                                                                                 iptr[0].opc = ICMD_IF_LGE;
 677                                                                                                 goto icmd_lconst_lcmp_tail;
 678                                                                                         default:
 679                                                                                                 CONST(TYPE_LNG);
 680                                                                                         } /* switch (iptr[2].opc) */
 681                                                                                         } /* if (iptr[2].val.i == 0) */
 682                                                                                 else
 683                                                                                         CONST(TYPE_LNG);
 684                                                                                 break;
 685                                                                         default:
 686                                                                                 CONST(TYPE_LNG);
 687                                                                         }
 688                                                                 }
 689                                                         else
 690                                                                 CONST(TYPE_LNG);
 691                                                         break;
 692                                                 case ICMD_FCONST:
 693                                                         COUNT(count_pcmd_load);
 694                                                         CONST(TYPE_FLT);
 695                                                         break;
 696                                                 case ICMD_DCONST:
 697                                                         COUNT(count_pcmd_load);
 698                                                         CONST(TYPE_DBL);
 699                                                         break;
 700                                                 case ICMD_ACONST:
 701                                                         COUNT(count_pcmd_load);
 702                                                         CONST(TYPE_ADR);
 703                                                         break;
 704
 705                                                 /* pop 0 push 1 load */
 706
 707                                                 case ICMD_ILOAD:
 708                                                 case ICMD_LLOAD:
 709                                                 case ICMD_FLOAD:
 710                                                 case ICMD_DLOAD:
 711                                                 case ICMD_ALOAD:
 712                                                         COUNT(count_load_instruction);
 713                                                         i = opcode-ICMD_ILOAD;
 714                                                         locals[iptr->op1][i].type = i;
 715                                                         LOAD(i, LOCALVAR, iptr->op1);
 716                                                         break;
 717
 718                                                 /* pop 2 push 1 */
 719
 720                                                 case ICMD_IALOAD:
 721                                                 case ICMD_LALOAD:
 722                                                 case ICMD_FALOAD:
 723                                                 case ICMD_DALOAD:
 724                                                 case ICMD_AALOAD:
 725                                                         COUNT(count_check_null);
 726                                                         COUNT(count_check_bound);
 727                                                         COUNT(count_pcmd_mem);
 728                                                         OP2IAT_1(opcode-ICMD_IALOAD);
 729                                                         break;
 730
 731                                                 case ICMD_BALOAD:
 732                                                 case ICMD_CALOAD:
 733                                                 case ICMD_SALOAD:
 734                                                         COUNT(count_check_null);
 735                                                         COUNT(count_check_bound);
 736                                                         COUNT(count_pcmd_mem);
 737                                                         OP2IAT_1(TYPE_INT);
 738                                                         break;
 739
 740                                                 /* pop 0 push 0 iinc */
 741
 742                                                 case ICMD_IINC:
 743 #ifdef STATISTICS
 744                                                         i = stackdepth;
 745                                                         if (i >= 10)
 746                                                                 count_store_depth[10]++;
 747                                                         else
 748                                                                 count_store_depth[i]++;
 749 #endif
 750                                                         copy = curstack;
 751                                                         i = stackdepth - 1;
 752                                                         while (copy) {
 753                                                                 if ((copy->varkind == LOCALVAR) &&
 754                                                                     (copy->varnum == curstack->varnum)) {
 755                                                                         copy->varkind = TEMPVAR;
 756                                                                         copy->varnum = i;
 757                                                                         }
 758                                                                 i--;
 759                                                                 copy = copy->prev;
 760                                                                 }
 761                                                         SETDST;
 762                                                         break;
 763
 764                                                 /* pop 1 push 0 store */
 765
 766                                                 case ICMD_ISTORE:
 767                                                 case ICMD_LSTORE:
 768                                                 case ICMD_FSTORE:
 769                                                 case ICMD_DSTORE:
 770                                                 case ICMD_ASTORE:
 771                                                         i = opcode-ICMD_ISTORE;
 772                                                         locals[iptr->op1][i].type = i;
 773 #ifdef STATISTICS
 774                                                         count_pcmd_store++;
 775                                                         i = new - curstack;
 776                                                         if (i >= 20)
 777                                                                 count_store_length[20]++;
 778                                                         else
 779                                                                 count_store_length[i]++;
 780                                                         i = stackdepth - 1;
 781                                                         if (i >= 10)
 782                                                                 count_store_depth[10]++;
 783                                                         else
 784                                                                 count_store_depth[i]++;
 785 #endif
 786                                                         copy = curstack->prev;
 787                                                         i = stackdepth - 2;
 788                                                         while (copy) {
 789                                                                 if ((copy->varkind == LOCALVAR) &&
 790                                                                     (copy->varnum == curstack->varnum)) {
 791                                                                         copy->varkind = TEMPVAR;
 792                                                                         copy->varnum = i;
 793                                                                         }
 794                                                                 i--;
 795                                                                 copy = copy->prev;
 796                                                                 }
 797                                                         if ((new - curstack) == 1) {
 798                                                                 curstack->varkind = LOCALVAR;
 799                                                                 curstack->varnum = iptr->op1;
 800                                                                 };
 801                                                         STORE(opcode-ICMD_ISTORE);
 802                                                         break;
 803
 804                                                 /* pop 3 push 0 */
 805
 806                                                 case ICMD_IASTORE:
 807                                                 case ICMD_LASTORE:
 808                                                 case ICMD_FASTORE:
 809                                                 case ICMD_DASTORE:
 810                                                 case ICMD_AASTORE:
 811                                                         COUNT(count_check_null);
 812                                                         COUNT(count_check_bound);
 813                                                         COUNT(count_pcmd_mem);
 814                                                         OP3TIA_0(opcode-ICMD_IASTORE);
 815                                                         break;
 816                                                 case ICMD_BASTORE:
 817                                                 case ICMD_CASTORE:
 818                                                 case ICMD_SASTORE:
 819                                                         COUNT(count_check_null);
 820                                                         COUNT(count_check_bound);
 821                                                         COUNT(count_pcmd_mem);
 822                                                         OP3TIA_0(TYPE_INT);
 823                                                         break;
 824
 825                                                 /* pop 1 push 0 */
 826
 827                                                 case ICMD_POP:
 828                                                         OP1_0ANY;
 829                                                         break;
 830
 831                                                 case ICMD_IRETURN:
 832                                                 case ICMD_LRETURN:
 833                                                 case ICMD_FRETURN:
 834                                                 case ICMD_DRETURN:
 835                                                 case ICMD_ARETURN:
 836                                                         COUNT(count_pcmd_return);
 837                                                         OP1_0(opcode-ICMD_IRETURN);
 838                                                         superblockend = true;
 839                                                         break;
 840
 841                                                 case ICMD_ATHROW:
 842                                                         COUNT(count_check_null);
 843                                                         OP1_0(TYPE_ADR);
 844                                                         STACKRESET;
 845                                                         SETDST;
 846                                                         superblockend = true;
 847                                                         break;
 848
 849                                                 case ICMD_PUTSTATIC:
 850                                                         COUNT(count_pcmd_mem);
 851                                                         OP1_0(iptr->op1);
 852                                                         break;
 853
 854                                                 /* pop 1 push 0 branch */
 855
 856                                                 case ICMD_IFNULL:
 857                                                 case ICMD_IFNONNULL:
 858                                                         COUNT(count_pcmd_bra);
 859                                                         OP1_0(TYPE_ADR);
 860                                                         tbptr = block + block_index[iptr->op1];
 861                                                         MARKREACHED(tbptr, copy);
 862                                                         break;
 863
 864                                                 case ICMD_IFEQ:
 865                                                 case ICMD_IFNE:
 866                                                 case ICMD_IFLT:
 867                                                 case ICMD_IFGE:
 868                                                 case ICMD_IFGT:
 869                                                 case ICMD_IFLE:
 870                                                         COUNT(count_pcmd_bra);
 871 #ifdef CONDITIONAL_LOADCONST
 872                                                         {
 873                                                         tbptr = block + b_index;
 874                                                         if ((b_count >= 3) &&
 875                                                             ((b_index + 2) == block_index[iptr[0].op1]) &&
 876                                                             (tbptr[1].pre_count == 1) &&
 877                                                             (iptr[1].opc == ICMD_ICONST) &&
 878                                                             (iptr[2].opc == ICMD_GOTO)   &&
 879                                                             ((b_index + 3) == block_index[iptr[2].op1]) &&
 880                                                             (tbptr[2].pre_count == 1) &&
 881                                                             (iptr[3].opc == ICMD_ICONST)) {
 882                                                                 OP1_1(TYPE_INT, TYPE_INT);
 883                                                                 switch (iptr[0].opc) {
 884                                                                         case ICMD_IFEQ:
 885                                                                                 iptr[0].opc = ICMD_IFNE_ICONST;
 886                                                                                 break;
 887                                                                         case ICMD_IFNE:
 888                                                                                 iptr[0].opc = ICMD_IFEQ_ICONST;
 889                                                                                 break;
 890                                                                         case ICMD_IFLT:
 891                                                                                 iptr[0].opc = ICMD_IFGE_ICONST;
 892                                                                                 break;
 893                                                                         case ICMD_IFGE:
 894                                                                                 iptr[0].opc = ICMD_IFLT_ICONST;
 895                                                                                 break;
 896                                                                         case ICMD_IFGT:
 897                                                                                 iptr[0].opc = ICMD_IFLE_ICONST;
 898                                                                                 break;
 899                                                                         case ICMD_IFLE:
 900                                                                                 iptr[0].opc = ICMD_IFGT_ICONST;
 901                                                                                 break;
 902                                                                         }
 903                                                                 iptr[0].val.i = iptr[1].val.i;
 904                                                                 iptr[1].opc = ICMD_ELSE_ICONST;
 905                                                                 iptr[1].val.i = iptr[3].val.i;
 906                                                                 iptr[2].opc = ICMD_NOP;
 907                                                                 iptr[3].opc = ICMD_NOP;
 908                                                                 tbptr[1].flags = BBDELETED;
 909                                                                 tbptr[2].flags = BBDELETED;
 910                                                                 len += 3;
 911                                                                 if (tbptr[3].pre_count == 2) {
 912                                                                         tbptr[3].flags = BBDELETED;
 913                                                                         len += tbptr[4].ipc - tbptr[3].ipc;
 914                                                                         tbptr[3].ipc = tbptr[4].ipc;
 915                                                                         b_index ++;
 916                                                                         }
 917                                                                 tbptr[1].ipc = tbptr[3].ipc;
 918                                                                 tbptr[2].ipc = tbptr[3].ipc;
 919                                                                 bptr[1].ipc = tbptr[3].ipc;
 920                                                                 b_index += 2;
 921                                                                 break;
 922                                                                 }
 923                                                         }
 924 #endif
 925                                                         OP1_0(TYPE_INT);
 926                                                         tbptr = block + block_index[iptr->op1];
 927                                                         MARKREACHED(tbptr, copy);
 928                                                         break;
 929
 930                                                 /* pop 0 push 0 branch */
 931
 932                                                 case ICMD_GOTO:
 933                                                         COUNT(count_pcmd_bra);
 934                                                         tbptr = block + block_index[iptr->op1];
 935                                                         MARKREACHED(tbptr, copy);
 936                                                         SETDST;
 937                                                         superblockend = true;
 938                                                         break;
 939
 940                                                 /* pop 1 push 0 table branch */
 941
 942                                                 case ICMD_TABLESWITCH:
 943                                                         COUNT(count_pcmd_table);
 944                                                         OP1_0(TYPE_INT);
 945                                                         s4ptr = iptr->val.a;
 946                                                         tbptr = block + block_index[*s4ptr++]; /* default */
 947                                                         MARKREACHED(tbptr, copy);
 948                                                         i = *s4ptr++;                          /* low     */
 949                                                         i = *s4ptr++ - i + 1;                  /* high    */
 950                                                         while (--i >= 0) {
 951                                                                 tbptr = block + block_index[*s4ptr++];
 952                                                                 MARKREACHED(tbptr, copy);
 953                                                                 }
 954                                                         SETDST;
 955                                                         superblockend = true;
 956                                                         break;
 957
 958                                                 /* pop 1 push 0 table branch */
 959
 960                                                 case ICMD_LOOKUPSWITCH:
 961                                                         COUNT(count_pcmd_table);
 962                                                         OP1_0(TYPE_INT);
 963                                                         s4ptr = iptr->val.a;
 964                                                         tbptr = block + block_index[*s4ptr++]; /* default */
 965                                                         MARKREACHED(tbptr, copy);
 966                                                         i = *s4ptr++;                          /* count   */
 967                                                         while (--i >= 0) {
 968                                                                 tbptr = block + block_index[s4ptr[1]];
 969                                                                 MARKREACHED(tbptr, copy);
 970                                                                 s4ptr += 2;
 971                                                                 }
 972                                                         SETDST;
 973                                                         superblockend = true;
 974                                                         break;
 975
 976                                                 case ICMD_NULLCHECKPOP:
 977                                                 case ICMD_MONITORENTER:
 978                                                         COUNT(count_check_null);
 979                                                 case ICMD_MONITOREXIT:
 980                                                         OP1_0(TYPE_ADR);
 981                                                         break;
 982
 983                                                 /* pop 2 push 0 branch */
 984
 985                                                 case ICMD_IF_ICMPEQ:
 986                                                 case ICMD_IF_ICMPNE:
 987                                                 case ICMD_IF_ICMPLT:
 988                                                 case ICMD_IF_ICMPGE:
 989                                                 case ICMD_IF_ICMPGT:
 990                                                 case ICMD_IF_ICMPLE:
 991                                                         COUNT(count_pcmd_bra);
 992                                                         OP2_0(TYPE_INT);
 993                                                         tbptr = block + block_index[iptr->op1];
 994                                                         MARKREACHED(tbptr, copy);
 995                                                         break;
 996
 997                                                 case ICMD_IF_ACMPEQ:
 998                                                 case ICMD_IF_ACMPNE:
 999                                                         COUNT(count_pcmd_bra);
1000                                                         OP2_0(TYPE_ADR);
1001                                                         tbptr = block + block_index[iptr->op1];
1002                                                         MARKREACHED(tbptr, copy);
1003                                                         break;
1004
1005                                                 /* pop 2 push 0 */
1006
1007                                                 case ICMD_PUTFIELD:
1008                                                         COUNT(count_check_null);
1009                                                         COUNT(count_pcmd_mem);
1010                                                         OPTT2_0(iptr->op1,TYPE_ADR);
1011                                                         break;
1012
1013                                                 case ICMD_POP2:
1014                                                         if (! IS_2_WORD_TYPE(curstack->type)) {
1015                                                                 OP1_0ANY;                /* second pop */
1016                                                                 }
1017                                                         else
1018                                                                 iptr->opc = ICMD_POP;
1019                                                         OP1_0ANY;
1020                                                         break;
1021
1022                                                 /* pop 0 push 1 dup */
1023
1024                                                 case ICMD_DUP:
1025                                                         COUNT(count_dup_instruction);
1026                                                         DUP;
1027                                                         break;
1028
1029                                                 case ICMD_DUP2:
1030                                                         if (IS_2_WORD_TYPE(curstack->type)) {
1031                                                                 iptr->opc = ICMD_DUP;
1032                                                                 DUP;
1033                                                                 }
1034                                                         else {
1035                                                                 copy = curstack;
1036                                                                 NEWSTACK(copy[-1].type, copy[-1].varkind,
1037                                                                          copy[-1].varnum);
1038                                                                 NEWSTACK(copy[ 0].type, copy[ 0].varkind,
1039                                                                          copy[ 0].varnum);
1040                                                                 SETDST;
1041                                                                 stackdepth+=2;
1042                                                                 }
1043                                                         break;
1044
1045                                                 /* pop 2 push 3 dup */
1046
1047                                                 case ICMD_DUP_X1:
1048                                                         DUP_X1;
1049                                                         break;
1050
1051                                                 case ICMD_DUP2_X1:
1052                                                         if (IS_2_WORD_TYPE(curstack->type)) {
1053                                                                 iptr->opc = ICMD_DUP_X1;
1054                                                                 DUP_X1;
1055                                                                 }
1056                                                         else {
1057                                                                 DUP2_X1;
1058                                                                 }
1059                                                         break;
1060
1061                                                 /* pop 3 push 4 dup */
1062
1063                                                 case ICMD_DUP_X2:
1064                                                         if (IS_2_WORD_TYPE(curstack[-1].type)) {
1065                                                                 iptr->opc = ICMD_DUP_X1;
1066                                                                 DUP_X1;
1067                                                                 }
1068                                                         else {
1069                                                                 DUP_X2;
1070                                                                 }
1071                                                         break;
1072
1073                                                 case ICMD_DUP2_X2:
1074                                                         if (IS_2_WORD_TYPE(curstack->type)) {
1075                                                                 if (IS_2_WORD_TYPE(curstack[-1].type)) {
1076                                                                         iptr->opc = ICMD_DUP_X1;
1077                                                                         DUP_X1;
1078                                                                         }
1079                                                                 else {
1080                                                                         iptr->opc = ICMD_DUP_X2;
1081                                                                         DUP_X2;
1082                                                                         }
1083                                                                 }
1084                                                         else
1085                                                                 if (IS_2_WORD_TYPE(curstack[-2].type)) {
1086                                                                         iptr->opc = ICMD_DUP2_X1;
1087                                                                         DUP2_X1;
1088                                                                         }
1089                                                                 else {
1090                                                                         DUP2_X2;
1091                                                                         }
1092                                                         break;
1093
1094                                                 /* pop 2 push 2 swap */
1095
1096                                                 case ICMD_SWAP:
1097                                                         SWAP;
1098                                                         break;
1099
1100                                                 /* pop 2 push 1 */
1101
1102                                                 case ICMD_IDIV:
1103                                                         if (!(SUPPORT_DIVISION)) {
1104                                                                 iptr[0].opc = ICMD_BUILTIN2;
1105                                                                 iptr[0].op1 = TYPE_INT;
1106                                                                 iptr[0].val.a = (functionptr) new_builtin_idiv;
1107                                                                 isleafmethod = false;
1108                                                                 goto builtin2;
1109                                                                 }
1110
1111                                                 case ICMD_LDIV:
1112                                                         if (!(SUPPORT_DIVISION && SUPPORT_LONG && SUPPORT_LONG_MULDIV)) {
1113                                                                 iptr[0].opc = ICMD_BUILTIN2;
1114                                                                 iptr[0].op1 = TYPE_LNG;
1115                                                                 iptr[0].val.a = (functionptr) new_builtin_ldiv;
1116                                                                 isleafmethod = false;
1117                                                                 goto builtin2;
1118                                                                 }
1119
1120                                                 case ICMD_IREM:
1121                                                         if (!(SUPPORT_DIVISION)) {
1122                                                                 iptr[0].opc = ICMD_BUILTIN2;
1123                                                                 iptr[0].op1 = TYPE_INT;
1124                                                                 iptr[0].val.a = (functionptr) new_builtin_irem;
1125                                                                 isleafmethod = false;
1126                                                                 goto builtin2;
1127                                                                 }
1128
1129                                                 case ICMD_LREM:
1130                                                         if (!(SUPPORT_DIVISION && SUPPORT_LONG && SUPPORT_LONG_MULDIV)) {
1131                                                                 iptr[0].opc = ICMD_BUILTIN2;
1132                                                                 iptr[0].op1 = TYPE_LNG;
1133                                                                 iptr[0].val.a = (functionptr) new_builtin_lrem;
1134                                                                 isleafmethod = false;
1135                                                                 goto builtin2;
1136                                                                 }
1137
1138                                                 case ICMD_IADD:
1139                                                 case ICMD_ISUB:
1140                                                 case ICMD_IMUL:
1141
1142                                                 case ICMD_ISHL:
1143                                                 case ICMD_ISHR:
1144                                                 case ICMD_IUSHR:
1145                                                 case ICMD_IAND:
1146                                                 case ICMD_IOR:
1147                                                 case ICMD_IXOR:
1148                                                         COUNT(count_pcmd_op);
1149                                                         OP2_1(TYPE_INT);
1150                                                         break;
1151
1152                                                 case ICMD_LADD:
1153                                                 case ICMD_LSUB:
1154                                                 case ICMD_LMUL:
1155
1156                                                 case ICMD_LOR:
1157                                                 case ICMD_LAND:
1158                                                 case ICMD_LXOR:
1159                                                         COUNT(count_pcmd_op);
1160                                                         OP2_1(TYPE_LNG);
1161                                                         break;
1162
1163                                                 case ICMD_LSHL:
1164                                                 case ICMD_LSHR:
1165                                                 case ICMD_LUSHR:
1166                                                         COUNT(count_pcmd_op);
1167                                                         OP2IT_1(TYPE_LNG);
1168                                                         break;
1169
1170                                                 case ICMD_FADD:
1171                                                 case ICMD_FSUB:
1172                                                 case ICMD_FMUL:
1173                                                 case ICMD_FDIV:
1174                                                 case ICMD_FREM:
1175                                                         COUNT(count_pcmd_op);
1176                                                         OP2_1(TYPE_FLT);
1177                                                         break;
1178
1179                                                 case ICMD_DADD:
1180                                                 case ICMD_DSUB:
1181                                                 case ICMD_DMUL:
1182                                                 case ICMD_DDIV:
1183                                                 case ICMD_DREM:
1184                                                         COUNT(count_pcmd_op);
1185                                                         OP2_1(TYPE_DBL);
1186                                                         break;
1187
1188                                                 case ICMD_LCMP:
1189                                                         COUNT(count_pcmd_op);
1190                                                         if ((len > 0) && (iptr[1].val.i == 0)) {
1191                                                                 switch (iptr[1].opc) {
1192                                                                         case ICMD_IFEQ:
1193                                                                                 iptr[0].opc = ICMD_IF_LCMPEQ;
1194 icmd_lcmp_if_tail:
1195                                                                                 iptr[0].op1 = iptr[1].op1;
1196                                                                                 iptr[1].opc = ICMD_NOP;
1197                                                                                 OP2_0(TYPE_LNG);
1198                                                                                 tbptr = block + block_index[iptr->op1];
1199                                                                                 MARKREACHED(tbptr, copy);
1200                                                                                 COUNT(count_pcmd_bra);
1201                                                                                 break;
1202                                                                         case ICMD_IFNE:
1203                                                                                 iptr[0].opc = ICMD_IF_LCMPNE;
1204                                                                                 goto icmd_lcmp_if_tail;
1205                                                                         case ICMD_IFLT:
1206                                                                                 iptr[0].opc = ICMD_IF_LCMPLT;
1207                                                                                 goto icmd_lcmp_if_tail;
1208                                                                         case ICMD_IFGT:
1209                                                                                 iptr[0].opc = ICMD_IF_LCMPGT;
1210                                                                                 goto icmd_lcmp_if_tail;
1211                                                                         case ICMD_IFLE:
1212                                                                                 iptr[0].opc = ICMD_IF_LCMPLE;
1213                                                                                 goto icmd_lcmp_if_tail;
1214                                                                         case ICMD_IFGE:
1215                                                                                 iptr[0].opc = ICMD_IF_LCMPGE;
1216                                                                                 goto icmd_lcmp_if_tail;
1217                                                                         default:
1218                                                                                 OPTT2_1(TYPE_LNG, TYPE_INT);
1219                                                                         }
1220                                                                 }
1221                                                         else
1222                                                                 OPTT2_1(TYPE_LNG, TYPE_INT);
1223                                                         break;
1224                                                 case ICMD_FCMPL:
1225                                                 case ICMD_FCMPG:
1226                                                         COUNT(count_pcmd_op);
1227                                                         OPTT2_1(TYPE_FLT, TYPE_INT);
1228                                                         break;
1229                                                 case ICMD_DCMPL:
1230                                                 case ICMD_DCMPG:
1231                                                         COUNT(count_pcmd_op);
1232                                                         OPTT2_1(TYPE_DBL, TYPE_INT);
1233                                                         break;
1234
1235                                                 /* pop 1 push 1 */
1236
1237                                                 case ICMD_INEG:
1238                                                 case ICMD_INT2BYTE:
1239                                                 case ICMD_INT2CHAR:
1240                                                 case ICMD_INT2SHORT:
1241                                                         COUNT(count_pcmd_op);
1242                                                         OP1_1(TYPE_INT, TYPE_INT);
1243                                                         break;
1244                                                 case ICMD_LNEG:
1245                                                         COUNT(count_pcmd_op);
1246                                                         OP1_1(TYPE_LNG, TYPE_LNG);
1247                                                         break;
1248                                                 case ICMD_FNEG:
1249                                                         COUNT(count_pcmd_op);
1250                                                         OP1_1(TYPE_FLT, TYPE_FLT);
1251                                                         break;
1252                                                 case ICMD_DNEG:
1253                                                         COUNT(count_pcmd_op);
1254                                                         OP1_1(TYPE_DBL, TYPE_DBL);
1255                                                         break;
1256
1257                                                 case ICMD_I2L:
1258                                                         COUNT(count_pcmd_op);
1259                                                         OP1_1(TYPE_INT, TYPE_LNG);
1260                                                         break;
1261                                                 case ICMD_I2F:
1262                                                         COUNT(count_pcmd_op);
1263                                                         OP1_1(TYPE_INT, TYPE_FLT);
1264                                                         break;
1265                                                 case ICMD_I2D:
1266                                                         COUNT(count_pcmd_op);
1267                                                         OP1_1(TYPE_INT, TYPE_DBL);
1268                                                         break;
1269                                                 case ICMD_L2I:
1270                                                         COUNT(count_pcmd_op);
1271                                                         OP1_1(TYPE_LNG, TYPE_INT);
1272                                                         break;
1273                                                 case ICMD_L2F:
1274                                                         COUNT(count_pcmd_op);
1275                                                         OP1_1(TYPE_LNG, TYPE_FLT);
1276                                                         break;
1277                                                 case ICMD_L2D:
1278                                                         COUNT(count_pcmd_op);
1279                                                         OP1_1(TYPE_LNG, TYPE_DBL);
1280                                                         break;
1281                                                 case ICMD_F2I:
1282                                                         COUNT(count_pcmd_op);
1283                                                         OP1_1(TYPE_FLT, TYPE_INT);
1284                                                         break;
1285                                                 case ICMD_F2L:
1286                                                         COUNT(count_pcmd_op);
1287                                                         OP1_1(TYPE_FLT, TYPE_LNG);
1288                                                         break;
1289                                                 case ICMD_F2D:
1290                                                         COUNT(count_pcmd_op);
1291                                                         OP1_1(TYPE_FLT, TYPE_DBL);
1292                                                         break;
1293                                                 case ICMD_D2I:
1294                                                         COUNT(count_pcmd_op);
1295                                                         OP1_1(TYPE_DBL, TYPE_INT);
1296                                                         break;
1297                                                 case ICMD_D2L:
1298                                                         COUNT(count_pcmd_op);
1299                                                         OP1_1(TYPE_DBL, TYPE_LNG);
1300                                                         break;
1301                                                 case ICMD_D2F:
1302                                                         COUNT(count_pcmd_op);
1303                                                         OP1_1(TYPE_DBL, TYPE_FLT);
1304                                                         break;
1305
1306                                                 case ICMD_CHECKCAST:
1307                                                         OP1_1(TYPE_ADR, TYPE_ADR);
1308                                                         break;
1309
1310                                                 case ICMD_ARRAYLENGTH:
1311                                                 case ICMD_INSTANCEOF:
1312                                                         OP1_1(TYPE_ADR, TYPE_INT);
1313                                                         break;
1314
1315                                                 case ICMD_NEWARRAY:
1316                                                 case ICMD_ANEWARRAY:
1317                                                         OP1_1(TYPE_INT, TYPE_ADR);
1318                                                         break;
1319
1320                                                 case ICMD_GETFIELD:
1321                                                         COUNT(count_check_null);
1322                                                         COUNT(count_pcmd_mem);
1323                                                         OP1_1(TYPE_ADR, iptr->op1);
1324                                                         break;
1325
1326                                                 /* pop 0 push 1 */
1327
1328                                                 case ICMD_GETSTATIC:
1329                                                         COUNT(count_pcmd_mem);
1330                                                         OP0_1(iptr->op1);
1331                                                         break;
1332
1333                                                 case ICMD_NEW:
1334                                                         OP0_1(TYPE_ADR);
1335                                                         break;
1336
1337                                                 case ICMD_JSR:
1338                                                         OP0_1(TYPE_ADR);
1339                                                         tbptr = block + block_index[iptr->op1];
1340                                                         tbptr->type=BBTYPE_SBR;
1341                                                         MARKREACHED(tbptr, copy);
1342                                                         OP1_0ANY;
1343                                                         break;
1344
1345                                                 /* pop many push any */
1346
1347                                                 case ICMD_INVOKEVIRTUAL:
1348                                                 case ICMD_INVOKESPECIAL:
1349                                                 case ICMD_INVOKEINTERFACE:
1350                                                 case ICMD_INVOKESTATIC:
1351                                                         COUNT(count_pcmd_met);
1352                                                         {
1353                                                         methodinfo *m = iptr->val.a;
1354                                                         if (m->flags & ACC_STATIC)
1355                                                                 {COUNT(count_check_null);}
1356                                                         i = iptr->op1;
1357                                                         if (i > arguments_num)
1358                                                                 arguments_num = i;
1359                                                         copy = curstack;
1360                                                         while (--i >= 0) {
1361                                                                 if (! (copy->flags & SAVEDVAR)) {
1362                                                                         copy->varkind = ARGVAR;
1363                                                                         copy->varnum = i;
1364                                                                         }
1365                                                                 copy = copy->prev;
1366                                                                 }
1367                                                         while (copy) {
1368                                                                 copy->flags |= SAVEDVAR;
1369                                                                 copy = copy->prev;
1370                                                                 }
1371                                                         i = iptr->op1;
1372                                                         POPMANY(i);
1373                                                         if (m->returntype != TYPE_VOID) {
1374                                                                 OP0_1(m->returntype);
1375                                                                 }
1376                                                         break;
1377                                                         }
1378
1379                                                 case ICMD_BUILTIN3:
1380                                                         if (! (curstack->flags & SAVEDVAR)) {
1381                                                                 curstack->varkind = ARGVAR;
1382                                                                 curstack->varnum = 2;
1383                                                                 }
1384                                                         OP1_0ANY;
1385                                                 case ICMD_BUILTIN2:
1386 builtin2:
1387                                                         if (! (curstack->flags & SAVEDVAR)) {
1388                                                                 curstack->varkind = ARGVAR;
1389                                                                 curstack->varnum = 1;
1390                                                                 }
1391                                                         OP1_0ANY;
1392                                                 case ICMD_BUILTIN1:
1393                                                         if (! (curstack->flags & SAVEDVAR)) {
1394                                                                 curstack->varkind = ARGVAR;
1395                                                                 curstack->varnum = 0;
1396                                                                 }
1397                                                         OP1_0ANY;
1398                                                         copy = curstack;
1399                                                         while (copy) {
1400                                                                 copy->flags |= SAVEDVAR;
1401                                                                 copy = copy->prev;
1402                                                                 }
1403                                                         if (iptr->op1 != TYPE_VOID)
1404                                                                 OP0_1(iptr->op1);
1405                                                         break;
1406
1407                                                 case ICMD_MULTIANEWARRAY:
1408                                                         i = iptr->op1;
1409                                                         if ((i + intreg_argnum) > arguments_num)
1410                                                                 arguments_num = i + intreg_argnum;
1411                                                         copy = curstack;
1412                                                         while (--i >= 0) {
1413                                                                 if (! (copy->flags & SAVEDVAR)) {
1414                                                                         copy->varkind = ARGVAR;
1415                                                                         copy->varnum = i + intreg_argnum;
1416                                                                         }
1417                                                                 copy = copy->prev;
1418                                                                 }
1419                                                         while (copy) {
1420                                                                 copy->flags |= SAVEDVAR;
1421                                                                 copy = copy->prev;
1422                                                                 }
1423                                                         i = iptr->op1;
1424                                                         POPMANY(i);
1425                                                         OP0_1(TYPE_ADR);
1426                                                         break;
1427
1428                                                 default:
1429                                                         printf("ICMD %d at %d\n", iptr->opc, (int)(iptr-instr));
1430                                                         panic("Missing ICMD code during stack analysis");
1431                                                 } /* switch */
1432                                         iptr++;
1433                                         } /* while instructions */
1434                                 bptr->outstack = curstack;
1435                                 bptr->outdepth = stackdepth;
1436                                 BBEND(curstack, i);
1437                                 } /* if */
1438                         else
1439                                 superblockend = true;
1440                         bptr++;
1441                 } /* while blocks */
1442         } while (repeat && ! deadcode);
1443
1444 #ifdef STATISTICS
1445         if (block_count > count_max_basic_blocks)
1446                 count_max_basic_blocks = block_count;
1447         count_basic_blocks += block_count;
1448         if (block[block_count].ipc > count_max_javainstr)
1449                 count_max_javainstr = block[block_count].ipc;
1450         count_javainstr += block[block_count].ipc;
1451         if (stack_count > count_upper_bound_new_stack)
1452                 count_upper_bound_new_stack = stack_count;
1453         if ((new - stack) > count_max_new_stack)
1454                 count_max_new_stack = (new - stack);
1455
1456         b_count = block_count;
1457         bptr = block;
1458         while (--b_count >= 0) {
1459                 if (bptr->flags > BBREACHED) {
1460                         if (bptr->indepth >= 10)
1461                                 count_block_stack[10]++;
1462                         else
1463                                 count_block_stack[bptr->indepth]++;
1464                         len = bptr[1].ipc - bptr[0].ipc;
1465                         if (len <= 10)
1466                                 count_block_size_distribution[len - 1]++;
1467                         else if (len <= 12)
1468                                 count_block_size_distribution[10]++;
1469                         else if (len <= 14)
1470                                 count_block_size_distribution[11]++;
1471                         else if (len <= 16)
1472                                 count_block_size_distribution[12]++;
1473                         else if (len <= 18)
1474                                 count_block_size_distribution[13]++;
1475                         else if (len <= 20)
1476                                 count_block_size_distribution[14]++;
1477                         else if (len <= 25)
1478                                 count_block_size_distribution[15]++;
1479                         else if (len <= 30)
1480                                 count_block_size_distribution[16]++;
1481                         else
1482                                 count_block_size_distribution[17]++;
1483                         }
1484                 bptr++;
1485                 }
1486
1487         if (loops == 1)
1488                 count_analyse_iterations[0]++;
1489         else if (loops == 2)
1490                 count_analyse_iterations[1]++;
1491         else if (loops == 3)
1492                 count_analyse_iterations[2]++;
1493         else if (loops == 4)
1494                 count_analyse_iterations[3]++;
1495         else
1496                 count_analyse_iterations[4]++;
1497
1498         if (block_count <= 5)
1499                 count_method_bb_distribution[0]++;
1500         else if (block_count <= 10)
1501                 count_method_bb_distribution[1]++;
1502         else if (block_count <= 15)
1503                 count_method_bb_distribution[2]++;
1504         else if (block_count <= 20)
1505                 count_method_bb_distribution[3]++;
1506         else if (block_count <= 30)
1507                 count_method_bb_distribution[4]++;
1508         else if (block_count <= 40)
1509                 count_method_bb_distribution[5]++;
1510         else if (block_count <= 50)
1511                 count_method_bb_distribution[6]++;
1512         else if (block_count <= 75)
1513                 count_method_bb_distribution[7]++;
1514         else
1515                 count_method_bb_distribution[8]++;
1516 #endif
1517 }
1518
1519
1520 static void print_stack(stackptr s) {
1521         int i, j;
1522         stackptr t;
1523
1524         i = maxstack;
1525         t = s;
1526
1527         while (t) {
1528                 i--;
1529                 t = t->prev;
1530                 }
1531         j = maxstack - i;
1532         while (--i >= 0)
1533                 printf("    ");
1534         while (s) {
1535                 j--;
1536                 if (s->flags & SAVEDVAR)
1537                         switch (s->varkind) {
1538                                 case TEMPVAR:
1539                                         if (s->flags & INMEMORY)
1540                                                 printf(" m%02d", s->regoff);
1541                                         else
1542                                                 printf(" r%02d", s->regoff);
1543                                         break;
1544                                 case STACKVAR:
1545                                         printf(" s%02d", s->varnum);
1546                                         break;
1547                                 case LOCALVAR:
1548                                         printf(" l%02d", s->varnum);
1549                                         break;
1550                                 case ARGVAR:
1551                                         printf(" a%02d", s->varnum);
1552                                         break;
1553                                 default:
1554                                         printf(" !%02d", j);
1555                                 }
1556                 else
1557                         switch (s->varkind) {
1558                                 case TEMPVAR:
1559                                         if (s->flags & INMEMORY)
1560                                                 printf(" M%02d", s->regoff);
1561                                         else
1562                                                 printf(" R%02d", s->regoff);
1563                                         break;
1564                                 case STACKVAR:
1565                                         printf(" S%02d", s->varnum);
1566                                         break;
1567                                 case LOCALVAR:
1568                                         printf(" L%02d", s->varnum);
1569                                         break;
1570                                 case ARGVAR:
1571                                         printf(" A%02d", s->varnum);
1572                                         break;
1573                                 default:
1574                                         printf(" ?%02d", j);
1575                                 }
1576                 s = s->prev;
1577                 }
1578 }
1579
1580
1581 static void print_reg(stackptr s) {
1582         if (s) {
1583                 if (s->flags & SAVEDVAR)
1584                         switch (s->varkind) {
1585                                 case TEMPVAR:
1586                                         if (s->flags & INMEMORY)
1587                                                 printf(" tm%02d", s->regoff);
1588                                         else
1589                                                 printf(" tr%02d", s->regoff);
1590                                         break;
1591                                 case STACKVAR:
1592                                         printf(" s %02d", s->varnum);
1593                                         break;
1594                                 case LOCALVAR:
1595                                         printf(" l %02d", s->varnum);
1596                                         break;
1597                                 case ARGVAR:
1598                                         printf(" a %02d", s->varnum);
1599                                         break;
1600                                 default:
1601                                         printf(" ! %02d", s->varnum);
1602                                 }
1603                 else
1604                         switch (s->varkind) {
1605                                 case TEMPVAR:
1606                                         if (s->flags & INMEMORY)
1607                                                 printf(" Tm%02d", s->regoff);
1608                                         else
1609                                                 printf(" Tr%02d", s->regoff);
1610                                         break;
1611                                 case STACKVAR:
1612                                         printf(" S %02d", s->varnum);
1613                                         break;
1614                                 case LOCALVAR:
1615                                         printf(" L %02d", s->varnum);
1616                                         break;
1617                                 case ARGVAR:
1618                                         printf(" A %02d", s->varnum);
1619                                         break;
1620                                 default:
1621                                         printf(" ? %02d", s->varnum);
1622                                 }
1623                 }
1624         else
1625                 printf("     ");
1626
1627 }
1628
1629
1630 static char *builtin_name(functionptr bptr)
1631 {
1632         builtin_descriptor *bdesc = builtin_desc;
1633         while ((bdesc->bptr != NULL) && (bdesc->bptr != bptr))
1634                 bdesc++;
1635         return bdesc->name;
1636 }
1637
1638
1639 static void show_icmd_method()
1640 {
1641         int b, i, j;
1642         int deadcode;
1643         s4  *s4ptr;
1644
1645         printf("\n");
1646         unicode_fprint(stdout, class->name);
1647         printf(".");
1648         unicode_fprint(stdout, method->name);
1649         printf(" ");
1650         unicode_fprint(stdout, method->descriptor);
1651         printf ("\n\nMax locals: %d\n", (int) maxlocals);
1652         printf ("Max stack:  %d\n", (int) maxstack);
1653
1654         printf ("Exceptions:\n");
1655         for (i = 0; i < exceptiontablelength; i++) {
1656                 printf("    L%03d ... ", block_index[extable[i].startpc]);
1657                 printf("L%03d = ", block_index[extable[i].endpc]);
1658                 printf("L%03d\n", block_index[extable[i].handlerpc]);
1659                 }
1660
1661         printf ("Local Table:\n");
1662         for (i = 0; i < maxlocals; i++) {
1663                 printf("   %3d: ", i);
1664                 for (j = TYPE_INT; j <= TYPE_ADR; j++)
1665                         if (locals[i][j].type >= 0) {
1666                                 printf("   (%d) ", j);
1667                                 if (locals[i][j].flags)
1668                                         printf("m");
1669                                 else
1670                                         printf("r");
1671                                 printf("%2d", locals[i][j].regoff);
1672                                 }
1673                 printf("\n");
1674                 }
1675         printf("\n");
1676
1677         printf ("Interface Table:\n");
1678         for (i = 0; i < maxstack; i++) {
1679                 if ((interfaces[i][0].type >= 0) || (interfaces[i][1].type >= 0) ||
1680                     (interfaces[i][2].type >= 0) || (interfaces[i][3].type >= 0) ||
1681                     (interfaces[i][4].type >= 0)) {
1682                         printf("   %3d: ", i);
1683                         for (j = TYPE_INT; j <= TYPE_ADR; j++)
1684                                 if (interfaces[i][j].type >= 0) {
1685                                         printf("   (%d) ", j);
1686                                         if (interfaces[i][j].flags & SAVEDVAR)
1687                                                 printf("s");
1688                                         else
1689                                                 printf("t");
1690                                         if (interfaces[i][j].flags & INMEMORY)
1691                                                 printf("m");
1692                                         else
1693                                                 printf("r");
1694                                         printf("%2d", interfaces[i][j].regoff);
1695                                         }
1696                         printf("\n");
1697                         }
1698                 }
1699         printf("\n");
1700
1701         if (showdisassemble) {
1702                 s4ptr = (s4 *) (method->mcode + dseglen);
1703                 for (i = 0; i < block[0].mpc; i += 4, s4ptr++) {
1704                         disasscmd (*s4ptr, i);
1705                         }
1706                 printf("\n");
1707                 }
1708
1709         for (b = 0; b < block_count; b++)
1710                 if (block[b].flags != BBDELETED) {
1711                 deadcode = block[b].flags <= BBREACHED;
1712                 printf("[");
1713                 if (deadcode)
1714                         for (j = maxstack; j > 0; j--)
1715                                 printf(" ?  ");
1716                 else
1717                         print_stack(block[b].instack);
1718                 printf("] L%03d(%d):\n", b, block[b].pre_count);
1719                 for (i = block[b].ipc; i < block[b + 1].ipc; i++) {
1720                         printf("[");
1721                         if (deadcode) {
1722                                 for (j = maxstack; j > 0; j--)
1723                                         printf(" ?  ");
1724                                 }
1725                         else
1726                                 print_stack(instr[i].dst);
1727                         printf("]     %4d  %s", i, icmd_names[instr[i].opc]);
1728                         switch ((int) instr[i].opc) {
1729                                 case ICMD_IADDCONST:
1730                                 case ICMD_ISUBCONST:
1731                                 case ICMD_IMULCONST:
1732                                 case ICMD_IDIVPOW2:
1733                                 case ICMD_IREMPOW2:
1734                                 case ICMD_IREM0X10001:
1735                                 case ICMD_IANDCONST:
1736                                 case ICMD_IORCONST:
1737                                 case ICMD_IXORCONST:
1738                                 case ICMD_ISHLCONST:
1739                                 case ICMD_ISHRCONST:
1740                                 case ICMD_IUSHRCONST:
1741                                 case ICMD_ICONST:
1742                                 case ICMD_ELSE_ICONST:
1743                                 case ICMD_IFEQ_ICONST:
1744                                 case ICMD_IFNE_ICONST:
1745                                 case ICMD_IFLT_ICONST:
1746                                 case ICMD_IFGE_ICONST:
1747                                 case ICMD_IFGT_ICONST:
1748                                 case ICMD_IFLE_ICONST:
1749                                         printf(" %d", instr[i].val.i);
1750                                         break;
1751                                 case ICMD_LADDCONST:
1752                                 case ICMD_LSUBCONST:
1753                                 case ICMD_LMULCONST:
1754                                 case ICMD_LDIVPOW2:
1755                                 case ICMD_LREMPOW2:
1756                                 case ICMD_LANDCONST:
1757                                 case ICMD_LORCONST:
1758                                 case ICMD_LXORCONST:
1759                                 case ICMD_LSHLCONST:
1760                                 case ICMD_LSHRCONST:
1761                                 case ICMD_LUSHRCONST:
1762                                 case ICMD_LCONST:
1763                                         printf(" %ld", instr[i].val.l);
1764                                         break;
1765                                 case ICMD_FCONST:
1766                                         printf(" %f", instr[i].val.f);
1767                                         break;
1768                                 case ICMD_DCONST:
1769                                         printf(" %f", instr[i].val.d);
1770                                         break;
1771                                 case ICMD_ACONST:
1772                                         printf(" %p", instr[i].val.a);
1773                                         break;
1774                                 case ICMD_GETFIELD:
1775                                 case ICMD_PUTFIELD:
1776                                         printf(" %d,", ((fieldinfo *) instr[i].val.a)->offset);
1777                                 case ICMD_PUTSTATIC:
1778                                 case ICMD_GETSTATIC:
1779                                         printf(" ");
1780                                         unicode_fprint(stdout,
1781                                                         ((fieldinfo *) instr[i].val.a)->name);
1782                                         break;
1783                                 case ICMD_IINC:
1784                                         printf(" %d + %d", instr[i].op1, instr[i].val.i);
1785                                         break;
1786                                 case ICMD_RET:
1787                                 case ICMD_ILOAD:
1788                                 case ICMD_LLOAD:
1789                                 case ICMD_FLOAD:
1790                                 case ICMD_DLOAD:
1791                                 case ICMD_ALOAD:
1792                                 case ICMD_ISTORE:
1793                                 case ICMD_LSTORE:
1794                                 case ICMD_FSTORE:
1795                                 case ICMD_DSTORE:
1796                                 case ICMD_ASTORE:
1797                                         printf(" %d", instr[i].op1);
1798                                         break;
1799                                 case ICMD_NEW:
1800                                         printf(" ");
1801                                         unicode_fprint(stdout,
1802                                                        ((classinfo *) instr[i].val.a)->name);
1803                                         break;
1804                                 case ICMD_NEWARRAY:
1805                                         switch (instr[i].op1) {
1806                                                 case 4:
1807                                                         printf(" boolean");
1808                                                         break;
1809                                                 case 5:
1810                                                         printf(" char");
1811                                                         break;
1812                                                 case 6:
1813                                                         printf(" float");
1814                                                         break;
1815                                                 case 7:
1816                                                         printf(" double");
1817                                                         break;
1818                                                 case 8:
1819                                                         printf(" byte");
1820                                                         break;
1821                                                 case 9:
1822                                                         printf(" short");
1823                                                         break;
1824                                                 case 10:
1825                                                         printf(" int");
1826                                                         break;
1827                                                 case 11:
1828                                                         printf(" long");
1829                                                         break;
1830                                                 }
1831                                         break;
1832                                 case ICMD_ANEWARRAY:
1833                                         if (instr[i].op1) {
1834                                                 printf(" ");
1835                                                 unicode_fprint(stdout,
1836                                                                ((classinfo *) instr[i].val.a)->name);
1837                                                 }
1838                                         break;
1839                                 case ICMD_CHECKCAST:
1840                                 case ICMD_INSTANCEOF:
1841                                         if (instr[i].op1) {
1842                                                 printf(" ");
1843                                                 unicode_fprint(stdout,
1844                                                                ((classinfo *) instr[i].val.a)->name);
1845                                                 }
1846                                         break;
1847                                 case ICMD_BUILTIN3:
1848                                 case ICMD_BUILTIN2:
1849                                 case ICMD_BUILTIN1:
1850                                         printf(" %s", builtin_name((functionptr) instr[i].val.a));
1851                                         break;
1852                                 case ICMD_INVOKEVIRTUAL:
1853                                 case ICMD_INVOKESPECIAL:
1854                                 case ICMD_INVOKESTATIC:
1855                                 case ICMD_INVOKEINTERFACE:
1856                                         printf(" ");
1857                                         unicode_fprint(stdout,
1858                                                        ((methodinfo *) instr[i].val.a)->class->name);
1859                                         printf(".");
1860                                         unicode_fprint(stdout,
1861                                                        ((methodinfo *) instr[i].val.a)->name);
1862                                         break;
1863                                 case ICMD_IFEQ:
1864                                 case ICMD_IFNE:
1865                                 case ICMD_IFLT:
1866                                 case ICMD_IFGE:
1867                                 case ICMD_IFGT:
1868                                 case ICMD_IFLE:
1869                                 case ICMD_IF_LEQ:
1870                                 case ICMD_IF_LNE:
1871                                 case ICMD_IF_LLT:
1872                                 case ICMD_IF_LGE:
1873                                 case ICMD_IF_LGT:
1874                                 case ICMD_IF_LLE:
1875                                         printf("(%d) L%03d", instr[i].val.i, block_index[instr[i].op1]);
1876                                         break;
1877                                 case ICMD_JSR:
1878                                 case ICMD_GOTO:
1879                                 case ICMD_IFNULL:
1880                                 case ICMD_IFNONNULL:
1881                                 case ICMD_IF_ICMPEQ:
1882                                 case ICMD_IF_ICMPNE:
1883                                 case ICMD_IF_ICMPLT:
1884                                 case ICMD_IF_ICMPGE:
1885                                 case ICMD_IF_ICMPGT:
1886                                 case ICMD_IF_ICMPLE:
1887                                 case ICMD_IF_LCMPEQ:
1888                                 case ICMD_IF_LCMPNE:
1889                                 case ICMD_IF_LCMPLT:
1890                                 case ICMD_IF_LCMPGE:
1891                                 case ICMD_IF_LCMPGT:
1892                                 case ICMD_IF_LCMPLE:
1893                                 case ICMD_IF_ACMPEQ:
1894                                 case ICMD_IF_ACMPNE:
1895                                         printf(" L%03d", block_index[instr[i].op1]);
1896                                         break;
1897                                 case ICMD_TABLESWITCH:
1898                                         s4ptr = instr[i].val.a;
1899                                         printf(" L%03d;", block_index[*s4ptr++]); /* default */
1900                                         j = *s4ptr++;                               /* low     */
1901                                         j = *s4ptr++ - j;                           /* high    */
1902                                         while (j >= 0) {
1903                                                 printf(" L%03d", block_index[*s4ptr++]);
1904                                                 j--;
1905                                                 }
1906                                         break;
1907                                 case ICMD_LOOKUPSWITCH:
1908                                         s4ptr = instr[i].val.a;
1909                                         printf(" L%d", block_index[*s4ptr++]);   /* default */
1910                                         j = *s4ptr++;                               /* count   */
1911                                         while (--j >= 0) {
1912                                                 printf(" L%03d", block_index[s4ptr[1]]);
1913                                                 s4ptr += 2;
1914                                                 }
1915                                         break;
1916                                 }
1917                         printf("\n");
1918                         }
1919
1920                 if (showdisassemble && (!deadcode)) {
1921                         printf("\n");
1922                         i = block[b].mpc;
1923                         s4ptr = (s4 *) (method->mcode + dseglen + i);
1924                         for (; i < block[b + 1].mpc; i += 4, s4ptr++) {
1925                                 disasscmd (*s4ptr, i);
1926                                 }
1927                         printf("\n");
1928                         }
1929         }
1930         i = block[b].mpc;
1931         s4ptr = (s4 *) (method->mcode + dseglen + i);
1932         if (showdisassemble && (s4ptr < (s4 *) (method->mcode + method->mcodelength))) {
1933                 printf("\n");
1934                 for (; s4ptr < (s4 *) (method->mcode + method->mcodelength); i += 4, s4ptr++) {
1935                         disasscmd (*s4ptr, i);
1936                         }
1937                 printf("\n");
1938                 }
1939 }