Mercurial > hg > graal-compiler
annotate src/share/vm/interpreter/templateTable.hpp @ 6266:1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
6984705: JSR 292 method handle creation should not go through JNI
Summary: remove assembly code for JDK 7 chained method handles
Reviewed-by: jrose, twisti, kvn, mhaupt
Contributed-by: John Rose <john.r.rose@oracle.com>, Christian Thalinger <christian.thalinger@oracle.com>, Michael Haupt <michael.haupt@oracle.com>
| author | twisti |
|---|---|
| date | Tue, 24 Jul 2012 10:51:00 -0700 |
| parents | fdb992d83a87 |
| children | da91efe96a93 |
| rev | line source |
|---|---|
| 0 | 1 /* |
|
2426
1d1603768966
7010070: Update all 2010 Oracle-changed OpenJDK files to have the proper copyright dates - second pass
trims
parents:
2192
diff
changeset
|
2 * Copyright (c) 1997, 2011, Oracle and/or its affiliates. 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 * | |
|
1552
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
844
diff
changeset
|
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
|
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
844
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:
844
diff
changeset
|
21 * questions. |
| 0 | 22 * |
| 23 */ | |
| 24 | |
| 1972 | 25 #ifndef SHARE_VM_INTERPRETER_TEMPLATETABLE_HPP |
| 26 #define SHARE_VM_INTERPRETER_TEMPLATETABLE_HPP | |
| 27 | |
| 28 #include "interpreter/bytecodes.hpp" | |
| 29 #include "memory/allocation.hpp" | |
| 30 #include "runtime/frame.hpp" | |
| 31 #ifdef TARGET_ARCH_MODEL_x86_32 | |
| 32 # include "interp_masm_x86_32.hpp" | |
| 33 #endif | |
| 34 #ifdef TARGET_ARCH_MODEL_x86_64 | |
| 35 # include "interp_masm_x86_64.hpp" | |
| 36 #endif | |
| 37 #ifdef TARGET_ARCH_MODEL_sparc | |
| 38 # include "interp_masm_sparc.hpp" | |
| 39 #endif | |
| 40 #ifdef TARGET_ARCH_MODEL_zero | |
| 41 # include "interp_masm_zero.hpp" | |
| 42 #endif | |
|
2192
b92c45f2bc75
7016023: Enable building ARM and PPC from src/closed repository
bobv
parents:
1972
diff
changeset
|
43 #ifdef TARGET_ARCH_MODEL_arm |
|
b92c45f2bc75
7016023: Enable building ARM and PPC from src/closed repository
bobv
parents:
1972
diff
changeset
|
44 # include "interp_masm_arm.hpp" |
|
b92c45f2bc75
7016023: Enable building ARM and PPC from src/closed repository
bobv
parents:
1972
diff
changeset
|
45 #endif |
|
b92c45f2bc75
7016023: Enable building ARM and PPC from src/closed repository
bobv
parents:
1972
diff
changeset
|
46 #ifdef TARGET_ARCH_MODEL_ppc |
|
b92c45f2bc75
7016023: Enable building ARM and PPC from src/closed repository
bobv
parents:
1972
diff
changeset
|
47 # include "interp_masm_ppc.hpp" |
|
b92c45f2bc75
7016023: Enable building ARM and PPC from src/closed repository
bobv
parents:
1972
diff
changeset
|
48 #endif |
| 1972 | 49 |
| 0 | 50 #ifndef CC_INTERP |
| 51 // All the necessary definitions used for (bytecode) template generation. Instead of | |
| 52 // spreading the implementation functionality for each bytecode in the interpreter | |
| 53 // and the snippet generator, a template is assigned to each bytecode which can be | |
| 54 // used to generate the bytecode's implementation if needed. | |
| 55 | |
| 56 | |
| 57 // A Template describes the properties of a code template for a given bytecode | |
| 58 // and provides a generator to generate the code template. | |
| 59 | |
| 60 class Template VALUE_OBJ_CLASS_SPEC { | |
| 61 private: | |
| 62 enum Flags { | |
| 63 uses_bcp_bit, // set if template needs the bcp pointing to bytecode | |
| 64 does_dispatch_bit, // set if template dispatches on its own | |
| 65 calls_vm_bit, // set if template calls the vm | |
| 66 wide_bit // set if template belongs to a wide instruction | |
| 67 }; | |
| 68 | |
| 69 typedef void (*generator)(int arg); | |
| 70 | |
| 71 int _flags; // describes interpreter template properties (bcp unknown) | |
| 72 TosState _tos_in; // tos cache state before template execution | |
| 73 TosState _tos_out; // tos cache state after template execution | |
| 74 generator _gen; // template code generator | |
| 75 int _arg; // argument for template code generator | |
| 76 | |
| 77 void initialize(int flags, TosState tos_in, TosState tos_out, generator gen, int arg); | |
| 78 | |
| 79 friend class TemplateTable; | |
| 80 | |
| 81 public: | |
| 82 Bytecodes::Code bytecode() const; | |
| 83 bool is_valid() const { return _gen != NULL; } | |
| 84 bool uses_bcp() const { return (_flags & (1 << uses_bcp_bit )) != 0; } | |
| 85 bool does_dispatch() const { return (_flags & (1 << does_dispatch_bit)) != 0; } | |
| 86 bool calls_vm() const { return (_flags & (1 << calls_vm_bit )) != 0; } | |
| 87 bool is_wide() const { return (_flags & (1 << wide_bit )) != 0; } | |
| 88 TosState tos_in() const { return _tos_in; } | |
| 89 TosState tos_out() const { return _tos_out; } | |
| 90 void generate(InterpreterMacroAssembler* masm); | |
| 91 }; | |
| 92 | |
| 93 | |
| 94 // The TemplateTable defines all Templates and provides accessor functions | |
| 95 // to get the template for a given bytecode. | |
| 96 | |
| 97 class TemplateTable: AllStatic { | |
| 98 public: | |
| 99 enum Operation { add, sub, mul, div, rem, _and, _or, _xor, shl, shr, ushr }; | |
| 100 enum Condition { equal, not_equal, less, less_equal, greater, greater_equal }; | |
|
6266
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
3852
diff
changeset
|
101 enum CacheByte { f1_byte = 1, f2_byte = 2, f12_oop = 0x12 }; // byte_no codes |
| 0 | 102 |
| 103 private: | |
| 104 static bool _is_initialized; // true if TemplateTable has been initialized | |
| 105 static Template _template_table [Bytecodes::number_of_codes]; | |
| 106 static Template _template_table_wide[Bytecodes::number_of_codes]; | |
| 107 | |
| 108 static Template* _desc; // the current template to be generated | |
| 109 static Bytecodes::Code bytecode() { return _desc->bytecode(); } | |
| 110 | |
| 342 | 111 static BarrierSet* _bs; // Cache the barrier set. |
| 0 | 112 public: |
| 113 //%note templates_1 | |
| 114 static InterpreterMacroAssembler* _masm; // the assembler used when generating templates | |
| 115 | |
| 116 private: | |
| 117 | |
| 118 // special registers | |
| 119 static inline Address at_bcp(int offset); | |
| 120 | |
| 121 // helpers | |
| 122 static void unimplemented_bc(); | |
|
3852
fdb992d83a87
7071653: JSR 292: call site change notification should be pushed not pulled
twisti
parents:
2426
diff
changeset
|
123 static void patch_bytecode(Bytecodes::Code bc, Register bc_reg, |
|
fdb992d83a87
7071653: JSR 292: call site change notification should be pushed not pulled
twisti
parents:
2426
diff
changeset
|
124 Register temp_reg, bool load_bc_into_bc_reg = true, int byte_no = -1); |
| 0 | 125 |
| 126 // C calls | |
| 127 static void call_VM(Register oop_result, address entry_point); | |
| 128 static void call_VM(Register oop_result, address entry_point, Register arg_1); | |
| 129 static void call_VM(Register oop_result, address entry_point, Register arg_1, Register arg_2); | |
| 130 static void call_VM(Register oop_result, address entry_point, Register arg_1, Register arg_2, Register arg_3); | |
| 131 | |
| 132 // these overloadings are not presently used on SPARC: | |
| 133 static void call_VM(Register oop_result, Register last_java_sp, address entry_point); | |
| 134 static void call_VM(Register oop_result, Register last_java_sp, address entry_point, Register arg_1); | |
| 135 static void call_VM(Register oop_result, Register last_java_sp, address entry_point, Register arg_1, Register arg_2); | |
| 136 static void call_VM(Register oop_result, Register last_java_sp, address entry_point, Register arg_1, Register arg_2, Register arg_3); | |
| 137 | |
| 138 // bytecodes | |
| 139 static void nop(); | |
| 140 | |
| 141 static void aconst_null(); | |
| 142 static void iconst(int value); | |
| 143 static void lconst(int value); | |
| 144 static void fconst(int value); | |
| 145 static void dconst(int value); | |
| 146 | |
| 147 static void bipush(); | |
| 148 static void sipush(); | |
| 149 static void ldc(bool wide); | |
| 150 static void ldc2_w(); | |
| 1602 | 151 static void fast_aldc(bool wide); |
| 0 | 152 |
| 153 static void locals_index(Register reg, int offset = 1); | |
| 154 static void iload(); | |
| 155 static void fast_iload(); | |
| 156 static void fast_iload2(); | |
| 157 static void fast_icaload(); | |
| 158 static void lload(); | |
| 159 static void fload(); | |
| 160 static void dload(); | |
| 161 static void aload(); | |
| 162 | |
| 163 static void locals_index_wide(Register reg); | |
| 164 static void wide_iload(); | |
| 165 static void wide_lload(); | |
| 166 static void wide_fload(); | |
| 167 static void wide_dload(); | |
| 168 static void wide_aload(); | |
| 169 | |
| 170 static void iaload(); | |
| 171 static void laload(); | |
| 172 static void faload(); | |
| 173 static void daload(); | |
| 174 static void aaload(); | |
| 175 static void baload(); | |
| 176 static void caload(); | |
| 177 static void saload(); | |
| 178 | |
| 179 static void iload(int n); | |
| 180 static void lload(int n); | |
| 181 static void fload(int n); | |
| 182 static void dload(int n); | |
| 183 static void aload(int n); | |
| 184 static void aload_0(); | |
| 185 | |
| 186 static void istore(); | |
| 187 static void lstore(); | |
| 188 static void fstore(); | |
| 189 static void dstore(); | |
| 190 static void astore(); | |
| 191 | |
| 192 static void wide_istore(); | |
| 193 static void wide_lstore(); | |
| 194 static void wide_fstore(); | |
| 195 static void wide_dstore(); | |
| 196 static void wide_astore(); | |
| 197 | |
| 198 static void iastore(); | |
| 199 static void lastore(); | |
| 200 static void fastore(); | |
| 201 static void dastore(); | |
| 202 static void aastore(); | |
| 203 static void bastore(); | |
| 204 static void castore(); | |
| 205 static void sastore(); | |
| 206 | |
| 207 static void istore(int n); | |
| 208 static void lstore(int n); | |
| 209 static void fstore(int n); | |
| 210 static void dstore(int n); | |
| 211 static void astore(int n); | |
| 212 | |
| 213 static void pop(); | |
| 214 static void pop2(); | |
| 215 static void dup(); | |
| 216 static void dup_x1(); | |
| 217 static void dup_x2(); | |
| 218 static void dup2(); | |
| 219 static void dup2_x1(); | |
| 220 static void dup2_x2(); | |
| 221 static void swap(); | |
| 222 | |
| 223 static void iop2(Operation op); | |
| 224 static void lop2(Operation op); | |
| 225 static void fop2(Operation op); | |
| 226 static void dop2(Operation op); | |
| 227 | |
| 228 static void idiv(); | |
| 229 static void irem(); | |
| 230 | |
| 231 static void lmul(); | |
| 232 static void ldiv(); | |
| 233 static void lrem(); | |
| 234 static void lshl(); | |
| 235 static void lshr(); | |
| 236 static void lushr(); | |
| 237 | |
| 238 static void ineg(); | |
| 239 static void lneg(); | |
| 240 static void fneg(); | |
| 241 static void dneg(); | |
| 242 | |
| 243 static void iinc(); | |
| 244 static void wide_iinc(); | |
| 245 static void convert(); | |
| 246 static void lcmp(); | |
| 247 | |
| 248 static void float_cmp (bool is_float, int unordered_result); | |
| 249 static void float_cmp (int unordered_result); | |
| 250 static void double_cmp(int unordered_result); | |
| 251 | |
| 252 static void count_calls(Register method, Register temp); | |
| 253 static void branch(bool is_jsr, bool is_wide); | |
| 254 static void if_0cmp (Condition cc); | |
| 255 static void if_icmp (Condition cc); | |
| 256 static void if_nullcmp(Condition cc); | |
| 257 static void if_acmp (Condition cc); | |
| 258 | |
| 259 static void _goto(); | |
| 260 static void jsr(); | |
| 261 static void ret(); | |
| 262 static void wide_ret(); | |
| 263 | |
| 264 static void goto_w(); | |
| 265 static void jsr_w(); | |
| 266 | |
| 267 static void tableswitch(); | |
| 268 static void lookupswitch(); | |
| 269 static void fast_linearswitch(); | |
| 270 static void fast_binaryswitch(); | |
| 271 | |
| 272 static void _return(TosState state); | |
| 273 | |
| 1565 | 274 static void resolve_cache_and_index(int byte_no, // one of 1,2,11 |
| 275 Register result , // either noreg or output for f1/f2 | |
| 276 Register cache, // output for CP cache | |
| 277 Register index, // output for CP index | |
| 278 size_t index_size); // one of 1,2,4 | |
| 0 | 279 static void load_invoke_cp_cache_entry(int byte_no, |
| 280 Register method, | |
| 281 Register itable_index, | |
| 282 Register flags, | |
| 1565 | 283 bool is_invokevirtual, |
| 284 bool is_virtual_final, | |
| 285 bool is_invokedynamic); | |
| 0 | 286 static void load_field_cp_cache_entry(Register obj, |
| 287 Register cache, | |
| 288 Register index, | |
| 289 Register offset, | |
| 290 Register flags, | |
| 291 bool is_static); | |
| 292 static void invokevirtual(int byte_no); | |
| 293 static void invokespecial(int byte_no); | |
| 294 static void invokestatic(int byte_no); | |
| 295 static void invokeinterface(int byte_no); | |
|
726
be93aad57795
6655646: dynamic languages need dynamically linked call sites
jrose
parents:
342
diff
changeset
|
296 static void invokedynamic(int byte_no); |
|
6266
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
3852
diff
changeset
|
297 static void invokehandle(int byte_no); |
| 0 | 298 static void fast_invokevfinal(int byte_no); |
| 299 | |
| 300 static void getfield_or_static(int byte_no, bool is_static); | |
| 301 static void putfield_or_static(int byte_no, bool is_static); | |
| 302 static void getfield(int byte_no); | |
| 303 static void putfield(int byte_no); | |
| 304 static void getstatic(int byte_no); | |
| 305 static void putstatic(int byte_no); | |
| 306 static void pop_and_check_object(Register obj); | |
| 307 | |
| 308 static void _new(); | |
| 309 static void newarray(); | |
| 310 static void anewarray(); | |
| 311 static void arraylength(); | |
| 312 static void checkcast(); | |
| 313 static void instanceof(); | |
| 314 | |
| 315 static void athrow(); | |
| 316 | |
| 317 static void monitorenter(); | |
| 318 static void monitorexit(); | |
| 319 | |
| 320 static void wide(); | |
| 321 static void multianewarray(); | |
| 322 | |
| 323 static void fast_xaccess(TosState state); | |
| 324 static void fast_accessfield(TosState state); | |
| 325 static void fast_storefield(TosState state); | |
| 326 | |
| 327 static void _breakpoint(); | |
| 328 | |
| 329 static void shouldnotreachhere(); | |
| 330 | |
| 331 // jvmti support | |
| 332 static void jvmti_post_field_access(Register cache, Register index, bool is_static, bool has_tos); | |
| 333 static void jvmti_post_field_mod(Register cache, Register index, bool is_static); | |
| 334 static void jvmti_post_fast_field_mod(); | |
| 335 | |
| 336 // debugging of TemplateGenerator | |
| 337 static void transition(TosState tos_in, TosState tos_out);// checks if in/out states expected by template generator correspond to table entries | |
| 338 | |
| 339 // initialization helpers | |
| 340 static void def(Bytecodes::Code code, int flags, TosState in, TosState out, void (*gen)( ), char filler ); | |
| 341 static void def(Bytecodes::Code code, int flags, TosState in, TosState out, void (*gen)(int arg ), int arg ); | |
| 342 static void def(Bytecodes::Code code, int flags, TosState in, TosState out, void (*gen)(bool arg ), bool arg ); | |
| 343 static void def(Bytecodes::Code code, int flags, TosState in, TosState out, void (*gen)(TosState tos), TosState tos); | |
| 344 static void def(Bytecodes::Code code, int flags, TosState in, TosState out, void (*gen)(Operation op), Operation op); | |
| 345 static void def(Bytecodes::Code code, int flags, TosState in, TosState out, void (*gen)(Condition cc), Condition cc); | |
| 346 | |
| 347 friend class Template; | |
| 348 | |
| 349 // InterpreterMacroAssembler::is_a(), etc., need TemplateTable::call_VM(). | |
| 350 friend class InterpreterMacroAssembler; | |
| 351 | |
| 352 public: | |
| 353 // Initialization | |
| 354 static void initialize(); | |
| 355 static void pd_initialize(); | |
| 356 | |
| 357 // Templates | |
| 358 static Template* template_for (Bytecodes::Code code) { Bytecodes::check (code); return &_template_table [code]; } | |
| 359 static Template* template_for_wide(Bytecodes::Code code) { Bytecodes::wide_check(code); return &_template_table_wide[code]; } | |
| 360 | |
| 361 // Platform specifics | |
| 1972 | 362 #ifdef TARGET_ARCH_MODEL_x86_32 |
| 363 # include "templateTable_x86_32.hpp" | |
| 364 #endif | |
| 365 #ifdef TARGET_ARCH_MODEL_x86_64 | |
| 366 # include "templateTable_x86_64.hpp" | |
| 367 #endif | |
| 368 #ifdef TARGET_ARCH_MODEL_sparc | |
| 369 # include "templateTable_sparc.hpp" | |
| 370 #endif | |
| 371 #ifdef TARGET_ARCH_MODEL_zero | |
| 372 # include "templateTable_zero.hpp" | |
| 373 #endif | |
|
2192
b92c45f2bc75
7016023: Enable building ARM and PPC from src/closed repository
bobv
parents:
1972
diff
changeset
|
374 #ifdef TARGET_ARCH_MODEL_arm |
|
b92c45f2bc75
7016023: Enable building ARM and PPC from src/closed repository
bobv
parents:
1972
diff
changeset
|
375 # include "templateTable_arm.hpp" |
|
b92c45f2bc75
7016023: Enable building ARM and PPC from src/closed repository
bobv
parents:
1972
diff
changeset
|
376 #endif |
|
b92c45f2bc75
7016023: Enable building ARM and PPC from src/closed repository
bobv
parents:
1972
diff
changeset
|
377 #ifdef TARGET_ARCH_MODEL_ppc |
|
b92c45f2bc75
7016023: Enable building ARM and PPC from src/closed repository
bobv
parents:
1972
diff
changeset
|
378 # include "templateTable_ppc.hpp" |
|
b92c45f2bc75
7016023: Enable building ARM and PPC from src/closed repository
bobv
parents:
1972
diff
changeset
|
379 #endif |
| 1972 | 380 |
| 0 | 381 }; |
| 382 #endif /* !CC_INTERP */ | |
| 1972 | 383 |
| 384 #endif // SHARE_VM_INTERPRETER_TEMPLATETABLE_HPP |