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