src/vm/jit/jit.c

   1 /* src/vm/jit/jit.c - calls the code generation functions
   2
   3    Copyright (C) 1996-2005, 2006, 2007 R. Grafl, A. Krall, C. Kruegel,
   4    C. Oates, R. Obermaisser, M. Platter, M. Probst, S. Ring,
   5    E. Steiner, C. Thalinger, D. Thuernbeck, P. Tomsich, C. Ullrich,
   6    J. Wenninger, Institut f. Computersprachen - TU Wien
   7
   8    This file is part of CACAO.
   9
  10    This program is free software; you can redistribute it and/or
  11    modify it under the terms of the GNU General Public License as
  12    published by the Free Software Foundation; either version 2, or (at
  13    your option) any later version.
  14
  15    This program is distributed in the hope that it will be useful, but
  16    WITHOUT ANY WARRANTY; without even the implied warranty of
  17    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  18    General Public License for more details.
  19
  20    You should have received a copy of the GNU General Public License
  21    along with this program; if not, write to the Free Software
  22    Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
  23    02110-1301, USA.
  24
  25    $Id: jit.c 7268 2007-02-01 12:02:56Z twisti $
  26
  27 */
  28
  29
  30 #include "config.h"
  31
  32 #include <assert.h>
  33
  34 #include "vm/types.h"
  35
  36 #include "mm/memory.h"
  37 #include "native/native.h"
  38 #include "toolbox/logging.h"
  39
  40 #if defined(ENABLE_THREADS)
  41 # include "threads/native/lock.h"
  42 #else
  43 # include "threads/none/lock.h"
  44 #endif
  45
  46 #include "vm/global.h"
  47 #include "vm/initialize.h"
  48
  49 #include "vm/jit/asmpart.h"
  50
  51 # include "vm/jit/cfg.h"
  52
  53 #include "vm/jit/codegen-common.h"
  54 #include "vm/jit/disass.h"
  55 #include "vm/jit/dseg.h"
  56 #include "vm/jit/jit.h"
  57 #include "vm/jit/md.h"
  58 #include "vm/jit/parse.h"
  59 #include "vm/jit/reg.h"
  60
  61 #include "vm/jit/show.h"
  62 #include "vm/jit/stack.h"
  63
  64 #include "vm/jit/allocator/simplereg.h"
  65 #if defined(ENABLE_LSRA) && !defined(ENABLE_SSA)
  66 # include "vm/jit/allocator/lsra.h"
  67 #endif
  68 #if defined(ENABLE_SSA)
  69 # include "vm/jit/optimizing/lsra.h"
  70 # include "vm/jit/optimizing/ssa.h"
  71 #endif
  72
  73 #include "vm/jit/loop/analyze.h"
  74 #include "vm/jit/loop/graph.h"
  75 #include "vm/jit/loop/loop.h"
  76
  77 #if defined(ENABLE_IFCONV)
  78 # include "vm/jit/optimizing/ifconv.h"
  79 #endif
  80
  81 #include "vm/jit/optimizing/reorder.h"
  82
  83 #include "vm/jit/verify/typecheck.h"
  84
  85 #if defined(ENABLE_THREADS)
  86 # include "threads/native/threads.h"
  87 #endif
  88
  89 #include "vmcore/class.h"
  90 #include "vmcore/loader.h"
  91 #include "vmcore/method.h"
  92 #include "vmcore/options.h"
  93 #include "vmcore/rt-timing.h"
  94 #include "vmcore/statistics.h"
  95
  96
  97 /* debug macros ***************************************************************/
  98
  99 #if !defined(NDEBUG)
 100 #define DEBUG_JIT_COMPILEVERBOSE(x) \
 101     do { \
 102         if (compileverbose) { \
 103             log_message_method(x, m); \
 104         } \
 105     } while (0)
 106 #else
 107 #define DEBUG_JIT_COMPILEVERBOSE(x)    /* nothing */
 108 #endif
 109
 110
 111 /* the ICMD table ************************************************************/
 112
 113 #if !defined(NDEBUG)
 114 #define N(name)  name,
 115 #else
 116 #define N(name)
 117 #endif
 118
 119 /* abbreviations for flags */
 120
 121 #define PEI     ICMDTABLE_PEI
 122 #define CALLS   ICMDTABLE_CALLS
 123
 124 /* some machine dependent values */
 125
 126 #if SUPPORT_DIVISION
 127 #define IDIV_CALLS  0
 128 #else
 129 #define IDIV_CALLS  ICMDTABLE_CALLS
 130 #endif
 131
 132 #if (SUPPORT_DIVISION && SUPPORT_LONG && SUPPORT_LONG_DIV)
 133 #define LDIV_CALLS  0
 134 #else
 135 #define LDIV_CALLS  ICMDTABLE_CALLS
 136 #endif
 137
 138 /* include the actual table */
 139
 140 icmdtable_entry_t icmd_table[256] = {
 141 #include <vm/jit/icmdtable.inc>
 142 };
 143
 144 #undef N
 145 #undef PEI
 146 #undef CALLS
 147
 148 /* XXX hack until the old "PEI" definition is removed */
 149 #define PEI 1
 150
 151
 152 /* stackelement requirements of Java opcodes **********************************/
 153
 154 int stackreq[256] = {
 155         0,    /* JAVA_NOP                         0 */
 156         1,    /* JAVA_ACONST                      1 */
 157         1,    /* JAVA_ICONST_M1                   2 */
 158         1,    /* JAVA_ICONST_0                    3 */
 159         1,    /* JAVA_ICONST_1                    4 */
 160         1,    /* JAVA_ICONST_2                    5 */
 161         1,    /* JAVA_ICONST_3                    6 */
 162         1,    /* JAVA_ICONST_4                    7 */
 163         1,    /* JAVA_ICONST_5                    8 */
 164         1,    /* JAVA_LCONST_0                    9 */
 165         1,    /* JAVA_LCONST_1                   10 */
 166         1,    /* JAVA_FCONST_0                   11 */
 167         1,    /* JAVA_FCONST_1                   12 */
 168         1,    /* JAVA_FCONST_2                   13 */
 169         1,    /* JAVA_DCONST_0                   14 */
 170         1,    /* JAVA_DCONST_1                   15 */
 171         1,    /* JAVA_BIPUSH                     16 */
 172         1,    /* JAVA_SIPUSH                     17 */
 173         1,    /* JAVA_LDC                        18 */
 174         1,    /* JAVA_LDC_W                      19 */
 175         1,    /* JAVA_LDC2_W                     20 */
 176         1,    /* JAVA_ILOAD                      21 */
 177         1,    /* JAVA_LLOAD                      22 */
 178         1,    /* JAVA_FLOAD                      23 */
 179         1,    /* JAVA_DLOAD                      24 */
 180         1,    /* JAVA_ALOAD                      25 */
 181         1,    /* JAVA_ILOAD_0                    26 */
 182         1,    /* JAVA_ILOAD_1                    27 */
 183         1,    /* JAVA_ILOAD_2                    28 */
 184         1,    /* JAVA_ILOAD_3                    29 */
 185         1,    /* JAVA_LLOAD_0                    30 */
 186         1,    /* JAVA_LLOAD_1                    31 */
 187         1,    /* JAVA_LLOAD_2                    32 */
 188         1,    /* JAVA_LLOAD_3                    33 */
 189         1,    /* JAVA_FLOAD_0                    34 */
 190         1,    /* JAVA_FLOAD_1                    35 */
 191         1,    /* JAVA_FLOAD_2                    36 */
 192         1,    /* JAVA_FLOAD_3                    37 */
 193         1,    /* JAVA_DLOAD_0                    38 */
 194         1,    /* JAVA_DLOAD_1                    39 */
 195         1,    /* JAVA_DLOAD_2                    40 */
 196         1,    /* JAVA_DLOAD_3                    41 */
 197         1,    /* JAVA_ALOAD_0                    42 */
 198         1,    /* JAVA_ALOAD_1                    43 */
 199         1,    /* JAVA_ALOAD_2                    44 */
 200         1,    /* JAVA_ALOAD_3                    45 */
 201         1,    /* JAVA_IALOAD                     46 */
 202         1,    /* JAVA_LALOAD                     47 */
 203         1,    /* JAVA_FALOAD                     48 */
 204         1,    /* JAVA_DALOAD                     49 */
 205         1,    /* JAVA_AALOAD                     50 */
 206         1,    /* JAVA_BALOAD                     51 */
 207         1,    /* JAVA_CALOAD                     52 */
 208         1,    /* JAVA_SALOAD                     53 */
 209         0,    /* JAVA_ISTORE                     54 */
 210         0,    /* JAVA_LSTORE                     55 */
 211         0,    /* JAVA_FSTORE                     56 */
 212         0,    /* JAVA_DSTORE                     57 */
 213         0,    /* JAVA_ASTORE                     58 */
 214         0,    /* JAVA_ISTORE_0                   59 */
 215         0,    /* JAVA_ISTORE_1                   60 */
 216         0,    /* JAVA_ISTORE_2                   61 */
 217         0,    /* JAVA_ISTORE_3                   62 */
 218         0,    /* JAVA_LSTORE_0                   63 */
 219         0,    /* JAVA_LSTORE_1                   64 */
 220         0,    /* JAVA_LSTORE_2                   65 */
 221         0,    /* JAVA_LSTORE_3                   66 */
 222         0,    /* JAVA_FSTORE_0                   67 */
 223         0,    /* JAVA_FSTORE_1                   68 */
 224         0,    /* JAVA_FSTORE_2                   69 */
 225         0,    /* JAVA_FSTORE_3                   70 */
 226         0,    /* JAVA_DSTORE_0                   71 */
 227         0,    /* JAVA_DSTORE_1                   72 */
 228         0,    /* JAVA_DSTORE_2                   73 */
 229         0,    /* JAVA_DSTORE_3                   74 */
 230         0,    /* JAVA_ASTORE_0                   75 */
 231         0,    /* JAVA_ASTORE_1                   76 */
 232         0,    /* JAVA_ASTORE_2                   77 */
 233         0,    /* JAVA_ASTORE_3                   78 */
 234         0,    /* JAVA_IASTORE                    79 */
 235         0,    /* JAVA_LASTORE                    80 */
 236         0,    /* JAVA_FASTORE                    81 */
 237         0,    /* JAVA_DASTORE                    82 */
 238         0,    /* JAVA_AASTORE                    83 */
 239         0,    /* JAVA_BASTORE                    84 */
 240         0,    /* JAVA_CASTORE                    85 */
 241         0,    /* JAVA_SASTORE                    86 */
 242         0,    /* JAVA_POP                        87 */
 243         0,    /* JAVA_POP2                       88 */
 244         1,    /* JAVA_DUP                        89 */
 245         1+3,  /* JAVA_DUP_X1                     90 */
 246         2+4,  /* JAVA_DUP_X2                     91 */
 247         2,    /* JAVA_DUP2                       92 */
 248         2+5,  /* JAVA_DUP2_X1                    93 */
 249         3+6,  /* JAVA_DUP2_X2                    94 */
 250         1+2,  /* JAVA_SWAP                       95 */
 251         1,    /* JAVA_IADD                       96 */
 252         1,    /* JAVA_LADD                       97 */
 253         1,    /* JAVA_FADD                       98 */
 254         1,    /* JAVA_DADD                       99 */
 255         1,    /* JAVA_ISUB                      100 */
 256         1,    /* JAVA_LSUB                      101 */
 257         1,    /* JAVA_FSUB                      102 */
 258         1,    /* JAVA_DSUB                      103 */
 259         1,    /* JAVA_IMUL                      104 */
 260         1,    /* JAVA_LMUL                      105 */
 261         1,    /* JAVA_FMUL                      106 */
 262         1,    /* JAVA_DMUL                      107 */
 263         1,    /* JAVA_IDIV                      108 */
 264         1,    /* JAVA_LDIV                      109 */
 265         1,    /* JAVA_FDIV                      110 */
 266         1,    /* JAVA_DDIV                      111 */
 267         1,    /* JAVA_IREM                      112 */
 268         1,    /* JAVA_LREM                      113 */
 269         1,    /* JAVA_FREM                      114 */
 270         1,    /* JAVA_DREM                      115 */
 271         1,    /* JAVA_INEG                      116 */
 272         1,    /* JAVA_LNEG                      117 */
 273         1,    /* JAVA_FNEG                      118 */
 274         1,    /* JAVA_DNEG                      119 */
 275         1,    /* JAVA_ISHL                      120 */
 276         1,    /* JAVA_LSHL                      121 */
 277         1,    /* JAVA_ISHR                      122 */
 278         1,    /* JAVA_LSHR                      123 */
 279         1,    /* JAVA_IUSHR                     124 */
 280         1,    /* JAVA_LUSHR                     125 */
 281         1,    /* JAVA_IAND                      126 */
 282         1,    /* JAVA_LAND                      127 */
 283         1,    /* JAVA_IOR                       128 */
 284         1,    /* JAVA_LOR                       129 */
 285         1,    /* JAVA_IXOR                      130 */
 286         1,    /* JAVA_LXOR                      131 */
 287         0,    /* JAVA_IINC                      132 */
 288         1,    /* JAVA_I2L                       133 */
 289         1,    /* JAVA_I2F                       134 */
 290         1,    /* JAVA_I2D                       135 */
 291         1,    /* JAVA_L2I                       136 */
 292         1,    /* JAVA_L2F                       137 */
 293         1,    /* JAVA_L2D                       138 */
 294         1,    /* JAVA_F2I                       139 */
 295         1,    /* JAVA_F2L                       140 */
 296         1,    /* JAVA_F2D                       141 */
 297         1,    /* JAVA_D2I                       142 */
 298         1,    /* JAVA_D2L                       143 */
 299         1,    /* JAVA_D2F                       144 */
 300         1,    /* JAVA_INT2BYTE                  145 */
 301         1,    /* JAVA_INT2CHAR                  146 */
 302         1,    /* JAVA_INT2SHORT                 147 */
 303         1,    /* JAVA_LCMP                      148 */
 304         1,    /* JAVA_FCMPL                     149 */
 305         1,    /* JAVA_FCMPG                     150 */
 306         1,    /* JAVA_DCMPL                     151 */
 307         1,    /* JAVA_DCMPG                     152 */
 308         0,    /* JAVA_IFEQ                      153 */
 309         0,    /* JAVA_IFNE                      154 */
 310         0,    /* JAVA_IFLT                      155 */
 311         0,    /* JAVA_IFGE                      156 */
 312         0,    /* JAVA_IFGT                      157 */
 313         0,    /* JAVA_IFLE                      158 */
 314         0,    /* JAVA_IF_ICMPEQ                 159 */
 315         0,    /* JAVA_IF_ICMPNE                 160 */
 316         0,    /* JAVA_IF_ICMPLT                 161 */
 317         0,    /* JAVA_IF_ICMPGE                 162 */
 318         0,    /* JAVA_IF_ICMPGT                 163 */
 319         0,    /* JAVA_IF_ICMPLE                 164 */
 320         0,    /* JAVA_IF_ACMPEQ                 165 */
 321         0,    /* JAVA_IF_ACMPNE                 166 */
 322         0,    /* JAVA_GOTO                      167 */
 323         1,    /* JAVA_JSR                       168 */
 324         0,    /* JAVA_RET                       169 */
 325         0,    /* JAVA_TABLESWITCH               170 */
 326         0,    /* JAVA_LOOKUPSWITCH              171 */
 327         0,    /* JAVA_IRETURN                   172 */
 328         0,    /* JAVA_LRETURN                   173 */
 329         0,    /* JAVA_FRETURN                   174 */
 330         0,    /* JAVA_DRETURN                   175 */
 331         0,    /* JAVA_ARETURN                   176 */
 332         0,    /* JAVA_RETURN                    177 */
 333         1,    /* JAVA_GETSTATIC                 178 */
 334         0,    /* JAVA_PUTSTATIC                 179 */
 335         1,    /* JAVA_GETFIELD                  180 */
 336         0,    /* JAVA_PUTFIELD                  181 */
 337         1,    /* JAVA_INVOKEVIRTUAL             182 */
 338         1,    /* JAVA_INVOKESPECIAL             183 */
 339         1,    /* JAVA_INVOKESTATIC              184 */
 340         1,    /* JAVA_INVOKEINTERFACE           185 */
 341         1,    /* JAVA_UNDEF186                  186 */
 342         1,    /* JAVA_NEW                       187 */
 343         1,    /* JAVA_NEWARRAY                  188 */
 344         1,    /* JAVA_ANEWARRAY                 189 */
 345         1,    /* JAVA_ARRAYLENGTH               190 */
 346         1,    /* JAVA_ATHROW                    191 */
 347         1,    /* JAVA_CHECKCAST                 192 */
 348         1,    /* JAVA_INSTANCEOF                193 */
 349         0,    /* JAVA_MONITORENTER              194 */
 350         0,    /* JAVA_MONITOREXIT               195 */
 351         0,    /* JAVA_WIDE                      196 */
 352         1,    /* JAVA_MULTIANEWARRAY            197 */
 353         0,    /* JAVA_IFNULL                    198 */
 354         0,    /* JAVA_IFNONNULL                 199 */
 355         0,    /* JAVA_GOTO_W                    200 */
 356         1,    /* JAVA_JSR_W                     201 */
 357         0,    /* JAVA_BREAKPOINT                202 */
 358         1,    /* JAVA_UNDEF203                  203 */
 359         1,    /* JAVA_UNDEF204                  204 */
 360         1,    /* JAVA_UNDEF205                  205 */
 361         1,    /* JAVA_UNDEF206                  206 */
 362         1,    /* JAVA_UNDEF207                  207 */
 363         1,    /* JAVA_UNDEF208                  208 */
 364         1,    /* JAVA_UNDEF209                  209 */
 365         1,    /* JAVA_UNDEF210                  210 */
 366         1,    /* JAVA_UNDEF211                  211 */
 367         1,    /* JAVA_UNDEF212                  212 */
 368         1,    /* JAVA_UNDEF213                  213 */
 369         1,    /* JAVA_UNDEF214                  214 */
 370         1,    /* JAVA_UNDEF215                  215 */
 371         1,    /* JAVA_UNDEF216                  216 */
 372         1,    /* JAVA_UNDEF217                  217 */
 373         1,    /* JAVA_UNDEF218                  218 */
 374         1,    /* JAVA_UNDEF219                  219 */
 375         1,    /* JAVA_UNDEF220                  220 */
 376         1,    /* JAVA_UNDEF221                  221 */
 377         1,    /* JAVA_UNDEF222                  222 */
 378         1,    /* JAVA_UNDEF223                  223 */
 379         1,    /* JAVA_UNDEF224                  224 */
 380         1,    /* JAVA_UNDEF225                  225 */
 381         1,    /* JAVA_UNDEF226                  226 */
 382         1,    /* JAVA_UNDEF227                  227 */
 383         1,    /* JAVA_UNDEF228                  228 */
 384         1,    /* JAVA_UNDEF229                  229 */
 385         1,    /* JAVA_UNDEF230                  230 */
 386         1,    /* JAVA_UNDEF231                  231 */
 387         1,    /* JAVA_UNDEF232                  232 */
 388         1,    /* JAVA_UNDEF233                  233 */
 389         1,    /* JAVA_UNDEF234                  234 */
 390         1,    /* JAVA_UNDEF235                  235 */
 391         1,    /* JAVA_UNDEF236                  236 */
 392         1,    /* JAVA_UNDEF237                  237 */
 393         1,    /* JAVA_UNDEF238                  238 */
 394         1,    /* JAVA_UNDEF239                  239 */
 395         1,    /* JAVA_UNDEF240                  240 */
 396         1,    /* JAVA_UNDEF241                  241 */
 397         1,    /* JAVA_UNDEF242                  242 */
 398         1,    /* JAVA_UNDEF243                  243 */
 399         1,    /* JAVA_UNDEF244                  244 */
 400         1,    /* JAVA_UNDEF245                  245 */
 401         1,    /* JAVA_UNDEF246                  246 */
 402         1,    /* JAVA_UNDEF247                  247 */
 403         1,    /* JAVA_UNDEF248                  248 */
 404         1,    /* JAVA_UNDEF249                  249 */
 405         1,    /* JAVA_UNDEF250                  250 */
 406         1,    /* JAVA_UNDEF251                  251 */
 407         1,    /* JAVA_UNDEF252                  252 */
 408         1,    /* JAVA_UNDEF253                  253 */
 409         1,    /* JAVA_UNDEF254                  254 */
 410         1,    /* JAVA_UNDEF255                  255 */
 411 };
 412
 413
 414 /* size in bytes of Java opcodes **********************************************/
 415
 416 int jcommandsize[256] = {
 417
 418         1,    /* JAVA_NOP                         0 */
 419         1,    /* JAVA_ACONST_NULL                 1 */
 420         1,    /* JAVA_ICONST_M1                   2 */
 421         1,    /* JAVA_ICONST_0                    3 */
 422         1,    /* JAVA_ICONST_1                    4 */
 423         1,    /* JAVA_ICONST_2                    5 */
 424         1,    /* JAVA_ICONST_3                    6 */
 425         1,    /* JAVA_ICONST_4                    7 */
 426         1,    /* JAVA_ICONST_5                    8 */
 427         1,    /* JAVA_LCONST_0                    9 */
 428         1,    /* JAVA_LCONST_1                   10 */
 429         1,    /* JAVA_FCONST_0                   11 */
 430         1,    /* JAVA_FCONST_1                   12 */
 431         1,    /* JAVA_FCONST_2                   13 */
 432         1,    /* JAVA_DCONST_0                   14 */
 433         1,    /* JAVA_DCONST_1                   15 */
 434         2,    /* JAVA_BIPUSH                     16 */
 435         3,    /* JAVA_SIPUSH                     17 */
 436         2,    /* JAVA_LDC1                       18 */
 437         3,    /* JAVA_LDC2                       19 */
 438         3,    /* JAVA_LDC2W                      20 */
 439         2,    /* JAVA_ILOAD                      21 */
 440         2,    /* JAVA_LLOAD                      22 */
 441         2,    /* JAVA_FLOAD                      23 */
 442         2,    /* JAVA_DLOAD                      24 */
 443         2,    /* JAVA_ALOAD                      25 */
 444         1,    /* JAVA_ILOAD_0                    26 */
 445         1,    /* JAVA_ILOAD_1                    27 */
 446         1,    /* JAVA_ILOAD_2                    28 */
 447         1,    /* JAVA_ILOAD_3                    29 */
 448         1,    /* JAVA_LLOAD_0                    30 */
 449         1,    /* JAVA_LLOAD_1                    31 */
 450         1,    /* JAVA_LLOAD_2                    32 */
 451         1,    /* JAVA_LLOAD_3                    33 */
 452         1,    /* JAVA_FLOAD_0                    34 */
 453         1,    /* JAVA_FLOAD_1                    35 */
 454         1,    /* JAVA_FLOAD_2                    36 */
 455         1,    /* JAVA_FLOAD_3                    37 */
 456         1,    /* JAVA_DLOAD_0                    38 */
 457         1,    /* JAVA_DLOAD_1                    39 */
 458         1,    /* JAVA_DLOAD_2                    40 */
 459         1,    /* JAVA_DLOAD_3                    41 */
 460         1,    /* JAVA_ALOAD_0                    42 */
 461         1,    /* JAVA_ALOAD_1                    43 */
 462         1,    /* JAVA_ALOAD_2                    44 */
 463         1,    /* JAVA_ALOAD_3                    45 */
 464         1,    /* JAVA_IALOAD                     46 */
 465         1,    /* JAVA_LALOAD                     47 */
 466         1,    /* JAVA_FALOAD                     48 */
 467         1,    /* JAVA_DALOAD                     49 */
 468         1,    /* JAVA_AALOAD                     50 */
 469         1,    /* JAVA_BALOAD                     51 */
 470         1,    /* JAVA_CALOAD                     52 */
 471         1,    /* JAVA_SALOAD                     53 */
 472         2,    /* JAVA_ISTORE                     54 */
 473         2,    /* JAVA_LSTORE                     55 */
 474         2,    /* JAVA_FSTORE                     56 */
 475         2,    /* JAVA_DSTORE                     57 */
 476         2,    /* JAVA_ASTORE                     58 */
 477         1,    /* JAVA_ISTORE_0                   59 */
 478         1,    /* JAVA_ISTORE_1                   60 */
 479         1,    /* JAVA_ISTORE_2                   61 */
 480         1,    /* JAVA_ISTORE_3                   62 */
 481         1,    /* JAVA_LSTORE_0                   63 */
 482         1,    /* JAVA_LSTORE_1                   64 */
 483         1,    /* JAVA_LSTORE_2                   65 */
 484         1,    /* JAVA_LSTORE_3                   66 */
 485         1,    /* JAVA_FSTORE_0                   67 */
 486         1,    /* JAVA_FSTORE_1                   68 */
 487         1,    /* JAVA_FSTORE_2                   69 */
 488         1,    /* JAVA_FSTORE_3                   70 */
 489         1,    /* JAVA_DSTORE_0                   71 */
 490         1,    /* JAVA_DSTORE_1                   72 */
 491         1,    /* JAVA_DSTORE_2                   73 */
 492         1,    /* JAVA_DSTORE_3                   74 */
 493         1,    /* JAVA_ASTORE_0                   75 */
 494         1,    /* JAVA_ASTORE_1                   76 */
 495         1,    /* JAVA_ASTORE_2                   77 */
 496         1,    /* JAVA_ASTORE_3                   78 */
 497         1,    /* JAVA_IASTORE                    79 */
 498         1,    /* JAVA_LASTORE                    80 */
 499         1,    /* JAVA_FASTORE                    81 */
 500         1,    /* JAVA_DASTORE                    82 */
 501         1,    /* JAVA_AASTORE                    83 */
 502         1,    /* JAVA_BASTORE                    84 */
 503         1,    /* JAVA_CASTORE                    85 */
 504         1,    /* JAVA_SASTORE                    86 */
 505         1,    /* JAVA_POP                        87 */
 506         1,    /* JAVA_POP2                       88 */
 507         1,    /* JAVA_DUP                        89 */
 508         1,    /* JAVA_DUP_X1                     90 */
 509         1,    /* JAVA_DUP_X2                     91 */
 510         1,    /* JAVA_DUP2                       92 */
 511         1,    /* JAVA_DUP2_X1                    93 */
 512         1,    /* JAVA_DUP2_X2                    94 */
 513         1,    /* JAVA_SWAP                       95 */
 514         1,    /* JAVA_IADD                       96 */
 515         1,    /* JAVA_LADD                       97 */
 516         1,    /* JAVA_FADD                       98 */
 517         1,    /* JAVA_DADD                       99 */
 518         1,    /* JAVA_ISUB                      100 */
 519         1,    /* JAVA_LSUB                      101 */
 520         1,    /* JAVA_FSUB                      102 */
 521         1,    /* JAVA_DSUB                      103 */
 522         1,    /* JAVA_IMUL                      104 */
 523         1,    /* JAVA_LMUL                      105 */
 524         1,    /* JAVA_FMUL                      106 */
 525         1,    /* JAVA_DMUL                      107 */
 526         1,    /* JAVA_IDIV                      108 */
 527         1,    /* JAVA_LDIV                      109 */
 528         1,    /* JAVA_FDIV                      110 */
 529         1,    /* JAVA_DDIV                      111 */
 530         1,    /* JAVA_IREM                      112 */
 531         1,    /* JAVA_LREM                      113 */
 532         1,    /* JAVA_FREM                      114 */
 533         1,    /* JAVA_DREM                      115 */
 534         1,    /* JAVA_INEG                      116 */
 535         1,    /* JAVA_LNEG                      117 */
 536         1,    /* JAVA_FNEG                      118 */
 537         1,    /* JAVA_DNEG                      119 */
 538         1,    /* JAVA_ISHL                      120 */
 539         1,    /* JAVA_LSHL                      121 */
 540         1,    /* JAVA_ISHR                      122 */
 541         1,    /* JAVA_LSHR                      123 */
 542         1,    /* JAVA_IUSHR                     124 */
 543         1,    /* JAVA_LUSHR                     125 */
 544         1,    /* JAVA_IAND                      126 */
 545         1,    /* JAVA_LAND                      127 */
 546         1,    /* JAVA_IOR                       128 */
 547         1,    /* JAVA_LOR                       129 */
 548         1,    /* JAVA_IXOR                      130 */
 549         1,    /* JAVA_LXOR                      131 */
 550         3,    /* JAVA_IINC                      132 */
 551         1,    /* JAVA_I2L                       133 */
 552         1,    /* JAVA_I2F                       134 */
 553         1,    /* JAVA_I2D                       135 */
 554         1,    /* JAVA_L2I                       136 */
 555         1,    /* JAVA_L2F                       137 */
 556         1,    /* JAVA_L2D                       138 */
 557         1,    /* JAVA_F2I                       139 */
 558         1,    /* JAVA_F2L                       140 */
 559         1,    /* JAVA_F2D                       141 */
 560         1,    /* JAVA_D2I                       142 */
 561         1,    /* JAVA_D2L                       143 */
 562         1,    /* JAVA_D2F                       144 */
 563         1,    /* JAVA_INT2BYTE                  145 */
 564         1,    /* JAVA_INT2CHAR                  146 */
 565         1,    /* JAVA_INT2SHORT                 147 */
 566         1,    /* JAVA_LCMP                      148 */
 567         1,    /* JAVA_FCMPL                     149 */
 568         1,    /* JAVA_FCMPG                     150 */
 569         1,    /* JAVA_DCMPL                     151 */
 570         1,    /* JAVA_DCMPG                     152 */
 571         3,    /* JAVA_IFEQ                      153 */
 572         3,    /* JAVA_IFNE                      154 */
 573         3,    /* JAVA_IFLT                      155 */
 574         3,    /* JAVA_IFGE                      156 */
 575         3,    /* JAVA_IFGT                      157 */
 576         3,    /* JAVA_IFLE                      158 */
 577         3,    /* JAVA_IF_ICMPEQ                 159 */
 578         3,    /* JAVA_IF_ICMPNE                 160 */
 579         3,    /* JAVA_IF_ICMPLT                 161 */
 580         3,    /* JAVA_IF_ICMPGE                 162 */
 581         3,    /* JAVA_IF_ICMPGT                 163 */
 582         3,    /* JAVA_IF_ICMPLE                 164 */
 583         3,    /* JAVA_IF_ACMPEQ                 165 */
 584         3,    /* JAVA_IF_ACMPNE                 166 */
 585         3,    /* JAVA_GOTO                      167 */
 586         3,    /* JAVA_JSR                       168 */
 587         2,    /* JAVA_RET                       169 */
 588         0,    /* JAVA_TABLESWITCH               170 */ /* variable length */
 589         0,    /* JAVA_LOOKUPSWITCH              171 */ /* variable length */
 590         1,    /* JAVA_IRETURN                   172 */
 591         1,    /* JAVA_LRETURN                   173 */
 592         1,    /* JAVA_FRETURN                   174 */
 593         1,    /* JAVA_DRETURN                   175 */
 594         1,    /* JAVA_ARETURN                   176 */
 595         1,    /* JAVA_RETURN                    177 */
 596         3,    /* JAVA_GETSTATIC                 178 */
 597         3,    /* JAVA_PUTSTATIC                 179 */
 598         3,    /* JAVA_GETFIELD                  180 */
 599         3,    /* JAVA_PUTFIELD                  181 */
 600         3,    /* JAVA_INVOKEVIRTUAL             182 */
 601         3,    /* JAVA_INVOKESPECIAL             183 */
 602         3,    /* JAVA_INVOKESTATIC              184 */
 603         5,    /* JAVA_INVOKEINTERFACE           185 */
 604         1,    /* UNDEF186 */
 605         3,    /* JAVA_NEW                       187 */
 606         2,    /* JAVA_NEWARRAY                  188 */
 607         3,    /* JAVA_ANEWARRAY                 189 */
 608         1,    /* JAVA_ARRAYLENGTH               190 */
 609         1,    /* JAVA_ATHROW                    191 */
 610         3,    /* JAVA_CHECKCAST                 192 */
 611         3,    /* JAVA_INSTANCEOF                193 */
 612         1,    /* JAVA_MONITORENTER              194 */
 613         1,    /* JAVA_MONITOREXIT               195 */
 614         0,    /* JAVA_WIDE                      196 */ /* variable length */
 615         4,    /* JAVA_MULTIANEWARRAY            197 */
 616         3,    /* JAVA_IFNULL                    198 */
 617         3,    /* JAVA_IFNONNULL                 199 */
 618         5,    /* JAVA_GOTO_W                    200 */
 619         5,    /* JAVA_JSR_W                     201 */
 620         1,    /* JAVA_BREAKPOINT                202 */
 621
 622         1,    /* UNDEF203 */
 623         1,
 624         1,
 625         1,
 626         1,
 627         1,
 628         1,
 629         1,    /* UNDEF210 */
 630         1,
 631         1,
 632         1,
 633         1,
 634         1,
 635         1,
 636         1,
 637         1,
 638         1,
 639         1,    /* UNDEF220 */
 640         1,
 641         1,
 642         1,
 643         1,
 644         1,
 645         1,
 646         1,
 647         1,
 648         1,
 649         1,    /* UNDEF230 */
 650         1,
 651         1,
 652         1,
 653         1,
 654
 655         /* unused */
 656                 1,1,1,1,1,1,
 657         1,1,1,1,1,1,1,1,1,1,
 658         1,1,1,1,1
 659 };
 660
 661
 662 /* Java opcode names *********************************************************/
 663
 664 char *opcode_names[256] = {
 665         "NOP            ", /*               0 */
 666         "ACONST         ", /*               1 */
 667         "ICONST_M1      ", /* ICONST_M1     2 */
 668         "ICONST_0       ", /* ICONST_0      3 */
 669         "ICONST_1       ", /* ICONST_1      4 */
 670         "ICONST_2       ", /* ICONST_2      5 */
 671         "ICONST_3       ", /* ICONST_3      6 */
 672         "ICONST_4       ", /* ICONST_4      7 */
 673         "ICONST_5       ", /* ICONST_5      8 */
 674         "LCONST_0       ", /* LCONST_0      9 */
 675         "LCONST_1       ", /* LCONST_1     10 */
 676         "FCONST_0       ", /* FCONST_0     11 */
 677         "FCONST_1       ", /* FCONST_1     12 */
 678         "FCONST_2       ", /* FCONST_2     13 */
 679         "DCONST_0       ", /* DCONST_0     14 */
 680         "DCONST_1       ", /* DCONST_1     15 */
 681         "BIPUSH         ", /* BIPUSH       16 */
 682         "SIPUSH         ", /* SIPUSH       17 */
 683         "LDC            ", /* LDC          18 */
 684         "LDC_W          ", /* LDC_W        19 */
 685         "LDC2_W         ", /* LDC2_W       20 */
 686         "ILOAD          ", /*              21 */
 687         "LLOAD          ", /*              22 */
 688         "FLOAD          ", /*              23 */
 689         "DLOAD          ", /*              24 */
 690         "ALOAD          ", /*              25 */
 691         "ILOAD_0        ", /* ILOAD_0      26 */
 692         "ILOAD_1        ", /* ILOAD_1      27 */
 693         "ILOAD_2        ", /* ILOAD_2      28 */
 694         "ILOAD_3        ", /* ILOAD_3      29 */
 695         "LLOAD_0        ", /* LLOAD_0      30 */
 696         "LLOAD_1        ", /* LLOAD_1      31 */
 697         "LLOAD_2        ", /* LLOAD_2      32 */
 698         "LLOAD_3        ", /* LLOAD_3      33 */
 699         "FLOAD_0        ", /* FLOAD_0      34 */
 700         "FLOAD_1        ", /* FLOAD_1      35 */
 701         "FLOAD_2        ", /* FLOAD_2      36 */
 702         "FLOAD_3        ", /* FLOAD_3      37 */
 703         "DLOAD_0        ", /* DLOAD_0      38 */
 704         "DLOAD_1        ", /* DLOAD_1      39 */
 705         "DLOAD_2        ", /* DLOAD_2      40 */
 706         "DLOAD_3        ", /* DLOAD_3      41 */
 707         "ALOAD_0        ", /* ALOAD_0      42 */
 708         "ALOAD_1        ", /* ALOAD_1      43 */
 709         "ALOAD_2        ", /* ALOAD_2      44 */
 710         "ALOAD_3        ", /* ALOAD_3      45 */
 711         "IALOAD         ", /*              46 */
 712         "LALOAD         ", /*              47 */
 713         "FALOAD         ", /*              48 */
 714         "DALOAD         ", /*              49 */
 715         "AALOAD         ", /*              50 */
 716         "BALOAD         ", /*              51 */
 717         "CALOAD         ", /*              52 */
 718         "SALOAD         ", /*              53 */
 719         "ISTORE         ", /*              54 */
 720         "LSTORE         ", /*              55 */
 721         "FSTORE         ", /*              56 */
 722         "DSTORE         ", /*              57 */
 723         "ASTORE         ", /*              58 */
 724         "ISTORE_0       ", /* ISTORE_0     59 */
 725         "ISTORE_1       ", /* ISTORE_1     60 */
 726         "ISTORE_2       ", /* ISTORE_2     61 */
 727         "ISTORE_3       ", /* ISTORE_3     62 */
 728         "LSTORE_0       ", /* LSTORE_0     63 */
 729         "LSTORE_1       ", /* LSTORE_1     64 */
 730         "LSTORE_2       ", /* LSTORE_2     65 */
 731         "LSTORE_3       ", /* LSTORE_3     66 */
 732         "FSTORE_0       ", /* FSTORE_0     67 */
 733         "FSTORE_1       ", /* FSTORE_1     68 */
 734         "FSTORE_2       ", /* FSTORE_2     69 */
 735         "FSTORE_3       ", /* FSTORE_3     70 */
 736         "DSTORE_0       ", /* DSTORE_0     71 */
 737         "DSTORE_1       ", /* DSTORE_1     72 */
 738         "DSTORE_2       ", /* DSTORE_2     73 */
 739         "DSTORE_3       ", /* DSTORE_3     74 */
 740         "ASTORE_0       ", /* ASTORE_0     75 */
 741         "ASTORE_1       ", /* ASTORE_1     76 */
 742         "ASTORE_2       ", /* ASTORE_2     77 */
 743         "ASTORE_3       ", /* ASTORE_3     78 */
 744         "IASTORE        ", /*              79 */
 745         "LASTORE        ", /*              80 */
 746         "FASTORE        ", /*              81 */
 747         "DASTORE        ", /*              82 */
 748         "AASTORE        ", /*              83 */
 749         "BASTORE        ", /*              84 */
 750         "CASTORE        ", /*              85 */
 751         "SASTORE        ", /*              86 */
 752         "POP            ", /*              87 */
 753         "POP2           ", /*              88 */
 754         "DUP            ", /*              89 */
 755         "DUP_X1         ", /*              90 */
 756         "DUP_X2         ", /*              91 */
 757         "DUP2           ", /*              92 */
 758         "DUP2_X1        ", /*              93 */
 759         "DUP2_X2        ", /*              94 */
 760         "SWAP           ", /*              95 */
 761         "IADD           ", /*              96 */
 762         "LADD           ", /*              97 */
 763         "FADD           ", /*              98 */
 764         "DADD           ", /*              99 */
 765         "ISUB           ", /*             100 */
 766         "LSUB           ", /*             101 */
 767         "FSUB           ", /*             102 */
 768         "DSUB           ", /*             103 */
 769         "IMUL           ", /*             104 */
 770         "LMUL           ", /*             105 */
 771         "FMUL           ", /*             106 */
 772         "DMUL           ", /*             107 */
 773         "IDIV           ", /*             108 */
 774         "LDIV           ", /*             109 */
 775         "FDIV           ", /*             110 */
 776         "DDIV           ", /*             111 */
 777         "IREM           ", /*             112 */
 778         "LREM           ", /*             113 */
 779         "FREM           ", /*             114 */
 780         "DREM           ", /*             115 */
 781         "INEG           ", /*             116 */
 782         "LNEG           ", /*             117 */
 783         "FNEG           ", /*             118 */
 784         "DNEG           ", /*             119 */
 785         "ISHL           ", /*             120 */
 786         "LSHL           ", /*             121 */
 787         "ISHR           ", /*             122 */
 788         "LSHR           ", /*             123 */
 789         "IUSHR          ", /*             124 */
 790         "LUSHR          ", /*             125 */
 791         "IAND           ", /*             126 */
 792         "LAND           ", /*             127 */
 793         "IOR            ", /*             128 */
 794         "LOR            ", /*             129 */
 795         "IXOR           ", /*             130 */
 796         "LXOR           ", /*             131 */
 797         "IINC           ", /*             132 */
 798         "I2L            ", /*             133 */
 799         "I2F            ", /*             134 */
 800         "I2D            ", /*             135 */
 801         "L2I            ", /*             136 */
 802         "L2F            ", /*             137 */
 803         "L2D            ", /*             138 */
 804         "F2I            ", /*             139 */
 805         "F2L            ", /*             140 */
 806         "F2D            ", /*             141 */
 807         "D2I            ", /*             142 */
 808         "D2L            ", /*             143 */
 809         "D2F            ", /*             144 */
 810         "INT2BYTE       ", /*             145 */
 811         "INT2CHAR       ", /*             146 */
 812         "INT2SHORT      ", /*             147 */
 813         "LCMP           ", /*             148 */
 814         "FCMPL          ", /*             149 */
 815         "FCMPG          ", /*             150 */
 816         "DCMPL          ", /*             151 */
 817         "DCMPG          ", /*             152 */
 818         "IFEQ           ", /*             153 */
 819         "IFNE           ", /*             154 */
 820         "IFLT           ", /*             155 */
 821         "IFGE           ", /*             156 */
 822         "IFGT           ", /*             157 */
 823         "IFLE           ", /*             158 */
 824         "IF_ICMPEQ      ", /*             159 */
 825         "IF_ICMPNE      ", /*             160 */
 826         "IF_ICMPLT      ", /*             161 */
 827         "IF_ICMPGE      ", /*             162 */
 828         "IF_ICMPGT      ", /*             163 */
 829         "IF_ICMPLE      ", /*             164 */
 830         "IF_ACMPEQ      ", /*             165 */
 831         "IF_ACMPNE      ", /*             166 */
 832         "GOTO           ", /*             167 */
 833         "JSR            ", /*             168 */
 834         "RET            ", /*             169 */
 835         "TABLESWITCH    ", /*             170 */
 836         "LOOKUPSWITCH   ", /*             171 */
 837         "IRETURN        ", /*             172 */
 838         "LRETURN        ", /*             173 */
 839         "FRETURN        ", /*             174 */
 840         "DRETURN        ", /*             175 */
 841         "ARETURN        ", /*             176 */
 842         "RETURN         ", /*             177 */
 843         "GETSTATIC      ", /*             178 */
 844         "PUTSTATIC      ", /*             179 */
 845         "GETFIELD       ", /*             180 */
 846         "PUTFIELD       ", /*             181 */
 847         "INVOKEVIRTUAL  ", /*             182 */
 848         "INVOKESPECIAL  ", /*             183 */
 849         "INVOKESTATIC   ", /*             184 */
 850         "INVOKEINTERFACE", /*             185 */
 851         "UNDEF186       ", /*             186 */
 852         "NEW            ", /*             187 */
 853         "NEWARRAY       ", /*             188 */
 854         "ANEWARRAY      ", /*             189 */
 855         "ARRAYLENGTH    ", /*             190 */
 856         "ATHROW         ", /*             191 */
 857         "CHECKCAST      ", /*             192 */
 858         "INSTANCEOF     ", /*             193 */
 859         "MONITORENTER   ", /*             194 */
 860         "MONITOREXIT    ", /*             195 */
 861         "WIDE           ", /* WIDE        196 */
 862         "MULTIANEWARRAY ", /*             197 */
 863         "IFNULL         ", /*             198 */
 864         "IFNONNULL      ", /*             199 */
 865         "GOTO_W         ", /* GOTO_W      200 */
 866         "JSR_W          ", /* JSR_W       201 */
 867         "BREAKPOINT     ", /* BREAKPOINT  202 */
 868
 869                                 "UNDEF203", "UNDEF204", "UNDEF205",
 870         "UNDEF206", "UNDEF207", "UNDEF208", "UNDEF209", "UNDEF210",
 871         "UNDEF211", "UNDEF212", "UNDEF213", "UNDEF214", "UNDEF215",
 872         "UNDEF216", "UNDEF217", "UNDEF218", "UNDEF219", "UNDEF220",
 873         "UNDEF221", "UNDEF222", "UNDEF223", "UNDEF224", "UNDEF225",
 874         "UNDEF226", "UNDEF227", "UNDEF228", "UNDEF229", "UNDEF230",
 875         "UNDEF231", "UNDEF232", "UNDEF233", "UNDEF234", "UNDEF235",
 876         "UNDEF236", "UNDEF237", "UNDEF238", "UNDEF239", "UNDEF240",
 877         "UNDEF241", "UNDEF242", "UNDEF243", "UNDEF244", "UNDEF245",
 878         "UNDEF246", "UNDEF247", "UNDEF248", "UNDEF249", "UNDEF250",
 879         "UNDEF251", "UNDEF252", "UNDEF253", "UNDEF254", "UNDEF255"
 880 };
 881
 882
 883 /* jit_init ********************************************************************
 884
 885    Initializes the JIT subsystem.
 886
 887 *******************************************************************************/
 888
 889 void jit_init(void)
 890 {
 891 #if defined(ENABLE_JIT)
 892         /* initialize stack analysis subsystem */
 893
 894         (void) stack_init();
 895 #endif
 896
 897         /* initialize show subsystem */
 898
 899 #if !defined(NDEBUG)
 900         (void) show_init();
 901 #endif
 902
 903         /* initialize codegen subsystem */
 904
 905         codegen_init();
 906
 907         /* initialize code subsystem */
 908
 909         (void) code_init();
 910 }
 911
 912
 913 /* jit_close *******************************************************************
 914
 915    Close the JIT subsystem.
 916
 917 *******************************************************************************/
 918
 919 void jit_close(void)
 920 {
 921         /* do nothing */
 922 }
 923
 924
 925 /* dummy function, used when there is no JavaVM code available                */
 926
 927 static u1 *do_nothing_function(void)
 928 {
 929         return NULL;
 930 }
 931
 932
 933 /* jit_jitdata_new *************************************************************
 934
 935    Allocates and initalizes a new jitdata structure.
 936
 937 *******************************************************************************/
 938
 939 jitdata *jit_jitdata_new(codeinfo *code)
 940 {
 941         jitdata    *jd;
 942         methodinfo *m;
 943
 944         /* get required compiler data */
 945
 946         m = code->m;
 947
 948         /* allocate jitdata structure and fill it */
 949
 950         jd = DNEW(jitdata);
 951
 952         jd->m     = code->m;
 953         jd->code  = code;
 954
 955         jd->cd    = DNEW(codegendata);
 956         jd->rd    = DNEW(registerdata);
 957 #if defined(ENABLE_LOOP)
 958         jd->ld    = DNEW(loopdata);
 959 #endif
 960
 961         /* initialize variables */
 962
 963         jd->flags                = 0;
 964         jd->exceptiontable       = NULL;
 965         jd->exceptiontablelength = 0;
 966         jd->returncount          = 0;
 967         jd->branchtoentry        = false;
 968         jd->branchtoend          = false;
 969         jd->returncount          = 0;
 970         jd->returnblock          = NULL;
 971         jd->maxlocals            = m->maxlocals;
 972
 973 #if defined(ENABLE_THREADS)
 974         if (checksync && (m->flags & ACC_SYNCHRONIZED))
 975                 jd->isleafmethod = false;
 976         else
 977 #endif
 978                 jd->isleafmethod = true;
 979
 980         return jd;
 981 }
 982
 983
 984 /* jit_compile *****************************************************************
 985
 986    Translates one method to machine code.
 987
 988 *******************************************************************************/
 989
 990 static u1 *jit_compile_intern(jitdata *jd);
 991
 992 u1 *jit_compile(methodinfo *m)
 993 {
 994         jitdata  *jd;
 995         codeinfo *code;
 996         s4        dumpsize;
 997         u1       *r;
 998
 999         STATISTICS(count_jit_calls++);
1000
1001         /* Initialize the static function's class. */
1002
1003         /* ATTENTION: This MUST be done before the method lock is aquired,
1004            otherwise we could run into a deadlock with <clinit>'s that
1005            call static methods of it's own class. */
1006
1007         if ((m->flags & ACC_STATIC) && !(m->class->state & CLASS_INITIALIZED)) {
1008 #if !defined(NDEBUG)
1009                 if (initverbose)
1010                         log_message_class("Initialize class ", m->class);
1011 #endif
1012
1013                 if (!initialize_class(m->class))
1014                         return NULL;
1015
1016                 /* check if the method has been compiled during initialization */
1017
1018                 if ((m->code != NULL) && (m->code->entrypoint != NULL))
1019                         return m->code->entrypoint;
1020         }
1021
1022         /* We create a codeinfo here and lock on this object, as a object
1023            header in the methodinfo uses to much memory. */
1024
1025         code = code_codeinfo_new(m);
1026
1027         /* enter a monitor on the codeinfo */
1028
1029         LOCK_MONITOR_ENTER(code);
1030
1031         /* If method has been already compiled return immediately.
1032            ATTENTION: check for m->code!!! */
1033
1034         if (m->code != NULL) {
1035                 /* leave the lock and free the memory */
1036
1037                 LOCK_MONITOR_EXIT(code);
1038
1039                 code_codeinfo_free(code);
1040
1041                 assert(m->code->entrypoint);
1042
1043                 return m->code->entrypoint;
1044         }
1045
1046         STATISTICS(count_methods++);
1047
1048 #if defined(ENABLE_STATISTICS)
1049         /* measure time */
1050
1051         if (opt_getcompilingtime)
1052                 compilingtime_start();
1053 #endif
1054
1055         /* mark start of dump memory area */
1056
1057         dumpsize = dump_size();
1058
1059         /* create jitdata structure */
1060
1061         jd = jit_jitdata_new(code);
1062
1063         /* set the flags for the current JIT run */
1064
1065         jd->flags = JITDATA_FLAG_PARSE;
1066
1067 #if defined(ENABLE_VERIFIER)
1068         if (opt_verify)
1069                 jd->flags |= JITDATA_FLAG_VERIFY;
1070 #endif
1071
1072 #if defined(ENABLE_PROFILING)
1073         if (opt_prof)
1074                 jd->flags |= JITDATA_FLAG_INSTRUMENT;
1075 #endif
1076
1077 #if defined(ENABLE_IFCONV)
1078         if (opt_ifconv)
1079                 jd->flags |= JITDATA_FLAG_IFCONV;
1080 #endif
1081
1082 #if defined(ENABLE_INLINING) && defined(ENABLE_INLINING_DEBUG)
1083         if (opt_inlining && opt_inline_debug_all)
1084                 jd->flags |= JITDATA_FLAG_INLINE;
1085 #endif
1086
1087         if (opt_showintermediate)
1088                 jd->flags |= JITDATA_FLAG_SHOWINTERMEDIATE;
1089
1090         if (opt_showdisassemble)
1091                 jd->flags |= JITDATA_FLAG_SHOWDISASSEMBLE;
1092
1093         if (opt_verbosecall)
1094                 jd->flags |= JITDATA_FLAG_VERBOSECALL;
1095
1096 #if defined(ENABLE_JIT)
1097 # if defined(ENABLE_INTRP)
1098         if (!opt_intrp)
1099 # endif
1100                 /* initialize the register allocator */
1101         {
1102                 reg_setup(jd);
1103         }
1104 #endif
1105
1106         /* setup the codegendata memory */
1107
1108         codegen_setup(jd);
1109
1110         /* now call internal compile function */
1111
1112         r = jit_compile_intern(jd);
1113
1114         if (r == NULL) {
1115                 /* We had an exception! Finish stuff here if necessary. */
1116
1117                 /* Release memory for basic block profiling information. */
1118
1119                 if (JITDATA_HAS_FLAG_INSTRUMENT(jd))
1120                         if (jd->code->bbfrequency != NULL)
1121                                 MFREE(jd->code->bbfrequency, u4, jd->code->basicblockcount);
1122         }
1123         else {
1124                 DEBUG_JIT_COMPILEVERBOSE("Running: ");
1125         }
1126
1127         /* release dump area */
1128
1129         dump_release(dumpsize);
1130
1131 #if defined(ENABLE_STATISTICS)
1132         /* measure time */
1133
1134         if (opt_getcompilingtime)
1135                 compilingtime_stop();
1136 #endif
1137
1138         /* leave the monitor */
1139
1140         LOCK_MONITOR_EXIT(code);
1141
1142         /* If we had an exception, release codeinfo. */
1143
1144         if (r == NULL)
1145                 code_codeinfo_free(code);
1146
1147         /* return pointer to the methods entry point */
1148
1149         return r;
1150 }
1151
1152
1153 /* jit_recompile ***************************************************************
1154
1155    Recompiles a Java method.
1156
1157 *******************************************************************************/
1158
1159 u1 *jit_recompile(methodinfo *m)
1160 {
1161         u1      *r;
1162         jitdata  *jd;
1163         codeinfo *code;
1164         u1        optlevel;
1165         s4        dumpsize;
1166
1167         /* check for max. optimization level */
1168
1169         optlevel = (m->code) ? m->code->optlevel : 0;
1170
1171 #if 0
1172         if (optlevel == 1) {
1173 /*              log_message_method("not recompiling: ", m); */
1174                 return NULL;
1175         }
1176 #endif
1177
1178         DEBUG_JIT_COMPILEVERBOSE("Recompiling start: ");
1179
1180         STATISTICS(count_jit_calls++);
1181
1182 #if defined(ENABLE_STATISTICS)
1183         /* measure time */
1184
1185         if (opt_getcompilingtime)
1186                 compilingtime_start();
1187 #endif
1188
1189         /* create codeinfo */
1190
1191         code = code_codeinfo_new(m);
1192
1193         /* mark start of dump memory area */
1194
1195         dumpsize = dump_size();
1196
1197         /* create jitdata structure */
1198
1199         jd = jit_jitdata_new(code);
1200
1201         /* set the current optimization level to the previous one plus 1 */
1202
1203         jd->code->optlevel = optlevel + 1;
1204
1205         /* get the optimization flags for the current JIT run */
1206
1207 #if defined(ENABLE_VERIFIER)
1208         jd->flags |= JITDATA_FLAG_VERIFY;
1209 #endif
1210
1211         /* jd->flags |= JITDATA_FLAG_REORDER; */
1212         if (opt_showintermediate)
1213                 jd->flags |= JITDATA_FLAG_SHOWINTERMEDIATE;
1214         if (opt_showdisassemble)
1215                 jd->flags |= JITDATA_FLAG_SHOWDISASSEMBLE;
1216         if (opt_verbosecall)
1217                 jd->flags |= JITDATA_FLAG_VERBOSECALL;
1218
1219 #if defined(ENABLE_JIT)
1220 # if defined(ENABLE_INTRP)
1221         if (!opt_intrp)
1222 # endif
1223                 /* initialize the register allocator */
1224
1225                 reg_setup(jd);
1226 #endif
1227
1228         /* setup the codegendata memory */
1229
1230         codegen_setup(jd);
1231
1232         /* now call internal compile function */
1233
1234         r = jit_compile_intern(jd);
1235
1236         if (r == NULL) {
1237                 /* We had an exception! Finish stuff here if necessary. */
1238
1239                 /* release codeinfo */
1240
1241                 code_codeinfo_free(jd->code);
1242         }
1243
1244         /* release dump area */
1245
1246         dump_release(dumpsize);
1247
1248 #if defined(ENABLE_STATISTICS)
1249         /* measure time */
1250
1251         if (opt_getcompilingtime)
1252                 compilingtime_stop();
1253 #endif
1254
1255         DEBUG_JIT_COMPILEVERBOSE("Recompiling done: ");
1256
1257         /* return pointer to the methods entry point */
1258
1259         return r;
1260 }
1261
1262
1263 /* jit_compile_intern **********************************************************
1264
1265    Static internal function which does the actual compilation.
1266
1267 *******************************************************************************/
1268
1269 static u1 *jit_compile_intern(jitdata *jd)
1270 {
1271         methodinfo  *m;
1272         codegendata *cd;
1273         codeinfo    *code;
1274
1275 #if defined(ENABLE_RT_TIMING)
1276         struct timespec time_start,time_checks,time_parse,time_stack,
1277                                         time_typecheck,time_loop,time_ifconv,time_alloc,
1278                                         time_codegen;
1279 #endif
1280
1281         RT_TIMING_GET_TIME(time_start);
1282
1283         /* get required compiler data */
1284
1285 #if defined(ENABLE_LSRA) || defined(ENABLE_SSA)
1286         jd->ls = NULL;
1287 #endif
1288         m    = jd->m;
1289         code = jd->code;
1290         cd   = jd->cd;
1291
1292         /* print log message for compiled method */
1293
1294         DEBUG_JIT_COMPILEVERBOSE("Compiling: ");
1295
1296         /* handle native methods and create a native stub */
1297
1298         if (m->flags & ACC_NATIVE) {
1299                 functionptr f;
1300
1301 #if defined(WITH_STATIC_CLASSPATH)
1302                 f = native_findfunction(m->class->name, m->name, m->descriptor,
1303                                                                 (m->flags & ACC_STATIC));
1304                 if (f == NULL)
1305                         return NULL;
1306 #else
1307                 f = NULL;
1308 #endif
1309
1310                 code = codegen_createnativestub(f, m);
1311
1312                 assert(!m->code); /* native methods are never recompiled */
1313                 m->code = code;
1314
1315                 return code->entrypoint;
1316         }
1317
1318         /* if there is no javacode, print error message and return empty method   */
1319
1320         if (m->jcode == NULL) {
1321                 DEBUG_JIT_COMPILEVERBOSE("No code given for: ");
1322
1323                 code->entrypoint = (u1 *) (ptrint) do_nothing_function;
1324                 m->code = code;
1325
1326                 return code->entrypoint;        /* return empty method                */
1327         }
1328
1329 #if defined(ENABLE_STATISTICS)
1330         if (opt_stat) {
1331                 count_javacodesize += m->jcodelength + 18;
1332                 count_tryblocks    += jd->exceptiontablelength;
1333                 count_javaexcsize  += jd->exceptiontablelength * SIZEOF_VOID_P;
1334         }
1335 #endif
1336
1337         RT_TIMING_GET_TIME(time_checks);
1338
1339         /* call the compiler passes ***********************************************/
1340
1341         DEBUG_JIT_COMPILEVERBOSE("Parsing: ");
1342
1343         /* call parse pass */
1344
1345         if (!parse(jd)) {
1346                 DEBUG_JIT_COMPILEVERBOSE("Exception while parsing: ");
1347
1348                 return NULL;
1349         }
1350         RT_TIMING_GET_TIME(time_parse);
1351
1352         DEBUG_JIT_COMPILEVERBOSE("Parsing done: ");
1353
1354 #if defined(ENABLE_JIT)
1355 # if defined(ENABLE_INTRP)
1356         if (!opt_intrp) {
1357 # endif
1358                 DEBUG_JIT_COMPILEVERBOSE("Analysing: ");
1359
1360                 /* call stack analysis pass */
1361
1362                 if (!stack_analyse(jd)) {
1363                         DEBUG_JIT_COMPILEVERBOSE("Exception while analysing: ");
1364
1365                         return NULL;
1366                 }
1367                 RT_TIMING_GET_TIME(time_stack);
1368
1369                 DEBUG_JIT_COMPILEVERBOSE("Analysing done: ");
1370
1371                 /* Build the CFG.  This has to be done after stack_analyse, as
1372                    there happens the JSR elimination. */
1373
1374                 if (!cfg_build(jd))
1375                         return NULL;
1376
1377 #ifdef ENABLE_VERIFIER
1378                 if (JITDATA_HAS_FLAG_VERIFY(jd)) {
1379                         DEBUG_JIT_COMPILEVERBOSE("Typechecking: ");
1380
1381                         /* call typecheck pass */
1382                         if (!typecheck(jd)) {
1383                                 DEBUG_JIT_COMPILEVERBOSE("Exception while typechecking: ");
1384
1385                                 return NULL;
1386                         }
1387
1388                         DEBUG_JIT_COMPILEVERBOSE("Typechecking done: ");
1389                 }
1390 #endif
1391                 RT_TIMING_GET_TIME(time_typecheck);
1392
1393 #if defined(ENABLE_LOOP)
1394                 if (opt_loops) {
1395                         depthFirst(jd);
1396                         analyseGraph(jd);
1397                         optimize_loops(jd);
1398                         jit_renumber_basicblocks(jd);
1399                 }
1400 #endif
1401                 RT_TIMING_GET_TIME(time_loop);
1402
1403 #if defined(ENABLE_IFCONV)
1404                 if (JITDATA_HAS_FLAG_IFCONV(jd)) {
1405                         if (!ifconv_static(jd))
1406                                 return NULL;
1407                         jit_renumber_basicblocks(jd);
1408                 }
1409 #endif
1410                 RT_TIMING_GET_TIME(time_ifconv);
1411
1412                 /* inlining */
1413
1414 #if defined(ENABLE_INLINING)
1415                 if (JITDATA_HAS_FLAG_INLINE(jd)) {
1416                         if (!inline_inline(jd))
1417                                 return NULL;
1418                 }
1419 #endif
1420
1421                 /* Basic block reordering.  I think this should be done after
1422                    if-conversion, as we could lose the ability to do the
1423                    if-conversion. */
1424
1425                 if (JITDATA_HAS_FLAG_REORDER(jd)) {
1426                         if (!reorder(jd))
1427                                 return NULL;
1428                         jit_renumber_basicblocks(jd);
1429                 }
1430
1431                 DEBUG_JIT_COMPILEVERBOSE("Allocating registers: ");
1432
1433 #if defined(ENABLE_LSRA) && !defined(ENABLE_SSA)
1434                 /* allocate registers */
1435                 if (opt_lsra) {
1436                         if (!lsra(jd))
1437                                 return NULL;
1438
1439                         STATISTICS(count_methods_allocated_by_lsra++);
1440
1441                 } else
1442 # endif /* defined(ENABLE_LSRA) && !defined(ENABLE_SSA) */
1443 #if defined(ENABLE_SSA)
1444                 /* allocate registers */
1445                 if ((opt_lsra) && (jd->exceptiontablelength == 0)) {
1446                         jd->ls = DNEW(lsradata);
1447                         lsra(jd);
1448
1449                         STATISTICS(count_methods_allocated_by_lsra++);
1450
1451                 } else
1452 # endif /* defined(ENABLE_SSA) */
1453                 {
1454                         STATISTICS(count_locals_conflicts += (jd->maxlocals - 1) * (jd->maxlocals));
1455
1456                         regalloc(jd);
1457                 }
1458
1459                 STATISTICS(simplereg_make_statistics(jd));
1460
1461                 DEBUG_JIT_COMPILEVERBOSE("Allocating registers done: ");
1462 # if defined(ENABLE_INTRP)
1463         }
1464 # endif
1465 #endif /* defined(ENABLE_JIT) */
1466         RT_TIMING_GET_TIME(time_alloc);
1467
1468         /* Allocate memory for basic block profiling information. This
1469            _must_ be done after loop optimization and register allocation,
1470            since they can change the basic block count. */
1471
1472         if (JITDATA_HAS_FLAG_INSTRUMENT(jd))
1473                 code->bbfrequency = MNEW(u4, jd->basicblockcount);
1474
1475         DEBUG_JIT_COMPILEVERBOSE("Generating code: ");
1476
1477         /* now generate the machine code */
1478
1479 #if defined(ENABLE_JIT)
1480 # if defined(ENABLE_INTRP)
1481         if (opt_intrp) {
1482 #if defined(ENABLE_VERIFIER)
1483                 if (opt_verify) {
1484                         DEBUG_JIT_COMPILEVERBOSE("Typechecking (stackbased): ");
1485
1486                         if (!typecheck_stackbased(jd)) {
1487                                 DEBUG_JIT_COMPILEVERBOSE("Exception while typechecking (stackbased): ");
1488                                 return NULL;
1489                         }
1490                 }
1491 #endif
1492                 if (!intrp_codegen(jd)) {
1493                         DEBUG_JIT_COMPILEVERBOSE("Exception while generating code: ");
1494
1495                         return NULL;
1496                 }
1497         } else
1498 # endif
1499                 {
1500                         if (!codegen(jd)) {
1501                                 DEBUG_JIT_COMPILEVERBOSE("Exception while generating code: ");
1502
1503                                 return NULL;
1504                         }
1505                 }
1506 #else
1507         if (!intrp_codegen(jd)) {
1508                 DEBUG_JIT_COMPILEVERBOSE("Exception while generating code: ");
1509
1510                 return NULL;
1511         }
1512 #endif
1513         RT_TIMING_GET_TIME(time_codegen);
1514
1515         DEBUG_JIT_COMPILEVERBOSE("Generating code done: ");
1516
1517 #if !defined(NDEBUG)
1518         /* intermediate and assembly code listings */
1519
1520         if (JITDATA_HAS_FLAG_SHOWINTERMEDIATE(jd)) {
1521                 show_method(jd, SHOW_CODE);
1522         }
1523         else if (JITDATA_HAS_FLAG_SHOWDISASSEMBLE(jd)) {
1524 # if defined(ENABLE_DISASSEMBLER)
1525                 DISASSEMBLE(code->entrypoint,
1526                                         code->entrypoint + (code->mcodelength - cd->dseglen));
1527 # endif
1528         }
1529
1530         if (opt_showddatasegment)
1531                 dseg_display(jd);
1532 #endif
1533
1534         DEBUG_JIT_COMPILEVERBOSE("Compiling done: ");
1535
1536         /* switch to the newly generated code */
1537
1538         assert(code);
1539         assert(code->entrypoint);
1540
1541         /* add the current compile version to the methodinfo */
1542
1543         code->prev = m->code;
1544         m->code = code;
1545
1546         RT_TIMING_TIME_DIFF(time_start,time_checks,RT_TIMING_JIT_CHECKS);
1547         RT_TIMING_TIME_DIFF(time_checks,time_parse,RT_TIMING_JIT_PARSE);
1548         RT_TIMING_TIME_DIFF(time_parse,time_stack,RT_TIMING_JIT_STACK);
1549         RT_TIMING_TIME_DIFF(time_stack,time_typecheck,RT_TIMING_JIT_TYPECHECK);
1550         RT_TIMING_TIME_DIFF(time_typecheck,time_loop,RT_TIMING_JIT_LOOP);
1551         RT_TIMING_TIME_DIFF(time_loop,time_alloc,RT_TIMING_JIT_ALLOC);
1552         RT_TIMING_TIME_DIFF(time_alloc,time_codegen,RT_TIMING_JIT_CODEGEN);
1553         RT_TIMING_TIME_DIFF(time_start,time_codegen,RT_TIMING_JIT_TOTAL);
1554
1555         /* return pointer to the methods entry point */
1556
1557         return code->entrypoint;
1558 }
1559
1560
1561 /* jit_invalidate_code *********************************************************
1562
1563    Mark the compiled code of the given method as invalid and take care that
1564    it is replaced if necessary.
1565
1566    XXX Not fully implemented, yet.
1567
1568 *******************************************************************************/
1569
1570 void jit_invalidate_code(methodinfo *m)
1571 {
1572         codeinfo *code;
1573
1574         code = m->code;
1575         if (code == NULL || CODE_IS_INVALID(code))
1576                 return;
1577
1578         CODE_SETFLAG_INVALID(code);
1579
1580         /* activate mappable replacement points */
1581
1582 #if defined(ENABLE_REPLACEMENT)
1583         replace_activate_replacement_points(code, true);
1584 #else
1585         vm_abort("invalidating code only works with ENABLE_REPLACEMENT");
1586 #endif
1587 }
1588
1589
1590 /* jit_request_optimization ****************************************************
1591
1592    Request optimization of the given method. If the code of the method is
1593    unoptimized, it will be invalidated, so the next jit_get_current_code(m)
1594    triggers an optimized recompilation.
1595    If the method is already optimized, this function does nothing.
1596
1597    IN:
1598        m................the method
1599
1600 *******************************************************************************/
1601
1602 void jit_request_optimization(methodinfo *m)
1603 {
1604         codeinfo *code;
1605
1606         code = m->code;
1607
1608         if (code && code->optlevel == 0)
1609                 jit_invalidate_code(m);
1610 }
1611
1612
1613 /* jit_get_current_code ********************************************************
1614
1615    Get the currently valid code for the given method. If there is no valid
1616    code, (re)compile the method.
1617
1618    IN:
1619        m................the method
1620
1621    RETURN VALUE:
1622        the codeinfo* for the current code, or
1623            NULL if an exception has been thrown during recompilation.
1624
1625 *******************************************************************************/
1626
1627 codeinfo *jit_get_current_code(methodinfo *m)
1628 {
1629         assert(m);
1630
1631         /* if we have valid code, return it */
1632
1633         if (m->code && CODE_IS_VALID(m->code))
1634                 return m->code;
1635
1636         /* otherwise: recompile */
1637
1638         if (!jit_recompile(m))
1639                 return NULL;
1640
1641         assert(m->code);
1642
1643         return m->code;
1644 }
1645
1646
1647 /* jit_asm_compile *************************************************************
1648
1649    This method is called from asm_vm_call_method and does:
1650
1651      - create stackframe info for exceptions
1652      - compile the method
1653      - patch the entrypoint of the method into the calculated address in
1654        the JIT code
1655      - flushes the instruction cache.
1656
1657 *******************************************************************************/
1658
1659 #if defined(ENABLE_JIT)
1660 u1 *jit_asm_compile(methodinfo *m, u1 *mptr, u1 *sp, u1 *ra)
1661 {
1662         stackframeinfo  sfi;
1663         u1             *entrypoint;
1664         u1             *pa;
1665         ptrint         *p;
1666
1667         /* create the stackframeinfo (subtract 1 from RA as it points to the */
1668         /* instruction after the call)                                       */
1669
1670         stacktrace_create_extern_stackframeinfo(&sfi, NULL, sp, ra, ra-1);
1671
1672         /* actually compile the method */
1673
1674         entrypoint = jit_compile(m);
1675
1676         /* remove the stackframeinfo */
1677
1678         stacktrace_remove_stackframeinfo(&sfi);
1679
1680         /* there was a problem during compilation */
1681
1682         if (entrypoint == NULL)
1683                 return NULL;
1684
1685         /* get the method patch address */
1686
1687         pa = md_get_method_patch_address(ra, &sfi, mptr);
1688
1689         /* patch the method entry point */
1690
1691         p = (ptrint *) pa;
1692
1693         *p = (ptrint) entrypoint;
1694
1695         /* flush the instruction cache */
1696
1697         md_icacheflush(pa, SIZEOF_VOID_P);
1698
1699         return entrypoint;
1700 }
1701 #endif /* defined(ENABLE_JIT) */
1702
1703
1704 /* jit_complement_condition ****************************************************
1705
1706    Returns the complement of the passed conditional instruction.
1707
1708    We use the order of the different conditions, e.g.:
1709
1710    ICMD_IFEQ         153
1711    ICMD_IFNE         154
1712
1713    If the passed opcode is odd, we simply add 1 to get the complement.
1714    If the opcode is even, we subtract 1.
1715
1716    Exception:
1717
1718    ICMD_IFNULL       198
1719    ICMD_IFNONNULL    199
1720
1721 *******************************************************************************/
1722
1723 s4 jit_complement_condition(s4 opcode)
1724 {
1725         switch (opcode) {
1726         case ICMD_IFNULL:
1727                 return ICMD_IFNONNULL;
1728
1729         case ICMD_IFNONNULL:
1730                 return ICMD_IFNULL;
1731
1732         default:
1733                 /* check if opcode is odd */
1734
1735                 if (opcode & 0x1)
1736                         return opcode + 1;
1737                 else
1738                         return opcode - 1;
1739         }
1740 }
1741
1742
1743 /* jit_renumber_basicblocks ****************************************************
1744
1745    Set the ->nr of all blocks so it increases when traversing ->next.
1746
1747    IN:
1748        jitdata..........the current jitdata
1749
1750 *******************************************************************************/
1751
1752 void jit_renumber_basicblocks(jitdata *jd)
1753 {
1754         s4          nr;
1755         basicblock *bptr;
1756
1757         nr = 0;
1758         for (bptr = jd->basicblocks; bptr != NULL; bptr = bptr->next) {
1759                 bptr->nr = nr++;
1760         }
1761
1762         /* we have one block more than jd->basicblockcount (the end marker) */
1763
1764         assert(nr == jd->basicblockcount + 1);
1765 }
1766
1767
1768 /* jit_check_basicblock_numbers ************************************************
1769
1770    Assert that the ->nr of the first block is zero and increases by 1 each
1771    time ->next is traversed.
1772    This function should be called before any analysis that relies on
1773    the basicblock numbers.
1774
1775    IN:
1776        jitdata..........the current jitdata
1777
1778    NOTE: Aborts with an assertion if the condition is not met!
1779
1780 *******************************************************************************/
1781
1782 #if !defined(NDEBUG)
1783 void jit_check_basicblock_numbers(jitdata *jd)
1784 {
1785         s4          nr;
1786         basicblock *bptr;
1787
1788         nr = 0;
1789         for (bptr = jd->basicblocks; bptr != NULL; bptr = bptr->next) {
1790                 assert(bptr->nr == nr);
1791                 nr++;
1792         }
1793
1794         /* we have one block more than jd->basicblockcount (the end marker) */
1795
1796         assert(nr == jd->basicblockcount + 1);
1797 }
1798 #endif /* !defined(NDEBUG) */
1799
1800
1801 /*
1802  * These are local overrides for various environment variables in Emacs.
1803  * Please do not remove this and leave it at the end of the file, where
1804  * Emacs will automagically detect them.
1805  * ---------------------------------------------------------------------
1806  * Local variables:
1807  * mode: c
1808  * indent-tabs-mode: t
1809  * c-basic-offset: 4
1810  * tab-width: 4
1811  * End:
1812  * vim:noexpandtab:sw=4:ts=4:
1813  */