src/share/vm/interpreter/templateTable.hpp

changeset 0
f90c822e73f8
child 1
2d8a650513c2
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/src/share/vm/interpreter/templateTable.hpp	Wed Apr 27 01:25:04 2016 +0800
     1.3 @@ -0,0 +1,386 @@
     1.4 +/*
     1.5 + * Copyright (c) 1997, 2013, Oracle and/or its affiliates. All rights reserved.
     1.6 + * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
     1.7 + *
     1.8 + * This code is free software; you can redistribute it and/or modify it
     1.9 + * under the terms of the GNU General Public License version 2 only, as
    1.10 + * published by the Free Software Foundation.
    1.11 + *
    1.12 + * This code is distributed in the hope that it will be useful, but WITHOUT
    1.13 + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
    1.14 + * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
    1.15 + * version 2 for more details (a copy is included in the LICENSE file that
    1.16 + * accompanied this code).
    1.17 + *
    1.18 + * You should have received a copy of the GNU General Public License version
    1.19 + * 2 along with this work; if not, write to the Free Software Foundation,
    1.20 + * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
    1.21 + *
    1.22 + * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
    1.23 + * or visit www.oracle.com if you need additional information or have any
    1.24 + * questions.
    1.25 + *
    1.26 + */
    1.27 +
    1.28 +#ifndef SHARE_VM_INTERPRETER_TEMPLATETABLE_HPP
    1.29 +#define SHARE_VM_INTERPRETER_TEMPLATETABLE_HPP
    1.30 +
    1.31 +#include "interpreter/bytecodes.hpp"
    1.32 +#include "memory/allocation.hpp"
    1.33 +#include "runtime/frame.hpp"
    1.34 +#ifdef TARGET_ARCH_x86
    1.35 +# include "interp_masm_x86.hpp"
    1.36 +#endif
    1.37 +#ifdef TARGET_ARCH_MODEL_sparc
    1.38 +# include "interp_masm_sparc.hpp"
    1.39 +#endif
    1.40 +#ifdef TARGET_ARCH_MODEL_zero
    1.41 +# include "interp_masm_zero.hpp"
    1.42 +#endif
    1.43 +#ifdef TARGET_ARCH_MODEL_arm
    1.44 +# include "interp_masm_arm.hpp"
    1.45 +#endif
    1.46 +#ifdef TARGET_ARCH_MODEL_ppc_32
    1.47 +# include "interp_masm_ppc_32.hpp"
    1.48 +#endif
    1.49 +#ifdef TARGET_ARCH_MODEL_ppc_64
    1.50 +# include "interp_masm_ppc_64.hpp"
    1.51 +#endif
    1.52 +
    1.53 +#ifndef CC_INTERP
    1.54 +// All the necessary definitions used for (bytecode) template generation. Instead of
    1.55 +// spreading the implementation functionality for each bytecode in the interpreter
    1.56 +// and the snippet generator, a template is assigned to each bytecode which can be
    1.57 +// used to generate the bytecode's implementation if needed.
    1.58 +
    1.59 +
    1.60 +// A Template describes the properties of a code template for a given bytecode
    1.61 +// and provides a generator to generate the code template.
    1.62 +
    1.63 +class Template VALUE_OBJ_CLASS_SPEC {
    1.64 + private:
    1.65 +  enum Flags {
    1.66 +    uses_bcp_bit,                                // set if template needs the bcp pointing to bytecode
    1.67 +    does_dispatch_bit,                           // set if template dispatches on its own
    1.68 +    calls_vm_bit,                                // set if template calls the vm
    1.69 +    wide_bit                                     // set if template belongs to a wide instruction
    1.70 +  };
    1.71 +
    1.72 +  typedef void (*generator)(int arg);
    1.73 +
    1.74 +  int       _flags;                              // describes interpreter template properties (bcp unknown)
    1.75 +  TosState  _tos_in;                             // tos cache state before template execution
    1.76 +  TosState  _tos_out;                            // tos cache state after  template execution
    1.77 +  generator _gen;                                // template code generator
    1.78 +  int       _arg;                                // argument for template code generator
    1.79 +
    1.80 +  void      initialize(int flags, TosState tos_in, TosState tos_out, generator gen, int arg);
    1.81 +
    1.82 +  friend class TemplateTable;
    1.83 +
    1.84 + public:
    1.85 +  Bytecodes::Code bytecode() const;
    1.86 +  bool      is_valid() const                     { return _gen != NULL; }
    1.87 +  bool      uses_bcp() const                     { return (_flags & (1 << uses_bcp_bit     )) != 0; }
    1.88 +  bool      does_dispatch() const                { return (_flags & (1 << does_dispatch_bit)) != 0; }
    1.89 +  bool      calls_vm() const                     { return (_flags & (1 << calls_vm_bit     )) != 0; }
    1.90 +  bool      is_wide() const                      { return (_flags & (1 << wide_bit         )) != 0; }
    1.91 +  TosState  tos_in() const                       { return _tos_in; }
    1.92 +  TosState  tos_out() const                      { return _tos_out; }
    1.93 +  void      generate(InterpreterMacroAssembler* masm);
    1.94 +};
    1.95 +
    1.96 +
    1.97 +// The TemplateTable defines all Templates and provides accessor functions
    1.98 +// to get the template for a given bytecode.
    1.99 +
   1.100 +class TemplateTable: AllStatic {
   1.101 + public:
   1.102 +  enum Operation { add, sub, mul, div, rem, _and, _or, _xor, shl, shr, ushr };
   1.103 +  enum Condition { equal, not_equal, less, less_equal, greater, greater_equal };
   1.104 +  enum CacheByte { f1_byte = 1, f2_byte = 2 };  // byte_no codes
   1.105 +
   1.106 + private:
   1.107 +  static bool            _is_initialized;        // true if TemplateTable has been initialized
   1.108 +  static Template        _template_table     [Bytecodes::number_of_codes];
   1.109 +  static Template        _template_table_wide[Bytecodes::number_of_codes];
   1.110 +
   1.111 +  static Template*       _desc;                  // the current template to be generated
   1.112 +  static Bytecodes::Code bytecode()              { return _desc->bytecode(); }
   1.113 +
   1.114 +  static BarrierSet*     _bs;                    // Cache the barrier set.
   1.115 + public:
   1.116 +  //%note templates_1
   1.117 +  static InterpreterMacroAssembler* _masm;       // the assembler used when generating templates
   1.118 +
   1.119 + private:
   1.120 +
   1.121 +  // special registers
   1.122 +  static inline Address at_bcp(int offset);
   1.123 +
   1.124 +  // helpers
   1.125 +  static void unimplemented_bc();
   1.126 +  static void patch_bytecode(Bytecodes::Code bc, Register bc_reg,
   1.127 +                             Register temp_reg, bool load_bc_into_bc_reg = true, int byte_no = -1);
   1.128 +
   1.129 +  // C calls
   1.130 +  static void call_VM(Register oop_result, address entry_point);
   1.131 +  static void call_VM(Register oop_result, address entry_point, Register arg_1);
   1.132 +  static void call_VM(Register oop_result, address entry_point, Register arg_1, Register arg_2);
   1.133 +  static void call_VM(Register oop_result, address entry_point, Register arg_1, Register arg_2, Register arg_3);
   1.134 +
   1.135 +  // these overloadings are not presently used on SPARC:
   1.136 +  static void call_VM(Register oop_result, Register last_java_sp, address entry_point);
   1.137 +  static void call_VM(Register oop_result, Register last_java_sp, address entry_point, Register arg_1);
   1.138 +  static void call_VM(Register oop_result, Register last_java_sp, address entry_point, Register arg_1, Register arg_2);
   1.139 +  static void call_VM(Register oop_result, Register last_java_sp, address entry_point, Register arg_1, Register arg_2, Register arg_3);
   1.140 +
   1.141 +  // bytecodes
   1.142 +  static void nop();
   1.143 +
   1.144 +  static void aconst_null();
   1.145 +  static void iconst(int value);
   1.146 +  static void lconst(int value);
   1.147 +  static void fconst(int value);
   1.148 +  static void dconst(int value);
   1.149 +
   1.150 +  static void bipush();
   1.151 +  static void sipush();
   1.152 +  static void ldc(bool wide);
   1.153 +  static void ldc2_w();
   1.154 +  static void fast_aldc(bool wide);
   1.155 +
   1.156 +  static void locals_index(Register reg, int offset = 1);
   1.157 +  static void iload();
   1.158 +  static void fast_iload();
   1.159 +  static void fast_iload2();
   1.160 +  static void fast_icaload();
   1.161 +  static void lload();
   1.162 +  static void fload();
   1.163 +  static void dload();
   1.164 +  static void aload();
   1.165 +
   1.166 +  static void locals_index_wide(Register reg);
   1.167 +  static void wide_iload();
   1.168 +  static void wide_lload();
   1.169 +  static void wide_fload();
   1.170 +  static void wide_dload();
   1.171 +  static void wide_aload();
   1.172 +
   1.173 +  static void iaload();
   1.174 +  static void laload();
   1.175 +  static void faload();
   1.176 +  static void daload();
   1.177 +  static void aaload();
   1.178 +  static void baload();
   1.179 +  static void caload();
   1.180 +  static void saload();
   1.181 +
   1.182 +  static void iload(int n);
   1.183 +  static void lload(int n);
   1.184 +  static void fload(int n);
   1.185 +  static void dload(int n);
   1.186 +  static void aload(int n);
   1.187 +  static void aload_0();
   1.188 +
   1.189 +  static void istore();
   1.190 +  static void lstore();
   1.191 +  static void fstore();
   1.192 +  static void dstore();
   1.193 +  static void astore();
   1.194 +
   1.195 +  static void wide_istore();
   1.196 +  static void wide_lstore();
   1.197 +  static void wide_fstore();
   1.198 +  static void wide_dstore();
   1.199 +  static void wide_astore();
   1.200 +
   1.201 +  static void iastore();
   1.202 +  static void lastore();
   1.203 +  static void fastore();
   1.204 +  static void dastore();
   1.205 +  static void aastore();
   1.206 +  static void bastore();
   1.207 +  static void castore();
   1.208 +  static void sastore();
   1.209 +
   1.210 +  static void istore(int n);
   1.211 +  static void lstore(int n);
   1.212 +  static void fstore(int n);
   1.213 +  static void dstore(int n);
   1.214 +  static void astore(int n);
   1.215 +
   1.216 +  static void pop();
   1.217 +  static void pop2();
   1.218 +  static void dup();
   1.219 +  static void dup_x1();
   1.220 +  static void dup_x2();
   1.221 +  static void dup2();
   1.222 +  static void dup2_x1();
   1.223 +  static void dup2_x2();
   1.224 +  static void swap();
   1.225 +
   1.226 +  static void iop2(Operation op);
   1.227 +  static void lop2(Operation op);
   1.228 +  static void fop2(Operation op);
   1.229 +  static void dop2(Operation op);
   1.230 +
   1.231 +  static void idiv();
   1.232 +  static void irem();
   1.233 +
   1.234 +  static void lmul();
   1.235 +  static void ldiv();
   1.236 +  static void lrem();
   1.237 +  static void lshl();
   1.238 +  static void lshr();
   1.239 +  static void lushr();
   1.240 +
   1.241 +  static void ineg();
   1.242 +  static void lneg();
   1.243 +  static void fneg();
   1.244 +  static void dneg();
   1.245 +
   1.246 +  static void iinc();
   1.247 +  static void wide_iinc();
   1.248 +  static void convert();
   1.249 +  static void lcmp();
   1.250 +
   1.251 +  static void float_cmp (bool is_float, int unordered_result);
   1.252 +  static void float_cmp (int unordered_result);
   1.253 +  static void double_cmp(int unordered_result);
   1.254 +
   1.255 +  static void count_calls(Register method, Register temp);
   1.256 +  static void branch(bool is_jsr, bool is_wide);
   1.257 +  static void if_0cmp   (Condition cc);
   1.258 +  static void if_icmp   (Condition cc);
   1.259 +  static void if_nullcmp(Condition cc);
   1.260 +  static void if_acmp   (Condition cc);
   1.261 +
   1.262 +  static void _goto();
   1.263 +  static void jsr();
   1.264 +  static void ret();
   1.265 +  static void wide_ret();
   1.266 +
   1.267 +  static void goto_w();
   1.268 +  static void jsr_w();
   1.269 +
   1.270 +  static void tableswitch();
   1.271 +  static void lookupswitch();
   1.272 +  static void fast_linearswitch();
   1.273 +  static void fast_binaryswitch();
   1.274 +
   1.275 +  static void _return(TosState state);
   1.276 +
   1.277 +  static void resolve_cache_and_index(int byte_no,       // one of 1,2,11
   1.278 +                                      Register cache,    // output for CP cache
   1.279 +                                      Register index,    // output for CP index
   1.280 +                                      size_t index_size); // one of 1,2,4
   1.281 +  static void load_invoke_cp_cache_entry(int byte_no,
   1.282 +                                         Register method,
   1.283 +                                         Register itable_index,
   1.284 +                                         Register flags,
   1.285 +                                         bool is_invokevirtual,
   1.286 +                                         bool is_virtual_final,
   1.287 +                                         bool is_invokedynamic);
   1.288 +  static void load_field_cp_cache_entry(Register obj,
   1.289 +                                        Register cache,
   1.290 +                                        Register index,
   1.291 +                                        Register offset,
   1.292 +                                        Register flags,
   1.293 +                                        bool is_static);
   1.294 +  static void invokevirtual(int byte_no);
   1.295 +  static void invokespecial(int byte_no);
   1.296 +  static void invokestatic(int byte_no);
   1.297 +  static void invokeinterface(int byte_no);
   1.298 +  static void invokedynamic(int byte_no);
   1.299 +  static void invokehandle(int byte_no);
   1.300 +  static void fast_invokevfinal(int byte_no);
   1.301 +
   1.302 +  static void getfield_or_static(int byte_no, bool is_static);
   1.303 +  static void putfield_or_static(int byte_no, bool is_static);
   1.304 +  static void getfield(int byte_no);
   1.305 +  static void putfield(int byte_no);
   1.306 +  static void getstatic(int byte_no);
   1.307 +  static void putstatic(int byte_no);
   1.308 +  static void pop_and_check_object(Register obj);
   1.309 +
   1.310 +  static void _new();
   1.311 +  static void newarray();
   1.312 +  static void anewarray();
   1.313 +  static void arraylength();
   1.314 +  static void checkcast();
   1.315 +  static void instanceof();
   1.316 +
   1.317 +  static void athrow();
   1.318 +
   1.319 +  static void monitorenter();
   1.320 +  static void monitorexit();
   1.321 +
   1.322 +  static void wide();
   1.323 +  static void multianewarray();
   1.324 +
   1.325 +  static void fast_xaccess(TosState state);
   1.326 +  static void fast_accessfield(TosState state);
   1.327 +  static void fast_storefield(TosState state);
   1.328 +
   1.329 +  static void _breakpoint();
   1.330 +
   1.331 +  static void shouldnotreachhere();
   1.332 +
   1.333 +  // jvmti support
   1.334 +  static void jvmti_post_field_access(Register cache, Register index, bool is_static, bool has_tos);
   1.335 +  static void jvmti_post_field_mod(Register cache, Register index, bool is_static);
   1.336 +  static void jvmti_post_fast_field_mod();
   1.337 +
   1.338 +  // debugging of TemplateGenerator
   1.339 +  static void transition(TosState tos_in, TosState tos_out);// checks if in/out states expected by template generator correspond to table entries
   1.340 +
   1.341 +  // initialization helpers
   1.342 +  static void def(Bytecodes::Code code, int flags, TosState in, TosState out, void (*gen)(            ), char filler );
   1.343 +  static void def(Bytecodes::Code code, int flags, TosState in, TosState out, void (*gen)(int arg     ), int arg     );
   1.344 + static void def(Bytecodes::Code code, int flags, TosState in, TosState out, void (*gen)(bool arg    ), bool arg    );
   1.345 +  static void def(Bytecodes::Code code, int flags, TosState in, TosState out, void (*gen)(TosState tos), TosState tos);
   1.346 +  static void def(Bytecodes::Code code, int flags, TosState in, TosState out, void (*gen)(Operation op), Operation op);
   1.347 +  static void def(Bytecodes::Code code, int flags, TosState in, TosState out, void (*gen)(Condition cc), Condition cc);
   1.348 +
   1.349 +  friend class Template;
   1.350 +
   1.351 +  // InterpreterMacroAssembler::is_a(), etc., need TemplateTable::call_VM().
   1.352 +  friend class InterpreterMacroAssembler;
   1.353 +
   1.354 + public:
   1.355 +  // Initialization
   1.356 +  static void initialize();
   1.357 +  static void pd_initialize();
   1.358 +
   1.359 +  // Templates
   1.360 +  static Template* template_for     (Bytecodes::Code code)  { Bytecodes::check     (code); return &_template_table     [code]; }
   1.361 +  static Template* template_for_wide(Bytecodes::Code code)  { Bytecodes::wide_check(code); return &_template_table_wide[code]; }
   1.362 +
   1.363 +  // Platform specifics
   1.364 +#ifdef TARGET_ARCH_MODEL_x86_32
   1.365 +# include "templateTable_x86_32.hpp"
   1.366 +#endif
   1.367 +#ifdef TARGET_ARCH_MODEL_x86_64
   1.368 +# include "templateTable_x86_64.hpp"
   1.369 +#endif
   1.370 +#ifdef TARGET_ARCH_MODEL_sparc
   1.371 +# include "templateTable_sparc.hpp"
   1.372 +#endif
   1.373 +#ifdef TARGET_ARCH_MODEL_zero
   1.374 +# include "templateTable_zero.hpp"
   1.375 +#endif
   1.376 +#ifdef TARGET_ARCH_MODEL_arm
   1.377 +# include "templateTable_arm.hpp"
   1.378 +#endif
   1.379 +#ifdef TARGET_ARCH_MODEL_ppc_32
   1.380 +# include "templateTable_ppc_32.hpp"
   1.381 +#endif
   1.382 +#ifdef TARGET_ARCH_MODEL_ppc_64
   1.383 +# include "templateTable_ppc_64.hpp"
   1.384 +#endif
   1.385 +
   1.386 +};
   1.387 +#endif /* !CC_INTERP */
   1.388 +
   1.389 +#endif // SHARE_VM_INTERPRETER_TEMPLATETABLE_HPP

mercurial