annotate src/share/vm/interpreter/templateInterpreter.hpp @ 7212:291ffc492eb6

Merge with http://hg.openjdk.java.net/hsx/hsx25/hotspot/
author Doug Simon <doug.simon@oracle.com>
date Fri, 14 Dec 2012 14:35:13 +0100
parents da91efe96a93
children bd3237e0e18d
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1 /*
6725
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 2426
diff changeset
2 * Copyright (c) 1997, 2012, Oracle and/or its affiliates. All rights reserved.
0
a61af66fc99e Initial load
duke
parents:
diff changeset
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
a61af66fc99e Initial load
duke
parents:
diff changeset
4 *
a61af66fc99e Initial load
duke
parents:
diff changeset
5 * This code is free software; you can redistribute it and/or modify it
a61af66fc99e Initial load
duke
parents:
diff changeset
6 * under the terms of the GNU General Public License version 2 only, as
a61af66fc99e Initial load
duke
parents:
diff changeset
7 * published by the Free Software Foundation.
a61af66fc99e Initial load
duke
parents:
diff changeset
8 *
a61af66fc99e Initial load
duke
parents:
diff changeset
9 * This code is distributed in the hope that it will be useful, but WITHOUT
a61af66fc99e Initial load
duke
parents:
diff changeset
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
a61af66fc99e Initial load
duke
parents:
diff changeset
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
a61af66fc99e Initial load
duke
parents:
diff changeset
12 * version 2 for more details (a copy is included in the LICENSE file that
a61af66fc99e Initial load
duke
parents:
diff changeset
13 * accompanied this code).
a61af66fc99e Initial load
duke
parents:
diff changeset
14 *
a61af66fc99e Initial load
duke
parents:
diff changeset
15 * You should have received a copy of the GNU General Public License version
a61af66fc99e Initial load
duke
parents:
diff changeset
16 * 2 along with this work; if not, write to the Free Software Foundation,
a61af66fc99e Initial load
duke
parents:
diff changeset
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
a61af66fc99e Initial load
duke
parents:
diff changeset
18 *
1552
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 1059
diff changeset
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 1059
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: 1059
diff changeset
21 * questions.
0
a61af66fc99e Initial load
duke
parents:
diff changeset
22 *
a61af66fc99e Initial load
duke
parents:
diff changeset
23 */
a61af66fc99e Initial load
duke
parents:
diff changeset
24
1972
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
25 #ifndef SHARE_VM_INTERPRETER_TEMPLATEINTERPRETER_HPP
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
26 #define SHARE_VM_INTERPRETER_TEMPLATEINTERPRETER_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 "interpreter/abstractInterpreter.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
29 #include "interpreter/templateTable.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
30
605
98cb887364d3 6810672: Comment typos
twisti
parents: 0
diff changeset
31 // This file contains the platform-independent parts
0
a61af66fc99e Initial load
duke
parents:
diff changeset
32 // of the template interpreter and the template interpreter generator.
a61af66fc99e Initial load
duke
parents:
diff changeset
33
a61af66fc99e Initial load
duke
parents:
diff changeset
34 #ifndef CC_INTERP
a61af66fc99e Initial load
duke
parents:
diff changeset
35
a61af66fc99e Initial load
duke
parents:
diff changeset
36 //------------------------------------------------------------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
37 // A little wrapper class to group tosca-specific entry points into a unit.
a61af66fc99e Initial load
duke
parents:
diff changeset
38 // (tosca = Top-Of-Stack CAche)
a61af66fc99e Initial load
duke
parents:
diff changeset
39
a61af66fc99e Initial load
duke
parents:
diff changeset
40 class EntryPoint VALUE_OBJ_CLASS_SPEC {
a61af66fc99e Initial load
duke
parents:
diff changeset
41 private:
a61af66fc99e Initial load
duke
parents:
diff changeset
42 address _entry[number_of_states];
a61af66fc99e Initial load
duke
parents:
diff changeset
43
a61af66fc99e Initial load
duke
parents:
diff changeset
44 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
45 // Construction
a61af66fc99e Initial load
duke
parents:
diff changeset
46 EntryPoint();
a61af66fc99e Initial load
duke
parents:
diff changeset
47 EntryPoint(address bentry, address centry, address sentry, address aentry, address ientry, address lentry, address fentry, address dentry, address ventry);
a61af66fc99e Initial load
duke
parents:
diff changeset
48
a61af66fc99e Initial load
duke
parents:
diff changeset
49 // Attributes
a61af66fc99e Initial load
duke
parents:
diff changeset
50 address entry(TosState state) const; // return target address for a given tosca state
a61af66fc99e Initial load
duke
parents:
diff changeset
51 void set_entry(TosState state, address entry); // set target address for a given tosca state
a61af66fc99e Initial load
duke
parents:
diff changeset
52 void print();
a61af66fc99e Initial load
duke
parents:
diff changeset
53
a61af66fc99e Initial load
duke
parents:
diff changeset
54 // Comparison
a61af66fc99e Initial load
duke
parents:
diff changeset
55 bool operator == (const EntryPoint& y); // for debugging only
a61af66fc99e Initial load
duke
parents:
diff changeset
56 };
a61af66fc99e Initial load
duke
parents:
diff changeset
57
a61af66fc99e Initial load
duke
parents:
diff changeset
58
a61af66fc99e Initial load
duke
parents:
diff changeset
59 //------------------------------------------------------------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
60 // A little wrapper class to group tosca-specific dispatch tables into a unit.
a61af66fc99e Initial load
duke
parents:
diff changeset
61
a61af66fc99e Initial load
duke
parents:
diff changeset
62 class DispatchTable VALUE_OBJ_CLASS_SPEC {
a61af66fc99e Initial load
duke
parents:
diff changeset
63 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
64 enum { length = 1 << BitsPerByte }; // an entry point for each byte value (also for undefined bytecodes)
a61af66fc99e Initial load
duke
parents:
diff changeset
65
a61af66fc99e Initial load
duke
parents:
diff changeset
66 private:
a61af66fc99e Initial load
duke
parents:
diff changeset
67 address _table[number_of_states][length]; // dispatch tables, indexed by tosca and bytecode
a61af66fc99e Initial load
duke
parents:
diff changeset
68
a61af66fc99e Initial load
duke
parents:
diff changeset
69 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
70 // Attributes
a61af66fc99e Initial load
duke
parents:
diff changeset
71 EntryPoint entry(int i) const; // return entry point for a given bytecode i
a61af66fc99e Initial load
duke
parents:
diff changeset
72 void set_entry(int i, EntryPoint& entry); // set entry point for a given bytecode i
a61af66fc99e Initial load
duke
parents:
diff changeset
73 address* table_for(TosState state) { return _table[state]; }
a61af66fc99e Initial load
duke
parents:
diff changeset
74 address* table_for() { return table_for((TosState)0); }
a61af66fc99e Initial load
duke
parents:
diff changeset
75 int distance_from(address *table) { return table - table_for(); }
a61af66fc99e Initial load
duke
parents:
diff changeset
76 int distance_from(TosState state) { return distance_from(table_for(state)); }
a61af66fc99e Initial load
duke
parents:
diff changeset
77
a61af66fc99e Initial load
duke
parents:
diff changeset
78 // Comparison
a61af66fc99e Initial load
duke
parents:
diff changeset
79 bool operator == (DispatchTable& y); // for debugging only
a61af66fc99e Initial load
duke
parents:
diff changeset
80 };
a61af66fc99e Initial load
duke
parents:
diff changeset
81
a61af66fc99e Initial load
duke
parents:
diff changeset
82 class TemplateInterpreter: public AbstractInterpreter {
a61af66fc99e Initial load
duke
parents:
diff changeset
83 friend class VMStructs;
a61af66fc99e Initial load
duke
parents:
diff changeset
84 friend class InterpreterMacroAssembler;
a61af66fc99e Initial load
duke
parents:
diff changeset
85 friend class TemplateInterpreterGenerator;
710
e5b0439ef4ae 6655638: dynamic languages need method handles
jrose
parents: 605
diff changeset
86 friend class InterpreterGenerator;
0
a61af66fc99e Initial load
duke
parents:
diff changeset
87 friend class TemplateTable;
a61af66fc99e Initial load
duke
parents:
diff changeset
88 // friend class Interpreter;
a61af66fc99e Initial load
duke
parents:
diff changeset
89 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
90
a61af66fc99e Initial load
duke
parents:
diff changeset
91 enum MoreConstants {
726
be93aad57795 6655646: dynamic languages need dynamically linked call sites
jrose
parents: 710
diff changeset
92 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
93 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
94 number_of_return_addrs = number_of_states // number of return addresses
0
a61af66fc99e Initial load
duke
parents:
diff changeset
95 };
a61af66fc99e Initial load
duke
parents:
diff changeset
96
a61af66fc99e Initial load
duke
parents:
diff changeset
97 protected:
a61af66fc99e Initial load
duke
parents:
diff changeset
98
a61af66fc99e Initial load
duke
parents:
diff changeset
99 static address _throw_ArrayIndexOutOfBoundsException_entry;
a61af66fc99e Initial load
duke
parents:
diff changeset
100 static address _throw_ArrayStoreException_entry;
a61af66fc99e Initial load
duke
parents:
diff changeset
101 static address _throw_ArithmeticException_entry;
a61af66fc99e Initial load
duke
parents:
diff changeset
102 static address _throw_ClassCastException_entry;
710
e5b0439ef4ae 6655638: dynamic languages need method handles
jrose
parents: 605
diff changeset
103 static address _throw_WrongMethodType_entry;
0
a61af66fc99e Initial load
duke
parents:
diff changeset
104 static address _throw_NullPointerException_entry;
a61af66fc99e Initial load
duke
parents:
diff changeset
105 static address _throw_exception_entry;
a61af66fc99e Initial load
duke
parents:
diff changeset
106
a61af66fc99e Initial load
duke
parents:
diff changeset
107 static address _throw_StackOverflowError_entry;
a61af66fc99e Initial load
duke
parents:
diff changeset
108
a61af66fc99e Initial load
duke
parents:
diff changeset
109 static address _remove_activation_entry; // continuation address if an exception is not handled by current frame
a61af66fc99e Initial load
duke
parents:
diff changeset
110 #ifdef HOTSWAP
a61af66fc99e Initial load
duke
parents:
diff changeset
111 static address _remove_activation_preserving_args_entry; // continuation address when current frame is being popped
a61af66fc99e Initial load
duke
parents:
diff changeset
112 #endif // HOTSWAP
a61af66fc99e Initial load
duke
parents:
diff changeset
113
a61af66fc99e Initial load
duke
parents:
diff changeset
114 #ifndef PRODUCT
a61af66fc99e Initial load
duke
parents:
diff changeset
115 static EntryPoint _trace_code;
a61af66fc99e Initial load
duke
parents:
diff changeset
116 #endif // !PRODUCT
a61af66fc99e Initial load
duke
parents:
diff changeset
117 static EntryPoint _return_entry[number_of_return_entries]; // entry points to return to from a call
a61af66fc99e Initial load
duke
parents:
diff changeset
118 static EntryPoint _earlyret_entry; // entry point to return early from a call
a61af66fc99e Initial load
duke
parents:
diff changeset
119 static EntryPoint _deopt_entry[number_of_deopt_entries]; // entry points to return to from a deoptimization
a61af66fc99e Initial load
duke
parents:
diff changeset
120 static EntryPoint _continuation_entry;
a61af66fc99e Initial load
duke
parents:
diff changeset
121 static EntryPoint _safept_entry;
a61af66fc99e Initial load
duke
parents:
diff changeset
122
a61af66fc99e Initial load
duke
parents:
diff changeset
123 static address _return_3_addrs_by_index[number_of_return_addrs]; // for invokevirtual return entries
a61af66fc99e Initial load
duke
parents:
diff changeset
124 static address _return_5_addrs_by_index[number_of_return_addrs]; // for invokeinterface return entries
a61af66fc99e Initial load
duke
parents:
diff changeset
125
a61af66fc99e Initial load
duke
parents:
diff changeset
126 static DispatchTable _active_table; // the active dispatch table (used by the interpreter for dispatch)
a61af66fc99e Initial load
duke
parents:
diff changeset
127 static DispatchTable _normal_table; // the normal dispatch table (used to set the active table in normal mode)
a61af66fc99e Initial load
duke
parents:
diff changeset
128 static DispatchTable _safept_table; // the safepoint dispatch table (used to set the active table for safepoints)
a61af66fc99e Initial load
duke
parents:
diff changeset
129 static address _wentry_point[DispatchTable::length]; // wide instructions only (vtos tosca always)
a61af66fc99e Initial load
duke
parents:
diff changeset
130
a61af66fc99e Initial load
duke
parents:
diff changeset
131
a61af66fc99e Initial load
duke
parents:
diff changeset
132 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
133 // Initialization/debugging
a61af66fc99e Initial load
duke
parents:
diff changeset
134 static void initialize();
a61af66fc99e Initial load
duke
parents:
diff changeset
135 // this only returns whether a pc is within generated code for the interpreter.
a61af66fc99e Initial load
duke
parents:
diff changeset
136 static bool contains(address pc) { return _code != NULL && _code->contains(pc); }
a61af66fc99e Initial load
duke
parents:
diff changeset
137
a61af66fc99e Initial load
duke
parents:
diff changeset
138 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
139
a61af66fc99e Initial load
duke
parents:
diff changeset
140 static address remove_activation_early_entry(TosState state) { return _earlyret_entry.entry(state); }
a61af66fc99e Initial load
duke
parents:
diff changeset
141 #ifdef HOTSWAP
a61af66fc99e Initial load
duke
parents:
diff changeset
142 static address remove_activation_preserving_args_entry() { return _remove_activation_preserving_args_entry; }
a61af66fc99e Initial load
duke
parents:
diff changeset
143 #endif // HOTSWAP
a61af66fc99e Initial load
duke
parents:
diff changeset
144
a61af66fc99e Initial load
duke
parents:
diff changeset
145 static address remove_activation_entry() { return _remove_activation_entry; }
a61af66fc99e Initial load
duke
parents:
diff changeset
146 static address throw_exception_entry() { return _throw_exception_entry; }
a61af66fc99e Initial load
duke
parents:
diff changeset
147 static address throw_ArithmeticException_entry() { return _throw_ArithmeticException_entry; }
710
e5b0439ef4ae 6655638: dynamic languages need method handles
jrose
parents: 605
diff changeset
148 static address throw_WrongMethodType_entry() { return _throw_WrongMethodType_entry; }
0
a61af66fc99e Initial load
duke
parents:
diff changeset
149 static address throw_NullPointerException_entry() { return _throw_NullPointerException_entry; }
a61af66fc99e Initial load
duke
parents:
diff changeset
150 static address throw_StackOverflowError_entry() { return _throw_StackOverflowError_entry; }
a61af66fc99e Initial load
duke
parents:
diff changeset
151
a61af66fc99e Initial load
duke
parents:
diff changeset
152 // Code generation
a61af66fc99e Initial load
duke
parents:
diff changeset
153 #ifndef PRODUCT
a61af66fc99e Initial load
duke
parents:
diff changeset
154 static address trace_code (TosState state) { return _trace_code.entry(state); }
a61af66fc99e Initial load
duke
parents:
diff changeset
155 #endif // !PRODUCT
a61af66fc99e Initial load
duke
parents:
diff changeset
156 static address continuation (TosState state) { return _continuation_entry.entry(state); }
a61af66fc99e Initial load
duke
parents:
diff changeset
157 static address* dispatch_table(TosState state) { return _active_table.table_for(state); }
a61af66fc99e Initial load
duke
parents:
diff changeset
158 static address* dispatch_table() { return _active_table.table_for(); }
a61af66fc99e Initial load
duke
parents:
diff changeset
159 static int distance_from_dispatch_table(TosState state){ return _active_table.distance_from(state); }
a61af66fc99e Initial load
duke
parents:
diff changeset
160 static address* normal_table(TosState state) { return _normal_table.table_for(state); }
a61af66fc99e Initial load
duke
parents:
diff changeset
161 static address* normal_table() { return _normal_table.table_for(); }
a61af66fc99e Initial load
duke
parents:
diff changeset
162
a61af66fc99e Initial load
duke
parents:
diff changeset
163 // Support for invokes
a61af66fc99e Initial load
duke
parents:
diff changeset
164 static address* return_3_addrs_by_index_table() { return _return_3_addrs_by_index; }
a61af66fc99e Initial load
duke
parents:
diff changeset
165 static address* return_5_addrs_by_index_table() { return _return_5_addrs_by_index; }
a61af66fc99e Initial load
duke
parents:
diff changeset
166 static int TosState_as_index(TosState state); // computes index into return_3_entry_by_index table
a61af66fc99e Initial load
duke
parents:
diff changeset
167
a61af66fc99e Initial load
duke
parents:
diff changeset
168 static address return_entry (TosState state, int length);
a61af66fc99e Initial load
duke
parents:
diff changeset
169 static address deopt_entry (TosState state, int length);
a61af66fc99e Initial load
duke
parents:
diff changeset
170
a61af66fc99e Initial load
duke
parents:
diff changeset
171 // Safepoint support
a61af66fc99e Initial load
duke
parents:
diff changeset
172 static void notice_safepoints(); // stops the thread when reaching a safepoint
a61af66fc99e Initial load
duke
parents:
diff changeset
173 static void ignore_safepoints(); // ignores safepoints
a61af66fc99e Initial load
duke
parents:
diff changeset
174
a61af66fc99e Initial load
duke
parents:
diff changeset
175 // Deoptimization support
900
9987d9d5eb0e 6833129: specjvm98 fails with NullPointerException in the compiler with -XX:DeoptimizeALot
cfang
parents: 726
diff changeset
176 // Compute the entry address for continuation after
6725
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 2426
diff changeset
177 static address deopt_continue_after_entry(Method* method,
900
9987d9d5eb0e 6833129: specjvm98 fails with NullPointerException in the compiler with -XX:DeoptimizeALot
cfang
parents: 726
diff changeset
178 address bcp,
9987d9d5eb0e 6833129: specjvm98 fails with NullPointerException in the compiler with -XX:DeoptimizeALot
cfang
parents: 726
diff changeset
179 int callee_parameters,
9987d9d5eb0e 6833129: specjvm98 fails with NullPointerException in the compiler with -XX:DeoptimizeALot
cfang
parents: 726
diff changeset
180 bool is_top_frame);
9987d9d5eb0e 6833129: specjvm98 fails with NullPointerException in the compiler with -XX:DeoptimizeALot
cfang
parents: 726
diff changeset
181 // Deoptimization should reexecute this bytecode
9987d9d5eb0e 6833129: specjvm98 fails with NullPointerException in the compiler with -XX:DeoptimizeALot
cfang
parents: 726
diff changeset
182 static bool bytecode_should_reexecute(Bytecodes::Code code);
9987d9d5eb0e 6833129: specjvm98 fails with NullPointerException in the compiler with -XX:DeoptimizeALot
cfang
parents: 726
diff changeset
183 // Compute the address for reexecution
6725
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 2426
diff changeset
184 static address deopt_reexecute_entry(Method* method, address bcp);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
185
1972
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
186 #ifdef TARGET_ARCH_x86
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
187 # include "templateInterpreter_x86.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
188 #endif
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
189 #ifdef TARGET_ARCH_sparc
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
190 # include "templateInterpreter_sparc.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
191 #endif
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
192 #ifdef TARGET_ARCH_zero
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
193 # include "templateInterpreter_zero.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
194 #endif
2192
b92c45f2bc75 7016023: Enable building ARM and PPC from src/closed repository
bobv
parents: 1972
diff changeset
195 #ifdef TARGET_ARCH_arm
b92c45f2bc75 7016023: Enable building ARM and PPC from src/closed repository
bobv
parents: 1972
diff changeset
196 # include "templateInterpreter_arm.hpp"
b92c45f2bc75 7016023: Enable building ARM and PPC from src/closed repository
bobv
parents: 1972
diff changeset
197 #endif
b92c45f2bc75 7016023: Enable building ARM and PPC from src/closed repository
bobv
parents: 1972
diff changeset
198 #ifdef TARGET_ARCH_ppc
b92c45f2bc75 7016023: Enable building ARM and PPC from src/closed repository
bobv
parents: 1972
diff changeset
199 # include "templateInterpreter_ppc.hpp"
b92c45f2bc75 7016023: Enable building ARM and PPC from src/closed repository
bobv
parents: 1972
diff changeset
200 #endif
1972
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
201
0
a61af66fc99e Initial load
duke
parents:
diff changeset
202
a61af66fc99e Initial load
duke
parents:
diff changeset
203 };
a61af66fc99e Initial load
duke
parents:
diff changeset
204
a61af66fc99e Initial load
duke
parents:
diff changeset
205 #endif // !CC_INTERP
1972
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
206
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
207 #endif // SHARE_VM_INTERPRETER_TEMPLATEINTERPRETER_HPP