Statistics
| Branch: | Revision:

root / translate-all.c @ 5fafdf24

History | View | Annotate | Download (8.4 kB)

1 d19893da bellard
/*
2 d19893da bellard
 *  Host code generation
3 5fafdf24 ths
 *
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 4f716dc6 bellard
extern int dyngen_code(uint8_t *gen_code_buf,
34 4f716dc6 bellard
                       uint16_t *label_offsets, uint16_t *jmp_offsets,
35 4f716dc6 bellard
                       const uint16_t *opc_buf, const uint32_t *opparam_buf, const long *gen_labels);
36 4f716dc6 bellard
37 d19893da bellard
enum {
38 d19893da bellard
#define DEF(s, n, copy_size) INDEX_op_ ## s,
39 d3eead2e bellard
#include "opc.h"
40 d19893da bellard
#undef DEF
41 d19893da bellard
    NB_OPS,
42 d19893da bellard
};
43 d19893da bellard
44 d19893da bellard
uint16_t gen_opc_buf[OPC_BUF_SIZE];
45 d19893da bellard
uint32_t gen_opparam_buf[OPPARAM_BUF_SIZE];
46 c4687878 bellard
long gen_labels[OPC_BUF_SIZE];
47 c4687878 bellard
int nb_gen_labels;
48 c4687878 bellard
49 c4687878 bellard
target_ulong gen_opc_pc[OPC_BUF_SIZE];
50 d19893da bellard
uint8_t gen_opc_instr_start[OPC_BUF_SIZE];
51 f76af4b3 bellard
#if defined(TARGET_I386)
52 f76af4b3 bellard
uint8_t gen_opc_cc_op[OPC_BUF_SIZE];
53 e95c8d51 bellard
#elif defined(TARGET_SPARC)
54 c4687878 bellard
target_ulong gen_opc_npc[OPC_BUF_SIZE];
55 c3278b7b bellard
target_ulong gen_opc_jump_pc[2];
56 30d6cb84 bellard
#elif defined(TARGET_MIPS)
57 30d6cb84 bellard
uint32_t gen_opc_hflags[OPC_BUF_SIZE];
58 f76af4b3 bellard
#endif
59 d19893da bellard
60 58fe2f10 bellard
int code_copy_enabled = 1;
61 58fe2f10 bellard
62 d19893da bellard
#ifdef DEBUG_DISAS
63 d19893da bellard
static const char *op_str[] = {
64 d19893da bellard
#define DEF(s, n, copy_size) #s,
65 d3eead2e bellard
#include "opc.h"
66 d19893da bellard
#undef DEF
67 d19893da bellard
};
68 d19893da bellard
69 d19893da bellard
static uint8_t op_nb_args[] = {
70 d19893da bellard
#define DEF(s, n, copy_size) n,
71 d3eead2e bellard
#include "opc.h"
72 d19893da bellard
#undef DEF
73 d19893da bellard
};
74 d19893da bellard
75 c4687878 bellard
static const unsigned short opc_copy_size[] = {
76 c4687878 bellard
#define DEF(s, n, copy_size) copy_size,
77 c4687878 bellard
#include "opc.h"
78 c4687878 bellard
#undef DEF
79 c4687878 bellard
};
80 c4687878 bellard
81 d19893da bellard
void dump_ops(const uint16_t *opc_buf, const uint32_t *opparam_buf)
82 d19893da bellard
{
83 d19893da bellard
    const uint16_t *opc_ptr;
84 d19893da bellard
    const uint32_t *opparam_ptr;
85 d19893da bellard
    int c, n, i;
86 d19893da bellard
87 d19893da bellard
    opc_ptr = opc_buf;
88 d19893da bellard
    opparam_ptr = opparam_buf;
89 d19893da bellard
    for(;;) {
90 d19893da bellard
        c = *opc_ptr++;
91 d19893da bellard
        n = op_nb_args[c];
92 5fafdf24 ths
        fprintf(logfile, "0x%04x: %s",
93 d19893da bellard
                (int)(opc_ptr - opc_buf - 1), op_str[c]);
94 d19893da bellard
        for(i = 0; i < n; i++) {
95 d19893da bellard
            fprintf(logfile, " 0x%x", opparam_ptr[i]);
96 d19893da bellard
        }
97 d19893da bellard
        fprintf(logfile, "\n");
98 d19893da bellard
        if (c == INDEX_op_end)
99 d19893da bellard
            break;
100 d19893da bellard
        opparam_ptr += n;
101 d19893da bellard
    }
102 d19893da bellard
}
103 d19893da bellard
104 d19893da bellard
#endif
105 d19893da bellard
106 c4687878 bellard
/* compute label info */
107 c4687878 bellard
static void dyngen_labels(long *gen_labels, int nb_gen_labels,
108 c4687878 bellard
                          uint8_t *gen_code_buf, const uint16_t *opc_buf)
109 c4687878 bellard
{
110 c4687878 bellard
    uint8_t *gen_code_ptr;
111 c4687878 bellard
    int c, i;
112 c4687878 bellard
    unsigned long gen_code_addr[OPC_BUF_SIZE];
113 5fafdf24 ths
   
114 c4687878 bellard
    if (nb_gen_labels == 0)
115 c4687878 bellard
        return;
116 c4687878 bellard
    /* compute the address of each op code */
117 5fafdf24 ths
   
118 c4687878 bellard
    gen_code_ptr = gen_code_buf;
119 c4687878 bellard
    i = 0;
120 c4687878 bellard
    for(;;) {
121 c4687878 bellard
        c = opc_buf[i];
122 c4687878 bellard
        gen_code_addr[i] =(unsigned long)gen_code_ptr;
123 c4687878 bellard
        if (c == INDEX_op_end)
124 c4687878 bellard
            break;
125 c4687878 bellard
        gen_code_ptr += opc_copy_size[c];
126 c4687878 bellard
        i++;
127 c4687878 bellard
    }
128 5fafdf24 ths
   
129 c4687878 bellard
    /* compute the address of each label */
130 c4687878 bellard
    for(i = 0; i < nb_gen_labels; i++) {
131 c4687878 bellard
        gen_labels[i] = gen_code_addr[gen_labels[i]];
132 c4687878 bellard
    }
133 c4687878 bellard
}
134 c4687878 bellard
135 d19893da bellard
/* return non zero if the very first instruction is invalid so that
136 5fafdf24 ths
   the virtual CPU can trigger an exception.
137 d19893da bellard

138 d19893da bellard
   '*gen_code_size_ptr' contains the size of the generated code (host
139 d19893da bellard
   code).
140 d19893da bellard
*/
141 4c3a88a2 bellard
int cpu_gen_code(CPUState *env, TranslationBlock *tb,
142 d19893da bellard
                 int max_code_size, int *gen_code_size_ptr)
143 d19893da bellard
{
144 d19893da bellard
    uint8_t *gen_code_buf;
145 d19893da bellard
    int gen_code_size;
146 d19893da bellard
147 58fe2f10 bellard
#ifdef USE_CODE_COPY
148 58fe2f10 bellard
    if (code_copy_enabled &&
149 58fe2f10 bellard
        cpu_gen_code_copy(env, tb, max_code_size, &gen_code_size) == 0) {
150 58fe2f10 bellard
        /* nothing more to do */
151 58fe2f10 bellard
    } else
152 58fe2f10 bellard
#endif
153 58fe2f10 bellard
    {
154 58fe2f10 bellard
        if (gen_intermediate_code(env, tb) < 0)
155 58fe2f10 bellard
            return -1;
156 d19893da bellard
157 58fe2f10 bellard
        /* generate machine code */
158 58fe2f10 bellard
        tb->tb_next_offset[0] = 0xffff;
159 58fe2f10 bellard
        tb->tb_next_offset[1] = 0xffff;
160 58fe2f10 bellard
        gen_code_buf = tb->tc_ptr;
161 4cbb86e1 bellard
#ifdef USE_DIRECT_JUMP
162 58fe2f10 bellard
        /* the following two entries are optional (only used for string ops) */
163 58fe2f10 bellard
        tb->tb_jmp_offset[2] = 0xffff;
164 58fe2f10 bellard
        tb->tb_jmp_offset[3] = 0xffff;
165 4cbb86e1 bellard
#endif
166 c4687878 bellard
        dyngen_labels(gen_labels, nb_gen_labels, gen_code_buf, gen_opc_buf);
167 c4687878 bellard
168 58fe2f10 bellard
        gen_code_size = dyngen_code(gen_code_buf, tb->tb_next_offset,
169 d19893da bellard
#ifdef USE_DIRECT_JUMP
170 58fe2f10 bellard
                                    tb->tb_jmp_offset,
171 d19893da bellard
#else
172 58fe2f10 bellard
                                    NULL,
173 d19893da bellard
#endif
174 c4687878 bellard
                                    gen_opc_buf, gen_opparam_buf, gen_labels);
175 58fe2f10 bellard
    }
176 d19893da bellard
    *gen_code_size_ptr = gen_code_size;
177 d19893da bellard
#ifdef DEBUG_DISAS
178 f193c797 bellard
    if (loglevel & CPU_LOG_TB_OUT_ASM) {
179 d19893da bellard
        fprintf(logfile, "OUT: [size=%d]\n", *gen_code_size_ptr);
180 c4687878 bellard
        disas(logfile, tb->tc_ptr, *gen_code_size_ptr);
181 d19893da bellard
        fprintf(logfile, "\n");
182 d19893da bellard
        fflush(logfile);
183 d19893da bellard
    }
184 d19893da bellard
#endif
185 d19893da bellard
    return 0;
186 d19893da bellard
}
187 d19893da bellard
188 5fafdf24 ths
/* The cpu state corresponding to 'searched_pc' is restored.
189 d19893da bellard
 */
190 5fafdf24 ths
int cpu_restore_state(TranslationBlock *tb,
191 58fe2f10 bellard
                      CPUState *env, unsigned long searched_pc,
192 58fe2f10 bellard
                      void *puc)
193 d19893da bellard
{
194 d19893da bellard
    int j, c;
195 d19893da bellard
    unsigned long tc_ptr;
196 d19893da bellard
    uint16_t *opc_ptr;
197 d19893da bellard
198 58fe2f10 bellard
#ifdef USE_CODE_COPY
199 58fe2f10 bellard
    if (tb->cflags & CF_CODE_COPY) {
200 58fe2f10 bellard
        return cpu_restore_state_copy(tb, env, searched_pc, puc);
201 58fe2f10 bellard
    }
202 58fe2f10 bellard
#endif
203 4c3a88a2 bellard
    if (gen_intermediate_code_pc(env, tb) < 0)
204 d19893da bellard
        return -1;
205 5fafdf24 ths
   
206 d19893da bellard
    /* find opc index corresponding to search_pc */
207 d19893da bellard
    tc_ptr = (unsigned long)tb->tc_ptr;
208 d19893da bellard
    if (searched_pc < tc_ptr)
209 d19893da bellard
        return -1;
210 d19893da bellard
    j = 0;
211 d19893da bellard
    opc_ptr = gen_opc_buf;
212 d19893da bellard
    for(;;) {
213 d19893da bellard
        c = *opc_ptr;
214 d19893da bellard
        if (c == INDEX_op_end)
215 d19893da bellard
            return -1;
216 d19893da bellard
        tc_ptr += opc_copy_size[c];
217 d19893da bellard
        if (searched_pc < tc_ptr)
218 d19893da bellard
            break;
219 d19893da bellard
        opc_ptr++;
220 d19893da bellard
    }
221 d19893da bellard
    j = opc_ptr - gen_opc_buf;
222 d19893da bellard
    /* now find start of instruction before */
223 d19893da bellard
    while (gen_opc_instr_start[j] == 0)
224 d19893da bellard
        j--;
225 f76af4b3 bellard
#if defined(TARGET_I386)
226 f76af4b3 bellard
    {
227 f76af4b3 bellard
        int cc_op;
228 3c1cf9fa bellard
#ifdef DEBUG_DISAS
229 f193c797 bellard
        if (loglevel & CPU_LOG_TB_OP) {
230 3c1cf9fa bellard
            int i;
231 6e0374f6 bellard
            fprintf(logfile, "RESTORE:\n");
232 3c1cf9fa bellard
            for(i=0;i<=j; i++) {
233 3c1cf9fa bellard
                if (gen_opc_instr_start[i]) {
234 c4687878 bellard
                    fprintf(logfile, "0x%04x: " TARGET_FMT_lx "\n", i, gen_opc_pc[i]);
235 3c1cf9fa bellard
                }
236 3c1cf9fa bellard
            }
237 5fafdf24 ths
            fprintf(logfile, "spc=0x%08lx j=0x%x eip=" TARGET_FMT_lx " cs_base=%x\n",
238 5fafdf24 ths
                    searched_pc, j, gen_opc_pc[j] - tb->cs_base,
239 c4687878 bellard
                    (uint32_t)tb->cs_base);
240 3c1cf9fa bellard
        }
241 3c1cf9fa bellard
#endif
242 f76af4b3 bellard
        env->eip = gen_opc_pc[j] - tb->cs_base;
243 f76af4b3 bellard
        cc_op = gen_opc_cc_op[j];
244 f76af4b3 bellard
        if (cc_op != CC_OP_DYNAMIC)
245 f76af4b3 bellard
            env->cc_op = cc_op;
246 f76af4b3 bellard
    }
247 f76af4b3 bellard
#elif defined(TARGET_ARM)
248 f76af4b3 bellard
    env->regs[15] = gen_opc_pc[j];
249 d3eead2e bellard
#elif defined(TARGET_SPARC)
250 c3278b7b bellard
    {
251 c3278b7b bellard
        target_ulong npc;
252 c3278b7b bellard
        env->pc = gen_opc_pc[j];
253 c3278b7b bellard
        npc = gen_opc_npc[j];
254 c3278b7b bellard
        if (npc == 1) {
255 c3278b7b bellard
            /* dynamic NPC: already stored */
256 c3278b7b bellard
        } else if (npc == 2) {
257 c3278b7b bellard
            target_ulong t2 = (target_ulong)puc;
258 c3278b7b bellard
            /* jump PC: use T2 and the jump targets of the translation */
259 5fafdf24 ths
            if (t2)
260 c3278b7b bellard
                env->npc = gen_opc_jump_pc[0];
261 c3278b7b bellard
            else
262 c3278b7b bellard
                env->npc = gen_opc_jump_pc[1];
263 c3278b7b bellard
        } else {
264 c3278b7b bellard
            env->npc = npc;
265 c3278b7b bellard
        }
266 c3278b7b bellard
    }
267 6dca2016 bellard
#elif defined(TARGET_PPC)
268 af5ad107 bellard
    {
269 af5ad107 bellard
        int type;
270 af5ad107 bellard
        /* for PPC, we need to look at the micro operation to get the
271 af5ad107 bellard
           access type */
272 af5ad107 bellard
        env->nip = gen_opc_pc[j];
273 af5ad107 bellard
        switch(c) {
274 af5ad107 bellard
#if defined(CONFIG_USER_ONLY)
275 af5ad107 bellard
#define CASE3(op)\
276 af5ad107 bellard
        case INDEX_op_ ## op ## _raw
277 af5ad107 bellard
#else
278 af5ad107 bellard
#define CASE3(op)\
279 af5ad107 bellard
        case INDEX_op_ ## op ## _user:\
280 af5ad107 bellard
        case INDEX_op_ ## op ## _kernel
281 af5ad107 bellard
#endif
282 5fafdf24 ths
           
283 af5ad107 bellard
        CASE3(stfd):
284 af5ad107 bellard
        CASE3(stfs):
285 af5ad107 bellard
        CASE3(lfd):
286 af5ad107 bellard
        CASE3(lfs):
287 af5ad107 bellard
            type = ACCESS_FLOAT;
288 af5ad107 bellard
            break;
289 a541f297 bellard
        CASE3(lwarx):
290 a541f297 bellard
            type = ACCESS_RES;
291 a541f297 bellard
            break;
292 af5ad107 bellard
        CASE3(stwcx):
293 af5ad107 bellard
            type = ACCESS_RES;
294 af5ad107 bellard
            break;
295 af5ad107 bellard
        CASE3(eciwx):
296 af5ad107 bellard
        CASE3(ecowx):
297 af5ad107 bellard
            type = ACCESS_EXT;
298 af5ad107 bellard
            break;
299 af5ad107 bellard
        default:
300 af5ad107 bellard
            type = ACCESS_INT;
301 af5ad107 bellard
            break;
302 af5ad107 bellard
        }
303 af5ad107 bellard
        env->access_type = type;
304 af5ad107 bellard
    }
305 e6e5906b pbrook
#elif defined(TARGET_M68K)
306 e6e5906b pbrook
    env->pc = gen_opc_pc[j];
307 6af0bf9c bellard
#elif defined(TARGET_MIPS)
308 ead9360e ths
    env->PC[env->current_tc] = gen_opc_pc[j];
309 30d6cb84 bellard
    env->hflags &= ~MIPS_HFLAG_BMASK;
310 30d6cb84 bellard
    env->hflags |= gen_opc_hflags[j];
311 eddf68a6 j_mayer
#elif defined(TARGET_ALPHA)
312 eddf68a6 j_mayer
    env->pc = gen_opc_pc[j];
313 f76af4b3 bellard
#endif
314 d19893da bellard
    return 0;
315 d19893da bellard
}