Statistics
| Branch: | Revision:

root / translate-all.c @ 14ce26e7

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
}