• file
• revisions
• annotate
• diff
• comparison
• raw

src/share/vm/c1/c1_Compilation.hpp@9f4457a14b58 (annotated)

src/share/vm/c1/c1_Compilation.hpp

Wed, 09 Apr 2008 15:10:22 -0700

author

rasbold

date

Wed, 09 Apr 2008 15:10:22 -0700

changeset 544

9f4457a14b58

parent 435

a61af66fc99e

child 1832

b4776199210f

permissions

-rw-r--r--

Merge

duke@435	1	/*
duke@435	2	* Copyright 1999-2007 Sun Microsystems, Inc. All Rights Reserved.
duke@435	3	* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
duke@435	4	*
duke@435	5	* This code is free software; you can redistribute it and/or modify it
duke@435	6	* under the terms of the GNU General Public License version 2 only, as
duke@435	7	* published by the Free Software Foundation.
duke@435	8	*
duke@435	9	* This code is distributed in the hope that it will be useful, but WITHOUT
duke@435	10	* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
duke@435	11	* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
duke@435	12	* version 2 for more details (a copy is included in the LICENSE file that
duke@435	13	* accompanied this code).
duke@435	14	*
duke@435	15	* You should have received a copy of the GNU General Public License version
duke@435	16	* 2 along with this work; if not, write to the Free Software Foundation,
duke@435	17	* Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
duke@435	18	*
duke@435	19	* Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
duke@435	20	* CA 95054 USA or visit www.sun.com if you need additional information or
duke@435	21	* have any questions.
duke@435	22	*
duke@435	23	*/
duke@435	24
duke@435	25	class BlockBegin;
duke@435	26	class CompilationResourceObj;
duke@435	27	class XHandlers;
duke@435	28	class ExceptionInfo;
duke@435	29	class DebugInformationRecorder;
duke@435	30	class FrameMap;
duke@435	31	class IR;
duke@435	32	class IRScope;
duke@435	33	class Instruction;
duke@435	34	class LinearScan;
duke@435	35	class OopMap;
duke@435	36	class LIR_Emitter;
duke@435	37	class LIR_Assembler;
duke@435	38	class CodeEmitInfo;
duke@435	39	class ciEnv;
duke@435	40	class ciMethod;
duke@435	41	class ValueStack;
duke@435	42	class LIR_OprDesc;
duke@435	43	class C1_MacroAssembler;
duke@435	44	class CFGPrinter;
duke@435	45	typedef LIR_OprDesc* LIR_Opr;
duke@435	46
duke@435	47
duke@435	48	define_array(BasicTypeArray, BasicType)
duke@435	49	define_stack(BasicTypeList, BasicTypeArray)
duke@435	50
duke@435	51	define_array(ExceptionInfoArray, ExceptionInfo*)
duke@435	52	define_stack(ExceptionInfoList, ExceptionInfoArray)
duke@435	53
duke@435	54	class Compilation: public StackObj {
duke@435	55	friend class CompilationResourceObj;
duke@435	56	private:
duke@435	57
duke@435	58	static Arena* _arena;
duke@435	59	static Arena* arena() { return _arena; }
duke@435	60
duke@435	61	static Compilation* _compilation;
duke@435	62
duke@435	63	private:
duke@435	64	// compilation specifics
duke@435	65	AbstractCompiler* _compiler;
duke@435	66	ciEnv* _env;
duke@435	67	ciMethod* _method;
duke@435	68	int _osr_bci;
duke@435	69	IR* _hir;
duke@435	70	int _max_spills;
duke@435	71	FrameMap* _frame_map;
duke@435	72	C1_MacroAssembler* _masm;
duke@435	73	bool _needs_debug_information;
duke@435	74	bool _has_exception_handlers;
duke@435	75	bool _has_fpu_code;
duke@435	76	bool _has_unsafe_access;
duke@435	77	const char* _bailout_msg;
duke@435	78	ExceptionInfoList* _exception_info_list;
duke@435	79	ExceptionHandlerTable _exception_handler_table;
duke@435	80	ImplicitExceptionTable _implicit_exception_table;
duke@435	81	LinearScan* _allocator;
duke@435	82	CodeOffsets _offsets;
duke@435	83	CodeBuffer _code;
duke@435	84
duke@435	85	// compilation helpers
duke@435	86	void initialize();
duke@435	87	void build_hir();
duke@435	88	void emit_lir();
duke@435	89
duke@435	90	void emit_code_epilog(LIR_Assembler* assembler);
duke@435	91	int emit_code_body();
duke@435	92
duke@435	93	int compile_java_method();
duke@435	94	void install_code(int frame_size);
duke@435	95	void compile_method();
duke@435	96
duke@435	97	void generate_exception_handler_table();
duke@435	98
duke@435	99	ExceptionInfoList* exception_info_list() const { return _exception_info_list; }
duke@435	100	ExceptionHandlerTable* exception_handler_table() { return &_exception_handler_table; }
duke@435	101
duke@435	102	LinearScan* allocator() { return _allocator; }
duke@435	103	void set_allocator(LinearScan* allocator) { _allocator = allocator; }
duke@435	104
duke@435	105	Instruction* _current_instruction; // the instruction currently being processed
duke@435	106	#ifndef PRODUCT
duke@435	107	Instruction* _last_instruction_printed; // the last instruction printed during traversal
duke@435	108	#endif // PRODUCT
duke@435	109
duke@435	110	public:
duke@435	111	// creation
duke@435	112	Compilation(AbstractCompiler* compiler, ciEnv* env, ciMethod* method, int osr_bci);
duke@435	113	~Compilation();
duke@435	114
duke@435	115	static Compilation* current_compilation() { return _compilation; }
duke@435	116
duke@435	117	// accessors
duke@435	118	ciEnv* env() const { return _env; }
duke@435	119	AbstractCompiler* compiler() const { return _compiler; }
duke@435	120	bool needs_debug_information() const { return _needs_debug_information; }
duke@435	121	bool has_exception_handlers() const { return _has_exception_handlers; }
duke@435	122	bool has_fpu_code() const { return _has_fpu_code; }
duke@435	123	bool has_unsafe_access() const { return _has_unsafe_access; }
duke@435	124	ciMethod* method() const { return _method; }
duke@435	125	int osr_bci() const { return _osr_bci; }
duke@435	126	bool is_osr_compile() const { return osr_bci() >= 0; }
duke@435	127	IR* hir() const { return _hir; }
duke@435	128	int max_spills() const { return _max_spills; }
duke@435	129	FrameMap* frame_map() const { return _frame_map; }
duke@435	130	CodeBuffer* code() { return &_code; }
duke@435	131	C1_MacroAssembler* masm() const { return _masm; }
duke@435	132	CodeOffsets* offsets() { return &_offsets; }
duke@435	133
duke@435	134	// setters
duke@435	135	void set_needs_debug_information(bool f) { _needs_debug_information = f; }
duke@435	136	void set_has_exception_handlers(bool f) { _has_exception_handlers = f; }
duke@435	137	void set_has_fpu_code(bool f) { _has_fpu_code = f; }
duke@435	138	void set_has_unsafe_access(bool f) { _has_unsafe_access = f; }
duke@435	139	// Add a set of exception handlers covering the given PC offset
duke@435	140	void add_exception_handlers_for_pco(int pco, XHandlers* exception_handlers);
duke@435	141	// Statistics gathering
duke@435	142	void notice_inlined_method(ciMethod* method);
duke@435	143
duke@435	144	DebugInformationRecorder* debug_info_recorder() const; // = _env->debug_info();
duke@435	145	Dependencies* dependency_recorder() const; // = _env->dependencies()
duke@435	146	ImplicitExceptionTable* implicit_exception_table() { return &_implicit_exception_table; }
duke@435	147
duke@435	148	Instruction* current_instruction() const { return _current_instruction; }
duke@435	149	Instruction* set_current_instruction(Instruction* instr) {
duke@435	150	Instruction* previous = _current_instruction;
duke@435	151	_current_instruction = instr;
duke@435	152	return previous;
duke@435	153	}
duke@435	154
duke@435	155	#ifndef PRODUCT
duke@435	156	void maybe_print_current_instruction();
duke@435	157	#endif // PRODUCT
duke@435	158
duke@435	159	// error handling
duke@435	160	void bailout(const char* msg);
duke@435	161	bool bailed_out() const { return _bailout_msg != NULL; }
duke@435	162	const char* bailout_msg() const { return _bailout_msg; }
duke@435	163
duke@435	164	// timers
duke@435	165	static void print_timers();
duke@435	166
duke@435	167	#ifndef PRODUCT
duke@435	168	// debugging support.
duke@435	169	// produces a file named c1compileonly in the current directory with
duke@435	170	// directives to compile only the current method and it's inlines.
duke@435	171	// The file can be passed to the command line option -XX:Flags=<filename>
duke@435	172	void compile_only_this_method();
duke@435	173	void compile_only_this_scope(outputStream* st, IRScope* scope);
duke@435	174	void exclude_this_method();
duke@435	175	#endif // PRODUCT
duke@435	176	};
duke@435	177
duke@435	178
duke@435	179	// Macro definitions for unified bailout-support
duke@435	180	// The methods bailout() and bailed_out() are present in all classes
duke@435	181	// that might bailout, but forward all calls to Compilation
duke@435	182	#define BAILOUT(msg) { bailout(msg); return; }
duke@435	183	#define BAILOUT_(msg, res) { bailout(msg); return res; }
duke@435	184
duke@435	185	#define CHECK_BAILOUT() { if (bailed_out()) return; }
duke@435	186	#define CHECK_BAILOUT_(res) { if (bailed_out()) return res; }
duke@435	187
duke@435	188
duke@435	189	class InstructionMark: public StackObj {
duke@435	190	private:
duke@435	191	Compilation* _compilation;
duke@435	192	Instruction* _previous;
duke@435	193
duke@435	194	public:
duke@435	195	InstructionMark(Compilation* compilation, Instruction* instr) {
duke@435	196	_compilation = compilation;
duke@435	197	_previous = _compilation->set_current_instruction(instr);
duke@435	198	}
duke@435	199	~InstructionMark() {
duke@435	200	_compilation->set_current_instruction(_previous);
duke@435	201	}
duke@435	202	};
duke@435	203
duke@435	204
duke@435	205	//----------------------------------------------------------------------
duke@435	206	// Base class for objects allocated by the compiler in the compilation arena
duke@435	207	class CompilationResourceObj ALLOCATION_SUPER_CLASS_SPEC {
duke@435	208	public:
duke@435	209	void* operator new(size_t size) { return Compilation::arena()->Amalloc(size); }
duke@435	210	void operator delete(void* p) {} // nothing to do
duke@435	211	};
duke@435	212
duke@435	213
duke@435	214	//----------------------------------------------------------------------
duke@435	215	// Class for aggregating exception handler information.
duke@435	216
duke@435	217	// Effectively extends XHandlers class with PC offset of
duke@435	218	// potentially exception-throwing instruction.
duke@435	219	// This class is used at the end of the compilation to build the
duke@435	220	// ExceptionHandlerTable.
duke@435	221	class ExceptionInfo: public CompilationResourceObj {
duke@435	222	private:
duke@435	223	int _pco; // PC of potentially exception-throwing instruction
duke@435	224	XHandlers* _exception_handlers; // flat list of exception handlers covering this PC
duke@435	225
duke@435	226	public:
duke@435	227	ExceptionInfo(int pco, XHandlers* exception_handlers)
duke@435	228	: _pco(pco)
duke@435	229	, _exception_handlers(exception_handlers)
duke@435	230	{ }
duke@435	231
duke@435	232	int pco() { return _pco; }
duke@435	233	XHandlers* exception_handlers() { return _exception_handlers; }
duke@435	234	};