rev 4899 : 8019519: PPC64 (part 105): C interpreter: implement support for jvmti early return.

   1 /*
   2  * Copyright (c) 2002, 2012, Oracle and/or its affiliates. All rights reserved.
   3  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
   4  *
   5  * This code is free software; you can redistribute it and/or modify it
   6  * under the terms of the GNU General Public License version 2 only, as
   7  * published by the Free Software Foundation.
   8  *
   9  * This code is distributed in the hope that it will be useful, but WITHOUT
  10  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
  11  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
  12  * version 2 for more details (a copy is included in the LICENSE file that
  13  * accompanied this code).
  14  *
  15  * You should have received a copy of the GNU General Public License version
  16  * 2 along with this work; if not, write to the Free Software Foundation,
  17  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
  18  *
  19  * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
  20  * or visit www.oracle.com if you need additional information or have any
  21  * questions.
  22  *
  23  */
  24 
  25 #ifndef SHARE_VM_INTERPRETER_BYTECODEINTERPRETER_HPP
  26 #define SHARE_VM_INTERPRETER_BYTECODEINTERPRETER_HPP
  27 
  28 #include "memory/allocation.hpp"
  29 #include "oops/methodData.hpp"
  30 #include "oops/method.hpp"
  31 #include "runtime/basicLock.hpp"
  32 #include "runtime/frame.hpp"
  33 #include "runtime/globals.hpp"
  34 #include "utilities/globalDefinitions.hpp"
  35 #ifdef TARGET_ARCH_x86
  36 # include "bytes_x86.hpp"
  37 #endif
  38 #ifdef TARGET_ARCH_sparc
  39 # include "bytes_sparc.hpp"
  40 #endif
  41 #ifdef TARGET_ARCH_zero
  42 # include "bytes_zero.hpp"
  43 #endif
  44 #ifdef TARGET_ARCH_arm
  45 # include "bytes_arm.hpp"
  46 #endif
  47 #ifdef TARGET_ARCH_ppc
  48 # include "bytes_ppc.hpp"
  49 #endif
  50 
  51 #ifdef CC_INTERP
  52 
  53 // JavaStack Implementation
  54 #define MORE_STACK(count)  \
  55     (topOfStack -= ((count) * Interpreter::stackElementWords))
  56 
  57 // CVM definitions find hotspot equivalents...
  58 
  59 union VMJavaVal64 {
  60     jlong   l;
  61     jdouble d;
  62     uint32_t      v[2];
  63 };
  64 
  65 
  66 typedef class BytecodeInterpreter* interpreterState;
  67 
  68 struct call_message {
  69     class Method* _callee;    /* method to call during call_method request */
  70     address   _callee_entry_point;   /* address to jump to for call_method request */
  71     int       _bcp_advance;          /* size of the invoke bytecode operation */
  72 };
  73 
  74 struct osr_message {
  75     address _osr_buf;                 /* the osr buffer */
  76     address _osr_entry;               /* the entry to the osr method */
  77 };
  78 
  79 struct osr_result {
  80   nmethod* nm;                       /* osr nmethod */
  81   address return_addr;               /* osr blob return address */
  82 };
  83 
  84 // Result returned to frame manager
  85 union frame_manager_message {
  86     call_message _to_call;            /* describes callee */
  87     Bytecodes::Code _return_kind;     /* i_return, a_return, ... */
  88     osr_message _osr;                 /* describes the osr */
  89     osr_result _osr_result;           /* result of OSR request */
  90 };
  91 
  92 class BytecodeInterpreter : StackObj {
  93 friend class SharedRuntime;
  94 friend class AbstractInterpreterGenerator;
  95 friend class CppInterpreterGenerator;
  96 friend class InterpreterGenerator;
  97 friend class InterpreterMacroAssembler;
  98 friend class frame;
  99 friend class VMStructs;
 100 
 101 public:
 102     enum messages {
 103          no_request = 0,            // unused
 104          initialize,                // Perform one time interpreter initializations (assumes all switches set)
 105          // status message to C++ interpreter
 106          method_entry,              // initial method entry to interpreter
 107          method_resume,             // frame manager response to return_from_method request (assuming a frame to resume)
 108          deopt_resume,              // returning from a native call into a deopted frame
 109          deopt_resume2,             // deopt resume as a result of a PopFrame
 110          got_monitors,              // frame manager response to more_monitors request
 111          rethrow_exception,         // unwinding and throwing exception
 112          // requests to frame manager from C++ interpreter
 113          call_method,               // request for new frame from interpreter, manager responds with method_entry
 114          return_from_method,        // request from interpreter to unwind, manager responds with method_continue
 115          more_monitors,             // need a new monitor
 116          throwing_exception,        // unwind stack and rethrow
 117          popping_frame,             // unwind call and retry call
 118          do_osr                     // request this invocation be OSR's

 119     };
 120 
 121 private:
 122     JavaThread*           _thread;        // the vm's java thread pointer
 123     address               _bcp;           // instruction pointer
 124     intptr_t*             _locals;        // local variable pointer
 125     ConstantPoolCache*    _constants;     // constant pool cache
 126     Method*               _method;        // method being executed
 127     DataLayout*           _mdx;           // compiler profiling data for current bytecode
 128     intptr_t*             _stack;         // expression stack
 129     messages              _msg;           // frame manager <-> interpreter message
 130     frame_manager_message _result;        // result to frame manager
 131     interpreterState      _prev_link;     // previous interpreter state
 132     oop                   _oop_temp;      // mirror for interpreted native, null otherwise
 133     intptr_t*             _stack_base;    // base of expression stack
 134     intptr_t*             _stack_limit;   // limit of expression stack
 135     BasicObjectLock*      _monitor_base;  // base of monitors on the native stack
 136 
 137 
 138 public:
 139   // Constructor is only used by the initialization step. All other instances are created
 140   // by the frame manager.
 141   BytecodeInterpreter(messages msg);
 142 
 143 //
 144 // Deoptimization support
 145 //
 146 static void layout_interpreterState(interpreterState to_fill,
 147                                     frame* caller,
 148                                     frame* interpreter_frame,
 149                                     Method* method,
 150                                     intptr_t* locals,
 151                                     intptr_t* stack,
 152                                     intptr_t* stack_base,
 153                                     intptr_t* monitor_base,
 154                                     intptr_t* frame_bottom,
 155                                     bool top_frame);
 156 
 157 /*
 158  * Generic 32-bit wide "Java slot" definition. This type occurs
 159  * in operand stacks, Java locals, object fields, constant pools.
 160  */
 161 union VMJavaVal32 {
 162     jint     i;
 163     jfloat   f;
 164     class oopDesc*   r;
 165     uint32_t raw;
 166 };
 167 
 168 /*
 169  * Generic 64-bit Java value definition
 170  */
 171 union VMJavaVal64 {
 172     jlong   l;
 173     jdouble d;
 174     uint32_t      v[2];
 175 };
 176 
 177 /*
 178  * Generic 32-bit wide "Java slot" definition. This type occurs
 179  * in Java locals, object fields, constant pools, and
 180  * operand stacks (as a CVMStackVal32).
 181  */
 182 typedef union VMSlotVal32 {
 183     VMJavaVal32    j;     /* For "Java" values */
 184     address        a;     /* a return created by jsr or jsr_w */
 185 } VMSlotVal32;
 186 
 187 
 188 /*
 189  * Generic 32-bit wide stack slot definition.
 190  */
 191 union VMStackVal32 {
 192     VMJavaVal32    j;     /* For "Java" values */
 193     VMSlotVal32    s;     /* any value from a "slot" or locals[] */
 194 };
 195 
 196 inline JavaThread* thread() { return _thread; }
 197 
 198 inline address bcp() { return _bcp; }
 199 inline void set_bcp(address new_bcp) { _bcp = new_bcp; }
 200 
 201 inline intptr_t* locals() { return _locals; }
 202 
 203 inline ConstantPoolCache* constants() { return _constants; }
 204 inline Method* method() { return _method; }
 205 inline DataLayout* mdx() { return _mdx; }
 206 inline void set_mdx(DataLayout *new_mdx) { _mdx = new_mdx; }
 207 
 208 inline messages msg() { return _msg; }
 209 inline void set_msg(messages new_msg) { _msg = new_msg; }
 210 
 211 inline Method* callee() { return _result._to_call._callee; }
 212 inline void set_callee(Method* new_callee) { _result._to_call._callee = new_callee; }
 213 inline void set_callee_entry_point(address entry) { _result._to_call._callee_entry_point = entry; }
 214 inline void set_osr_buf(address buf) { _result._osr._osr_buf = buf; }
 215 inline void set_osr_entry(address entry) { _result._osr._osr_entry = entry; }
 216 inline int bcp_advance() { return _result._to_call._bcp_advance; }
 217 inline void set_bcp_advance(int count) { _result._to_call._bcp_advance = count; }
 218 
 219 inline void set_return_kind(Bytecodes::Code kind) { _result._return_kind = kind; }
 220 
 221 inline interpreterState prev() { return _prev_link; }
 222 
 223 inline intptr_t* stack() { return _stack; }
 224 inline void set_stack(intptr_t* new_stack) { _stack = new_stack; }
 225 
 226 
 227 inline intptr_t* stack_base() { return _stack_base; }
 228 inline intptr_t* stack_limit() { return _stack_limit; }
 229 
 230 inline BasicObjectLock* monitor_base() { return _monitor_base; }
 231 
 232 /*
 233  * 64-bit Arithmetic:
 234  *
 235  * The functions below follow the semantics of the
 236  * ladd, land, ldiv, lmul, lor, lxor, and lrem bytecodes,
 237  * respectively.
 238  */
 239 
 240 static jlong VMlongAdd(jlong op1, jlong op2);
 241 static jlong VMlongAnd(jlong op1, jlong op2);
 242 static jlong VMlongDiv(jlong op1, jlong op2);
 243 static jlong VMlongMul(jlong op1, jlong op2);
 244 static jlong VMlongOr (jlong op1, jlong op2);
 245 static jlong VMlongSub(jlong op1, jlong op2);
 246 static jlong VMlongXor(jlong op1, jlong op2);
 247 static jlong VMlongRem(jlong op1, jlong op2);
 248 
 249 /*
 250  * Shift:
 251  *
 252  * The functions below follow the semantics of the
 253  * lushr, lshl, and lshr bytecodes, respectively.
 254  */
 255 
 256 static jlong VMlongUshr(jlong op1, jint op2);
 257 static jlong VMlongShl (jlong op1, jint op2);
 258 static jlong VMlongShr (jlong op1, jint op2);
 259 
 260 /*
 261  * Unary:
 262  *
 263  * Return the negation of "op" (-op), according to
 264  * the semantics of the lneg bytecode.
 265  */
 266 
 267 static jlong VMlongNeg(jlong op);
 268 
 269 /*
 270  * Return the complement of "op" (~op)
 271  */
 272 
 273 static jlong VMlongNot(jlong op);
 274 
 275 
 276 /*
 277  * Comparisons to 0:
 278  */
 279 
 280 static int32_t VMlongLtz(jlong op);     /* op <= 0 */
 281 static int32_t VMlongGez(jlong op);     /* op >= 0 */
 282 static int32_t VMlongEqz(jlong op);     /* op == 0 */
 283 
 284 /*
 285  * Between operands:
 286  */
 287 
 288 static int32_t VMlongEq(jlong op1, jlong op2);    /* op1 == op2 */
 289 static int32_t VMlongNe(jlong op1, jlong op2);    /* op1 != op2 */
 290 static int32_t VMlongGe(jlong op1, jlong op2);    /* op1 >= op2 */
 291 static int32_t VMlongLe(jlong op1, jlong op2);    /* op1 <= op2 */
 292 static int32_t VMlongLt(jlong op1, jlong op2);    /* op1 <  op2 */
 293 static int32_t VMlongGt(jlong op1, jlong op2);    /* op1 >  op2 */
 294 
 295 /*
 296  * Comparisons (returning an jint value: 0, 1, or -1)
 297  *
 298  * Between operands:
 299  *
 300  * Compare "op1" and "op2" according to the semantics of the
 301  * "lcmp" bytecode.
 302  */
 303 
 304 static int32_t VMlongCompare(jlong op1, jlong op2);
 305 
 306 /*
 307  * Convert int to long, according to "i2l" bytecode semantics
 308  */
 309 static jlong VMint2Long(jint val);
 310 
 311 /*
 312  * Convert long to int, according to "l2i" bytecode semantics
 313  */
 314 static jint VMlong2Int(jlong val);
 315 
 316 /*
 317  * Convert long to float, according to "l2f" bytecode semantics
 318  */
 319 static jfloat VMlong2Float(jlong val);
 320 
 321 /*
 322  * Convert long to double, according to "l2d" bytecode semantics
 323  */
 324 static jdouble VMlong2Double(jlong val);
 325 
 326 /*
 327  * Java floating-point float value manipulation.
 328  *
 329  * The result argument is, once again, an lvalue.
 330  *
 331  * Arithmetic:
 332  *
 333  * The functions below follow the semantics of the
 334  * fadd, fsub, fmul, fdiv, and frem bytecodes,
 335  * respectively.
 336  */
 337 
 338 static jfloat VMfloatAdd(jfloat op1, jfloat op2);
 339 static jfloat VMfloatSub(jfloat op1, jfloat op2);
 340 static jfloat VMfloatMul(jfloat op1, jfloat op2);
 341 static jfloat VMfloatDiv(jfloat op1, jfloat op2);
 342 static jfloat VMfloatRem(jfloat op1, jfloat op2);
 343 
 344 /*
 345  * Unary:
 346  *
 347  * Return the negation of "op" (-op), according to
 348  * the semantics of the fneg bytecode.
 349  */
 350 
 351 static jfloat VMfloatNeg(jfloat op);
 352 
 353 /*
 354  * Comparisons (returning an int value: 0, 1, or -1)
 355  *
 356  * Between operands:
 357  *
 358  * Compare "op1" and "op2" according to the semantics of the
 359  * "fcmpl" (direction is -1) or "fcmpg" (direction is 1) bytecodes.
 360  */
 361 
 362 static int32_t VMfloatCompare(jfloat op1, jfloat op2,
 363                               int32_t direction);
 364 /*
 365  * Conversion:
 366  */
 367 
 368 /*
 369  * Convert float to double, according to "f2d" bytecode semantics
 370  */
 371 
 372 static jdouble VMfloat2Double(jfloat op);
 373 
 374 /*
 375  ******************************************
 376  * Java double floating-point manipulation.
 377  ******************************************
 378  *
 379  * The result argument is, once again, an lvalue.
 380  *
 381  * Conversions:
 382  */
 383 
 384 /*
 385  * Convert double to int, according to "d2i" bytecode semantics
 386  */
 387 
 388 static jint VMdouble2Int(jdouble val);
 389 
 390 /*
 391  * Convert double to float, according to "d2f" bytecode semantics
 392  */
 393 
 394 static jfloat VMdouble2Float(jdouble val);
 395 
 396 /*
 397  * Convert int to double, according to "i2d" bytecode semantics
 398  */
 399 
 400 static jdouble VMint2Double(jint val);
 401 
 402 /*
 403  * Arithmetic:
 404  *
 405  * The functions below follow the semantics of the
 406  * dadd, dsub, ddiv, dmul, and drem bytecodes, respectively.
 407  */
 408 
 409 static jdouble VMdoubleAdd(jdouble op1, jdouble op2);
 410 static jdouble VMdoubleSub(jdouble op1, jdouble op2);
 411 static jdouble VMdoubleDiv(jdouble op1, jdouble op2);
 412 static jdouble VMdoubleMul(jdouble op1, jdouble op2);
 413 static jdouble VMdoubleRem(jdouble op1, jdouble op2);
 414 
 415 /*
 416  * Unary:
 417  *
 418  * Return the negation of "op" (-op), according to
 419  * the semantics of the dneg bytecode.
 420  */
 421 
 422 static jdouble VMdoubleNeg(jdouble op);
 423 
 424 /*
 425  * Comparisons (returning an int32_t value: 0, 1, or -1)
 426  *
 427  * Between operands:
 428  *
 429  * Compare "op1" and "op2" according to the semantics of the
 430  * "dcmpl" (direction is -1) or "dcmpg" (direction is 1) bytecodes.
 431  */
 432 
 433 static int32_t VMdoubleCompare(jdouble op1, jdouble op2, int32_t direction);
 434 
 435 /*
 436  * Copy two typeless 32-bit words from one location to another.
 437  * This is semantically equivalent to:
 438  *
 439  * to[0] = from[0];
 440  * to[1] = from[1];
 441  *
 442  * but this interface is provided for those platforms that could
 443  * optimize this into a single 64-bit transfer.
 444  */
 445 
 446 static void VMmemCopy64(uint32_t to[2], const uint32_t from[2]);
 447 
 448 
 449 // Arithmetic operations
 450 
 451 /*
 452  * Java arithmetic methods.
 453  * The functions below follow the semantics of the
 454  * iadd, isub, imul, idiv, irem, iand, ior, ixor,
 455  * and ineg bytecodes, respectively.
 456  */
 457 
 458 static jint VMintAdd(jint op1, jint op2);
 459 static jint VMintSub(jint op1, jint op2);
 460 static jint VMintMul(jint op1, jint op2);
 461 static jint VMintDiv(jint op1, jint op2);
 462 static jint VMintRem(jint op1, jint op2);
 463 static jint VMintAnd(jint op1, jint op2);
 464 static jint VMintOr (jint op1, jint op2);
 465 static jint VMintXor(jint op1, jint op2);
 466 
 467 /*
 468  * Shift Operation:
 469  * The functions below follow the semantics of the
 470  * iushr, ishl, and ishr bytecodes, respectively.
 471  */
 472 
 473 static juint VMintUshr(jint op, jint num);
 474 static jint VMintShl (jint op, jint num);
 475 static jint VMintShr (jint op, jint num);
 476 
 477 /*
 478  * Unary Operation:
 479  *
 480  * Return the negation of "op" (-op), according to
 481  * the semantics of the ineg bytecode.
 482  */
 483 
 484 static jint VMintNeg(jint op);
 485 
 486 /*
 487  * Int Conversions:
 488  */
 489 
 490 /*
 491  * Convert int to float, according to "i2f" bytecode semantics
 492  */
 493 
 494 static jfloat VMint2Float(jint val);
 495 
 496 /*
 497  * Convert int to byte, according to "i2b" bytecode semantics
 498  */
 499 
 500 static jbyte VMint2Byte(jint val);
 501 
 502 /*
 503  * Convert int to char, according to "i2c" bytecode semantics
 504  */
 505 
 506 static jchar VMint2Char(jint val);
 507 
 508 /*
 509  * Convert int to short, according to "i2s" bytecode semantics
 510  */
 511 
 512 static jshort VMint2Short(jint val);
 513 
 514 /*=========================================================================
 515  * Bytecode interpreter operations
 516  *=======================================================================*/
 517 
 518 static void dup(intptr_t *tos);
 519 static void dup2(intptr_t *tos);
 520 static void dup_x1(intptr_t *tos);    /* insert top word two down */
 521 static void dup_x2(intptr_t *tos);    /* insert top word three down  */
 522 static void dup2_x1(intptr_t *tos);   /* insert top 2 slots three down */
 523 static void dup2_x2(intptr_t *tos);   /* insert top 2 slots four down */
 524 static void swap(intptr_t *tos);      /* swap top two elements */
 525 
 526 // umm don't like this method modifies its object
 527 
 528 // The Interpreter used when
 529 static void run(interpreterState istate);
 530 // The interpreter used if JVMTI needs interpreter events
 531 static void runWithChecks(interpreterState istate);
 532 static void End_Of_Interpreter(void);
 533 
 534 // Inline static functions for Java Stack and Local manipulation
 535 
 536 static address stack_slot(intptr_t *tos, int offset);
 537 static jint stack_int(intptr_t *tos, int offset);
 538 static jfloat stack_float(intptr_t *tos, int offset);
 539 static oop stack_object(intptr_t *tos, int offset);
 540 static jdouble stack_double(intptr_t *tos, int offset);
 541 static jlong stack_long(intptr_t *tos, int offset);
 542 
 543 // only used for value types
 544 static void set_stack_slot(intptr_t *tos, address value, int offset);
 545 static void set_stack_int(intptr_t *tos, int value, int offset);
 546 static void set_stack_float(intptr_t *tos, jfloat value, int offset);
 547 static void set_stack_object(intptr_t *tos, oop value, int offset);
 548 
 549 // needs to be platform dep for the 32 bit platforms.
 550 static void set_stack_double(intptr_t *tos, jdouble value, int offset);
 551 static void set_stack_long(intptr_t *tos, jlong value, int offset);
 552 
 553 static void set_stack_double_from_addr(intptr_t *tos, address addr, int offset);
 554 static void set_stack_long_from_addr(intptr_t *tos, address addr, int offset);
 555 
 556 // Locals
 557 
 558 static address locals_slot(intptr_t* locals, int offset);
 559 static jint locals_int(intptr_t* locals, int offset);
 560 static jfloat locals_float(intptr_t* locals, int offset);
 561 static oop locals_object(intptr_t* locals, int offset);
 562 static jdouble locals_double(intptr_t* locals, int offset);
 563 static jlong locals_long(intptr_t* locals, int offset);
 564 
 565 static address locals_long_at(intptr_t* locals, int offset);
 566 static address locals_double_at(intptr_t* locals, int offset);
 567 
 568 static void set_locals_slot(intptr_t *locals, address value, int offset);
 569 static void set_locals_int(intptr_t *locals, jint value, int offset);
 570 static void set_locals_float(intptr_t *locals, jfloat value, int offset);
 571 static void set_locals_object(intptr_t *locals, oop value, int offset);
 572 static void set_locals_double(intptr_t *locals, jdouble value, int offset);
 573 static void set_locals_long(intptr_t *locals, jlong value, int offset);
 574 static void set_locals_double_from_addr(intptr_t *locals,
 575                                    address addr, int offset);
 576 static void set_locals_long_from_addr(intptr_t *locals,
 577                                    address addr, int offset);
 578 
 579 static void astore(intptr_t* topOfStack, int stack_offset,
 580                    intptr_t* locals,     int locals_offset);
 581 
 582 // Support for dup and swap
 583 static void copy_stack_slot(intptr_t *tos, int from_offset, int to_offset);
 584 
 585 #ifndef PRODUCT
 586 static const char* C_msg(BytecodeInterpreter::messages msg);
 587 void print();
 588 #endif // PRODUCT
 589 
 590     // Platform fields/methods
 591 #ifdef TARGET_ARCH_x86
 592 # include "bytecodeInterpreter_x86.hpp"
 593 #endif
 594 #ifdef TARGET_ARCH_sparc
 595 # include "bytecodeInterpreter_sparc.hpp"
 596 #endif
 597 #ifdef TARGET_ARCH_zero
 598 # include "bytecodeInterpreter_zero.hpp"
 599 #endif
 600 #ifdef TARGET_ARCH_arm
 601 # include "bytecodeInterpreter_arm.hpp"
 602 #endif
 603 #ifdef TARGET_ARCH_ppc
 604 # include "bytecodeInterpreter_ppc.hpp"
 605 #endif
 606 
 607 
 608 }; // BytecodeInterpreter
 609 
 610 #endif // CC_INTERP
 611 
 612 #endif // SHARE_VM_INTERPRETER_BYTECODEINTERPRETER_HPP
--- EOF ---