Statistics
| Branch: | Revision:

root / translate-all.c @ 6af0bf9c

History | View | Annotate | Download (8.2 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 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 f76af4b3 bellard
#endif
57 d19893da bellard
58 58fe2f10 bellard
int code_copy_enabled = 1;
59 58fe2f10 bellard
60 d19893da bellard
#ifdef DEBUG_DISAS
61 d19893da bellard
static const char *op_str[] = {
62 d19893da bellard
#define DEF(s, n, copy_size) #s,
63 d3eead2e bellard
#include "opc.h"
64 d19893da bellard
#undef DEF
65 d19893da bellard
};
66 d19893da bellard
67 d19893da bellard
static uint8_t op_nb_args[] = {
68 d19893da bellard
#define DEF(s, n, copy_size) n,
69 d3eead2e bellard
#include "opc.h"
70 d19893da bellard
#undef DEF
71 d19893da bellard
};
72 d19893da bellard
73 c4687878 bellard
static const unsigned short opc_copy_size[] = {
74 c4687878 bellard
#define DEF(s, n, copy_size) copy_size,
75 c4687878 bellard
#include "opc.h"
76 c4687878 bellard
#undef DEF
77 c4687878 bellard
};
78 c4687878 bellard
79 d19893da bellard
void dump_ops(const uint16_t *opc_buf, const uint32_t *opparam_buf)
80 d19893da bellard
{
81 d19893da bellard
    const uint16_t *opc_ptr;
82 d19893da bellard
    const uint32_t *opparam_ptr;
83 d19893da bellard
    int c, n, i;
84 d19893da bellard
85 d19893da bellard
    opc_ptr = opc_buf;
86 d19893da bellard
    opparam_ptr = opparam_buf;
87 d19893da bellard
    for(;;) {
88 d19893da bellard
        c = *opc_ptr++;
89 d19893da bellard
        n = op_nb_args[c];
90 d19893da bellard
        fprintf(logfile, "0x%04x: %s", 
91 d19893da bellard
                (int)(opc_ptr - opc_buf - 1), op_str[c]);
92 d19893da bellard
        for(i = 0; i < n; i++) {
93 d19893da bellard
            fprintf(logfile, " 0x%x", opparam_ptr[i]);
94 d19893da bellard
        }
95 d19893da bellard
        fprintf(logfile, "\n");
96 d19893da bellard
        if (c == INDEX_op_end)
97 d19893da bellard
            break;
98 d19893da bellard
        opparam_ptr += n;
99 d19893da bellard
    }
100 d19893da bellard
}
101 d19893da bellard
102 d19893da bellard
#endif
103 d19893da bellard
104 c4687878 bellard
/* compute label info */
105 c4687878 bellard
static void dyngen_labels(long *gen_labels, int nb_gen_labels,
106 c4687878 bellard
                          uint8_t *gen_code_buf, const uint16_t *opc_buf)
107 c4687878 bellard
{
108 c4687878 bellard
    uint8_t *gen_code_ptr;
109 c4687878 bellard
    int c, i;
110 c4687878 bellard
    unsigned long gen_code_addr[OPC_BUF_SIZE];
111 c4687878 bellard
    
112 c4687878 bellard
    if (nb_gen_labels == 0)
113 c4687878 bellard
        return;
114 c4687878 bellard
    /* compute the address of each op code */
115 c4687878 bellard
    
116 c4687878 bellard
    gen_code_ptr = gen_code_buf;
117 c4687878 bellard
    i = 0;
118 c4687878 bellard
    for(;;) {
119 c4687878 bellard
        c = opc_buf[i];
120 c4687878 bellard
        gen_code_addr[i] =(unsigned long)gen_code_ptr;
121 c4687878 bellard
        if (c == INDEX_op_end)
122 c4687878 bellard
            break;
123 c4687878 bellard
        gen_code_ptr += opc_copy_size[c];
124 c4687878 bellard
        i++;
125 c4687878 bellard
    }
126 c4687878 bellard
    
127 c4687878 bellard
    /* compute the address of each label */
128 c4687878 bellard
    for(i = 0; i < nb_gen_labels; i++) {
129 c4687878 bellard
        gen_labels[i] = gen_code_addr[gen_labels[i]];
130 c4687878 bellard
    }
131 c4687878 bellard
}
132 c4687878 bellard
133 d19893da bellard
/* return non zero if the very first instruction is invalid so that
134 d19893da bellard
   the virtual CPU can trigger an exception. 
135 d19893da bellard

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