Mercurial > hg > graal-compiler
annotate src/share/vm/interpreter/templateInterpreter.hpp @ 726:be93aad57795
6655646: dynamic languages need dynamically linked call sites
Summary: invokedynamic instruction (JSR 292 RI)
Reviewed-by: twisti, never
author | jrose |
---|---|
date | Tue, 21 Apr 2009 23:21:04 -0700 |
parents | e5b0439ef4ae |
children | 9987d9d5eb0e |
rev | line source |
---|---|
0 | 1 /* |
710 | 2 * Copyright 1997-2009 Sun Microsystems, Inc. All Rights Reserved. |
0 | 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 Sun Microsystems, Inc., 4150 Network Circle, Santa Clara, | |
20 * CA 95054 USA or visit www.sun.com if you need additional information or | |
21 * have any questions. | |
22 * | |
23 */ | |
24 | |
605 | 25 // This file contains the platform-independent parts |
0 | 26 // of the template interpreter and the template interpreter generator. |
27 | |
28 #ifndef CC_INTERP | |
29 | |
30 //------------------------------------------------------------------------------------------------------------------------ | |
31 // A little wrapper class to group tosca-specific entry points into a unit. | |
32 // (tosca = Top-Of-Stack CAche) | |
33 | |
34 class EntryPoint VALUE_OBJ_CLASS_SPEC { | |
35 private: | |
36 address _entry[number_of_states]; | |
37 | |
38 public: | |
39 // Construction | |
40 EntryPoint(); | |
41 EntryPoint(address bentry, address centry, address sentry, address aentry, address ientry, address lentry, address fentry, address dentry, address ventry); | |
42 | |
43 // Attributes | |
44 address entry(TosState state) const; // return target address for a given tosca state | |
45 void set_entry(TosState state, address entry); // set target address for a given tosca state | |
46 void print(); | |
47 | |
48 // Comparison | |
49 bool operator == (const EntryPoint& y); // for debugging only | |
50 }; | |
51 | |
52 | |
53 //------------------------------------------------------------------------------------------------------------------------ | |
54 // A little wrapper class to group tosca-specific dispatch tables into a unit. | |
55 | |
56 class DispatchTable VALUE_OBJ_CLASS_SPEC { | |
57 public: | |
58 enum { length = 1 << BitsPerByte }; // an entry point for each byte value (also for undefined bytecodes) | |
59 | |
60 private: | |
61 address _table[number_of_states][length]; // dispatch tables, indexed by tosca and bytecode | |
62 | |
63 public: | |
64 // Attributes | |
65 EntryPoint entry(int i) const; // return entry point for a given bytecode i | |
66 void set_entry(int i, EntryPoint& entry); // set entry point for a given bytecode i | |
67 address* table_for(TosState state) { return _table[state]; } | |
68 address* table_for() { return table_for((TosState)0); } | |
69 int distance_from(address *table) { return table - table_for(); } | |
70 int distance_from(TosState state) { return distance_from(table_for(state)); } | |
71 | |
72 // Comparison | |
73 bool operator == (DispatchTable& y); // for debugging only | |
74 }; | |
75 | |
76 class TemplateInterpreter: public AbstractInterpreter { | |
77 friend class VMStructs; | |
78 friend class InterpreterMacroAssembler; | |
79 friend class TemplateInterpreterGenerator; | |
710 | 80 friend class InterpreterGenerator; |
0 | 81 friend class TemplateTable; |
82 // friend class Interpreter; | |
83 public: | |
84 | |
85 enum MoreConstants { | |
726
be93aad57795
6655646: dynamic languages need dynamically linked call sites
jrose
parents:
710
diff
changeset
|
86 number_of_return_entries = number_of_states, // number of return entry points |
be93aad57795
6655646: dynamic languages need dynamically linked call sites
jrose
parents:
710
diff
changeset
|
87 number_of_deopt_entries = number_of_states, // number of deoptimization entry points |
be93aad57795
6655646: dynamic languages need dynamically linked call sites
jrose
parents:
710
diff
changeset
|
88 number_of_return_addrs = number_of_states // number of return addresses |
0 | 89 }; |
90 | |
91 protected: | |
92 | |
93 static address _throw_ArrayIndexOutOfBoundsException_entry; | |
94 static address _throw_ArrayStoreException_entry; | |
95 static address _throw_ArithmeticException_entry; | |
96 static address _throw_ClassCastException_entry; | |
710 | 97 static address _throw_WrongMethodType_entry; |
0 | 98 static address _throw_NullPointerException_entry; |
99 static address _throw_exception_entry; | |
100 | |
101 static address _throw_StackOverflowError_entry; | |
102 | |
103 static address _remove_activation_entry; // continuation address if an exception is not handled by current frame | |
104 #ifdef HOTSWAP | |
105 static address _remove_activation_preserving_args_entry; // continuation address when current frame is being popped | |
106 #endif // HOTSWAP | |
107 | |
108 #ifndef PRODUCT | |
109 static EntryPoint _trace_code; | |
110 #endif // !PRODUCT | |
111 static EntryPoint _return_entry[number_of_return_entries]; // entry points to return to from a call | |
112 static EntryPoint _earlyret_entry; // entry point to return early from a call | |
726
be93aad57795
6655646: dynamic languages need dynamically linked call sites
jrose
parents:
710
diff
changeset
|
113 static EntryPoint _return_unbox_entry; // entry point to unbox a return value from a call |
0 | 114 static EntryPoint _deopt_entry[number_of_deopt_entries]; // entry points to return to from a deoptimization |
115 static EntryPoint _continuation_entry; | |
116 static EntryPoint _safept_entry; | |
117 | |
118 static address _return_3_addrs_by_index[number_of_return_addrs]; // for invokevirtual return entries | |
119 static address _return_5_addrs_by_index[number_of_return_addrs]; // for invokeinterface return entries | |
726
be93aad57795
6655646: dynamic languages need dynamically linked call sites
jrose
parents:
710
diff
changeset
|
120 static address _return_5_unbox_addrs_by_index[number_of_return_addrs]; // for invokedynamic bootstrap methods |
0 | 121 |
122 static DispatchTable _active_table; // the active dispatch table (used by the interpreter for dispatch) | |
123 static DispatchTable _normal_table; // the normal dispatch table (used to set the active table in normal mode) | |
124 static DispatchTable _safept_table; // the safepoint dispatch table (used to set the active table for safepoints) | |
125 static address _wentry_point[DispatchTable::length]; // wide instructions only (vtos tosca always) | |
126 | |
127 | |
128 public: | |
129 // Initialization/debugging | |
130 static void initialize(); | |
131 // this only returns whether a pc is within generated code for the interpreter. | |
132 static bool contains(address pc) { return _code != NULL && _code->contains(pc); } | |
133 | |
134 public: | |
135 | |
136 static address remove_activation_early_entry(TosState state) { return _earlyret_entry.entry(state); } | |
137 #ifdef HOTSWAP | |
138 static address remove_activation_preserving_args_entry() { return _remove_activation_preserving_args_entry; } | |
139 #endif // HOTSWAP | |
140 | |
141 static address remove_activation_entry() { return _remove_activation_entry; } | |
142 static address throw_exception_entry() { return _throw_exception_entry; } | |
143 static address throw_ArithmeticException_entry() { return _throw_ArithmeticException_entry; } | |
710 | 144 static address throw_WrongMethodType_entry() { return _throw_WrongMethodType_entry; } |
0 | 145 static address throw_NullPointerException_entry() { return _throw_NullPointerException_entry; } |
146 static address throw_StackOverflowError_entry() { return _throw_StackOverflowError_entry; } | |
147 | |
148 // Code generation | |
149 #ifndef PRODUCT | |
150 static address trace_code (TosState state) { return _trace_code.entry(state); } | |
151 #endif // !PRODUCT | |
152 static address continuation (TosState state) { return _continuation_entry.entry(state); } | |
153 static address* dispatch_table(TosState state) { return _active_table.table_for(state); } | |
154 static address* dispatch_table() { return _active_table.table_for(); } | |
155 static int distance_from_dispatch_table(TosState state){ return _active_table.distance_from(state); } | |
156 static address* normal_table(TosState state) { return _normal_table.table_for(state); } | |
157 static address* normal_table() { return _normal_table.table_for(); } | |
158 | |
159 // Support for invokes | |
160 static address* return_3_addrs_by_index_table() { return _return_3_addrs_by_index; } | |
161 static address* return_5_addrs_by_index_table() { return _return_5_addrs_by_index; } | |
726
be93aad57795
6655646: dynamic languages need dynamically linked call sites
jrose
parents:
710
diff
changeset
|
162 static address* return_5_unbox_addrs_by_index_table() { return _return_5_unbox_addrs_by_index; } |
0 | 163 static int TosState_as_index(TosState state); // computes index into return_3_entry_by_index table |
164 | |
165 static address return_entry (TosState state, int length); | |
166 static address deopt_entry (TosState state, int length); | |
726
be93aad57795
6655646: dynamic languages need dynamically linked call sites
jrose
parents:
710
diff
changeset
|
167 static address return_unbox_entry(TosState state, int length); |
0 | 168 |
169 // Safepoint support | |
170 static void notice_safepoints(); // stops the thread when reaching a safepoint | |
171 static void ignore_safepoints(); // ignores safepoints | |
172 | |
173 // Deoptimization support | |
174 static address continuation_for(methodOop method, | |
175 address bcp, | |
176 int callee_parameters, | |
177 bool is_top_frame, | |
178 bool& use_next_mdp); | |
179 | |
180 #include "incls/_templateInterpreter_pd.hpp.incl" | |
181 | |
182 }; | |
183 | |
184 #endif // !CC_INTERP |