bytecodeInterpreter.hpp revision 3802:a3e2f723f2a5
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 59union VMJavaVal64 { 60 jlong l; 61 jdouble d; 62 uint32_t v[2]; 63}; 64 65 66typedef class BytecodeInterpreter* interpreterState; 67 68struct 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 74struct osr_message { 75 address _osr_buf; /* the osr buffer */ 76 address _osr_entry; /* the entry to the osr method */ 77}; 78 79struct osr_result { 80 nmethod* nm; /* osr nmethod */ 81 address return_addr; /* osr blob return address */ 82}; 83 84// Result returned to frame manager 85union 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 92class BytecodeInterpreter : StackObj { 93friend class SharedRuntime; 94friend class AbstractInterpreterGenerator; 95friend class CppInterpreterGenerator; 96friend class InterpreterGenerator; 97friend class InterpreterMacroAssembler; 98friend class frame; 99friend class VMStructs; 100 101public: 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 121private: 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 138public: 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// 146static 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 */ 161union 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 */ 171union 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 */ 182typedef 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 */ 191union VMStackVal32 { 192 VMJavaVal32 j; /* For "Java" values */ 193 VMSlotVal32 s; /* any value from a "slot" or locals[] */ 194}; 195 196inline JavaThread* thread() { return _thread; } 197 198inline address bcp() { return _bcp; } 199inline void set_bcp(address new_bcp) { _bcp = new_bcp; } 200 201inline intptr_t* locals() { return _locals; } 202 203inline ConstantPoolCache* constants() { return _constants; } 204inline Method* method() { return _method; } 205inline DataLayout* mdx() { return _mdx; } 206inline void set_mdx(DataLayout *new_mdx) { _mdx = new_mdx; } 207 208inline messages msg() { return _msg; } 209inline void set_msg(messages new_msg) { _msg = new_msg; } 210 211inline Method* callee() { return _result._to_call._callee; } 212inline void set_callee(Method* new_callee) { _result._to_call._callee = new_callee; } 213inline void set_callee_entry_point(address entry) { _result._to_call._callee_entry_point = entry; } 214inline void set_osr_buf(address buf) { _result._osr._osr_buf = buf; } 215inline void set_osr_entry(address entry) { _result._osr._osr_entry = entry; } 216inline int bcp_advance() { return _result._to_call._bcp_advance; } 217inline void set_bcp_advance(int count) { _result._to_call._bcp_advance = count; } 218 219inline void set_return_kind(Bytecodes::Code kind) { _result._return_kind = kind; } 220 221inline interpreterState prev() { return _prev_link; } 222 223inline intptr_t* stack() { return _stack; } 224inline void set_stack(intptr_t* new_stack) { _stack = new_stack; } 225 226 227inline intptr_t* stack_base() { return _stack_base; } 228inline intptr_t* stack_limit() { return _stack_limit; } 229 230inline 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 240static jlong VMlongAdd(jlong op1, jlong op2); 241static jlong VMlongAnd(jlong op1, jlong op2); 242static jlong VMlongDiv(jlong op1, jlong op2); 243static jlong VMlongMul(jlong op1, jlong op2); 244static jlong VMlongOr (jlong op1, jlong op2); 245static jlong VMlongSub(jlong op1, jlong op2); 246static jlong VMlongXor(jlong op1, jlong op2); 247static 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 256static jlong VMlongUshr(jlong op1, jint op2); 257static jlong VMlongShl (jlong op1, jint op2); 258static 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 267static jlong VMlongNeg(jlong op); 268 269/* 270 * Return the complement of "op" (~op) 271 */ 272 273static jlong VMlongNot(jlong op); 274 275 276/* 277 * Comparisons to 0: 278 */ 279 280static int32_t VMlongLtz(jlong op); /* op <= 0 */ 281static int32_t VMlongGez(jlong op); /* op >= 0 */ 282static int32_t VMlongEqz(jlong op); /* op == 0 */ 283 284/* 285 * Between operands: 286 */ 287 288static int32_t VMlongEq(jlong op1, jlong op2); /* op1 == op2 */ 289static int32_t VMlongNe(jlong op1, jlong op2); /* op1 != op2 */ 290static int32_t VMlongGe(jlong op1, jlong op2); /* op1 >= op2 */ 291static int32_t VMlongLe(jlong op1, jlong op2); /* op1 <= op2 */ 292static int32_t VMlongLt(jlong op1, jlong op2); /* op1 < op2 */ 293static 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 304static int32_t VMlongCompare(jlong op1, jlong op2); 305 306/* 307 * Convert int to long, according to "i2l" bytecode semantics 308 */ 309static jlong VMint2Long(jint val); 310 311/* 312 * Convert long to int, according to "l2i" bytecode semantics 313 */ 314static jint VMlong2Int(jlong val); 315 316/* 317 * Convert long to float, according to "l2f" bytecode semantics 318 */ 319static jfloat VMlong2Float(jlong val); 320 321/* 322 * Convert long to double, according to "l2d" bytecode semantics 323 */ 324static 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 338static jfloat VMfloatAdd(jfloat op1, jfloat op2); 339static jfloat VMfloatSub(jfloat op1, jfloat op2); 340static jfloat VMfloatMul(jfloat op1, jfloat op2); 341static jfloat VMfloatDiv(jfloat op1, jfloat op2); 342static 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 351static 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 362static 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 372static 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 388static jint VMdouble2Int(jdouble val); 389 390/* 391 * Convert double to float, according to "d2f" bytecode semantics 392 */ 393 394static jfloat VMdouble2Float(jdouble val); 395 396/* 397 * Convert int to double, according to "i2d" bytecode semantics 398 */ 399 400static 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 409static jdouble VMdoubleAdd(jdouble op1, jdouble op2); 410static jdouble VMdoubleSub(jdouble op1, jdouble op2); 411static jdouble VMdoubleDiv(jdouble op1, jdouble op2); 412static jdouble VMdoubleMul(jdouble op1, jdouble op2); 413static 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 422static 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 433static 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 446static 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 458static jint VMintAdd(jint op1, jint op2); 459static jint VMintSub(jint op1, jint op2); 460static jint VMintMul(jint op1, jint op2); 461static jint VMintDiv(jint op1, jint op2); 462static jint VMintRem(jint op1, jint op2); 463static jint VMintAnd(jint op1, jint op2); 464static jint VMintOr (jint op1, jint op2); 465static 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 473static juint VMintUshr(jint op, jint num); 474static jint VMintShl (jint op, jint num); 475static 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 484static jint VMintNeg(jint op); 485 486/* 487 * Int Conversions: 488 */ 489 490/* 491 * Convert int to float, according to "i2f" bytecode semantics 492 */ 493 494static jfloat VMint2Float(jint val); 495 496/* 497 * Convert int to byte, according to "i2b" bytecode semantics 498 */ 499 500static jbyte VMint2Byte(jint val); 501 502/* 503 * Convert int to char, according to "i2c" bytecode semantics 504 */ 505 506static jchar VMint2Char(jint val); 507 508/* 509 * Convert int to short, according to "i2s" bytecode semantics 510 */ 511 512static jshort VMint2Short(jint val); 513 514/*========================================================================= 515 * Bytecode interpreter operations 516 *=======================================================================*/ 517 518static void dup(intptr_t *tos); 519static void dup2(intptr_t *tos); 520static void dup_x1(intptr_t *tos); /* insert top word two down */ 521static void dup_x2(intptr_t *tos); /* insert top word three down */ 522static void dup2_x1(intptr_t *tos); /* insert top 2 slots three down */ 523static void dup2_x2(intptr_t *tos); /* insert top 2 slots four down */ 524static 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 529static void run(interpreterState istate); 530// The interpreter used if JVMTI needs interpreter events 531static void runWithChecks(interpreterState istate); 532static void End_Of_Interpreter(void); 533 534// Inline static functions for Java Stack and Local manipulation 535 536static address stack_slot(intptr_t *tos, int offset); 537static jint stack_int(intptr_t *tos, int offset); 538static jfloat stack_float(intptr_t *tos, int offset); 539static oop stack_object(intptr_t *tos, int offset); 540static jdouble stack_double(intptr_t *tos, int offset); 541static jlong stack_long(intptr_t *tos, int offset); 542 543// only used for value types 544static void set_stack_slot(intptr_t *tos, address value, int offset); 545static void set_stack_int(intptr_t *tos, int value, int offset); 546static void set_stack_float(intptr_t *tos, jfloat value, int offset); 547static void set_stack_object(intptr_t *tos, oop value, int offset); 548 549// needs to be platform dep for the 32 bit platforms. 550static void set_stack_double(intptr_t *tos, jdouble value, int offset); 551static void set_stack_long(intptr_t *tos, jlong value, int offset); 552 553static void set_stack_double_from_addr(intptr_t *tos, address addr, int offset); 554static void set_stack_long_from_addr(intptr_t *tos, address addr, int offset); 555 556// Locals 557 558static address locals_slot(intptr_t* locals, int offset); 559static jint locals_int(intptr_t* locals, int offset); 560static jfloat locals_float(intptr_t* locals, int offset); 561static oop locals_object(intptr_t* locals, int offset); 562static jdouble locals_double(intptr_t* locals, int offset); 563static jlong locals_long(intptr_t* locals, int offset); 564 565static address locals_long_at(intptr_t* locals, int offset); 566static address locals_double_at(intptr_t* locals, int offset); 567 568static void set_locals_slot(intptr_t *locals, address value, int offset); 569static void set_locals_int(intptr_t *locals, jint value, int offset); 570static void set_locals_float(intptr_t *locals, jfloat value, int offset); 571static void set_locals_object(intptr_t *locals, oop value, int offset); 572static void set_locals_double(intptr_t *locals, jdouble value, int offset); 573static void set_locals_long(intptr_t *locals, jlong value, int offset); 574static void set_locals_double_from_addr(intptr_t *locals, 575 address addr, int offset); 576static void set_locals_long_from_addr(intptr_t *locals, 577 address addr, int offset); 578 579static void astore(intptr_t* topOfStack, int stack_offset, 580 intptr_t* locals, int locals_offset); 581 582// Support for dup and swap 583static void copy_stack_slot(intptr_t *tos, int from_offset, int to_offset); 584 585#ifndef PRODUCT 586static const char* C_msg(BytecodeInterpreter::messages msg); 587void 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 613