< prev index next >

src/hotspot/share/c1/c1_Compilation.hpp

Print this page

 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_C1_C1_COMPILATION_HPP
 26 #define SHARE_C1_C1_COMPILATION_HPP
 27 
 28 #include "ci/ciEnv.hpp"
 29 #include "ci/ciMethodData.hpp"
 30 #include "code/exceptionHandlerTable.hpp"
 31 #include "compiler/compiler_globals.hpp"
 32 #include "compiler/compilerDefinitions.inline.hpp"
 33 #include "compiler/compilerDirectives.hpp"
 34 #include "memory/resourceArea.hpp"
 35 #include "runtime/deoptimization.hpp"

 36 
 37 class CompilationResourceObj;
 38 class XHandlers;
 39 class ExceptionInfo;
 40 class DebugInformationRecorder;
 41 class FrameMap;
 42 class IR;
 43 class IRScope;
 44 class Instruction;
 45 class LinearScan;
 46 class OopMap;
 47 class LIR_Emitter;
 48 class LIR_Assembler;
 49 class CodeEmitInfo;
 50 class ciEnv;
 51 class ciMethod;
 52 class ValueStack;
 53 class C1_MacroAssembler;
 54 class CFGPrinter;
 55 class CFGPrinterOutput;

 76   FrameMap*          _frame_map;
 77   C1_MacroAssembler* _masm;
 78   bool               _has_exception_handlers;
 79   bool               _has_fpu_code;
 80   bool               _has_unsafe_access;
 81   bool               _has_irreducible_loops;
 82   bool               _would_profile;
 83   bool               _has_method_handle_invokes;  // True if this method has MethodHandle invokes.
 84   bool               _has_reserved_stack_access;
 85   bool               _has_monitors; // Fastpath monitors detection for Continuations
 86   bool               _install_code;
 87   const char*        _bailout_msg;
 88   ExceptionInfoList* _exception_info_list;
 89   ExceptionHandlerTable _exception_handler_table;
 90   ImplicitExceptionTable _implicit_exception_table;
 91   LinearScan*        _allocator;
 92   CodeOffsets        _offsets;
 93   CodeBuffer         _code;
 94   bool               _has_access_indexed;
 95   int                _interpreter_frame_size; // Stack space needed in case of a deoptimization

 96   int                _immediate_oops_patched;
 97 
 98   // compilation helpers
 99   void initialize();
100   void build_hir();
101   void emit_lir();
102 
103   void emit_code_epilog(LIR_Assembler* assembler);
104   int  emit_code_body();
105 
106   int  compile_java_method();
107   void install_code(int frame_size);
108   void compile_method();
109 
110   void generate_exception_handler_table();
111 
112   ExceptionInfoList* exception_info_list() const { return _exception_info_list; }
113   ExceptionHandlerTable* exception_handler_table() { return &_exception_handler_table; }
114 
115   void        set_allocator(LinearScan* allocator) { _allocator = allocator; }

236   }
237   bool profile_inlined_calls() {
238     return profile_calls() && C1ProfileInlinedCalls;
239   }
240   bool profile_checkcasts() {
241     return env()->comp_level() == CompLevel_full_profile &&
242       C1UpdateMethodData && C1ProfileCheckcasts;
243   }
244   bool profile_parameters() {
245     return env()->comp_level() == CompLevel_full_profile &&
246       C1UpdateMethodData && MethodData::profile_parameters();
247   }
248   bool profile_arguments() {
249     return env()->comp_level() == CompLevel_full_profile &&
250       C1UpdateMethodData && MethodData::profile_arguments();
251   }
252   bool profile_return() {
253     return env()->comp_level() == CompLevel_full_profile &&
254       C1UpdateMethodData && MethodData::profile_return();
255   }




256 
257   // will compilation make optimistic assumptions that might lead to
258   // deoptimization and that the runtime will account for?
259   bool is_optimistic() {
260     return CompilerConfig::is_c1_only_no_jvmci() && !is_profiling() &&
261       (RangeCheckElimination || UseLoopInvariantCodeMotion) &&
262       method()->method_data()->trap_count(Deoptimization::Reason_none) == 0;
263   }
264 
265   ciKlass* cha_exact_type(ciType* type);
266 
267   // Dump inlining replay data to the stream.
268   void dump_inline_data(outputStream* out) { /* do nothing now */ }
269 
270   // How much stack space would the interpreter need in case of a
271   // deoptimization (worst case)
272   void update_interpreter_frame_size(int size) {
273     if (_interpreter_frame_size < size) {
274       _interpreter_frame_size = size;
275     }
276   }
277 
278   int interpreter_frame_size() const {
279     return _interpreter_frame_size;
280   }







281 };
282 
283 
284 // Macro definitions for unified bailout-support
285 // The methods bailout() and bailed_out() are present in all classes
286 // that might bailout, but forward all calls to Compilation
287 #define BAILOUT(msg)               { bailout(msg); return;              }
288 #define BAILOUT_(msg, res)         { bailout(msg); return res;          }
289 
290 #define CHECK_BAILOUT()            { if (bailed_out()) return;          }
291 #define CHECK_BAILOUT_(res)        { if (bailed_out()) return res;      }
292 
293 // BAILOUT check with reset of bound labels
294 #define CHECK_BAILOUT1(l1)         { if (bailed_out()) { l1.reset();                         return; } }
295 #define CHECK_BAILOUT2(l1, l2)     { if (bailed_out()) { l1.reset(); l2.reset();             return; } }
296 #define CHECK_BAILOUT3(l1, l2, l3) { if (bailed_out()) { l1.reset(); l2.reset(); l3.reset(); return; } }
297 
298 
299 class InstructionMark: public StackObj {
300  private:

 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_C1_C1_COMPILATION_HPP
 26 #define SHARE_C1_C1_COMPILATION_HPP
 27 
 28 #include "ci/ciEnv.hpp"
 29 #include "ci/ciMethodData.hpp"
 30 #include "code/exceptionHandlerTable.hpp"
 31 #include "compiler/compiler_globals.hpp"
 32 #include "compiler/compilerDefinitions.inline.hpp"
 33 #include "compiler/compilerDirectives.hpp"
 34 #include "memory/resourceArea.hpp"
 35 #include "runtime/deoptimization.hpp"
 36 #include "runtime/sharedRuntime.hpp"
 37 
 38 class CompilationResourceObj;
 39 class XHandlers;
 40 class ExceptionInfo;
 41 class DebugInformationRecorder;
 42 class FrameMap;
 43 class IR;
 44 class IRScope;
 45 class Instruction;
 46 class LinearScan;
 47 class OopMap;
 48 class LIR_Emitter;
 49 class LIR_Assembler;
 50 class CodeEmitInfo;
 51 class ciEnv;
 52 class ciMethod;
 53 class ValueStack;
 54 class C1_MacroAssembler;
 55 class CFGPrinter;
 56 class CFGPrinterOutput;

 77   FrameMap*          _frame_map;
 78   C1_MacroAssembler* _masm;
 79   bool               _has_exception_handlers;
 80   bool               _has_fpu_code;
 81   bool               _has_unsafe_access;
 82   bool               _has_irreducible_loops;
 83   bool               _would_profile;
 84   bool               _has_method_handle_invokes;  // True if this method has MethodHandle invokes.
 85   bool               _has_reserved_stack_access;
 86   bool               _has_monitors; // Fastpath monitors detection for Continuations
 87   bool               _install_code;
 88   const char*        _bailout_msg;
 89   ExceptionInfoList* _exception_info_list;
 90   ExceptionHandlerTable _exception_handler_table;
 91   ImplicitExceptionTable _implicit_exception_table;
 92   LinearScan*        _allocator;
 93   CodeOffsets        _offsets;
 94   CodeBuffer         _code;
 95   bool               _has_access_indexed;
 96   int                _interpreter_frame_size; // Stack space needed in case of a deoptimization
 97   CompiledEntrySignature _compiled_entry_signature;
 98   int                _immediate_oops_patched;
 99 
100   // compilation helpers
101   void initialize();
102   void build_hir();
103   void emit_lir();
104 
105   void emit_code_epilog(LIR_Assembler* assembler);
106   int  emit_code_body();
107 
108   int  compile_java_method();
109   void install_code(int frame_size);
110   void compile_method();
111 
112   void generate_exception_handler_table();
113 
114   ExceptionInfoList* exception_info_list() const { return _exception_info_list; }
115   ExceptionHandlerTable* exception_handler_table() { return &_exception_handler_table; }
116 
117   void        set_allocator(LinearScan* allocator) { _allocator = allocator; }

238   }
239   bool profile_inlined_calls() {
240     return profile_calls() && C1ProfileInlinedCalls;
241   }
242   bool profile_checkcasts() {
243     return env()->comp_level() == CompLevel_full_profile &&
244       C1UpdateMethodData && C1ProfileCheckcasts;
245   }
246   bool profile_parameters() {
247     return env()->comp_level() == CompLevel_full_profile &&
248       C1UpdateMethodData && MethodData::profile_parameters();
249   }
250   bool profile_arguments() {
251     return env()->comp_level() == CompLevel_full_profile &&
252       C1UpdateMethodData && MethodData::profile_arguments();
253   }
254   bool profile_return() {
255     return env()->comp_level() == CompLevel_full_profile &&
256       C1UpdateMethodData && MethodData::profile_return();
257   }
258   bool profile_array_accesses() {
259     return env()->comp_level() == CompLevel_full_profile &&
260       C1UpdateMethodData;
261   }
262 
263   // will compilation make optimistic assumptions that might lead to
264   // deoptimization and that the runtime will account for?
265   bool is_optimistic() {
266     return CompilerConfig::is_c1_only_no_jvmci() && !is_profiling() &&
267       (RangeCheckElimination || UseLoopInvariantCodeMotion) &&
268       method()->method_data()->trap_count(Deoptimization::Reason_none) == 0;
269   }
270 
271   ciKlass* cha_exact_type(ciType* type);
272 
273   // Dump inlining replay data to the stream.
274   void dump_inline_data(outputStream* out) { /* do nothing now */ }
275 
276   // How much stack space would the interpreter need in case of a
277   // deoptimization (worst case)
278   void update_interpreter_frame_size(int size) {
279     if (_interpreter_frame_size < size) {
280       _interpreter_frame_size = size;
281     }
282   }
283 
284   int interpreter_frame_size() const {
285     return _interpreter_frame_size;
286   }
287 
288   const CompiledEntrySignature* compiled_entry_signature() const {
289     return &_compiled_entry_signature;
290   }
291   bool needs_stack_repair() const {
292     return compiled_entry_signature()->c1_needs_stack_repair();
293   }
294 };
295 
296 
297 // Macro definitions for unified bailout-support
298 // The methods bailout() and bailed_out() are present in all classes
299 // that might bailout, but forward all calls to Compilation
300 #define BAILOUT(msg)               { bailout(msg); return;              }
301 #define BAILOUT_(msg, res)         { bailout(msg); return res;          }
302 
303 #define CHECK_BAILOUT()            { if (bailed_out()) return;          }
304 #define CHECK_BAILOUT_(res)        { if (bailed_out()) return res;      }
305 
306 // BAILOUT check with reset of bound labels
307 #define CHECK_BAILOUT1(l1)         { if (bailed_out()) { l1.reset();                         return; } }
308 #define CHECK_BAILOUT2(l1, l2)     { if (bailed_out()) { l1.reset(); l2.reset();             return; } }
309 #define CHECK_BAILOUT3(l1, l2, l3) { if (bailed_out()) { l1.reset(); l2.reset(); l3.reset(); return; } }
310 
311 
312 class InstructionMark: public StackObj {
313  private:
< prev index next >