Mercurial > hg > truffle
annotate src/cpu/x86/vm/interp_masm_x86_64.hpp @ 15388:769fc3629f59
Add phase FlowSensitiveReductionPhase.
It is possible to remove GuardingPiNodes, CheckCastNodes, and FixedGuards during
HighTier under certain conditions (control-flow sensitive conditions).
The phase added in this commit (FlowSensitiveReductionPhase) does that,
and in addition replaces usages with "downcasting" PiNodes when possible
thus resulting in more precise object stamps (e.g., non-null).
Finally, usages of floating, side-effects free, expressions are also simplified
(as per control-flow sensitive conditions).
The newly added phase runs only during HighTier and can be deactivated
using Graal option FlowSensitiveReduction (it is active by default).
author | Miguel Garcia <miguel.m.garcia@oracle.com> |
---|---|
date | Fri, 25 Apr 2014 16:50:52 +0200 |
parents | 096c224171c4 |
children | b51e29501f30 |
rev | line source |
---|---|
0 | 1 /* |
10105
aeaca88565e6
8010862: The Method counter fields used for profiling can be allocated lazily.
jiangli
parents:
7199
diff
changeset
|
2 * Copyright (c) 2003, 2013, 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:
1506
diff
changeset
|
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
1506
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:
1506
diff
changeset
|
21 * questions. |
0 | 22 * |
23 */ | |
24 | |
9760
c76b43ed5089
Added infrastructure for recording invoked methods in the profiling information.
Christian Haeubl <haeubl@ssw.jku.at>
parents:
7199
diff
changeset
|
25 typedef ByteSize (*OffsetFunction)(uint); |
304 | 26 #ifndef CC_INTERP |
0 | 27 protected: |
28 // Interpreter specific version of call_VM_base | |
29 virtual void call_VM_leaf_base(address entry_point, | |
30 int number_of_arguments); | |
31 | |
32 virtual void call_VM_base(Register oop_result, | |
33 Register java_thread, | |
34 Register last_java_sp, | |
35 address entry_point, | |
36 int number_of_arguments, | |
37 bool check_exceptions); | |
38 | |
39 virtual void check_and_handle_popframe(Register java_thread); | |
40 virtual void check_and_handle_earlyret(Register java_thread); | |
41 | |
42 // base routine for all dispatches | |
43 void dispatch_base(TosState state, address* table, bool verifyoop = true); | |
304 | 44 #endif // CC_INTERP |
0 | 45 |
46 public: | |
12962
5ccbab1c69f3
8026251: New type profiling points: parameters to methods
roland
parents:
12882
diff
changeset
|
47 InterpreterMacroAssembler(CodeBuffer* code) : MacroAssembler(code), _locals_register(r14), _bcp_register(r13) {} |
0 | 48 |
49 void load_earlyret_value(TosState state); | |
50 | |
304 | 51 #ifdef CC_INTERP |
52 void save_bcp() { /* not needed in c++ interpreter and harmless */ } | |
53 void restore_bcp() { /* not needed in c++ interpreter and harmless */ } | |
54 | |
55 // Helpers for runtime call arguments/results | |
56 void get_method(Register reg); | |
57 | |
58 #else | |
59 | |
0 | 60 // Interpreter-specific registers |
304 | 61 void save_bcp() { |
62 movptr(Address(rbp, frame::interpreter_frame_bcx_offset * wordSize), r13); | |
0 | 63 } |
64 | |
304 | 65 void restore_bcp() { |
66 movptr(r13, Address(rbp, frame::interpreter_frame_bcx_offset * wordSize)); | |
0 | 67 } |
68 | |
304 | 69 void restore_locals() { |
70 movptr(r14, Address(rbp, frame::interpreter_frame_locals_offset * wordSize)); | |
0 | 71 } |
72 | |
73 // Helpers for runtime call arguments/results | |
304 | 74 void get_method(Register reg) { |
75 movptr(reg, Address(rbp, frame::interpreter_frame_method_offset * wordSize)); | |
0 | 76 } |
77 | |
6123
2fe087c3e814
7172967: Eliminate constMethod's _method backpointer to methodOop.
jiangli
parents:
3852
diff
changeset
|
78 void get_const(Register reg) { |
0 | 79 get_method(reg); |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6123
diff
changeset
|
80 movptr(reg, Address(reg, Method::const_offset())); |
6123
2fe087c3e814
7172967: Eliminate constMethod's _method backpointer to methodOop.
jiangli
parents:
3852
diff
changeset
|
81 } |
2fe087c3e814
7172967: Eliminate constMethod's _method backpointer to methodOop.
jiangli
parents:
3852
diff
changeset
|
82 |
2fe087c3e814
7172967: Eliminate constMethod's _method backpointer to methodOop.
jiangli
parents:
3852
diff
changeset
|
83 void get_constant_pool(Register reg) { |
2fe087c3e814
7172967: Eliminate constMethod's _method backpointer to methodOop.
jiangli
parents:
3852
diff
changeset
|
84 get_const(reg); |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6123
diff
changeset
|
85 movptr(reg, Address(reg, ConstMethod::constants_offset())); |
0 | 86 } |
87 | |
304 | 88 void get_constant_pool_cache(Register reg) { |
0 | 89 get_constant_pool(reg); |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6123
diff
changeset
|
90 movptr(reg, Address(reg, ConstantPool::cache_offset_in_bytes())); |
0 | 91 } |
92 | |
304 | 93 void get_cpool_and_tags(Register cpool, Register tags) { |
0 | 94 get_constant_pool(cpool); |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6123
diff
changeset
|
95 movptr(tags, Address(cpool, ConstantPool::tags_offset_in_bytes())); |
0 | 96 } |
97 | |
98 void get_unsigned_2_byte_index_at_bcp(Register reg, int bcp_offset); | |
3852
fdb992d83a87
7071653: JSR 292: call site change notification should be pushed not pulled
twisti
parents:
3336
diff
changeset
|
99 void get_cache_and_index_at_bcp(Register cache, Register index, int bcp_offset, size_t index_size = sizeof(u2)); |
fdb992d83a87
7071653: JSR 292: call site change notification should be pushed not pulled
twisti
parents:
3336
diff
changeset
|
100 void get_cache_and_index_and_bytecode_at_bcp(Register cache, Register index, Register bytecode, int byte_no, int bcp_offset, size_t index_size = sizeof(u2)); |
fdb992d83a87
7071653: JSR 292: call site change notification should be pushed not pulled
twisti
parents:
3336
diff
changeset
|
101 void get_cache_entry_pointer_at_bcp(Register cache, Register tmp, int bcp_offset, size_t index_size = sizeof(u2)); |
1565 | 102 void get_cache_index_at_bcp(Register index, int bcp_offset, size_t index_size = sizeof(u2)); |
10105
aeaca88565e6
8010862: The Method counter fields used for profiling can be allocated lazily.
jiangli
parents:
7199
diff
changeset
|
103 void get_method_counters(Register method, Register mcs, Label& skip); |
0 | 104 |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6123
diff
changeset
|
105 // load cpool->resolved_references(index); |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6123
diff
changeset
|
106 void load_resolved_reference_at_index(Register result, Register index); |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6123
diff
changeset
|
107 |
0 | 108 void pop_ptr(Register r = rax); |
109 void pop_i(Register r = rax); | |
110 void pop_l(Register r = rax); | |
111 void pop_f(XMMRegister r = xmm0); | |
112 void pop_d(XMMRegister r = xmm0); | |
113 void push_ptr(Register r = rax); | |
114 void push_i(Register r = rax); | |
115 void push_l(Register r = rax); | |
116 void push_f(XMMRegister r = xmm0); | |
117 void push_d(XMMRegister r = xmm0); | |
118 | |
304 | 119 void pop(Register r ) { ((MacroAssembler*)this)->pop(r); } |
120 | |
121 void push(Register r ) { ((MacroAssembler*)this)->push(r); } | |
122 void push(int32_t imm ) { ((MacroAssembler*)this)->push(imm); } | |
123 | |
0 | 124 void pop(TosState state); // transition vtos -> state |
125 void push(TosState state); // transition state -> vtos | |
126 | |
1506 | 127 void empty_expression_stack() { |
304 | 128 movptr(rsp, Address(rbp, frame::interpreter_frame_monitor_block_top_offset * wordSize)); |
0 | 129 // NULL last_sp until next java call |
304 | 130 movptr(Address(rbp, frame::interpreter_frame_last_sp_offset * wordSize), (int32_t)NULL_WORD); |
0 | 131 } |
132 | |
1506 | 133 // Helpers for swap and dup |
134 void load_ptr(int n, Register val); | |
135 void store_ptr(int n, Register val); | |
136 | |
0 | 137 // Generate a subtype check: branch to ok_is_subtype if sub_klass is |
138 // a subtype of super_klass. | |
139 void gen_subtype_check( Register sub_klass, Label &ok_is_subtype ); | |
140 | |
141 // Dispatching | |
142 void dispatch_prolog(TosState state, int step = 0); | |
143 void dispatch_epilog(TosState state, int step = 0); | |
144 // dispatch via ebx (assume ebx is loaded already) | |
145 void dispatch_only(TosState state); | |
146 // dispatch normal table via ebx (assume ebx is loaded already) | |
147 void dispatch_only_normal(TosState state); | |
148 void dispatch_only_noverify(TosState state); | |
149 // load ebx from [esi + step] and dispatch via ebx | |
150 void dispatch_next(TosState state, int step = 0); | |
151 // load ebx from [esi] and dispatch via ebx and table | |
152 void dispatch_via (TosState state, address* table); | |
153 | |
154 // jump to an invoked target | |
710 | 155 void prepare_to_jump_from_interpreted(); |
0 | 156 void jump_from_interpreted(Register method, Register temp); |
157 | |
158 | |
159 // Returning from interpreted functions | |
160 // | |
161 // Removes the current activation (incl. unlocking of monitors) | |
162 // and sets up the return address. This code is also used for | |
163 // exception unwindwing. In that case, we do not want to throw | |
164 // IllegalMonitorStateExceptions, since that might get us into an | |
165 // infinite rethrow exception loop. | |
166 // Additionally this code is used for popFrame and earlyReturn. | |
167 // In popFrame case we want to skip throwing an exception, | |
168 // installing an exception, and notifying jvmdi. | |
169 // In earlyReturn case we only want to skip throwing an exception | |
170 // and installing an exception. | |
171 void remove_activation(TosState state, Register ret_addr, | |
172 bool throw_monitor_exception = true, | |
173 bool install_monitor_exception = true, | |
174 bool notify_jvmdi = true); | |
304 | 175 #endif // CC_INTERP |
0 | 176 |
177 // Object locking | |
178 void lock_object (Register lock_reg); | |
179 void unlock_object(Register lock_reg); | |
180 | |
304 | 181 #ifndef CC_INTERP |
182 | |
0 | 183 // Interpreter profiling operations |
184 void set_method_data_pointer_for_bcp(); | |
185 void test_method_data_pointer(Register mdp, Label& zero_continue); | |
186 void verify_method_data_pointer(); | |
187 | |
188 void set_mdp_data_at(Register mdp_in, int constant, Register value); | |
189 void increment_mdp_data_at(Address data, bool decrement = false); | |
190 void increment_mdp_data_at(Register mdp_in, int constant, | |
191 bool decrement = false); | |
192 void increment_mdp_data_at(Register mdp_in, Register reg, int constant, | |
193 bool decrement = false); | |
1783 | 194 void increment_mask_and_jump(Address counter_addr, |
195 int increment, int mask, | |
196 Register scratch, bool preloaded, | |
197 Condition cond, Label* where); | |
0 | 198 void set_mdp_flag_at(Register mdp_in, int flag_constant); |
199 void test_mdp_data_at(Register mdp_in, int offset, Register value, | |
200 Register test_value_out, | |
201 Label& not_equal_continue); | |
202 | |
203 void record_klass_in_profile(Register receiver, Register mdp, | |
1206
87684f1a88b5
6614597: Performance variability in jvm2008 xml.validation
kvn
parents:
1108
diff
changeset
|
204 Register reg2, bool is_virtual_call); |
0 | 205 void record_klass_in_profile_helper(Register receiver, Register mdp, |
9760
c76b43ed5089
Added infrastructure for recording invoked methods in the profiling information.
Christian Haeubl <haeubl@ssw.jku.at>
parents:
7199
diff
changeset
|
206 Register reg2, Label& done, bool is_virtual_call); |
c76b43ed5089
Added infrastructure for recording invoked methods in the profiling information.
Christian Haeubl <haeubl@ssw.jku.at>
parents:
7199
diff
changeset
|
207 void record_item_in_profile_helper(Register item, Register mdp, |
c76b43ed5089
Added infrastructure for recording invoked methods in the profiling information.
Christian Haeubl <haeubl@ssw.jku.at>
parents:
7199
diff
changeset
|
208 Register reg2, int start_row, Label& done, int total_rows, |
c76b43ed5089
Added infrastructure for recording invoked methods in the profiling information.
Christian Haeubl <haeubl@ssw.jku.at>
parents:
7199
diff
changeset
|
209 OffsetFunction item_offset_fn, OffsetFunction item_count_offset_fn, |
c76b43ed5089
Added infrastructure for recording invoked methods in the profiling information.
Christian Haeubl <haeubl@ssw.jku.at>
parents:
7199
diff
changeset
|
210 int non_profiled_offset); |
0 | 211 |
212 void update_mdp_by_offset(Register mdp_in, int offset_of_offset); | |
213 void update_mdp_by_offset(Register mdp_in, Register reg, int offset_of_disp); | |
214 void update_mdp_by_constant(Register mdp_in, int constant); | |
215 void update_mdp_for_ret(Register return_bci); | |
216 | |
217 void profile_taken_branch(Register mdp, Register bumped_count); | |
218 void profile_not_taken_branch(Register mdp); | |
219 void profile_call(Register mdp); | |
220 void profile_final_call(Register mdp); | |
221 void profile_virtual_call(Register receiver, Register mdp, | |
1108 | 222 Register scratch2, |
223 bool receiver_can_be_null = false); | |
9760
c76b43ed5089
Added infrastructure for recording invoked methods in the profiling information.
Christian Haeubl <haeubl@ssw.jku.at>
parents:
7199
diff
changeset
|
224 void profile_called_method(Register method, Register mdp, Register reg2); |
0 | 225 void profile_ret(Register return_bci, Register mdp); |
226 void profile_null_seen(Register mdp); | |
227 void profile_typecheck(Register mdp, Register klass, Register scratch); | |
228 void profile_typecheck_failed(Register mdp); | |
229 void profile_switch_default(Register mdp); | |
230 void profile_switch_case(Register index_in_scratch, Register mdp, | |
231 Register scratch2); | |
232 | |
233 // Debugging | |
234 // only if +VerifyOops && state == atos | |
235 void verify_oop(Register reg, TosState state = atos); | |
236 // only if +VerifyFPU && (state == ftos || state == dtos) | |
237 void verify_FPU(int stack_depth, TosState state = ftos); | |
238 | |
304 | 239 #endif // !CC_INTERP |
240 | |
0 | 241 typedef enum { NotifyJVMTI, SkipNotifyJVMTI } NotifyMethodExitMode; |
242 | |
243 // support for jvmti/dtrace | |
244 void notify_method_entry(); | |
245 void notify_method_exit(TosState state, NotifyMethodExitMode mode); |