graal-jvmci-8: src/share/vm/prims/methodHandleWalk.hpp annotate

annotate src/share/vm/prims/methodHandleWalk.hpp @ 3249:e1162778c1c8

7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error Summary: A referent object that is only weakly reachable at the start of concurrent marking but is re-attached to the strongly reachable object graph during marking may not be marked as live. This can cause the reference object to be processed prematurely and leave dangling pointers to the referent object. Implement a read barrier for the java.lang.ref.Reference::referent field by intrinsifying the Reference.get() method, and intercepting accesses though JNI, reflection, and Unsafe, so that when a non-null referent object is read it is also logged in an SATB buffer. Reviewed-by: kvn, iveresov, never, tonyp, dholmes

author	johnc
date	Thu, 07 Apr 2011 09:53:20 -0700
parents	8033953d67ff
children	328926869b15

rev	line source
1133 aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	1 /*
2357 8033953d67ff 7012648: move JSR 292 to package java.lang.invoke and adjust names jrose parents: 2177 diff changeset	2 * Copyright (c) 2008, 2011, Oracle and/or its affiliates. All rights reserved.
1133 aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	4 *
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	5 * This code is free software; you can redistribute it and/or modify it
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	6 * under the terms of the GNU General Public License version 2 only, as
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	7 * published by the Free Software Foundation.
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	8 *
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	9 * This code is distributed in the hope that it will be useful, but WITHOUT
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	12 * version 2 for more details (a copy is included in the LICENSE file that
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	13 * accompanied this code).
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	14 *
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	15 * You should have received a copy of the GNU General Public License version
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	16 * 2 along with this work; if not, write to the Free Software Foundation,
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	18 *
1552 c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories trims parents: 1152 diff changeset	19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories trims parents: 1152 diff changeset	20 * or visit www.oracle.com if you need additional information or have any
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories trims parents: 1152 diff changeset	21 * questions.
1133 aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	22 *
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	23 */
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	24
1972 f95d63e2154a 6989984: Use standard include model for Hospot stefank parents: 1552 diff changeset	25 #ifndef SHARE_VM_PRIMS_METHODHANDLEWALK_HPP
f95d63e2154a 6989984: Use standard include model for Hospot stefank parents: 1552 diff changeset	26 #define SHARE_VM_PRIMS_METHODHANDLEWALK_HPP
f95d63e2154a 6989984: Use standard include model for Hospot stefank parents: 1552 diff changeset	27
f95d63e2154a 6989984: Use standard include model for Hospot stefank parents: 1552 diff changeset	28 #include "prims/methodHandles.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot stefank parents: 1552 diff changeset	29
1133 aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	30 // Low-level parser for method handle chains.
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	31 class MethodHandleChain : StackObj {
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	32 public:
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	33 typedef MethodHandles::EntryKind EntryKind;
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	34
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	35 private:
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	36 Handle _root; // original target
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	37 Handle _method_handle; // current target
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	38 bool _is_last; // final guy in chain
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	39 bool _is_bound; // has a bound argument
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	40 BasicType _arg_type; // if is_bound, the bound argument type
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	41 int _arg_slot; // if is_bound or is_adapter, affected argument slot
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	42 jint _conversion; // conversion field of AMH or -1
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	43 methodHandle _last_method; // if is_last, which method we target
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	44 Bytecodes::Code _last_invoke; // if is_last, type of invoke
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	45 const char* _lose_message; // saved argument to lose()
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	46
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	47 void set_method_handle(Handle target, TRAPS);
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	48 void set_last_method(oop target, TRAPS);
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	49 static BasicType compute_bound_arg_type(oop target, methodOop m, int arg_slot, TRAPS);
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	50
2357 8033953d67ff 7012648: move JSR 292 to package java.lang.invoke and adjust names jrose parents: 2177 diff changeset	51 oop MethodHandle_type_oop() { return java_lang_invoke_MethodHandle::type(method_handle_oop()); }
8033953d67ff 7012648: move JSR 292 to package java.lang.invoke and adjust names jrose parents: 2177 diff changeset	52 oop MethodHandle_vmtarget_oop() { return java_lang_invoke_MethodHandle::vmtarget(method_handle_oop()); }
8033953d67ff 7012648: move JSR 292 to package java.lang.invoke and adjust names jrose parents: 2177 diff changeset	53 int MethodHandle_vmslots() { return java_lang_invoke_MethodHandle::vmslots(method_handle_oop()); }
8033953d67ff 7012648: move JSR 292 to package java.lang.invoke and adjust names jrose parents: 2177 diff changeset	54 int DirectMethodHandle_vmindex() { return java_lang_invoke_DirectMethodHandle::vmindex(method_handle_oop()); }
8033953d67ff 7012648: move JSR 292 to package java.lang.invoke and adjust names jrose parents: 2177 diff changeset	55 oop BoundMethodHandle_argument_oop() { return java_lang_invoke_BoundMethodHandle::argument(method_handle_oop()); }
8033953d67ff 7012648: move JSR 292 to package java.lang.invoke and adjust names jrose parents: 2177 diff changeset	56 int BoundMethodHandle_vmargslot() { return java_lang_invoke_BoundMethodHandle::vmargslot(method_handle_oop()); }
8033953d67ff 7012648: move JSR 292 to package java.lang.invoke and adjust names jrose parents: 2177 diff changeset	57 int AdapterMethodHandle_conversion() { return java_lang_invoke_AdapterMethodHandle::conversion(method_handle_oop()); }
1133 aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	58
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	59 public:
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	60 MethodHandleChain(Handle root, TRAPS)
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	61 : _root(root)
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	62 { set_method_handle(root, THREAD); }
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	63
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	64 bool is_adapter() { return _conversion != -1; }
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	65 bool is_bound() { return _is_bound; }
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	66 bool is_last() { return _is_last; }
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	67
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	68 void next(TRAPS) {
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	69 assert(!is_last(), "");
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	70 set_method_handle(MethodHandle_vmtarget_oop(), THREAD);
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	71 }
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	72
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	73 Handle method_handle() { return _method_handle; }
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	74 oop method_handle_oop() { return _method_handle(); }
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	75 oop method_type_oop() { return MethodHandle_type_oop(); }
1138 dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	76 oop vmtarget_oop() { return MethodHandle_vmtarget_oop(); }
1133 aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	77
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	78 jint adapter_conversion() { assert(is_adapter(), ""); return _conversion; }
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	79 int adapter_conversion_op() { return MethodHandles::adapter_conversion_op(adapter_conversion()); }
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	80 BasicType adapter_conversion_src_type()
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	81 { return MethodHandles::adapter_conversion_src_type(adapter_conversion()); }
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	82 BasicType adapter_conversion_dest_type()
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	83 { return MethodHandles::adapter_conversion_dest_type(adapter_conversion()); }
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	84 int adapter_conversion_stack_move()
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	85 { return MethodHandles::adapter_conversion_stack_move(adapter_conversion()); }
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	86 int adapter_conversion_stack_pushes()
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	87 { return adapter_conversion_stack_move() / MethodHandles::stack_move_unit(); }
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	88 int adapter_conversion_vminfo()
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	89 { return MethodHandles::adapter_conversion_vminfo(adapter_conversion()); }
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	90 int adapter_arg_slot() { assert(is_adapter(), ""); return _arg_slot; }
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	91 oop adapter_arg_oop() { assert(is_adapter(), ""); return BoundMethodHandle_argument_oop(); }
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	92
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	93 BasicType bound_arg_type() { assert(is_bound(), ""); return _arg_type; }
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	94 int bound_arg_slot() { assert(is_bound(), ""); return _arg_slot; }
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	95 oop bound_arg_oop() { assert(is_bound(), ""); return BoundMethodHandle_argument_oop(); }
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	96
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	97 methodOop last_method_oop() { assert(is_last(), ""); return _last_method(); }
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	98 Bytecodes::Code last_invoke_code() { assert(is_last(), ""); return _last_invoke; }
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	99
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	100 void lose(const char* msg, TRAPS);
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	101 const char* lose_message() { return _lose_message; }
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	102 };
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	103
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	104
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	105 // Structure walker for method handles.
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	106 // Does abstract interpretation on top of low-level parsing.
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	107 // You supply the tokens shuffled by the abstract interpretation.
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	108 class MethodHandleWalker : StackObj {
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	109 public:
1138 dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	110 // Stack values:
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	111 enum TokenType {
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	112 tt_void,
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	113 tt_parameter,
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	114 tt_temporary,
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	115 tt_constant,
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	116 tt_illegal
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	117 };
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	118
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	119 // Argument token:
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	120 class ArgToken {
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	121 private:
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	122 TokenType _tt;
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	123 BasicType _bt;
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	124 jvalue _value;
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	125 Handle _handle;
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	126
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	127 public:
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	128 ArgToken(TokenType tt = tt_illegal) : _tt(tt) {}
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	129 ArgToken(TokenType tt, BasicType bt, jvalue value) : _tt(tt), _bt(bt), _value(value) {}
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	130
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	131 ArgToken(TokenType tt, BasicType bt, int index) : _tt(tt), _bt(bt) {
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	132 _value.i = index;
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	133 }
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	134
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	135 ArgToken(TokenType tt, BasicType bt, Handle value) : _tt(tt), _bt(bt) {
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	136 _handle = value;
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	137 }
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	138
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	139 TokenType token_type() const { return _tt; }
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	140 BasicType basic_type() const { return _bt; }
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	141 int index() const { return _value.i; }
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	142 Handle object() const { return _handle; }
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	143
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	144 jint get_jint() const { return _value.i; }
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	145 jlong get_jlong() const { return _value.j; }
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	146 jfloat get_jfloat() const { return _value.f; }
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	147 jdouble get_jdouble() const { return _value.d; }
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	148 };
1133 aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	149
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	150 // Abstract interpretation state:
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	151 struct SlotState {
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	152 BasicType _type;
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	153 ArgToken _arg;
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	154 SlotState() : _type(), _arg() {}
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	155 };
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	156 static SlotState make_state(BasicType type, ArgToken arg) {
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	157 SlotState ss;
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	158 ss._type = type; ss._arg = arg;
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	159 return ss;
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	160 }
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	161
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	162 private:
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	163 MethodHandleChain _chain;
1138 dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	164 bool _for_invokedynamic;
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	165 int _local_index;
1133 aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	166
1138 dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	167 GrowableArray<SlotState> _outgoing; // current outgoing parameter slots
1133 aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	168 int _outgoing_argc; // # non-empty outgoing slots
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	169
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	170 // Replace a value of type old_type at slot (and maybe slot+1) with the new value.
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	171 // If old_type != T_VOID, remove the old argument at that point.
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	172 // If new_type != T_VOID, insert the new argument at that point.
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	173 // Insert or delete a second empty slot as needed.
1138 dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	174 void change_argument(BasicType old_type, int slot, BasicType new_type, const ArgToken& new_arg);
1133 aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	175
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	176 SlotState* slot_state(int slot) {
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	177 if (slot < 0 \|\| slot >= _outgoing.length())
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	178 return NULL;
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	179 return _outgoing.adr_at(slot);
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	180 }
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	181 BasicType slot_type(int slot) {
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	182 SlotState* ss = slot_state(slot);
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	183 if (ss == NULL)
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	184 return T_ILLEGAL;
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	185 return ss->_type;
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	186 }
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	187 bool slot_has_argument(int slot) {
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	188 return slot_type(slot) < T_VOID;
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	189 }
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	190
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	191 #ifdef ASSERT
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	192 int argument_count_slow();
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	193 #endif
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	194
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	195 // Return a bytecode for converting src to dest, if one exists.
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	196 Bytecodes::Code conversion_code(BasicType src, BasicType dest);
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	197
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	198 void walk_incoming_state(TRAPS);
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	199
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	200 public:
1138 dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	201 MethodHandleWalker(Handle root, bool for_invokedynamic, TRAPS)
1133 aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	202 : _chain(root, THREAD),
1138 dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	203 _for_invokedynamic(for_invokedynamic),
1133 aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	204 _outgoing(THREAD, 10),
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	205 _outgoing_argc(0)
1138 dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	206 {
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	207 _local_index = for_invokedynamic ? 0 : 1;
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	208 }
1133 aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	209
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	210 MethodHandleChain& chain() { return _chain; }
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	211
1138 dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	212 bool for_invokedynamic() const { return _for_invokedynamic; }
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	213
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	214 int new_local_index(BasicType bt) {
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	215 //int index = _for_invokedynamic ? _local_index : _local_index - 1;
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	216 int index = _local_index;
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	217 _local_index += type2size[bt];
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	218 return index;
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	219 }
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	220
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	221 int max_locals() const { return _local_index; }
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	222
1133 aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	223 // plug-in abstract interpretation steps:
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	224 virtual ArgToken make_parameter( BasicType type, klassOop tk, int argnum, TRAPS ) = 0;
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	225 virtual ArgToken make_prim_constant( BasicType type, jvalue* con, TRAPS ) = 0;
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	226 virtual ArgToken make_oop_constant( oop con, TRAPS ) = 0;
1138 dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	227 virtual ArgToken make_conversion( BasicType type, klassOop tk, Bytecodes::Code op, const ArgToken& src, TRAPS ) = 0;
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	228 virtual ArgToken make_fetch( BasicType type, klassOop tk, Bytecodes::Code op, const ArgToken& base, const ArgToken& offset, TRAPS ) = 0;
1133 aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	229 virtual ArgToken make_invoke( methodOop m, vmIntrinsics::ID iid, Bytecodes::Code op, bool tailcall, int argc, ArgToken* argv, TRAPS ) = 0;
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	230
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	231 // For make_invoke, the methodOop can be NULL if the intrinsic ID
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	232 // is something other than vmIntrinsics::_none.
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	233
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	234 // and in case anyone cares to related the previous actions to the chain:
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	235 virtual void set_method_handle(oop mh) { }
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	236
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	237 void lose(const char* msg, TRAPS) { chain().lose(msg, THREAD); }
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	238 const char* lose_message() { return chain().lose_message(); }
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	239
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	240 ArgToken walk(TRAPS);
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	241 };
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	242
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	243
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	244 // An abstract interpreter for method handle chains.
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	245 // Produces an account of the semantics of a chain, in terms of a static IR.
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	246 // The IR happens to be JVM bytecodes.
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	247 class MethodHandleCompiler : public MethodHandleWalker {
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	248 private:
1138 dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	249 methodHandle _callee;
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	250 KlassHandle _rklass; // Return type for casting.
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	251 BasicType _rtype;
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	252 KlassHandle _target_klass;
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	253 Thread* _thread;
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	254
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	255 // Fake constant pool entry.
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	256 class ConstantValue {
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	257 private:
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	258 int _tag; // Constant pool tag type.
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	259 JavaValue _value;
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	260 Handle _handle;
2177 3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 2001 diff changeset	261 Symbol* _sym;
1138 dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	262
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	263 public:
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	264 // Constructor for oop types.
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	265 ConstantValue(int tag, Handle con) : _tag(tag), _handle(con) {
2177 3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 2001 diff changeset	266 assert(tag == JVM_CONSTANT_Class \|\|
1138 dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	267 tag == JVM_CONSTANT_String \|\|
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	268 tag == JVM_CONSTANT_Object, "must be oop type");
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	269 }
1133 aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	270
2177 3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 2001 diff changeset	271 ConstantValue(int tag, Symbol* con) : _tag(tag), _sym(con) {
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 2001 diff changeset	272 assert(tag == JVM_CONSTANT_Utf8, "must be symbol type");
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 2001 diff changeset	273 }
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 2001 diff changeset	274
1138 dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	275 // Constructor for oop reference types.
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	276 ConstantValue(int tag, int index) : _tag(tag) {
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	277 assert(JVM_CONSTANT_Fieldref <= tag && tag <= JVM_CONSTANT_NameAndType, "must be ref type");
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	278 _value.set_jint(index);
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	279 }
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	280 ConstantValue(int tag, int first_index, int second_index) : _tag(tag) {
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	281 assert(JVM_CONSTANT_Fieldref <= tag && tag <= JVM_CONSTANT_NameAndType, "must be ref type");
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	282 _value.set_jint(first_index << 16 \| second_index);
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	283 }
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	284
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	285 // Constructor for primitive types.
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	286 ConstantValue(BasicType bt, jvalue con) {
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	287 _value.set_type(bt);
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	288 switch (bt) {
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	289 case T_INT: _tag = JVM_CONSTANT_Integer; _value.set_jint( con.i); break;
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	290 case T_LONG: _tag = JVM_CONSTANT_Long; _value.set_jlong( con.j); break;
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	291 case T_FLOAT: _tag = JVM_CONSTANT_Float; _value.set_jfloat( con.f); break;
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	292 case T_DOUBLE: _tag = JVM_CONSTANT_Double; _value.set_jdouble(con.d); break;
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	293 default: ShouldNotReachHere();
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	294 }
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	295 }
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	296
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	297 int tag() const { return _tag; }
2177 3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 2001 diff changeset	298 Symbol* symbol() const { return _sym; }
1138 dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	299 klassOop klass_oop() const { return (klassOop) _handle(); }
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	300 oop object_oop() const { return _handle(); }
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	301 int index() const { return _value.get_jint(); }
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	302 int first_index() const { return _value.get_jint() >> 16; }
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	303 int second_index() const { return _value.get_jint() & 0x0000FFFF; }
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	304
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	305 bool is_primitive() const { return is_java_primitive(_value.get_type()); }
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	306 jint get_jint() const { return _value.get_jint(); }
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	307 jlong get_jlong() const { return _value.get_jlong(); }
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	308 jfloat get_jfloat() const { return _value.get_jfloat(); }
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	309 jdouble get_jdouble() const { return _value.get_jdouble(); }
1133 aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	310 };
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	311
1138 dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	312 // Fake constant pool.
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	313 GrowableArray<ConstantValue*> _constants;
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	314
1133 aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	315 // Accumulated compiler state:
1138 dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	316 GrowableArray<unsigned char> _bytecode;
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	317
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	318 int _cur_stack;
1133 aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	319 int _max_stack;
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	320 int _num_params;
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	321 int _name_index;
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	322 int _signature_index;
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	323
1138 dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	324 void stack_push(BasicType bt) {
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	325 _cur_stack += type2size[bt];
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	326 if (_cur_stack > _max_stack) _max_stack = _cur_stack;
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	327 }
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	328 void stack_pop(BasicType bt) {
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	329 _cur_stack -= type2size[bt];
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	330 assert(_cur_stack >= 0, "sanity");
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	331 }
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	332
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	333 unsigned char* bytecode() const { return _bytecode.adr_at(0); }
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	334 int bytecode_length() const { return _bytecode.length(); }
1133 aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	335
1138 dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	336 // Fake constant pool.
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	337 int cpool_oop_put(int tag, Handle con) {
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	338 if (con.is_null()) return 0;
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	339 ConstantValue* cv = new ConstantValue(tag, con);
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	340 return _constants.append(cv);
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	341 }
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	342
2177 3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 2001 diff changeset	343 int cpool_symbol_put(int tag, Symbol* con) {
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 2001 diff changeset	344 if (con == NULL) return 0;
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 2001 diff changeset	345 ConstantValue* cv = new ConstantValue(tag, con);
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 2001 diff changeset	346 return _constants.append(cv);
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 2001 diff changeset	347 }
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 2001 diff changeset	348
1138 dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	349 int cpool_oop_reference_put(int tag, int first_index, int second_index) {
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	350 if (first_index == 0 && second_index == 0) return 0;
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	351 assert(first_index != 0 && second_index != 0, "no zero indexes");
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	352 ConstantValue* cv = new ConstantValue(tag, first_index, second_index);
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	353 return _constants.append(cv);
1133 aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	354 }
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	355
1138 dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	356 int cpool_primitive_put(BasicType type, jvalue* con);
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	357
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	358 int cpool_int_put(jint value) {
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	359 jvalue con; con.i = value;
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	360 return cpool_primitive_put(T_INT, &con);
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	361 }
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	362 int cpool_long_put(jlong value) {
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	363 jvalue con; con.j = value;
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	364 return cpool_primitive_put(T_LONG, &con);
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	365 }
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	366 int cpool_float_put(jfloat value) {
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	367 jvalue con; con.f = value;
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	368 return cpool_primitive_put(T_FLOAT, &con);
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	369 }
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	370 int cpool_double_put(jdouble value) {
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	371 jvalue con; con.d = value;
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	372 return cpool_primitive_put(T_DOUBLE, &con);
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	373 }
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	374
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	375 int cpool_object_put(Handle obj) {
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	376 return cpool_oop_put(JVM_CONSTANT_Object, obj);
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	377 }
2177 3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 2001 diff changeset	378 int cpool_symbol_put(Symbol* sym) {
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 2001 diff changeset	379 return cpool_symbol_put(JVM_CONSTANT_Utf8, sym);
1138 dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	380 }
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	381 int cpool_klass_put(klassOop klass) {
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	382 return cpool_oop_put(JVM_CONSTANT_Class, klass);
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	383 }
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	384 int cpool_methodref_put(int class_index, int name_and_type_index) {
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	385 return cpool_oop_reference_put(JVM_CONSTANT_Methodref, class_index, name_and_type_index);
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	386 }
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	387 int cpool_name_and_type_put(int name_index, int signature_index) {
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	388 return cpool_oop_reference_put(JVM_CONSTANT_NameAndType, name_index, signature_index);
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	389 }
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	390
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	391 void emit_bc(Bytecodes::Code op, int index = 0);
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	392 void emit_load(BasicType bt, int index);
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	393 void emit_store(BasicType bt, int index);
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	394 void emit_load_constant(ArgToken arg);
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	395
1133 aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	396 virtual ArgToken make_parameter(BasicType type, klassOop tk, int argnum, TRAPS) {
1138 dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	397 return ArgToken(tt_parameter, type, argnum);
1133 aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	398 }
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	399 virtual ArgToken make_oop_constant(oop con, TRAPS) {
1138 dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	400 Handle h(THREAD, con);
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	401 return ArgToken(tt_constant, T_OBJECT, h);
1133 aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	402 }
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	403 virtual ArgToken make_prim_constant(BasicType type, jvalue* con, TRAPS) {
1138 dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	404 return ArgToken(tt_constant, type, *con);
1133 aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	405 }
1138 dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	406
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	407 virtual ArgToken make_conversion(BasicType type, klassOop tk, Bytecodes::Code op, const ArgToken& src, TRAPS);
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	408 virtual ArgToken make_fetch(BasicType type, klassOop tk, Bytecodes::Code op, const ArgToken& base, const ArgToken& offset, TRAPS);
1133 aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	409 virtual ArgToken make_invoke(methodOop m, vmIntrinsics::ID iid, Bytecodes::Code op, bool tailcall, int argc, ArgToken* argv, TRAPS);
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	410
1138 dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	411 // Get a real constant pool.
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	412 constantPoolHandle get_constant_pool(TRAPS) const;
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	413
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	414 // Get a real methodOop.
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	415 methodHandle get_method_oop(TRAPS) const;
1133 aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	416
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	417 public:
1138 dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	418 MethodHandleCompiler(Handle root, methodHandle call_method, bool for_invokedynamic, TRAPS);
1133 aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	419
aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	420 // Compile the given MH chain into bytecode.
1138 dd57230ba8fe 6893268: additional dynamic language related optimizations in C2 twisti parents: 1133 diff changeset	421 methodHandle compile(TRAPS);
1152 cd37471eaecc 6914206: change way of permission checking for generated MethodHandle adapters twisti parents: 1138 diff changeset	422
cd37471eaecc 6914206: change way of permission checking for generated MethodHandle adapters twisti parents: 1138 diff changeset	423 // Tests if the given class is a MH adapter holder.
cd37471eaecc 6914206: change way of permission checking for generated MethodHandle adapters twisti parents: 1138 diff changeset	424 static bool klass_is_method_handle_adapter_holder(klassOop klass) {
2001 f2da85a9b08e 7001363: java/dyn/InvokeDynamic should not be a well-known class in the JVM twisti parents: 1972 diff changeset	425 return (klass == SystemDictionary::MethodHandle_klass());
1152 cd37471eaecc 6914206: change way of permission checking for generated MethodHandle adapters twisti parents: 1138 diff changeset	426 }
1133 aa62b9388fce 6894206: JVM needs a way to traverse method handle structures twisti parents: diff changeset	427 };
1972 f95d63e2154a 6989984: Use standard include model for Hospot stefank parents: 1552 diff changeset	428
f95d63e2154a 6989984: Use standard include model for Hospot stefank parents: 1552 diff changeset	429 #endif // SHARE_VM_PRIMS_METHODHANDLEWALK_HPP

Mercurial > hg > graal-jvmci-8

annotate src/share/vm/prims/methodHandleWalk.hpp @ 3249:e1162778c1c8