Mercurial > hg > truffle
annotate src/cpu/sparc/vm/relocInfo_sparc.cpp @ 8511:9a02c9090044
-Merge
author | Christos Kotselidis <christos.kotselidis@oracle.com> |
---|---|
date | Fri, 22 Mar 2013 18:44:06 +0100 |
parents | f0c2369fda5a |
children | 7875ea94bea5 |
rev | line source |
---|---|
0 | 1 /* |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
2426
diff
changeset
|
2 * Copyright (c) 1998, 2012, 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:
727
diff
changeset
|
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
727
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:
727
diff
changeset
|
21 * questions. |
0 | 22 * |
23 */ | |
24 | |
1972 | 25 #include "precompiled.hpp" |
7204
f0c2369fda5a
8003250: SPARC: move MacroAssembler into separate file
twisti
parents:
6848
diff
changeset
|
26 #include "asm/assembler.hpp" |
1972 | 27 #include "code/relocInfo.hpp" |
28 #include "nativeInst_sparc.hpp" | |
29 #include "oops/oop.inline.hpp" | |
30 #include "runtime/safepoint.hpp" | |
0 | 31 |
2375
d673ef06fe96
7028374: race in fix_oop_relocations for scavengeable nmethods
never
parents:
1972
diff
changeset
|
32 void Relocation::pd_set_data_value(address x, intptr_t o, bool verify_only) { |
0 | 33 NativeInstruction* ip = nativeInstruction_at(addr()); |
34 jint inst = ip->long_at(0); | |
35 assert(inst != NativeInstruction::illegal_instruction(), "no breakpoint"); | |
36 switch (Assembler::inv_op(inst)) { | |
37 | |
38 case Assembler::ldst_op: | |
39 #ifdef ASSERT | |
40 switch (Assembler::inv_op3(inst)) { | |
41 case Assembler::lduw_op3: | |
42 case Assembler::ldub_op3: | |
43 case Assembler::lduh_op3: | |
44 case Assembler::ldd_op3: | |
45 case Assembler::ldsw_op3: | |
46 case Assembler::ldsb_op3: | |
47 case Assembler::ldsh_op3: | |
48 case Assembler::ldx_op3: | |
49 case Assembler::ldf_op3: | |
50 case Assembler::lddf_op3: | |
51 case Assembler::stw_op3: | |
52 case Assembler::stb_op3: | |
53 case Assembler::sth_op3: | |
54 case Assembler::std_op3: | |
55 case Assembler::stx_op3: | |
56 case Assembler::stf_op3: | |
57 case Assembler::stdf_op3: | |
58 case Assembler::casa_op3: | |
59 case Assembler::casxa_op3: | |
60 break; | |
61 default: | |
62 ShouldNotReachHere(); | |
63 } | |
64 goto do_non_sethi; | |
65 #endif | |
66 | |
67 case Assembler::arith_op: | |
68 #ifdef ASSERT | |
69 switch (Assembler::inv_op3(inst)) { | |
70 case Assembler::or_op3: | |
71 case Assembler::add_op3: | |
72 case Assembler::jmpl_op3: | |
73 break; | |
74 default: | |
75 ShouldNotReachHere(); | |
76 } | |
77 do_non_sethi:; | |
78 #endif | |
79 { | |
80 guarantee(Assembler::inv_immed(inst), "must have a simm13 field"); | |
81 int simm13 = Assembler::low10((intptr_t)x) + o; | |
82 guarantee(Assembler::is_simm13(simm13), "offset can't overflow simm13"); | |
83 inst &= ~Assembler::simm( -1, 13); | |
84 inst |= Assembler::simm(simm13, 13); | |
2375
d673ef06fe96
7028374: race in fix_oop_relocations for scavengeable nmethods
never
parents:
1972
diff
changeset
|
85 if (verify_only) { |
d673ef06fe96
7028374: race in fix_oop_relocations for scavengeable nmethods
never
parents:
1972
diff
changeset
|
86 assert(ip->long_at(0) == inst, "instructions must match"); |
d673ef06fe96
7028374: race in fix_oop_relocations for scavengeable nmethods
never
parents:
1972
diff
changeset
|
87 } else { |
d673ef06fe96
7028374: race in fix_oop_relocations for scavengeable nmethods
never
parents:
1972
diff
changeset
|
88 ip->set_long_at(0, inst); |
d673ef06fe96
7028374: race in fix_oop_relocations for scavengeable nmethods
never
parents:
1972
diff
changeset
|
89 } |
0 | 90 } |
91 break; | |
92 | |
93 case Assembler::branch_op: | |
94 { | |
95 #ifdef _LP64 | |
96 jint inst2; | |
97 guarantee(Assembler::inv_op2(inst)==Assembler::sethi_op2, "must be sethi"); | |
164
c436414a719e
6703890: Compressed Oops: add LoadNKlass node to generate narrow oops (32-bits) compare instructions
kvn
parents:
0
diff
changeset
|
98 if (format() != 0) { |
6848
8e47bac5643a
7054512: Compress class pointers after perm gen removal
roland
parents:
6725
diff
changeset
|
99 assert(type() == relocInfo::oop_type || type() == relocInfo::metadata_type, "only narrow oops or klasses case"); |
8e47bac5643a
7054512: Compress class pointers after perm gen removal
roland
parents:
6725
diff
changeset
|
100 jint np = type() == relocInfo::oop_type ? oopDesc::encode_heap_oop((oop)x) : oopDesc::encode_klass((Klass*)x); |
164
c436414a719e
6703890: Compressed Oops: add LoadNKlass node to generate narrow oops (32-bits) compare instructions
kvn
parents:
0
diff
changeset
|
101 inst &= ~Assembler::hi22(-1); |
c436414a719e
6703890: Compressed Oops: add LoadNKlass node to generate narrow oops (32-bits) compare instructions
kvn
parents:
0
diff
changeset
|
102 inst |= Assembler::hi22((intptr_t)np); |
2375
d673ef06fe96
7028374: race in fix_oop_relocations for scavengeable nmethods
never
parents:
1972
diff
changeset
|
103 if (verify_only) { |
d673ef06fe96
7028374: race in fix_oop_relocations for scavengeable nmethods
never
parents:
1972
diff
changeset
|
104 assert(ip->long_at(0) == inst, "instructions must match"); |
d673ef06fe96
7028374: race in fix_oop_relocations for scavengeable nmethods
never
parents:
1972
diff
changeset
|
105 } else { |
d673ef06fe96
7028374: race in fix_oop_relocations for scavengeable nmethods
never
parents:
1972
diff
changeset
|
106 ip->set_long_at(0, inst); |
d673ef06fe96
7028374: race in fix_oop_relocations for scavengeable nmethods
never
parents:
1972
diff
changeset
|
107 } |
164
c436414a719e
6703890: Compressed Oops: add LoadNKlass node to generate narrow oops (32-bits) compare instructions
kvn
parents:
0
diff
changeset
|
108 inst2 = ip->long_at( NativeInstruction::nop_instruction_size ); |
c436414a719e
6703890: Compressed Oops: add LoadNKlass node to generate narrow oops (32-bits) compare instructions
kvn
parents:
0
diff
changeset
|
109 guarantee(Assembler::inv_op(inst2)==Assembler::arith_op, "arith op"); |
2375
d673ef06fe96
7028374: race in fix_oop_relocations for scavengeable nmethods
never
parents:
1972
diff
changeset
|
110 if (verify_only) { |
d673ef06fe96
7028374: race in fix_oop_relocations for scavengeable nmethods
never
parents:
1972
diff
changeset
|
111 assert(ip->long_at(NativeInstruction::nop_instruction_size) == NativeInstruction::set_data32_simm13( inst2, (intptr_t)np), |
d673ef06fe96
7028374: race in fix_oop_relocations for scavengeable nmethods
never
parents:
1972
diff
changeset
|
112 "instructions must match"); |
d673ef06fe96
7028374: race in fix_oop_relocations for scavengeable nmethods
never
parents:
1972
diff
changeset
|
113 } else { |
d673ef06fe96
7028374: race in fix_oop_relocations for scavengeable nmethods
never
parents:
1972
diff
changeset
|
114 ip->set_long_at(NativeInstruction::nop_instruction_size, NativeInstruction::set_data32_simm13( inst2, (intptr_t)np)); |
d673ef06fe96
7028374: race in fix_oop_relocations for scavengeable nmethods
never
parents:
1972
diff
changeset
|
115 } |
164
c436414a719e
6703890: Compressed Oops: add LoadNKlass node to generate narrow oops (32-bits) compare instructions
kvn
parents:
0
diff
changeset
|
116 break; |
c436414a719e
6703890: Compressed Oops: add LoadNKlass node to generate narrow oops (32-bits) compare instructions
kvn
parents:
0
diff
changeset
|
117 } |
2375
d673ef06fe96
7028374: race in fix_oop_relocations for scavengeable nmethods
never
parents:
1972
diff
changeset
|
118 if (verify_only) { |
d673ef06fe96
7028374: race in fix_oop_relocations for scavengeable nmethods
never
parents:
1972
diff
changeset
|
119 ip->verify_data64_sethi( ip->addr_at(0), (intptr_t)x ); |
d673ef06fe96
7028374: race in fix_oop_relocations for scavengeable nmethods
never
parents:
1972
diff
changeset
|
120 } else { |
d673ef06fe96
7028374: race in fix_oop_relocations for scavengeable nmethods
never
parents:
1972
diff
changeset
|
121 ip->set_data64_sethi( ip->addr_at(0), (intptr_t)x ); |
d673ef06fe96
7028374: race in fix_oop_relocations for scavengeable nmethods
never
parents:
1972
diff
changeset
|
122 } |
0 | 123 #else |
124 guarantee(Assembler::inv_op2(inst)==Assembler::sethi_op2, "must be sethi"); | |
125 inst &= ~Assembler::hi22( -1); | |
126 inst |= Assembler::hi22((intptr_t)x); | |
127 // (ignore offset; it doesn't play into the sethi) | |
2375
d673ef06fe96
7028374: race in fix_oop_relocations for scavengeable nmethods
never
parents:
1972
diff
changeset
|
128 if (verify_only) { |
d673ef06fe96
7028374: race in fix_oop_relocations for scavengeable nmethods
never
parents:
1972
diff
changeset
|
129 assert(ip->long_at(0) == inst, "instructions must match"); |
d673ef06fe96
7028374: race in fix_oop_relocations for scavengeable nmethods
never
parents:
1972
diff
changeset
|
130 } else { |
d673ef06fe96
7028374: race in fix_oop_relocations for scavengeable nmethods
never
parents:
1972
diff
changeset
|
131 ip->set_long_at(0, inst); |
d673ef06fe96
7028374: race in fix_oop_relocations for scavengeable nmethods
never
parents:
1972
diff
changeset
|
132 } |
0 | 133 #endif |
134 } | |
135 break; | |
136 | |
137 default: | |
138 guarantee(false, "instruction must perform arithmetic or memory access"); | |
139 } | |
140 } | |
141 | |
142 | |
143 address Relocation::pd_call_destination(address orig_addr) { | |
144 intptr_t adj = 0; | |
145 if (orig_addr != NULL) { | |
146 // We just moved this call instruction from orig_addr to addr(). | |
147 // This means its target will appear to have grown by addr() - orig_addr. | |
148 adj = -( addr() - orig_addr ); | |
149 } | |
150 if (NativeCall::is_call_at(addr())) { | |
151 NativeCall* call = nativeCall_at(addr()); | |
152 return call->destination() + adj; | |
153 } | |
154 if (NativeFarCall::is_call_at(addr())) { | |
155 NativeFarCall* call = nativeFarCall_at(addr()); | |
156 return call->destination() + adj; | |
157 } | |
158 // Special case: Patchable branch local to the code cache. | |
159 // This will break badly if the code cache grows larger than a few Mb. | |
160 NativeGeneralJump* br = nativeGeneralJump_at(addr()); | |
161 return br->jump_destination() + adj; | |
162 } | |
163 | |
164 | |
165 void Relocation::pd_set_call_destination(address x) { | |
166 if (NativeCall::is_call_at(addr())) { | |
167 NativeCall* call = nativeCall_at(addr()); | |
168 call->set_destination(x); | |
169 return; | |
170 } | |
171 if (NativeFarCall::is_call_at(addr())) { | |
172 NativeFarCall* call = nativeFarCall_at(addr()); | |
173 call->set_destination(x); | |
174 return; | |
175 } | |
176 // Special case: Patchable branch local to the code cache. | |
177 // This will break badly if the code cache grows larger than a few Mb. | |
178 NativeGeneralJump* br = nativeGeneralJump_at(addr()); | |
179 br->set_jump_destination(x); | |
180 } | |
181 | |
182 | |
183 address* Relocation::pd_address_in_code() { | |
184 // SPARC never embeds addresses in code, at present. | |
185 //assert(type() == relocInfo::oop_type, "only oops are inlined at present"); | |
186 return (address*)addr(); | |
187 } | |
188 | |
189 | |
190 address Relocation::pd_get_address_from_code() { | |
191 // SPARC never embeds addresses in code, at present. | |
192 //assert(type() == relocInfo::oop_type, "only oops are inlined at present"); | |
193 return *(address*)addr(); | |
194 } | |
195 | |
196 | |
197 int Relocation::pd_breakpoint_size() { | |
198 // minimum breakpoint size, in short words | |
199 return NativeIllegalInstruction::instruction_size / sizeof(short); | |
200 } | |
201 | |
202 void Relocation::pd_swap_in_breakpoint(address x, short* instrs, int instrlen) { | |
203 Untested("pd_swap_in_breakpoint"); | |
204 // %%% probably do not need a general instrlen; just use the trap size | |
205 if (instrs != NULL) { | |
206 assert(instrlen * sizeof(short) == NativeIllegalInstruction::instruction_size, "enough instrlen in reloc. data"); | |
207 for (int i = 0; i < instrlen; i++) { | |
208 instrs[i] = ((short*)x)[i]; | |
209 } | |
210 } | |
211 NativeIllegalInstruction::insert(x); | |
212 } | |
213 | |
214 | |
215 void Relocation::pd_swap_out_breakpoint(address x, short* instrs, int instrlen) { | |
216 Untested("pd_swap_out_breakpoint"); | |
217 assert(instrlen * sizeof(short) == sizeof(int), "enough buf"); | |
218 union { int l; short s[1]; } u; | |
219 for (int i = 0; i < instrlen; i++) { | |
220 u.s[i] = instrs[i]; | |
221 } | |
222 NativeInstruction* ni = nativeInstruction_at(x); | |
223 ni->set_long_at(0, u.l); | |
224 } | |
304 | 225 |
226 void poll_Relocation::fix_relocation_after_move(const CodeBuffer* src, CodeBuffer* dest) { | |
227 } | |
228 | |
229 void poll_return_Relocation::fix_relocation_after_move(const CodeBuffer* src, CodeBuffer* dest) { | |
230 } | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
2426
diff
changeset
|
231 |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
2426
diff
changeset
|
232 void metadata_Relocation::pd_fix_value(address x) { |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
2426
diff
changeset
|
233 } |