root / translate-all.c @ a8d3431a
History | View | Annotate | Download (7.5 kB)
1 | d19893da | bellard | /*
|
---|---|---|---|
2 | d19893da | bellard | * Host code generation
|
3 | d19893da | bellard | *
|
4 | d19893da | bellard | * Copyright (c) 2003 Fabrice Bellard
|
5 | d19893da | bellard | *
|
6 | d19893da | bellard | * This library is free software; you can redistribute it and/or
|
7 | d19893da | bellard | * modify it under the terms of the GNU Lesser General Public
|
8 | d19893da | bellard | * License as published by the Free Software Foundation; either
|
9 | d19893da | bellard | * version 2 of the License, or (at your option) any later version.
|
10 | d19893da | bellard | *
|
11 | d19893da | bellard | * This library is distributed in the hope that it will be useful,
|
12 | d19893da | bellard | * but WITHOUT ANY WARRANTY; without even the implied warranty of
|
13 | d19893da | bellard | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
14 | d19893da | bellard | * Lesser General Public License for more details.
|
15 | d19893da | bellard | *
|
16 | d19893da | bellard | * You should have received a copy of the GNU Lesser General Public
|
17 | d19893da | bellard | * License along with this library; if not, write to the Free Software
|
18 | d19893da | bellard | * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
|
19 | d19893da | bellard | */
|
20 | d19893da | bellard | #include <stdarg.h> |
21 | d19893da | bellard | #include <stdlib.h> |
22 | d19893da | bellard | #include <stdio.h> |
23 | d19893da | bellard | #include <string.h> |
24 | d19893da | bellard | #include <inttypes.h> |
25 | d19893da | bellard | |
26 | d19893da | bellard | #include "config.h" |
27 | 2054396a | bellard | |
28 | af5ad107 | bellard | #define NO_CPU_IO_DEFS
|
29 | d3eead2e | bellard | #include "cpu.h" |
30 | d3eead2e | bellard | #include "exec-all.h" |
31 | d19893da | bellard | #include "disas.h" |
32 | d19893da | bellard | |
33 | d19893da | bellard | enum {
|
34 | d19893da | bellard | #define DEF(s, n, copy_size) INDEX_op_ ## s, |
35 | d3eead2e | bellard | #include "opc.h" |
36 | d19893da | bellard | #undef DEF
|
37 | d19893da | bellard | NB_OPS, |
38 | d19893da | bellard | }; |
39 | d19893da | bellard | |
40 | d19893da | bellard | #include "dyngen.h" |
41 | d3eead2e | bellard | #include "op.h" |
42 | d19893da | bellard | |
43 | d19893da | bellard | uint16_t gen_opc_buf[OPC_BUF_SIZE]; |
44 | d19893da | bellard | uint32_t gen_opparam_buf[OPPARAM_BUF_SIZE]; |
45 | c4687878 | bellard | long gen_labels[OPC_BUF_SIZE];
|
46 | c4687878 | bellard | int nb_gen_labels;
|
47 | c4687878 | bellard | |
48 | c4687878 | bellard | target_ulong gen_opc_pc[OPC_BUF_SIZE]; |
49 | d19893da | bellard | uint8_t gen_opc_instr_start[OPC_BUF_SIZE]; |
50 | f76af4b3 | bellard | #if defined(TARGET_I386)
|
51 | f76af4b3 | bellard | uint8_t gen_opc_cc_op[OPC_BUF_SIZE]; |
52 | e95c8d51 | bellard | #elif defined(TARGET_SPARC)
|
53 | c4687878 | bellard | target_ulong gen_opc_npc[OPC_BUF_SIZE]; |
54 | f76af4b3 | bellard | #endif
|
55 | d19893da | bellard | |
56 | 58fe2f10 | bellard | int code_copy_enabled = 1; |
57 | 58fe2f10 | bellard | |
58 | d19893da | bellard | #ifdef DEBUG_DISAS
|
59 | d19893da | bellard | static const char *op_str[] = { |
60 | d19893da | bellard | #define DEF(s, n, copy_size) #s, |
61 | d3eead2e | bellard | #include "opc.h" |
62 | d19893da | bellard | #undef DEF
|
63 | d19893da | bellard | }; |
64 | d19893da | bellard | |
65 | d19893da | bellard | static uint8_t op_nb_args[] = {
|
66 | d19893da | bellard | #define DEF(s, n, copy_size) n,
|
67 | d3eead2e | bellard | #include "opc.h" |
68 | d19893da | bellard | #undef DEF
|
69 | d19893da | bellard | }; |
70 | d19893da | bellard | |
71 | c4687878 | bellard | static const unsigned short opc_copy_size[] = { |
72 | c4687878 | bellard | #define DEF(s, n, copy_size) copy_size,
|
73 | c4687878 | bellard | #include "opc.h" |
74 | c4687878 | bellard | #undef DEF
|
75 | c4687878 | bellard | }; |
76 | c4687878 | bellard | |
77 | d19893da | bellard | void dump_ops(const uint16_t *opc_buf, const uint32_t *opparam_buf) |
78 | d19893da | bellard | { |
79 | d19893da | bellard | const uint16_t *opc_ptr;
|
80 | d19893da | bellard | const uint32_t *opparam_ptr;
|
81 | d19893da | bellard | int c, n, i;
|
82 | d19893da | bellard | |
83 | d19893da | bellard | opc_ptr = opc_buf; |
84 | d19893da | bellard | opparam_ptr = opparam_buf; |
85 | d19893da | bellard | for(;;) {
|
86 | d19893da | bellard | c = *opc_ptr++; |
87 | d19893da | bellard | n = op_nb_args[c]; |
88 | d19893da | bellard | fprintf(logfile, "0x%04x: %s",
|
89 | d19893da | bellard | (int)(opc_ptr - opc_buf - 1), op_str[c]); |
90 | d19893da | bellard | for(i = 0; i < n; i++) { |
91 | d19893da | bellard | fprintf(logfile, " 0x%x", opparam_ptr[i]);
|
92 | d19893da | bellard | } |
93 | d19893da | bellard | fprintf(logfile, "\n");
|
94 | d19893da | bellard | if (c == INDEX_op_end)
|
95 | d19893da | bellard | break;
|
96 | d19893da | bellard | opparam_ptr += n; |
97 | d19893da | bellard | } |
98 | d19893da | bellard | } |
99 | d19893da | bellard | |
100 | d19893da | bellard | #endif
|
101 | d19893da | bellard | |
102 | c4687878 | bellard | /* compute label info */
|
103 | c4687878 | bellard | static void dyngen_labels(long *gen_labels, int nb_gen_labels, |
104 | c4687878 | bellard | uint8_t *gen_code_buf, const uint16_t *opc_buf)
|
105 | c4687878 | bellard | { |
106 | c4687878 | bellard | uint8_t *gen_code_ptr; |
107 | c4687878 | bellard | int c, i;
|
108 | c4687878 | bellard | unsigned long gen_code_addr[OPC_BUF_SIZE]; |
109 | c4687878 | bellard | |
110 | c4687878 | bellard | if (nb_gen_labels == 0) |
111 | c4687878 | bellard | return;
|
112 | c4687878 | bellard | /* compute the address of each op code */
|
113 | c4687878 | bellard | |
114 | c4687878 | bellard | gen_code_ptr = gen_code_buf; |
115 | c4687878 | bellard | i = 0;
|
116 | c4687878 | bellard | for(;;) {
|
117 | c4687878 | bellard | c = opc_buf[i]; |
118 | c4687878 | bellard | gen_code_addr[i] =(unsigned long)gen_code_ptr; |
119 | c4687878 | bellard | if (c == INDEX_op_end)
|
120 | c4687878 | bellard | break;
|
121 | c4687878 | bellard | gen_code_ptr += opc_copy_size[c]; |
122 | c4687878 | bellard | i++; |
123 | c4687878 | bellard | } |
124 | c4687878 | bellard | |
125 | c4687878 | bellard | /* compute the address of each label */
|
126 | c4687878 | bellard | for(i = 0; i < nb_gen_labels; i++) { |
127 | c4687878 | bellard | gen_labels[i] = gen_code_addr[gen_labels[i]]; |
128 | c4687878 | bellard | } |
129 | c4687878 | bellard | } |
130 | c4687878 | bellard | |
131 | d19893da | bellard | /* return non zero if the very first instruction is invalid so that
|
132 | d19893da | bellard | the virtual CPU can trigger an exception.
|
133 | d19893da | bellard | |
134 | d19893da | bellard | '*gen_code_size_ptr' contains the size of the generated code (host
|
135 | d19893da | bellard | code).
|
136 | d19893da | bellard | */
|
137 | 4c3a88a2 | bellard | int cpu_gen_code(CPUState *env, TranslationBlock *tb,
|
138 | d19893da | bellard | int max_code_size, int *gen_code_size_ptr) |
139 | d19893da | bellard | { |
140 | d19893da | bellard | uint8_t *gen_code_buf; |
141 | d19893da | bellard | int gen_code_size;
|
142 | d19893da | bellard | |
143 | 58fe2f10 | bellard | #ifdef USE_CODE_COPY
|
144 | 58fe2f10 | bellard | if (code_copy_enabled &&
|
145 | 58fe2f10 | bellard | cpu_gen_code_copy(env, tb, max_code_size, &gen_code_size) == 0) {
|
146 | 58fe2f10 | bellard | /* nothing more to do */
|
147 | 58fe2f10 | bellard | } else
|
148 | 58fe2f10 | bellard | #endif
|
149 | 58fe2f10 | bellard | { |
150 | 58fe2f10 | bellard | if (gen_intermediate_code(env, tb) < 0) |
151 | 58fe2f10 | bellard | return -1; |
152 | d19893da | bellard | |
153 | 58fe2f10 | bellard | /* generate machine code */
|
154 | 58fe2f10 | bellard | tb->tb_next_offset[0] = 0xffff; |
155 | 58fe2f10 | bellard | tb->tb_next_offset[1] = 0xffff; |
156 | 58fe2f10 | bellard | gen_code_buf = tb->tc_ptr; |
157 | 4cbb86e1 | bellard | #ifdef USE_DIRECT_JUMP
|
158 | 58fe2f10 | bellard | /* the following two entries are optional (only used for string ops) */
|
159 | 58fe2f10 | bellard | tb->tb_jmp_offset[2] = 0xffff; |
160 | 58fe2f10 | bellard | tb->tb_jmp_offset[3] = 0xffff; |
161 | 4cbb86e1 | bellard | #endif
|
162 | c4687878 | bellard | dyngen_labels(gen_labels, nb_gen_labels, gen_code_buf, gen_opc_buf); |
163 | c4687878 | bellard | |
164 | 58fe2f10 | bellard | gen_code_size = dyngen_code(gen_code_buf, tb->tb_next_offset, |
165 | d19893da | bellard | #ifdef USE_DIRECT_JUMP
|
166 | 58fe2f10 | bellard | tb->tb_jmp_offset, |
167 | d19893da | bellard | #else
|
168 | 58fe2f10 | bellard | NULL,
|
169 | d19893da | bellard | #endif
|
170 | c4687878 | bellard | gen_opc_buf, gen_opparam_buf, gen_labels); |
171 | 58fe2f10 | bellard | } |
172 | d19893da | bellard | *gen_code_size_ptr = gen_code_size; |
173 | d19893da | bellard | #ifdef DEBUG_DISAS
|
174 | f193c797 | bellard | if (loglevel & CPU_LOG_TB_OUT_ASM) {
|
175 | d19893da | bellard | fprintf(logfile, "OUT: [size=%d]\n", *gen_code_size_ptr);
|
176 | c4687878 | bellard | disas(logfile, tb->tc_ptr, *gen_code_size_ptr); |
177 | d19893da | bellard | fprintf(logfile, "\n");
|
178 | d19893da | bellard | fflush(logfile); |
179 | d19893da | bellard | } |
180 | d19893da | bellard | #endif
|
181 | d19893da | bellard | return 0; |
182 | d19893da | bellard | } |
183 | d19893da | bellard | |
184 | f76af4b3 | bellard | /* The cpu state corresponding to 'searched_pc' is restored.
|
185 | d19893da | bellard | */
|
186 | f76af4b3 | bellard | int cpu_restore_state(TranslationBlock *tb,
|
187 | 58fe2f10 | bellard | CPUState *env, unsigned long searched_pc, |
188 | 58fe2f10 | bellard | void *puc)
|
189 | d19893da | bellard | { |
190 | d19893da | bellard | int j, c;
|
191 | d19893da | bellard | unsigned long tc_ptr; |
192 | d19893da | bellard | uint16_t *opc_ptr; |
193 | d19893da | bellard | |
194 | 58fe2f10 | bellard | #ifdef USE_CODE_COPY
|
195 | 58fe2f10 | bellard | if (tb->cflags & CF_CODE_COPY) {
|
196 | 58fe2f10 | bellard | return cpu_restore_state_copy(tb, env, searched_pc, puc);
|
197 | 58fe2f10 | bellard | } |
198 | 58fe2f10 | bellard | #endif
|
199 | 4c3a88a2 | bellard | if (gen_intermediate_code_pc(env, tb) < 0) |
200 | d19893da | bellard | return -1; |
201 | d19893da | bellard | |
202 | d19893da | bellard | /* find opc index corresponding to search_pc */
|
203 | d19893da | bellard | tc_ptr = (unsigned long)tb->tc_ptr; |
204 | d19893da | bellard | if (searched_pc < tc_ptr)
|
205 | d19893da | bellard | return -1; |
206 | d19893da | bellard | j = 0;
|
207 | d19893da | bellard | opc_ptr = gen_opc_buf; |
208 | d19893da | bellard | for(;;) {
|
209 | d19893da | bellard | c = *opc_ptr; |
210 | d19893da | bellard | if (c == INDEX_op_end)
|
211 | d19893da | bellard | return -1; |
212 | d19893da | bellard | tc_ptr += opc_copy_size[c]; |
213 | d19893da | bellard | if (searched_pc < tc_ptr)
|
214 | d19893da | bellard | break;
|
215 | d19893da | bellard | opc_ptr++; |
216 | d19893da | bellard | } |
217 | d19893da | bellard | j = opc_ptr - gen_opc_buf; |
218 | d19893da | bellard | /* now find start of instruction before */
|
219 | d19893da | bellard | while (gen_opc_instr_start[j] == 0) |
220 | d19893da | bellard | j--; |
221 | f76af4b3 | bellard | #if defined(TARGET_I386)
|
222 | f76af4b3 | bellard | { |
223 | f76af4b3 | bellard | int cc_op;
|
224 | 3c1cf9fa | bellard | #ifdef DEBUG_DISAS
|
225 | f193c797 | bellard | if (loglevel & CPU_LOG_TB_OP) {
|
226 | 3c1cf9fa | bellard | int i;
|
227 | 6e0374f6 | bellard | fprintf(logfile, "RESTORE:\n");
|
228 | 3c1cf9fa | bellard | for(i=0;i<=j; i++) { |
229 | 3c1cf9fa | bellard | if (gen_opc_instr_start[i]) {
|
230 | c4687878 | bellard | fprintf(logfile, "0x%04x: " TARGET_FMT_lx "\n", i, gen_opc_pc[i]); |
231 | 3c1cf9fa | bellard | } |
232 | 3c1cf9fa | bellard | } |
233 | c4687878 | bellard | fprintf(logfile, "spc=0x%08lx j=0x%x eip=" TARGET_FMT_lx " cs_base=%x\n", |
234 | c4687878 | bellard | searched_pc, j, gen_opc_pc[j] - tb->cs_base, |
235 | c4687878 | bellard | (uint32_t)tb->cs_base); |
236 | 3c1cf9fa | bellard | } |
237 | 3c1cf9fa | bellard | #endif
|
238 | f76af4b3 | bellard | env->eip = gen_opc_pc[j] - tb->cs_base; |
239 | f76af4b3 | bellard | cc_op = gen_opc_cc_op[j]; |
240 | f76af4b3 | bellard | if (cc_op != CC_OP_DYNAMIC)
|
241 | f76af4b3 | bellard | env->cc_op = cc_op; |
242 | f76af4b3 | bellard | } |
243 | f76af4b3 | bellard | #elif defined(TARGET_ARM)
|
244 | f76af4b3 | bellard | env->regs[15] = gen_opc_pc[j];
|
245 | d3eead2e | bellard | #elif defined(TARGET_SPARC)
|
246 | 58fe2f10 | bellard | /* XXX: restore npc too */
|
247 | 6dca2016 | bellard | env->pc = gen_opc_pc[j]; |
248 | e95c8d51 | bellard | env->npc = gen_opc_npc[j]; |
249 | 6dca2016 | bellard | #elif defined(TARGET_PPC)
|
250 | af5ad107 | bellard | { |
251 | af5ad107 | bellard | int type;
|
252 | af5ad107 | bellard | /* for PPC, we need to look at the micro operation to get the
|
253 | af5ad107 | bellard | access type */
|
254 | af5ad107 | bellard | env->nip = gen_opc_pc[j]; |
255 | af5ad107 | bellard | switch(c) {
|
256 | af5ad107 | bellard | #if defined(CONFIG_USER_ONLY)
|
257 | af5ad107 | bellard | #define CASE3(op)\
|
258 | af5ad107 | bellard | case INDEX_op_ ## op ## _raw |
259 | af5ad107 | bellard | #else
|
260 | af5ad107 | bellard | #define CASE3(op)\
|
261 | af5ad107 | bellard | case INDEX_op_ ## op ## _user:\ |
262 | af5ad107 | bellard | case INDEX_op_ ## op ## _kernel |
263 | af5ad107 | bellard | #endif
|
264 | af5ad107 | bellard | |
265 | af5ad107 | bellard | CASE3(stfd): |
266 | af5ad107 | bellard | CASE3(stfs): |
267 | af5ad107 | bellard | CASE3(lfd): |
268 | af5ad107 | bellard | CASE3(lfs): |
269 | af5ad107 | bellard | type = ACCESS_FLOAT; |
270 | af5ad107 | bellard | break;
|
271 | a541f297 | bellard | CASE3(lwarx): |
272 | a541f297 | bellard | type = ACCESS_RES; |
273 | a541f297 | bellard | break;
|
274 | af5ad107 | bellard | CASE3(stwcx): |
275 | af5ad107 | bellard | type = ACCESS_RES; |
276 | af5ad107 | bellard | break;
|
277 | af5ad107 | bellard | CASE3(eciwx): |
278 | af5ad107 | bellard | CASE3(ecowx): |
279 | af5ad107 | bellard | type = ACCESS_EXT; |
280 | af5ad107 | bellard | break;
|
281 | af5ad107 | bellard | default:
|
282 | af5ad107 | bellard | type = ACCESS_INT; |
283 | af5ad107 | bellard | break;
|
284 | af5ad107 | bellard | } |
285 | af5ad107 | bellard | env->access_type = type; |
286 | af5ad107 | bellard | } |
287 | f76af4b3 | bellard | #endif
|
288 | d19893da | bellard | return 0; |
289 | d19893da | bellard | } |