Wed, 09 Jun 2010 18:50:45 -0700
6939203: JSR 292 needs method handle constants
Summary: Add new CP types CONSTANT_MethodHandle, CONSTANT_MethodType; extend 'ldc' bytecode.
Reviewed-by: twisti, never
1 /*
2 * Copyright (c) 1997, 2010, 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 */
25 #ifndef CC_INTERP
26 // All the necessary definitions used for (bytecode) template generation. Instead of
27 // spreading the implementation functionality for each bytecode in the interpreter
28 // and the snippet generator, a template is assigned to each bytecode which can be
29 // used to generate the bytecode's implementation if needed.
32 // A Template describes the properties of a code template for a given bytecode
33 // and provides a generator to generate the code template.
35 class Template VALUE_OBJ_CLASS_SPEC {
36 private:
37 enum Flags {
38 uses_bcp_bit, // set if template needs the bcp pointing to bytecode
39 does_dispatch_bit, // set if template dispatches on its own
40 calls_vm_bit, // set if template calls the vm
41 wide_bit // set if template belongs to a wide instruction
42 };
44 typedef void (*generator)(int arg);
46 int _flags; // describes interpreter template properties (bcp unknown)
47 TosState _tos_in; // tos cache state before template execution
48 TosState _tos_out; // tos cache state after template execution
49 generator _gen; // template code generator
50 int _arg; // argument for template code generator
52 void initialize(int flags, TosState tos_in, TosState tos_out, generator gen, int arg);
54 friend class TemplateTable;
56 public:
57 Bytecodes::Code bytecode() const;
58 bool is_valid() const { return _gen != NULL; }
59 bool uses_bcp() const { return (_flags & (1 << uses_bcp_bit )) != 0; }
60 bool does_dispatch() const { return (_flags & (1 << does_dispatch_bit)) != 0; }
61 bool calls_vm() const { return (_flags & (1 << calls_vm_bit )) != 0; }
62 bool is_wide() const { return (_flags & (1 << wide_bit )) != 0; }
63 TosState tos_in() const { return _tos_in; }
64 TosState tos_out() const { return _tos_out; }
65 void generate(InterpreterMacroAssembler* masm);
66 };
69 // The TemplateTable defines all Templates and provides accessor functions
70 // to get the template for a given bytecode.
72 class TemplateTable: AllStatic {
73 public:
74 enum Operation { add, sub, mul, div, rem, _and, _or, _xor, shl, shr, ushr };
75 enum Condition { equal, not_equal, less, less_equal, greater, greater_equal };
76 enum CacheByte { f1_byte = 1, f2_byte = 2, f1_oop = 0x11 }; // byte_no codes
78 private:
79 static bool _is_initialized; // true if TemplateTable has been initialized
80 static Template _template_table [Bytecodes::number_of_codes];
81 static Template _template_table_wide[Bytecodes::number_of_codes];
83 static Template* _desc; // the current template to be generated
84 static Bytecodes::Code bytecode() { return _desc->bytecode(); }
86 static BarrierSet* _bs; // Cache the barrier set.
87 public:
88 //%note templates_1
89 static InterpreterMacroAssembler* _masm; // the assembler used when generating templates
91 private:
93 // special registers
94 static inline Address at_bcp(int offset);
96 // helpers
97 static void unimplemented_bc();
98 static void patch_bytecode(Bytecodes::Code bc, Register scratch1,
99 Register scratch2, bool load_bc_in_scratch = true);
101 // C calls
102 static void call_VM(Register oop_result, address entry_point);
103 static void call_VM(Register oop_result, address entry_point, Register arg_1);
104 static void call_VM(Register oop_result, address entry_point, Register arg_1, Register arg_2);
105 static void call_VM(Register oop_result, address entry_point, Register arg_1, Register arg_2, Register arg_3);
107 // these overloadings are not presently used on SPARC:
108 static void call_VM(Register oop_result, Register last_java_sp, address entry_point);
109 static void call_VM(Register oop_result, Register last_java_sp, address entry_point, Register arg_1);
110 static void call_VM(Register oop_result, Register last_java_sp, address entry_point, Register arg_1, Register arg_2);
111 static void call_VM(Register oop_result, Register last_java_sp, address entry_point, Register arg_1, Register arg_2, Register arg_3);
113 // bytecodes
114 static void nop();
116 static void aconst_null();
117 static void iconst(int value);
118 static void lconst(int value);
119 static void fconst(int value);
120 static void dconst(int value);
122 static void bipush();
123 static void sipush();
124 static void ldc(bool wide);
125 static void ldc2_w();
126 static void fast_aldc(bool wide);
128 static void locals_index(Register reg, int offset = 1);
129 static void iload();
130 static void fast_iload();
131 static void fast_iload2();
132 static void fast_icaload();
133 static void lload();
134 static void fload();
135 static void dload();
136 static void aload();
138 static void locals_index_wide(Register reg);
139 static void wide_iload();
140 static void wide_lload();
141 static void wide_fload();
142 static void wide_dload();
143 static void wide_aload();
145 static void iaload();
146 static void laload();
147 static void faload();
148 static void daload();
149 static void aaload();
150 static void baload();
151 static void caload();
152 static void saload();
154 static void iload(int n);
155 static void lload(int n);
156 static void fload(int n);
157 static void dload(int n);
158 static void aload(int n);
159 static void aload_0();
161 static void istore();
162 static void lstore();
163 static void fstore();
164 static void dstore();
165 static void astore();
167 static void wide_istore();
168 static void wide_lstore();
169 static void wide_fstore();
170 static void wide_dstore();
171 static void wide_astore();
173 static void iastore();
174 static void lastore();
175 static void fastore();
176 static void dastore();
177 static void aastore();
178 static void bastore();
179 static void castore();
180 static void sastore();
182 static void istore(int n);
183 static void lstore(int n);
184 static void fstore(int n);
185 static void dstore(int n);
186 static void astore(int n);
188 static void pop();
189 static void pop2();
190 static void dup();
191 static void dup_x1();
192 static void dup_x2();
193 static void dup2();
194 static void dup2_x1();
195 static void dup2_x2();
196 static void swap();
198 static void iop2(Operation op);
199 static void lop2(Operation op);
200 static void fop2(Operation op);
201 static void dop2(Operation op);
203 static void idiv();
204 static void irem();
206 static void lmul();
207 static void ldiv();
208 static void lrem();
209 static void lshl();
210 static void lshr();
211 static void lushr();
213 static void ineg();
214 static void lneg();
215 static void fneg();
216 static void dneg();
218 static void iinc();
219 static void wide_iinc();
220 static void convert();
221 static void lcmp();
223 static void float_cmp (bool is_float, int unordered_result);
224 static void float_cmp (int unordered_result);
225 static void double_cmp(int unordered_result);
227 static void count_calls(Register method, Register temp);
228 static void branch(bool is_jsr, bool is_wide);
229 static void if_0cmp (Condition cc);
230 static void if_icmp (Condition cc);
231 static void if_nullcmp(Condition cc);
232 static void if_acmp (Condition cc);
234 static void _goto();
235 static void jsr();
236 static void ret();
237 static void wide_ret();
239 static void goto_w();
240 static void jsr_w();
242 static void tableswitch();
243 static void lookupswitch();
244 static void fast_linearswitch();
245 static void fast_binaryswitch();
247 static void _return(TosState state);
249 static void resolve_cache_and_index(int byte_no, // one of 1,2,11
250 Register result , // either noreg or output for f1/f2
251 Register cache, // output for CP cache
252 Register index, // output for CP index
253 size_t index_size); // one of 1,2,4
254 static void load_invoke_cp_cache_entry(int byte_no,
255 Register method,
256 Register itable_index,
257 Register flags,
258 bool is_invokevirtual,
259 bool is_virtual_final,
260 bool is_invokedynamic);
261 static void load_field_cp_cache_entry(Register obj,
262 Register cache,
263 Register index,
264 Register offset,
265 Register flags,
266 bool is_static);
267 static void invokevirtual(int byte_no);
268 static void invokespecial(int byte_no);
269 static void invokestatic(int byte_no);
270 static void invokeinterface(int byte_no);
271 static void invokedynamic(int byte_no);
272 static void fast_invokevfinal(int byte_no);
274 static void getfield_or_static(int byte_no, bool is_static);
275 static void putfield_or_static(int byte_no, bool is_static);
276 static void getfield(int byte_no);
277 static void putfield(int byte_no);
278 static void getstatic(int byte_no);
279 static void putstatic(int byte_no);
280 static void pop_and_check_object(Register obj);
282 static void _new();
283 static void newarray();
284 static void anewarray();
285 static void arraylength();
286 static void checkcast();
287 static void instanceof();
289 static void athrow();
291 static void monitorenter();
292 static void monitorexit();
294 static void wide();
295 static void multianewarray();
297 static void fast_xaccess(TosState state);
298 static void fast_accessfield(TosState state);
299 static void fast_storefield(TosState state);
301 static void _breakpoint();
303 static void shouldnotreachhere();
305 // jvmti support
306 static void jvmti_post_field_access(Register cache, Register index, bool is_static, bool has_tos);
307 static void jvmti_post_field_mod(Register cache, Register index, bool is_static);
308 static void jvmti_post_fast_field_mod();
310 // debugging of TemplateGenerator
311 static void transition(TosState tos_in, TosState tos_out);// checks if in/out states expected by template generator correspond to table entries
313 // initialization helpers
314 static void def(Bytecodes::Code code, int flags, TosState in, TosState out, void (*gen)( ), char filler );
315 static void def(Bytecodes::Code code, int flags, TosState in, TosState out, void (*gen)(int arg ), int arg );
316 static void def(Bytecodes::Code code, int flags, TosState in, TosState out, void (*gen)(bool arg ), bool arg );
317 static void def(Bytecodes::Code code, int flags, TosState in, TosState out, void (*gen)(TosState tos), TosState tos);
318 static void def(Bytecodes::Code code, int flags, TosState in, TosState out, void (*gen)(Operation op), Operation op);
319 static void def(Bytecodes::Code code, int flags, TosState in, TosState out, void (*gen)(Condition cc), Condition cc);
321 friend class Template;
323 // InterpreterMacroAssembler::is_a(), etc., need TemplateTable::call_VM().
324 friend class InterpreterMacroAssembler;
326 public:
327 // Initialization
328 static void initialize();
329 static void pd_initialize();
331 // Templates
332 static Template* template_for (Bytecodes::Code code) { Bytecodes::check (code); return &_template_table [code]; }
333 static Template* template_for_wide(Bytecodes::Code code) { Bytecodes::wide_check(code); return &_template_table_wide[code]; }
335 // Platform specifics
336 #include "incls/_templateTable_pd.hpp.incl"
337 };
338 #endif /* !CC_INTERP */