annotate src/cpu/x86/vm/nativeInst_x86.hpp @ 304:dc7f315e41f7

5108146: Merge i486 and amd64 cpu directories 6459804: Want client (c1) compiler for x86_64 (amd64) for faster start-up Reviewed-by: kvn
author never
date Wed, 27 Aug 2008 00:21:55 -0700
parents d1605aabd0a1
children 3a26e9e4be71
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1 /*
196
d1605aabd0a1 6719955: Update copyright year
xdono
parents: 116
diff changeset
2 * Copyright 1997-2008 Sun Microsystems, Inc. All Rights Reserved.
0
a61af66fc99e Initial load
duke
parents:
diff changeset
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
a61af66fc99e Initial load
duke
parents:
diff changeset
4 *
a61af66fc99e Initial load
duke
parents:
diff changeset
5 * This code is free software; you can redistribute it and/or modify it
a61af66fc99e Initial load
duke
parents:
diff changeset
6 * under the terms of the GNU General Public License version 2 only, as
a61af66fc99e Initial load
duke
parents:
diff changeset
7 * published by the Free Software Foundation.
a61af66fc99e Initial load
duke
parents:
diff changeset
8 *
a61af66fc99e Initial load
duke
parents:
diff changeset
9 * This code is distributed in the hope that it will be useful, but WITHOUT
a61af66fc99e Initial load
duke
parents:
diff changeset
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
a61af66fc99e Initial load
duke
parents:
diff changeset
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
a61af66fc99e Initial load
duke
parents:
diff changeset
12 * version 2 for more details (a copy is included in the LICENSE file that
a61af66fc99e Initial load
duke
parents:
diff changeset
13 * accompanied this code).
a61af66fc99e Initial load
duke
parents:
diff changeset
14 *
a61af66fc99e Initial load
duke
parents:
diff changeset
15 * You should have received a copy of the GNU General Public License version
a61af66fc99e Initial load
duke
parents:
diff changeset
16 * 2 along with this work; if not, write to the Free Software Foundation,
a61af66fc99e Initial load
duke
parents:
diff changeset
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
a61af66fc99e Initial load
duke
parents:
diff changeset
18 *
a61af66fc99e Initial load
duke
parents:
diff changeset
19 * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
a61af66fc99e Initial load
duke
parents:
diff changeset
20 * CA 95054 USA or visit www.sun.com if you need additional information or
a61af66fc99e Initial load
duke
parents:
diff changeset
21 * have any questions.
a61af66fc99e Initial load
duke
parents:
diff changeset
22 *
a61af66fc99e Initial load
duke
parents:
diff changeset
23 */
a61af66fc99e Initial load
duke
parents:
diff changeset
24
a61af66fc99e Initial load
duke
parents:
diff changeset
25 // We have interfaces for the following instructions:
a61af66fc99e Initial load
duke
parents:
diff changeset
26 // - NativeInstruction
a61af66fc99e Initial load
duke
parents:
diff changeset
27 // - - NativeCall
a61af66fc99e Initial load
duke
parents:
diff changeset
28 // - - NativeMovConstReg
a61af66fc99e Initial load
duke
parents:
diff changeset
29 // - - NativeMovConstRegPatching
a61af66fc99e Initial load
duke
parents:
diff changeset
30 // - - NativeMovRegMem
a61af66fc99e Initial load
duke
parents:
diff changeset
31 // - - NativeMovRegMemPatching
a61af66fc99e Initial load
duke
parents:
diff changeset
32 // - - NativeJump
a61af66fc99e Initial load
duke
parents:
diff changeset
33 // - - NativeIllegalOpCode
a61af66fc99e Initial load
duke
parents:
diff changeset
34 // - - NativeGeneralJump
a61af66fc99e Initial load
duke
parents:
diff changeset
35 // - - NativeReturn
a61af66fc99e Initial load
duke
parents:
diff changeset
36 // - - NativeReturnX (return with argument)
a61af66fc99e Initial load
duke
parents:
diff changeset
37 // - - NativePushConst
a61af66fc99e Initial load
duke
parents:
diff changeset
38 // - - NativeTstRegMem
a61af66fc99e Initial load
duke
parents:
diff changeset
39
a61af66fc99e Initial load
duke
parents:
diff changeset
40 // The base class for different kinds of native instruction abstractions.
a61af66fc99e Initial load
duke
parents:
diff changeset
41 // Provides the primitive operations to manipulate code relative to this.
a61af66fc99e Initial load
duke
parents:
diff changeset
42
a61af66fc99e Initial load
duke
parents:
diff changeset
43 class NativeInstruction VALUE_OBJ_CLASS_SPEC {
a61af66fc99e Initial load
duke
parents:
diff changeset
44 friend class Relocation;
a61af66fc99e Initial load
duke
parents:
diff changeset
45
a61af66fc99e Initial load
duke
parents:
diff changeset
46 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
47 enum Intel_specific_constants {
a61af66fc99e Initial load
duke
parents:
diff changeset
48 nop_instruction_code = 0x90,
a61af66fc99e Initial load
duke
parents:
diff changeset
49 nop_instruction_size = 1
a61af66fc99e Initial load
duke
parents:
diff changeset
50 };
a61af66fc99e Initial load
duke
parents:
diff changeset
51
a61af66fc99e Initial load
duke
parents:
diff changeset
52 bool is_nop() { return ubyte_at(0) == nop_instruction_code; }
116
018d5b58dd4f 6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents: 0
diff changeset
53 bool is_dtrace_trap();
0
a61af66fc99e Initial load
duke
parents:
diff changeset
54 inline bool is_call();
a61af66fc99e Initial load
duke
parents:
diff changeset
55 inline bool is_illegal();
a61af66fc99e Initial load
duke
parents:
diff changeset
56 inline bool is_return();
a61af66fc99e Initial load
duke
parents:
diff changeset
57 inline bool is_jump();
a61af66fc99e Initial load
duke
parents:
diff changeset
58 inline bool is_cond_jump();
a61af66fc99e Initial load
duke
parents:
diff changeset
59 inline bool is_safepoint_poll();
a61af66fc99e Initial load
duke
parents:
diff changeset
60 inline bool is_mov_literal64();
a61af66fc99e Initial load
duke
parents:
diff changeset
61
a61af66fc99e Initial load
duke
parents:
diff changeset
62 protected:
a61af66fc99e Initial load
duke
parents:
diff changeset
63 address addr_at(int offset) const { return address(this) + offset; }
a61af66fc99e Initial load
duke
parents:
diff changeset
64
a61af66fc99e Initial load
duke
parents:
diff changeset
65 s_char sbyte_at(int offset) const { return *(s_char*) addr_at(offset); }
a61af66fc99e Initial load
duke
parents:
diff changeset
66 u_char ubyte_at(int offset) const { return *(u_char*) addr_at(offset); }
a61af66fc99e Initial load
duke
parents:
diff changeset
67
a61af66fc99e Initial load
duke
parents:
diff changeset
68 jint int_at(int offset) const { return *(jint*) addr_at(offset); }
a61af66fc99e Initial load
duke
parents:
diff changeset
69
a61af66fc99e Initial load
duke
parents:
diff changeset
70 intptr_t ptr_at(int offset) const { return *(intptr_t*) addr_at(offset); }
a61af66fc99e Initial load
duke
parents:
diff changeset
71
a61af66fc99e Initial load
duke
parents:
diff changeset
72 oop oop_at (int offset) const { return *(oop*) addr_at(offset); }
a61af66fc99e Initial load
duke
parents:
diff changeset
73
a61af66fc99e Initial load
duke
parents:
diff changeset
74
a61af66fc99e Initial load
duke
parents:
diff changeset
75 void set_char_at(int offset, char c) { *addr_at(offset) = (u_char)c; wrote(offset); }
a61af66fc99e Initial load
duke
parents:
diff changeset
76 void set_int_at(int offset, jint i) { *(jint*)addr_at(offset) = i; wrote(offset); }
a61af66fc99e Initial load
duke
parents:
diff changeset
77 void set_ptr_at (int offset, intptr_t ptr) { *(intptr_t*) addr_at(offset) = ptr; wrote(offset); }
a61af66fc99e Initial load
duke
parents:
diff changeset
78 void set_oop_at (int offset, oop o) { *(oop*) addr_at(offset) = o; wrote(offset); }
a61af66fc99e Initial load
duke
parents:
diff changeset
79
a61af66fc99e Initial load
duke
parents:
diff changeset
80 // This doesn't really do anything on Intel, but it is the place where
a61af66fc99e Initial load
duke
parents:
diff changeset
81 // cache invalidation belongs, generically:
a61af66fc99e Initial load
duke
parents:
diff changeset
82 void wrote(int offset);
a61af66fc99e Initial load
duke
parents:
diff changeset
83
a61af66fc99e Initial load
duke
parents:
diff changeset
84 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
85
a61af66fc99e Initial load
duke
parents:
diff changeset
86 // unit test stuff
a61af66fc99e Initial load
duke
parents:
diff changeset
87 static void test() {} // override for testing
a61af66fc99e Initial load
duke
parents:
diff changeset
88
a61af66fc99e Initial load
duke
parents:
diff changeset
89 inline friend NativeInstruction* nativeInstruction_at(address address);
a61af66fc99e Initial load
duke
parents:
diff changeset
90 };
a61af66fc99e Initial load
duke
parents:
diff changeset
91
a61af66fc99e Initial load
duke
parents:
diff changeset
92 inline NativeInstruction* nativeInstruction_at(address address) {
a61af66fc99e Initial load
duke
parents:
diff changeset
93 NativeInstruction* inst = (NativeInstruction*)address;
a61af66fc99e Initial load
duke
parents:
diff changeset
94 #ifdef ASSERT
a61af66fc99e Initial load
duke
parents:
diff changeset
95 //inst->verify();
a61af66fc99e Initial load
duke
parents:
diff changeset
96 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
97 return inst;
a61af66fc99e Initial load
duke
parents:
diff changeset
98 }
a61af66fc99e Initial load
duke
parents:
diff changeset
99
a61af66fc99e Initial load
duke
parents:
diff changeset
100 inline NativeCall* nativeCall_at(address address);
a61af66fc99e Initial load
duke
parents:
diff changeset
101 // The NativeCall is an abstraction for accessing/manipulating native call imm32/rel32off
a61af66fc99e Initial load
duke
parents:
diff changeset
102 // instructions (used to manipulate inline caches, primitive & dll calls, etc.).
a61af66fc99e Initial load
duke
parents:
diff changeset
103
a61af66fc99e Initial load
duke
parents:
diff changeset
104 class NativeCall: public NativeInstruction {
a61af66fc99e Initial load
duke
parents:
diff changeset
105 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
106 enum Intel_specific_constants {
a61af66fc99e Initial load
duke
parents:
diff changeset
107 instruction_code = 0xE8,
a61af66fc99e Initial load
duke
parents:
diff changeset
108 instruction_size = 5,
a61af66fc99e Initial load
duke
parents:
diff changeset
109 instruction_offset = 0,
a61af66fc99e Initial load
duke
parents:
diff changeset
110 displacement_offset = 1,
a61af66fc99e Initial load
duke
parents:
diff changeset
111 return_address_offset = 5
a61af66fc99e Initial load
duke
parents:
diff changeset
112 };
a61af66fc99e Initial load
duke
parents:
diff changeset
113
a61af66fc99e Initial load
duke
parents:
diff changeset
114 enum { cache_line_size = BytesPerWord }; // conservative estimate!
a61af66fc99e Initial load
duke
parents:
diff changeset
115
a61af66fc99e Initial load
duke
parents:
diff changeset
116 address instruction_address() const { return addr_at(instruction_offset); }
a61af66fc99e Initial load
duke
parents:
diff changeset
117 address next_instruction_address() const { return addr_at(return_address_offset); }
a61af66fc99e Initial load
duke
parents:
diff changeset
118 int displacement() const { return (jint) int_at(displacement_offset); }
a61af66fc99e Initial load
duke
parents:
diff changeset
119 address displacement_address() const { return addr_at(displacement_offset); }
a61af66fc99e Initial load
duke
parents:
diff changeset
120 address return_address() const { return addr_at(return_address_offset); }
a61af66fc99e Initial load
duke
parents:
diff changeset
121 address destination() const;
a61af66fc99e Initial load
duke
parents:
diff changeset
122 void set_destination(address dest) {
a61af66fc99e Initial load
duke
parents:
diff changeset
123 #ifdef AMD64
a61af66fc99e Initial load
duke
parents:
diff changeset
124 assert((labs((intptr_t) dest - (intptr_t) return_address()) &
a61af66fc99e Initial load
duke
parents:
diff changeset
125 0xFFFFFFFF00000000) == 0,
a61af66fc99e Initial load
duke
parents:
diff changeset
126 "must be 32bit offset");
a61af66fc99e Initial load
duke
parents:
diff changeset
127 #endif // AMD64
a61af66fc99e Initial load
duke
parents:
diff changeset
128 set_int_at(displacement_offset, dest - return_address());
a61af66fc99e Initial load
duke
parents:
diff changeset
129 }
a61af66fc99e Initial load
duke
parents:
diff changeset
130 void set_destination_mt_safe(address dest);
a61af66fc99e Initial load
duke
parents:
diff changeset
131
a61af66fc99e Initial load
duke
parents:
diff changeset
132 void verify_alignment() { assert((intptr_t)addr_at(displacement_offset) % BytesPerInt == 0, "must be aligned"); }
a61af66fc99e Initial load
duke
parents:
diff changeset
133 void verify();
a61af66fc99e Initial load
duke
parents:
diff changeset
134 void print();
a61af66fc99e Initial load
duke
parents:
diff changeset
135
a61af66fc99e Initial load
duke
parents:
diff changeset
136 // Creation
a61af66fc99e Initial load
duke
parents:
diff changeset
137 inline friend NativeCall* nativeCall_at(address address);
a61af66fc99e Initial load
duke
parents:
diff changeset
138 inline friend NativeCall* nativeCall_before(address return_address);
a61af66fc99e Initial load
duke
parents:
diff changeset
139
a61af66fc99e Initial load
duke
parents:
diff changeset
140 static bool is_call_at(address instr) {
a61af66fc99e Initial load
duke
parents:
diff changeset
141 return ((*instr) & 0xFF) == NativeCall::instruction_code;
a61af66fc99e Initial load
duke
parents:
diff changeset
142 }
a61af66fc99e Initial load
duke
parents:
diff changeset
143
a61af66fc99e Initial load
duke
parents:
diff changeset
144 static bool is_call_before(address return_address) {
a61af66fc99e Initial load
duke
parents:
diff changeset
145 return is_call_at(return_address - NativeCall::return_address_offset);
a61af66fc99e Initial load
duke
parents:
diff changeset
146 }
a61af66fc99e Initial load
duke
parents:
diff changeset
147
a61af66fc99e Initial load
duke
parents:
diff changeset
148 static bool is_call_to(address instr, address target) {
a61af66fc99e Initial load
duke
parents:
diff changeset
149 return nativeInstruction_at(instr)->is_call() &&
a61af66fc99e Initial load
duke
parents:
diff changeset
150 nativeCall_at(instr)->destination() == target;
a61af66fc99e Initial load
duke
parents:
diff changeset
151 }
a61af66fc99e Initial load
duke
parents:
diff changeset
152
a61af66fc99e Initial load
duke
parents:
diff changeset
153 // MT-safe patching of a call instruction.
a61af66fc99e Initial load
duke
parents:
diff changeset
154 static void insert(address code_pos, address entry);
a61af66fc99e Initial load
duke
parents:
diff changeset
155
a61af66fc99e Initial load
duke
parents:
diff changeset
156 static void replace_mt_safe(address instr_addr, address code_buffer);
a61af66fc99e Initial load
duke
parents:
diff changeset
157 };
a61af66fc99e Initial load
duke
parents:
diff changeset
158
a61af66fc99e Initial load
duke
parents:
diff changeset
159 inline NativeCall* nativeCall_at(address address) {
a61af66fc99e Initial load
duke
parents:
diff changeset
160 NativeCall* call = (NativeCall*)(address - NativeCall::instruction_offset);
a61af66fc99e Initial load
duke
parents:
diff changeset
161 #ifdef ASSERT
a61af66fc99e Initial load
duke
parents:
diff changeset
162 call->verify();
a61af66fc99e Initial load
duke
parents:
diff changeset
163 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
164 return call;
a61af66fc99e Initial load
duke
parents:
diff changeset
165 }
a61af66fc99e Initial load
duke
parents:
diff changeset
166
a61af66fc99e Initial load
duke
parents:
diff changeset
167 inline NativeCall* nativeCall_before(address return_address) {
a61af66fc99e Initial load
duke
parents:
diff changeset
168 NativeCall* call = (NativeCall*)(return_address - NativeCall::return_address_offset);
a61af66fc99e Initial load
duke
parents:
diff changeset
169 #ifdef ASSERT
a61af66fc99e Initial load
duke
parents:
diff changeset
170 call->verify();
a61af66fc99e Initial load
duke
parents:
diff changeset
171 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
172 return call;
a61af66fc99e Initial load
duke
parents:
diff changeset
173 }
a61af66fc99e Initial load
duke
parents:
diff changeset
174
a61af66fc99e Initial load
duke
parents:
diff changeset
175 // An interface for accessing/manipulating native mov reg, imm32 instructions.
a61af66fc99e Initial load
duke
parents:
diff changeset
176 // (used to manipulate inlined 32bit data dll calls, etc.)
a61af66fc99e Initial load
duke
parents:
diff changeset
177 class NativeMovConstReg: public NativeInstruction {
a61af66fc99e Initial load
duke
parents:
diff changeset
178 #ifdef AMD64
a61af66fc99e Initial load
duke
parents:
diff changeset
179 static const bool has_rex = true;
a61af66fc99e Initial load
duke
parents:
diff changeset
180 static const int rex_size = 1;
a61af66fc99e Initial load
duke
parents:
diff changeset
181 #else
a61af66fc99e Initial load
duke
parents:
diff changeset
182 static const bool has_rex = false;
a61af66fc99e Initial load
duke
parents:
diff changeset
183 static const int rex_size = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
184 #endif // AMD64
a61af66fc99e Initial load
duke
parents:
diff changeset
185 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
186 enum Intel_specific_constants {
a61af66fc99e Initial load
duke
parents:
diff changeset
187 instruction_code = 0xB8,
a61af66fc99e Initial load
duke
parents:
diff changeset
188 instruction_size = 1 + rex_size + wordSize,
a61af66fc99e Initial load
duke
parents:
diff changeset
189 instruction_offset = 0,
a61af66fc99e Initial load
duke
parents:
diff changeset
190 data_offset = 1 + rex_size,
a61af66fc99e Initial load
duke
parents:
diff changeset
191 next_instruction_offset = instruction_size,
a61af66fc99e Initial load
duke
parents:
diff changeset
192 register_mask = 0x07
a61af66fc99e Initial load
duke
parents:
diff changeset
193 };
a61af66fc99e Initial load
duke
parents:
diff changeset
194
a61af66fc99e Initial load
duke
parents:
diff changeset
195 address instruction_address() const { return addr_at(instruction_offset); }
a61af66fc99e Initial load
duke
parents:
diff changeset
196 address next_instruction_address() const { return addr_at(next_instruction_offset); }
a61af66fc99e Initial load
duke
parents:
diff changeset
197 intptr_t data() const { return ptr_at(data_offset); }
a61af66fc99e Initial load
duke
parents:
diff changeset
198 void set_data(intptr_t x) { set_ptr_at(data_offset, x); }
a61af66fc99e Initial load
duke
parents:
diff changeset
199
a61af66fc99e Initial load
duke
parents:
diff changeset
200 void verify();
a61af66fc99e Initial load
duke
parents:
diff changeset
201 void print();
a61af66fc99e Initial load
duke
parents:
diff changeset
202
a61af66fc99e Initial load
duke
parents:
diff changeset
203 // unit test stuff
a61af66fc99e Initial load
duke
parents:
diff changeset
204 static void test() {}
a61af66fc99e Initial load
duke
parents:
diff changeset
205
a61af66fc99e Initial load
duke
parents:
diff changeset
206 // Creation
a61af66fc99e Initial load
duke
parents:
diff changeset
207 inline friend NativeMovConstReg* nativeMovConstReg_at(address address);
a61af66fc99e Initial load
duke
parents:
diff changeset
208 inline friend NativeMovConstReg* nativeMovConstReg_before(address address);
a61af66fc99e Initial load
duke
parents:
diff changeset
209 };
a61af66fc99e Initial load
duke
parents:
diff changeset
210
a61af66fc99e Initial load
duke
parents:
diff changeset
211 inline NativeMovConstReg* nativeMovConstReg_at(address address) {
a61af66fc99e Initial load
duke
parents:
diff changeset
212 NativeMovConstReg* test = (NativeMovConstReg*)(address - NativeMovConstReg::instruction_offset);
a61af66fc99e Initial load
duke
parents:
diff changeset
213 #ifdef ASSERT
a61af66fc99e Initial load
duke
parents:
diff changeset
214 test->verify();
a61af66fc99e Initial load
duke
parents:
diff changeset
215 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
216 return test;
a61af66fc99e Initial load
duke
parents:
diff changeset
217 }
a61af66fc99e Initial load
duke
parents:
diff changeset
218
a61af66fc99e Initial load
duke
parents:
diff changeset
219 inline NativeMovConstReg* nativeMovConstReg_before(address address) {
a61af66fc99e Initial load
duke
parents:
diff changeset
220 NativeMovConstReg* test = (NativeMovConstReg*)(address - NativeMovConstReg::instruction_size - NativeMovConstReg::instruction_offset);
a61af66fc99e Initial load
duke
parents:
diff changeset
221 #ifdef ASSERT
a61af66fc99e Initial load
duke
parents:
diff changeset
222 test->verify();
a61af66fc99e Initial load
duke
parents:
diff changeset
223 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
224 return test;
a61af66fc99e Initial load
duke
parents:
diff changeset
225 }
a61af66fc99e Initial load
duke
parents:
diff changeset
226
a61af66fc99e Initial load
duke
parents:
diff changeset
227 class NativeMovConstRegPatching: public NativeMovConstReg {
a61af66fc99e Initial load
duke
parents:
diff changeset
228 private:
a61af66fc99e Initial load
duke
parents:
diff changeset
229 friend NativeMovConstRegPatching* nativeMovConstRegPatching_at(address address) {
a61af66fc99e Initial load
duke
parents:
diff changeset
230 NativeMovConstRegPatching* test = (NativeMovConstRegPatching*)(address - instruction_offset);
a61af66fc99e Initial load
duke
parents:
diff changeset
231 #ifdef ASSERT
a61af66fc99e Initial load
duke
parents:
diff changeset
232 test->verify();
a61af66fc99e Initial load
duke
parents:
diff changeset
233 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
234 return test;
a61af66fc99e Initial load
duke
parents:
diff changeset
235 }
a61af66fc99e Initial load
duke
parents:
diff changeset
236 };
a61af66fc99e Initial load
duke
parents:
diff changeset
237
a61af66fc99e Initial load
duke
parents:
diff changeset
238 // An interface for accessing/manipulating native moves of the form:
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
239 // mov[b/w/l/q] [reg + offset], reg (instruction_code_reg2mem)
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
240 // mov[b/w/l/q] reg, [reg+offset] (instruction_code_mem2reg
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
241 // mov[s/z]x[w/b/q] [reg + offset], reg
0
a61af66fc99e Initial load
duke
parents:
diff changeset
242 // fld_s [reg+offset]
a61af66fc99e Initial load
duke
parents:
diff changeset
243 // fld_d [reg+offset]
a61af66fc99e Initial load
duke
parents:
diff changeset
244 // fstp_s [reg + offset]
a61af66fc99e Initial load
duke
parents:
diff changeset
245 // fstp_d [reg + offset]
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
246 // mov_literal64 scratch,<pointer> ; mov[b/w/l/q] 0(scratch),reg | mov[b/w/l/q] reg,0(scratch)
0
a61af66fc99e Initial load
duke
parents:
diff changeset
247 //
a61af66fc99e Initial load
duke
parents:
diff changeset
248 // Warning: These routines must be able to handle any instruction sequences
a61af66fc99e Initial load
duke
parents:
diff changeset
249 // that are generated as a result of the load/store byte,word,long
a61af66fc99e Initial load
duke
parents:
diff changeset
250 // macros. For example: The load_unsigned_byte instruction generates
a61af66fc99e Initial load
duke
parents:
diff changeset
251 // an xor reg,reg inst prior to generating the movb instruction. This
a61af66fc99e Initial load
duke
parents:
diff changeset
252 // class must skip the xor instruction.
a61af66fc99e Initial load
duke
parents:
diff changeset
253
a61af66fc99e Initial load
duke
parents:
diff changeset
254 class NativeMovRegMem: public NativeInstruction {
a61af66fc99e Initial load
duke
parents:
diff changeset
255 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
256 enum Intel_specific_constants {
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
257 instruction_prefix_wide_lo = Assembler::REX,
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
258 instruction_prefix_wide_hi = Assembler::REX_WRXB,
0
a61af66fc99e Initial load
duke
parents:
diff changeset
259 instruction_code_xor = 0x33,
a61af66fc99e Initial load
duke
parents:
diff changeset
260 instruction_extended_prefix = 0x0F,
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
261 instruction_code_mem2reg_movslq = 0x63,
0
a61af66fc99e Initial load
duke
parents:
diff changeset
262 instruction_code_mem2reg_movzxb = 0xB6,
a61af66fc99e Initial load
duke
parents:
diff changeset
263 instruction_code_mem2reg_movsxb = 0xBE,
a61af66fc99e Initial load
duke
parents:
diff changeset
264 instruction_code_mem2reg_movzxw = 0xB7,
a61af66fc99e Initial load
duke
parents:
diff changeset
265 instruction_code_mem2reg_movsxw = 0xBF,
a61af66fc99e Initial load
duke
parents:
diff changeset
266 instruction_operandsize_prefix = 0x66,
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
267 instruction_code_reg2mem = 0x89,
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
268 instruction_code_mem2reg = 0x8b,
0
a61af66fc99e Initial load
duke
parents:
diff changeset
269 instruction_code_reg2memb = 0x88,
a61af66fc99e Initial load
duke
parents:
diff changeset
270 instruction_code_mem2regb = 0x8a,
a61af66fc99e Initial load
duke
parents:
diff changeset
271 instruction_code_float_s = 0xd9,
a61af66fc99e Initial load
duke
parents:
diff changeset
272 instruction_code_float_d = 0xdd,
a61af66fc99e Initial load
duke
parents:
diff changeset
273 instruction_code_long_volatile = 0xdf,
a61af66fc99e Initial load
duke
parents:
diff changeset
274 instruction_code_xmm_ss_prefix = 0xf3,
a61af66fc99e Initial load
duke
parents:
diff changeset
275 instruction_code_xmm_sd_prefix = 0xf2,
a61af66fc99e Initial load
duke
parents:
diff changeset
276 instruction_code_xmm_code = 0x0f,
a61af66fc99e Initial load
duke
parents:
diff changeset
277 instruction_code_xmm_load = 0x10,
a61af66fc99e Initial load
duke
parents:
diff changeset
278 instruction_code_xmm_store = 0x11,
a61af66fc99e Initial load
duke
parents:
diff changeset
279 instruction_code_xmm_lpd = 0x12,
a61af66fc99e Initial load
duke
parents:
diff changeset
280
a61af66fc99e Initial load
duke
parents:
diff changeset
281 instruction_size = 4,
a61af66fc99e Initial load
duke
parents:
diff changeset
282 instruction_offset = 0,
a61af66fc99e Initial load
duke
parents:
diff changeset
283 data_offset = 2,
a61af66fc99e Initial load
duke
parents:
diff changeset
284 next_instruction_offset = 4
a61af66fc99e Initial load
duke
parents:
diff changeset
285 };
a61af66fc99e Initial load
duke
parents:
diff changeset
286
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
287 // helper
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
288 int instruction_start() const;
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
289
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
290 address instruction_address() const;
0
a61af66fc99e Initial load
duke
parents:
diff changeset
291
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
292 address next_instruction_address() const;
0
a61af66fc99e Initial load
duke
parents:
diff changeset
293
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
294 int offset() const;
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
295
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
296 void set_offset(int x);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
297
a61af66fc99e Initial load
duke
parents:
diff changeset
298 void add_offset_in_bytes(int add_offset) { set_offset ( ( offset() + add_offset ) ); }
a61af66fc99e Initial load
duke
parents:
diff changeset
299
a61af66fc99e Initial load
duke
parents:
diff changeset
300 void verify();
a61af66fc99e Initial load
duke
parents:
diff changeset
301 void print ();
a61af66fc99e Initial load
duke
parents:
diff changeset
302
a61af66fc99e Initial load
duke
parents:
diff changeset
303 // unit test stuff
a61af66fc99e Initial load
duke
parents:
diff changeset
304 static void test() {}
a61af66fc99e Initial load
duke
parents:
diff changeset
305
a61af66fc99e Initial load
duke
parents:
diff changeset
306 private:
a61af66fc99e Initial load
duke
parents:
diff changeset
307 inline friend NativeMovRegMem* nativeMovRegMem_at (address address);
a61af66fc99e Initial load
duke
parents:
diff changeset
308 };
a61af66fc99e Initial load
duke
parents:
diff changeset
309
a61af66fc99e Initial load
duke
parents:
diff changeset
310 inline NativeMovRegMem* nativeMovRegMem_at (address address) {
a61af66fc99e Initial load
duke
parents:
diff changeset
311 NativeMovRegMem* test = (NativeMovRegMem*)(address - NativeMovRegMem::instruction_offset);
a61af66fc99e Initial load
duke
parents:
diff changeset
312 #ifdef ASSERT
a61af66fc99e Initial load
duke
parents:
diff changeset
313 test->verify();
a61af66fc99e Initial load
duke
parents:
diff changeset
314 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
315 return test;
a61af66fc99e Initial load
duke
parents:
diff changeset
316 }
a61af66fc99e Initial load
duke
parents:
diff changeset
317
a61af66fc99e Initial load
duke
parents:
diff changeset
318 class NativeMovRegMemPatching: public NativeMovRegMem {
a61af66fc99e Initial load
duke
parents:
diff changeset
319 private:
a61af66fc99e Initial load
duke
parents:
diff changeset
320 friend NativeMovRegMemPatching* nativeMovRegMemPatching_at (address address) {
a61af66fc99e Initial load
duke
parents:
diff changeset
321 NativeMovRegMemPatching* test = (NativeMovRegMemPatching*)(address - instruction_offset);
a61af66fc99e Initial load
duke
parents:
diff changeset
322 #ifdef ASSERT
a61af66fc99e Initial load
duke
parents:
diff changeset
323 test->verify();
a61af66fc99e Initial load
duke
parents:
diff changeset
324 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
325 return test;
a61af66fc99e Initial load
duke
parents:
diff changeset
326 }
a61af66fc99e Initial load
duke
parents:
diff changeset
327 };
a61af66fc99e Initial load
duke
parents:
diff changeset
328
a61af66fc99e Initial load
duke
parents:
diff changeset
329
a61af66fc99e Initial load
duke
parents:
diff changeset
330
a61af66fc99e Initial load
duke
parents:
diff changeset
331 // An interface for accessing/manipulating native leal instruction of form:
a61af66fc99e Initial load
duke
parents:
diff changeset
332 // leal reg, [reg + offset]
a61af66fc99e Initial load
duke
parents:
diff changeset
333
a61af66fc99e Initial load
duke
parents:
diff changeset
334 class NativeLoadAddress: public NativeMovRegMem {
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
335 #ifdef AMD64
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
336 static const bool has_rex = true;
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
337 static const int rex_size = 1;
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
338 #else
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
339 static const bool has_rex = false;
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
340 static const int rex_size = 0;
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
341 #endif // AMD64
0
a61af66fc99e Initial load
duke
parents:
diff changeset
342 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
343 enum Intel_specific_constants {
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
344 instruction_prefix_wide = Assembler::REX_W,
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
345 instruction_prefix_wide_extended = Assembler::REX_WB,
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
346 lea_instruction_code = 0x8D,
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
347 mov64_instruction_code = 0xB8
0
a61af66fc99e Initial load
duke
parents:
diff changeset
348 };
a61af66fc99e Initial load
duke
parents:
diff changeset
349
a61af66fc99e Initial load
duke
parents:
diff changeset
350 void verify();
a61af66fc99e Initial load
duke
parents:
diff changeset
351 void print ();
a61af66fc99e Initial load
duke
parents:
diff changeset
352
a61af66fc99e Initial load
duke
parents:
diff changeset
353 // unit test stuff
a61af66fc99e Initial load
duke
parents:
diff changeset
354 static void test() {}
a61af66fc99e Initial load
duke
parents:
diff changeset
355
a61af66fc99e Initial load
duke
parents:
diff changeset
356 private:
a61af66fc99e Initial load
duke
parents:
diff changeset
357 friend NativeLoadAddress* nativeLoadAddress_at (address address) {
a61af66fc99e Initial load
duke
parents:
diff changeset
358 NativeLoadAddress* test = (NativeLoadAddress*)(address - instruction_offset);
a61af66fc99e Initial load
duke
parents:
diff changeset
359 #ifdef ASSERT
a61af66fc99e Initial load
duke
parents:
diff changeset
360 test->verify();
a61af66fc99e Initial load
duke
parents:
diff changeset
361 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
362 return test;
a61af66fc99e Initial load
duke
parents:
diff changeset
363 }
a61af66fc99e Initial load
duke
parents:
diff changeset
364 };
a61af66fc99e Initial load
duke
parents:
diff changeset
365
a61af66fc99e Initial load
duke
parents:
diff changeset
366 // jump rel32off
a61af66fc99e Initial load
duke
parents:
diff changeset
367
a61af66fc99e Initial load
duke
parents:
diff changeset
368 class NativeJump: public NativeInstruction {
a61af66fc99e Initial load
duke
parents:
diff changeset
369 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
370 enum Intel_specific_constants {
a61af66fc99e Initial load
duke
parents:
diff changeset
371 instruction_code = 0xe9,
a61af66fc99e Initial load
duke
parents:
diff changeset
372 instruction_size = 5,
a61af66fc99e Initial load
duke
parents:
diff changeset
373 instruction_offset = 0,
a61af66fc99e Initial load
duke
parents:
diff changeset
374 data_offset = 1,
a61af66fc99e Initial load
duke
parents:
diff changeset
375 next_instruction_offset = 5
a61af66fc99e Initial load
duke
parents:
diff changeset
376 };
a61af66fc99e Initial load
duke
parents:
diff changeset
377
a61af66fc99e Initial load
duke
parents:
diff changeset
378 address instruction_address() const { return addr_at(instruction_offset); }
a61af66fc99e Initial load
duke
parents:
diff changeset
379 address next_instruction_address() const { return addr_at(next_instruction_offset); }
a61af66fc99e Initial load
duke
parents:
diff changeset
380 address jump_destination() const {
a61af66fc99e Initial load
duke
parents:
diff changeset
381 address dest = (int_at(data_offset)+next_instruction_address());
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
382 // 32bit used to encode unresolved jmp as jmp -1
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
383 // 64bit can't produce this so it used jump to self.
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
384 // Now 32bit and 64bit use jump to self as the unresolved address
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
385 // which the inline cache code (and relocs) know about
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
386
0
a61af66fc99e Initial load
duke
parents:
diff changeset
387 // return -1 if jump to self
a61af66fc99e Initial load
duke
parents:
diff changeset
388 dest = (dest == (address) this) ? (address) -1 : dest;
a61af66fc99e Initial load
duke
parents:
diff changeset
389 return dest;
a61af66fc99e Initial load
duke
parents:
diff changeset
390 }
a61af66fc99e Initial load
duke
parents:
diff changeset
391
a61af66fc99e Initial load
duke
parents:
diff changeset
392 void set_jump_destination(address dest) {
a61af66fc99e Initial load
duke
parents:
diff changeset
393 intptr_t val = dest - next_instruction_address();
a61af66fc99e Initial load
duke
parents:
diff changeset
394 #ifdef AMD64
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
395 assert((labs(val) & 0xFFFFFFFF00000000) == 0 || dest == (address)-1, "must be 32bit offset or -1");
0
a61af66fc99e Initial load
duke
parents:
diff changeset
396 #endif // AMD64
a61af66fc99e Initial load
duke
parents:
diff changeset
397 set_int_at(data_offset, (jint)val);
a61af66fc99e Initial load
duke
parents:
diff changeset
398 }
a61af66fc99e Initial load
duke
parents:
diff changeset
399
a61af66fc99e Initial load
duke
parents:
diff changeset
400 // Creation
a61af66fc99e Initial load
duke
parents:
diff changeset
401 inline friend NativeJump* nativeJump_at(address address);
a61af66fc99e Initial load
duke
parents:
diff changeset
402
a61af66fc99e Initial load
duke
parents:
diff changeset
403 void verify();
a61af66fc99e Initial load
duke
parents:
diff changeset
404
a61af66fc99e Initial load
duke
parents:
diff changeset
405 // Unit testing stuff
a61af66fc99e Initial load
duke
parents:
diff changeset
406 static void test() {}
a61af66fc99e Initial load
duke
parents:
diff changeset
407
a61af66fc99e Initial load
duke
parents:
diff changeset
408 // Insertion of native jump instruction
a61af66fc99e Initial load
duke
parents:
diff changeset
409 static void insert(address code_pos, address entry);
a61af66fc99e Initial load
duke
parents:
diff changeset
410 // MT-safe insertion of native jump at verified method entry
a61af66fc99e Initial load
duke
parents:
diff changeset
411 static void check_verified_entry_alignment(address entry, address verified_entry);
a61af66fc99e Initial load
duke
parents:
diff changeset
412 static void patch_verified_entry(address entry, address verified_entry, address dest);
a61af66fc99e Initial load
duke
parents:
diff changeset
413 };
a61af66fc99e Initial load
duke
parents:
diff changeset
414
a61af66fc99e Initial load
duke
parents:
diff changeset
415 inline NativeJump* nativeJump_at(address address) {
a61af66fc99e Initial load
duke
parents:
diff changeset
416 NativeJump* jump = (NativeJump*)(address - NativeJump::instruction_offset);
a61af66fc99e Initial load
duke
parents:
diff changeset
417 #ifdef ASSERT
a61af66fc99e Initial load
duke
parents:
diff changeset
418 jump->verify();
a61af66fc99e Initial load
duke
parents:
diff changeset
419 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
420 return jump;
a61af66fc99e Initial load
duke
parents:
diff changeset
421 }
a61af66fc99e Initial load
duke
parents:
diff changeset
422
a61af66fc99e Initial load
duke
parents:
diff changeset
423 // Handles all kinds of jump on Intel. Long/far, conditional/unconditional
a61af66fc99e Initial load
duke
parents:
diff changeset
424 class NativeGeneralJump: public NativeInstruction {
a61af66fc99e Initial load
duke
parents:
diff changeset
425 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
426 enum Intel_specific_constants {
a61af66fc99e Initial load
duke
parents:
diff changeset
427 // Constants does not apply, since the lengths and offsets depends on the actual jump
a61af66fc99e Initial load
duke
parents:
diff changeset
428 // used
a61af66fc99e Initial load
duke
parents:
diff changeset
429 // Instruction codes:
a61af66fc99e Initial load
duke
parents:
diff changeset
430 // Unconditional jumps: 0xE9 (rel32off), 0xEB (rel8off)
a61af66fc99e Initial load
duke
parents:
diff changeset
431 // Conditional jumps: 0x0F8x (rel32off), 0x7x (rel8off)
a61af66fc99e Initial load
duke
parents:
diff changeset
432 unconditional_long_jump = 0xe9,
a61af66fc99e Initial load
duke
parents:
diff changeset
433 unconditional_short_jump = 0xeb,
a61af66fc99e Initial load
duke
parents:
diff changeset
434 instruction_size = 5
a61af66fc99e Initial load
duke
parents:
diff changeset
435 };
a61af66fc99e Initial load
duke
parents:
diff changeset
436
a61af66fc99e Initial load
duke
parents:
diff changeset
437 address instruction_address() const { return addr_at(0); }
a61af66fc99e Initial load
duke
parents:
diff changeset
438 address jump_destination() const;
a61af66fc99e Initial load
duke
parents:
diff changeset
439
a61af66fc99e Initial load
duke
parents:
diff changeset
440 // Creation
a61af66fc99e Initial load
duke
parents:
diff changeset
441 inline friend NativeGeneralJump* nativeGeneralJump_at(address address);
a61af66fc99e Initial load
duke
parents:
diff changeset
442
a61af66fc99e Initial load
duke
parents:
diff changeset
443 // Insertion of native general jump instruction
a61af66fc99e Initial load
duke
parents:
diff changeset
444 static void insert_unconditional(address code_pos, address entry);
a61af66fc99e Initial load
duke
parents:
diff changeset
445 static void replace_mt_safe(address instr_addr, address code_buffer);
a61af66fc99e Initial load
duke
parents:
diff changeset
446
a61af66fc99e Initial load
duke
parents:
diff changeset
447 void verify();
a61af66fc99e Initial load
duke
parents:
diff changeset
448 };
a61af66fc99e Initial load
duke
parents:
diff changeset
449
a61af66fc99e Initial load
duke
parents:
diff changeset
450 inline NativeGeneralJump* nativeGeneralJump_at(address address) {
a61af66fc99e Initial load
duke
parents:
diff changeset
451 NativeGeneralJump* jump = (NativeGeneralJump*)(address);
a61af66fc99e Initial load
duke
parents:
diff changeset
452 debug_only(jump->verify();)
a61af66fc99e Initial load
duke
parents:
diff changeset
453 return jump;
a61af66fc99e Initial load
duke
parents:
diff changeset
454 }
a61af66fc99e Initial load
duke
parents:
diff changeset
455
a61af66fc99e Initial load
duke
parents:
diff changeset
456 class NativePopReg : public NativeInstruction {
a61af66fc99e Initial load
duke
parents:
diff changeset
457 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
458 enum Intel_specific_constants {
a61af66fc99e Initial load
duke
parents:
diff changeset
459 instruction_code = 0x58,
a61af66fc99e Initial load
duke
parents:
diff changeset
460 instruction_size = 1,
a61af66fc99e Initial load
duke
parents:
diff changeset
461 instruction_offset = 0,
a61af66fc99e Initial load
duke
parents:
diff changeset
462 data_offset = 1,
a61af66fc99e Initial load
duke
parents:
diff changeset
463 next_instruction_offset = 1
a61af66fc99e Initial load
duke
parents:
diff changeset
464 };
a61af66fc99e Initial load
duke
parents:
diff changeset
465
a61af66fc99e Initial load
duke
parents:
diff changeset
466 // Insert a pop instruction
a61af66fc99e Initial load
duke
parents:
diff changeset
467 static void insert(address code_pos, Register reg);
a61af66fc99e Initial load
duke
parents:
diff changeset
468 };
a61af66fc99e Initial load
duke
parents:
diff changeset
469
a61af66fc99e Initial load
duke
parents:
diff changeset
470
a61af66fc99e Initial load
duke
parents:
diff changeset
471 class NativeIllegalInstruction: public NativeInstruction {
a61af66fc99e Initial load
duke
parents:
diff changeset
472 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
473 enum Intel_specific_constants {
a61af66fc99e Initial load
duke
parents:
diff changeset
474 instruction_code = 0x0B0F, // Real byte order is: 0x0F, 0x0B
a61af66fc99e Initial load
duke
parents:
diff changeset
475 instruction_size = 2,
a61af66fc99e Initial load
duke
parents:
diff changeset
476 instruction_offset = 0,
a61af66fc99e Initial load
duke
parents:
diff changeset
477 next_instruction_offset = 2
a61af66fc99e Initial load
duke
parents:
diff changeset
478 };
a61af66fc99e Initial load
duke
parents:
diff changeset
479
a61af66fc99e Initial load
duke
parents:
diff changeset
480 // Insert illegal opcode as specific address
a61af66fc99e Initial load
duke
parents:
diff changeset
481 static void insert(address code_pos);
a61af66fc99e Initial load
duke
parents:
diff changeset
482 };
a61af66fc99e Initial load
duke
parents:
diff changeset
483
a61af66fc99e Initial load
duke
parents:
diff changeset
484 // return instruction that does not pop values of the stack
a61af66fc99e Initial load
duke
parents:
diff changeset
485 class NativeReturn: public NativeInstruction {
a61af66fc99e Initial load
duke
parents:
diff changeset
486 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
487 enum Intel_specific_constants {
a61af66fc99e Initial load
duke
parents:
diff changeset
488 instruction_code = 0xC3,
a61af66fc99e Initial load
duke
parents:
diff changeset
489 instruction_size = 1,
a61af66fc99e Initial load
duke
parents:
diff changeset
490 instruction_offset = 0,
a61af66fc99e Initial load
duke
parents:
diff changeset
491 next_instruction_offset = 1
a61af66fc99e Initial load
duke
parents:
diff changeset
492 };
a61af66fc99e Initial load
duke
parents:
diff changeset
493 };
a61af66fc99e Initial load
duke
parents:
diff changeset
494
a61af66fc99e Initial load
duke
parents:
diff changeset
495 // return instruction that does pop values of the stack
a61af66fc99e Initial load
duke
parents:
diff changeset
496 class NativeReturnX: public NativeInstruction {
a61af66fc99e Initial load
duke
parents:
diff changeset
497 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
498 enum Intel_specific_constants {
a61af66fc99e Initial load
duke
parents:
diff changeset
499 instruction_code = 0xC2,
a61af66fc99e Initial load
duke
parents:
diff changeset
500 instruction_size = 2,
a61af66fc99e Initial load
duke
parents:
diff changeset
501 instruction_offset = 0,
a61af66fc99e Initial load
duke
parents:
diff changeset
502 next_instruction_offset = 2
a61af66fc99e Initial load
duke
parents:
diff changeset
503 };
a61af66fc99e Initial load
duke
parents:
diff changeset
504 };
a61af66fc99e Initial load
duke
parents:
diff changeset
505
a61af66fc99e Initial load
duke
parents:
diff changeset
506 // Simple test vs memory
a61af66fc99e Initial load
duke
parents:
diff changeset
507 class NativeTstRegMem: public NativeInstruction {
a61af66fc99e Initial load
duke
parents:
diff changeset
508 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
509 enum Intel_specific_constants {
a61af66fc99e Initial load
duke
parents:
diff changeset
510 instruction_code_memXregl = 0x85
a61af66fc99e Initial load
duke
parents:
diff changeset
511 };
a61af66fc99e Initial load
duke
parents:
diff changeset
512 };
a61af66fc99e Initial load
duke
parents:
diff changeset
513
a61af66fc99e Initial load
duke
parents:
diff changeset
514 inline bool NativeInstruction::is_illegal() { return (short)int_at(0) == (short)NativeIllegalInstruction::instruction_code; }
a61af66fc99e Initial load
duke
parents:
diff changeset
515 inline bool NativeInstruction::is_call() { return ubyte_at(0) == NativeCall::instruction_code; }
a61af66fc99e Initial load
duke
parents:
diff changeset
516 inline bool NativeInstruction::is_return() { return ubyte_at(0) == NativeReturn::instruction_code ||
a61af66fc99e Initial load
duke
parents:
diff changeset
517 ubyte_at(0) == NativeReturnX::instruction_code; }
a61af66fc99e Initial load
duke
parents:
diff changeset
518 inline bool NativeInstruction::is_jump() { return ubyte_at(0) == NativeJump::instruction_code ||
a61af66fc99e Initial load
duke
parents:
diff changeset
519 ubyte_at(0) == 0xEB; /* short jump */ }
a61af66fc99e Initial load
duke
parents:
diff changeset
520 inline bool NativeInstruction::is_cond_jump() { return (int_at(0) & 0xF0FF) == 0x800F /* long jump */ ||
a61af66fc99e Initial load
duke
parents:
diff changeset
521 (ubyte_at(0) & 0xF0) == 0x70; /* short jump */ }
a61af66fc99e Initial load
duke
parents:
diff changeset
522 inline bool NativeInstruction::is_safepoint_poll() {
a61af66fc99e Initial load
duke
parents:
diff changeset
523 #ifdef AMD64
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
524 if ( ubyte_at(0) == NativeTstRegMem::instruction_code_memXregl &&
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
525 ubyte_at(1) == 0x05 ) { // 00 rax 101
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
526 address fault = addr_at(6) + int_at(2);
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
527 return os::is_poll_address(fault);
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
528 } else {
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
529 return false;
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
530 }
0
a61af66fc99e Initial load
duke
parents:
diff changeset
531 #else
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
532 return ( ubyte_at(0) == NativeMovRegMem::instruction_code_mem2reg ||
0
a61af66fc99e Initial load
duke
parents:
diff changeset
533 ubyte_at(0) == NativeTstRegMem::instruction_code_memXregl ) &&
a61af66fc99e Initial load
duke
parents:
diff changeset
534 (ubyte_at(1)&0xC7) == 0x05 && /* Mod R/M == disp32 */
a61af66fc99e Initial load
duke
parents:
diff changeset
535 (os::is_poll_address((address)int_at(2)));
a61af66fc99e Initial load
duke
parents:
diff changeset
536 #endif // AMD64
a61af66fc99e Initial load
duke
parents:
diff changeset
537 }
a61af66fc99e Initial load
duke
parents:
diff changeset
538
a61af66fc99e Initial load
duke
parents:
diff changeset
539 inline bool NativeInstruction::is_mov_literal64() {
a61af66fc99e Initial load
duke
parents:
diff changeset
540 #ifdef AMD64
a61af66fc99e Initial load
duke
parents:
diff changeset
541 return ((ubyte_at(0) == Assembler::REX_W || ubyte_at(0) == Assembler::REX_WB) &&
a61af66fc99e Initial load
duke
parents:
diff changeset
542 (ubyte_at(1) & (0xff ^ NativeMovConstReg::register_mask)) == 0xB8);
a61af66fc99e Initial load
duke
parents:
diff changeset
543 #else
a61af66fc99e Initial load
duke
parents:
diff changeset
544 return false;
a61af66fc99e Initial load
duke
parents:
diff changeset
545 #endif // AMD64
a61af66fc99e Initial load
duke
parents:
diff changeset
546 }