Statistics
| Branch: | Revision:

root / dyngen.c @ 630be16f

History | View | Annotate | Download (48.6 kB)

1 7d13299d bellard
/*
2 7d13299d bellard
 *  Generic Dynamic compiler generator
3 7d13299d bellard
 * 
4 7d13299d bellard
 *  Copyright (c) 2003 Fabrice Bellard
5 7d13299d bellard
 *
6 7d13299d bellard
 *  This program is free software; you can redistribute it and/or modify
7 7d13299d bellard
 *  it under the terms of the GNU General Public License as published by
8 7d13299d bellard
 *  the Free Software Foundation; either version 2 of the License, or
9 7d13299d bellard
 *  (at your option) any later version.
10 7d13299d bellard
 *
11 7d13299d bellard
 *  This program is distributed in the hope that it will be useful,
12 7d13299d bellard
 *  but WITHOUT ANY WARRANTY; without even the implied warranty of
13 7d13299d bellard
 *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
14 7d13299d bellard
 *  GNU General Public License for more details.
15 7d13299d bellard
 *
16 7d13299d bellard
 *  You should have received a copy of the GNU General Public License
17 7d13299d bellard
 *  along with this program; if not, write to the Free Software
18 7d13299d bellard
 *  Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
19 7d13299d bellard
 */
20 367e86e8 bellard
#include <stdlib.h>
21 367e86e8 bellard
#include <stdio.h>
22 04369ff2 bellard
#include <string.h>
23 367e86e8 bellard
#include <stdarg.h>
24 367e86e8 bellard
#include <inttypes.h>
25 367e86e8 bellard
#include <unistd.h>
26 367e86e8 bellard
#include <fcntl.h>
27 367e86e8 bellard
28 abcd5da7 bellard
#include "config-host.h"
29 ce11fedc bellard
30 ce11fedc bellard
/* elf format definitions. We use these macros to test the CPU to
31 ce11fedc bellard
   allow cross compilation (this tool must be ran on the build
32 ce11fedc bellard
   platform) */
33 ce11fedc bellard
#if defined(HOST_I386)
34 ce11fedc bellard
35 ce11fedc bellard
#define ELF_CLASS        ELFCLASS32
36 ce11fedc bellard
#define ELF_ARCH        EM_386
37 ce11fedc bellard
#define elf_check_arch(x) ( ((x) == EM_386) || ((x) == EM_486) )
38 ce11fedc bellard
#undef ELF_USES_RELOCA
39 ce11fedc bellard
40 ce11fedc bellard
#elif defined(HOST_PPC)
41 ce11fedc bellard
42 ce11fedc bellard
#define ELF_CLASS        ELFCLASS32
43 ce11fedc bellard
#define ELF_ARCH        EM_PPC
44 ce11fedc bellard
#define elf_check_arch(x) ((x) == EM_PPC)
45 ce11fedc bellard
#define ELF_USES_RELOCA
46 ce11fedc bellard
47 ce11fedc bellard
#elif defined(HOST_S390)
48 ce11fedc bellard
49 ce11fedc bellard
#define ELF_CLASS        ELFCLASS32
50 ce11fedc bellard
#define ELF_ARCH        EM_S390
51 ce11fedc bellard
#define elf_check_arch(x) ((x) == EM_S390)
52 ce11fedc bellard
#define ELF_USES_RELOCA
53 367e86e8 bellard
54 ce11fedc bellard
#elif defined(HOST_ALPHA)
55 ce11fedc bellard
56 ce11fedc bellard
#define ELF_CLASS        ELFCLASS64
57 ce11fedc bellard
#define ELF_ARCH        EM_ALPHA
58 ce11fedc bellard
#define elf_check_arch(x) ((x) == EM_ALPHA)
59 ce11fedc bellard
#define ELF_USES_RELOCA
60 ce11fedc bellard
61 efdea7bf bellard
#elif defined(HOST_IA64)
62 efdea7bf bellard
63 efdea7bf bellard
#define ELF_CLASS        ELFCLASS64
64 efdea7bf bellard
#define ELF_ARCH        EM_IA_64
65 efdea7bf bellard
#define elf_check_arch(x) ((x) == EM_IA_64)
66 efdea7bf bellard
#define ELF_USES_RELOCA
67 efdea7bf bellard
68 d014c98c bellard
#elif defined(HOST_SPARC)
69 d014c98c bellard
70 d014c98c bellard
#define ELF_CLASS        ELFCLASS32
71 d014c98c bellard
#define ELF_ARCH        EM_SPARC
72 d014c98c bellard
#define elf_check_arch(x) ((x) == EM_SPARC || (x) == EM_SPARC32PLUS)
73 d014c98c bellard
#define ELF_USES_RELOCA
74 d014c98c bellard
75 d014c98c bellard
#elif defined(HOST_SPARC64)
76 d014c98c bellard
77 d014c98c bellard
#define ELF_CLASS        ELFCLASS64
78 d014c98c bellard
#define ELF_ARCH        EM_SPARCV9
79 d014c98c bellard
#define elf_check_arch(x) ((x) == EM_SPARCV9)
80 d014c98c bellard
#define ELF_USES_RELOCA
81 d014c98c bellard
82 ff1f20a3 bellard
#elif defined(HOST_ARM)
83 ff1f20a3 bellard
84 ff1f20a3 bellard
#define ELF_CLASS        ELFCLASS32
85 ff1f20a3 bellard
#define ELF_ARCH        EM_ARM
86 ff1f20a3 bellard
#define elf_check_arch(x) ((x) == EM_ARM)
87 ff1f20a3 bellard
#define ELF_USES_RELOC
88 ff1f20a3 bellard
89 38e584a0 bellard
#elif defined(HOST_M68K)
90 38e584a0 bellard
91 38e584a0 bellard
#define ELF_CLASS        ELFCLASS32
92 38e584a0 bellard
#define ELF_ARCH        EM_68K
93 38e584a0 bellard
#define elf_check_arch(x) ((x) == EM_68K)
94 38e584a0 bellard
#define ELF_USES_RELOCA
95 38e584a0 bellard
96 ce11fedc bellard
#else
97 ce11fedc bellard
#error unsupported CPU - please update the code
98 ce11fedc bellard
#endif
99 ce11fedc bellard
100 efdea7bf bellard
#include "elf.h"
101 efdea7bf bellard
102 ce11fedc bellard
#if ELF_CLASS == ELFCLASS32
103 ce11fedc bellard
typedef int32_t host_long;
104 ce11fedc bellard
typedef uint32_t host_ulong;
105 efdea7bf bellard
#define swabls(x) swab32s(x)
106 ce11fedc bellard
#else
107 ce11fedc bellard
typedef int64_t host_long;
108 ce11fedc bellard
typedef uint64_t host_ulong;
109 efdea7bf bellard
#define swabls(x) swab64s(x)
110 fb3e5849 bellard
#endif
111 fb3e5849 bellard
112 fe319756 bellard
#ifdef ELF_USES_RELOCA
113 fe319756 bellard
#define SHT_RELOC SHT_RELA
114 fe319756 bellard
#else
115 fe319756 bellard
#define SHT_RELOC SHT_REL
116 fe319756 bellard
#endif
117 fe319756 bellard
118 abcd5da7 bellard
#include "bswap.h"
119 ce11fedc bellard
120 d219f7e7 bellard
enum {
121 d219f7e7 bellard
    OUT_GEN_OP,
122 d219f7e7 bellard
    OUT_CODE,
123 d219f7e7 bellard
    OUT_INDEX_OP,
124 d219f7e7 bellard
};
125 d219f7e7 bellard
126 367e86e8 bellard
/* all dynamically generated functions begin with this code */
127 dc99065b bellard
#define OP_PREFIX "op_"
128 367e86e8 bellard
129 ce11fedc bellard
int elf_must_swap(struct elfhdr *h)
130 367e86e8 bellard
{
131 367e86e8 bellard
  union {
132 367e86e8 bellard
      uint32_t i;
133 367e86e8 bellard
      uint8_t b[4];
134 367e86e8 bellard
  } swaptest;
135 367e86e8 bellard
136 367e86e8 bellard
  swaptest.i = 1;
137 367e86e8 bellard
  return (h->e_ident[EI_DATA] == ELFDATA2MSB) != 
138 367e86e8 bellard
      (swaptest.b[0] == 0);
139 367e86e8 bellard
}
140 367e86e8 bellard
  
141 367e86e8 bellard
void swab16s(uint16_t *p)
142 367e86e8 bellard
{
143 367e86e8 bellard
    *p = bswap16(*p);
144 367e86e8 bellard
}
145 367e86e8 bellard
146 367e86e8 bellard
void swab32s(uint32_t *p)
147 367e86e8 bellard
{
148 367e86e8 bellard
    *p = bswap32(*p);
149 367e86e8 bellard
}
150 367e86e8 bellard
151 ce11fedc bellard
void swab64s(uint64_t *p)
152 367e86e8 bellard
{
153 367e86e8 bellard
    *p = bswap64(*p);
154 367e86e8 bellard
}
155 367e86e8 bellard
156 ce11fedc bellard
void elf_swap_ehdr(struct elfhdr *h)
157 367e86e8 bellard
{
158 367e86e8 bellard
    swab16s(&h->e_type);                        /* Object file type */
159 367e86e8 bellard
    swab16s(&h->        e_machine);                /* Architecture */
160 367e86e8 bellard
    swab32s(&h->        e_version);                /* Object file version */
161 ce11fedc bellard
    swabls(&h->        e_entry);                /* Entry point virtual address */
162 ce11fedc bellard
    swabls(&h->        e_phoff);                /* Program header table file offset */
163 ce11fedc bellard
    swabls(&h->        e_shoff);                /* Section header table file offset */
164 367e86e8 bellard
    swab32s(&h->        e_flags);                /* Processor-specific flags */
165 367e86e8 bellard
    swab16s(&h->        e_ehsize);                /* ELF header size in bytes */
166 367e86e8 bellard
    swab16s(&h->        e_phentsize);                /* Program header table entry size */
167 367e86e8 bellard
    swab16s(&h->        e_phnum);                /* Program header table entry count */
168 367e86e8 bellard
    swab16s(&h->        e_shentsize);                /* Section header table entry size */
169 367e86e8 bellard
    swab16s(&h->        e_shnum);                /* Section header table entry count */
170 367e86e8 bellard
    swab16s(&h->        e_shstrndx);                /* Section header string table index */
171 367e86e8 bellard
}
172 367e86e8 bellard
173 ce11fedc bellard
void elf_swap_shdr(struct elf_shdr *h)
174 367e86e8 bellard
{
175 367e86e8 bellard
  swab32s(&h->        sh_name);                /* Section name (string tbl index) */
176 367e86e8 bellard
  swab32s(&h->        sh_type);                /* Section type */
177 ce11fedc bellard
  swabls(&h->        sh_flags);                /* Section flags */
178 ce11fedc bellard
  swabls(&h->        sh_addr);                /* Section virtual addr at execution */
179 ce11fedc bellard
  swabls(&h->        sh_offset);                /* Section file offset */
180 ce11fedc bellard
  swabls(&h->        sh_size);                /* Section size in bytes */
181 367e86e8 bellard
  swab32s(&h->        sh_link);                /* Link to another section */
182 367e86e8 bellard
  swab32s(&h->        sh_info);                /* Additional section information */
183 ce11fedc bellard
  swabls(&h->        sh_addralign);                /* Section alignment */
184 ce11fedc bellard
  swabls(&h->        sh_entsize);                /* Entry size if section holds table */
185 367e86e8 bellard
}
186 367e86e8 bellard
187 ce11fedc bellard
void elf_swap_phdr(struct elf_phdr *h)
188 367e86e8 bellard
{
189 367e86e8 bellard
    swab32s(&h->p_type);                        /* Segment type */
190 ce11fedc bellard
    swabls(&h->p_offset);                /* Segment file offset */
191 ce11fedc bellard
    swabls(&h->p_vaddr);                /* Segment virtual address */
192 ce11fedc bellard
    swabls(&h->p_paddr);                /* Segment physical address */
193 ce11fedc bellard
    swabls(&h->p_filesz);                /* Segment size in file */
194 ce11fedc bellard
    swabls(&h->p_memsz);                /* Segment size in memory */
195 367e86e8 bellard
    swab32s(&h->p_flags);                /* Segment flags */
196 ce11fedc bellard
    swabls(&h->p_align);                /* Segment alignment */
197 367e86e8 bellard
}
198 367e86e8 bellard
199 fe319756 bellard
void elf_swap_rel(ELF_RELOC *rel)
200 fe319756 bellard
{
201 fe319756 bellard
    swabls(&rel->r_offset);
202 fe319756 bellard
    swabls(&rel->r_info);
203 fe319756 bellard
#ifdef ELF_USES_RELOCA
204 fe319756 bellard
    swabls(&rel->r_addend);
205 fe319756 bellard
#endif
206 fe319756 bellard
}
207 fe319756 bellard
208 d4e8164f bellard
/* ELF file info */
209 367e86e8 bellard
int do_swap;
210 d4e8164f bellard
struct elf_shdr *shdr;
211 fe319756 bellard
uint8_t **sdata;
212 d4e8164f bellard
struct elfhdr ehdr;
213 d4e8164f bellard
ElfW(Sym) *symtab;
214 d4e8164f bellard
int nb_syms;
215 d4e8164f bellard
char *strtab;
216 fe319756 bellard
int text_shndx;
217 367e86e8 bellard
218 367e86e8 bellard
uint16_t get16(uint16_t *p)
219 367e86e8 bellard
{
220 367e86e8 bellard
    uint16_t val;
221 367e86e8 bellard
    val = *p;
222 367e86e8 bellard
    if (do_swap)
223 367e86e8 bellard
        val = bswap16(val);
224 367e86e8 bellard
    return val;
225 367e86e8 bellard
}
226 367e86e8 bellard
227 367e86e8 bellard
uint32_t get32(uint32_t *p)
228 367e86e8 bellard
{
229 367e86e8 bellard
    uint32_t val;
230 367e86e8 bellard
    val = *p;
231 367e86e8 bellard
    if (do_swap)
232 367e86e8 bellard
        val = bswap32(val);
233 367e86e8 bellard
    return val;
234 367e86e8 bellard
}
235 367e86e8 bellard
236 367e86e8 bellard
void put16(uint16_t *p, uint16_t val)
237 367e86e8 bellard
{
238 367e86e8 bellard
    if (do_swap)
239 367e86e8 bellard
        val = bswap16(val);
240 367e86e8 bellard
    *p = val;
241 367e86e8 bellard
}
242 367e86e8 bellard
243 367e86e8 bellard
void put32(uint32_t *p, uint32_t val)
244 367e86e8 bellard
{
245 367e86e8 bellard
    if (do_swap)
246 367e86e8 bellard
        val = bswap32(val);
247 367e86e8 bellard
    *p = val;
248 367e86e8 bellard
}
249 367e86e8 bellard
250 efdea7bf bellard
void __attribute__((noreturn)) __attribute__((format (printf, 1, 2))) error(const char *fmt, ...)
251 367e86e8 bellard
{
252 367e86e8 bellard
    va_list ap;
253 367e86e8 bellard
    va_start(ap, fmt);
254 367e86e8 bellard
    fprintf(stderr, "dyngen: ");
255 367e86e8 bellard
    vfprintf(stderr, fmt, ap);
256 367e86e8 bellard
    fprintf(stderr, "\n");
257 367e86e8 bellard
    va_end(ap);
258 367e86e8 bellard
    exit(1);
259 367e86e8 bellard
}
260 367e86e8 bellard
261 367e86e8 bellard
262 ce11fedc bellard
struct elf_shdr *find_elf_section(struct elf_shdr *shdr, int shnum, const char *shstr, 
263 ce11fedc bellard
                                  const char *name)
264 367e86e8 bellard
{
265 367e86e8 bellard
    int i;
266 367e86e8 bellard
    const char *shname;
267 ce11fedc bellard
    struct elf_shdr *sec;
268 367e86e8 bellard
269 367e86e8 bellard
    for(i = 0; i < shnum; i++) {
270 367e86e8 bellard
        sec = &shdr[i];
271 367e86e8 bellard
        if (!sec->sh_name)
272 367e86e8 bellard
            continue;
273 367e86e8 bellard
        shname = shstr + sec->sh_name;
274 367e86e8 bellard
        if (!strcmp(shname, name))
275 367e86e8 bellard
            return sec;
276 367e86e8 bellard
    }
277 367e86e8 bellard
    return NULL;
278 367e86e8 bellard
}
279 367e86e8 bellard
280 fe319756 bellard
int find_reloc(int sh_index)
281 fe319756 bellard
{
282 fe319756 bellard
    struct elf_shdr *sec;
283 fe319756 bellard
    int i;
284 fe319756 bellard
285 fe319756 bellard
    for(i = 0; i < ehdr.e_shnum; i++) {
286 fe319756 bellard
        sec = &shdr[i];
287 fe319756 bellard
        if (sec->sh_type == SHT_RELOC && sec->sh_info == sh_index) 
288 fe319756 bellard
            return i;
289 fe319756 bellard
    }
290 fe319756 bellard
    return 0;
291 fe319756 bellard
}
292 fe319756 bellard
293 367e86e8 bellard
void *load_data(int fd, long offset, unsigned int size)
294 367e86e8 bellard
{
295 367e86e8 bellard
    char *data;
296 367e86e8 bellard
297 367e86e8 bellard
    data = malloc(size);
298 367e86e8 bellard
    if (!data)
299 367e86e8 bellard
        return NULL;
300 367e86e8 bellard
    lseek(fd, offset, SEEK_SET);
301 367e86e8 bellard
    if (read(fd, data, size) != size) {
302 367e86e8 bellard
        free(data);
303 367e86e8 bellard
        return NULL;
304 367e86e8 bellard
    }
305 367e86e8 bellard
    return data;
306 367e86e8 bellard
}
307 367e86e8 bellard
308 367e86e8 bellard
int strstart(const char *str, const char *val, const char **ptr)
309 367e86e8 bellard
{
310 367e86e8 bellard
    const char *p, *q;
311 367e86e8 bellard
    p = str;
312 367e86e8 bellard
    q = val;
313 367e86e8 bellard
    while (*q != '\0') {
314 367e86e8 bellard
        if (*p != *q)
315 367e86e8 bellard
            return 0;
316 367e86e8 bellard
        p++;
317 367e86e8 bellard
        q++;
318 367e86e8 bellard
    }
319 367e86e8 bellard
    if (ptr)
320 367e86e8 bellard
        *ptr = p;
321 367e86e8 bellard
    return 1;
322 367e86e8 bellard
}
323 367e86e8 bellard
324 ff1f20a3 bellard
#ifdef HOST_ARM
325 ff1f20a3 bellard
326 ff1f20a3 bellard
int arm_emit_ldr_info(const char *name, unsigned long start_offset,
327 ff1f20a3 bellard
                      FILE *outfile, uint8_t *p_start, uint8_t *p_end,
328 ff1f20a3 bellard
                      ELF_RELOC *relocs, int nb_relocs)
329 ff1f20a3 bellard
{
330 ff1f20a3 bellard
    uint8_t *p;
331 ff1f20a3 bellard
    uint32_t insn;
332 ff1f20a3 bellard
    int offset, min_offset, pc_offset, data_size;
333 ff1f20a3 bellard
    uint8_t data_allocated[1024];
334 ff1f20a3 bellard
    unsigned int data_index;
335 ff1f20a3 bellard
    
336 ff1f20a3 bellard
    memset(data_allocated, 0, sizeof(data_allocated));
337 ff1f20a3 bellard
    
338 ff1f20a3 bellard
    p = p_start;
339 ff1f20a3 bellard
    min_offset = p_end - p_start;
340 ff1f20a3 bellard
    while (p < p_start + min_offset) {
341 ff1f20a3 bellard
        insn = get32((uint32_t *)p);
342 ff1f20a3 bellard
        if ((insn & 0x0d5f0000) == 0x051f0000) {
343 ff1f20a3 bellard
            /* ldr reg, [pc, #im] */
344 ff1f20a3 bellard
            offset = insn & 0xfff;
345 ff1f20a3 bellard
            if (!(insn & 0x00800000))
346 ff1f20a3 bellard
                        offset = -offset;
347 ff1f20a3 bellard
            if ((offset & 3) !=0)
348 ff1f20a3 bellard
                error("%s:%04x: ldr pc offset must be 32 bit aligned", 
349 ff1f20a3 bellard
                      name, start_offset + p - p_start);
350 ff1f20a3 bellard
            pc_offset = p - p_start + offset + 8;
351 ff1f20a3 bellard
            if (pc_offset <= (p - p_start) || 
352 ff1f20a3 bellard
                pc_offset >= (p_end - p_start))
353 ff1f20a3 bellard
                error("%s:%04x: ldr pc offset must point inside the function code", 
354 ff1f20a3 bellard
                      name, start_offset + p - p_start);
355 ff1f20a3 bellard
            if (pc_offset < min_offset)
356 ff1f20a3 bellard
                min_offset = pc_offset;
357 ff1f20a3 bellard
            if (outfile) {
358 ff1f20a3 bellard
                /* ldr position */
359 ff1f20a3 bellard
                fprintf(outfile, "    arm_ldr_ptr->ptr = gen_code_ptr + %d;\n", 
360 ff1f20a3 bellard
                        p - p_start);
361 ff1f20a3 bellard
                /* ldr data index */
362 ff1f20a3 bellard
                data_index = ((p_end - p_start) - pc_offset - 4) >> 2;
363 ff1f20a3 bellard
                fprintf(outfile, "    arm_ldr_ptr->data_ptr = arm_data_ptr + %d;\n", 
364 ff1f20a3 bellard
                        data_index);
365 ff1f20a3 bellard
                fprintf(outfile, "    arm_ldr_ptr++;\n");
366 ff1f20a3 bellard
                if (data_index >= sizeof(data_allocated))
367 ff1f20a3 bellard
                    error("%s: too many data", name);
368 ff1f20a3 bellard
                if (!data_allocated[data_index]) {
369 ff1f20a3 bellard
                    ELF_RELOC *rel;
370 ff1f20a3 bellard
                    int i, addend, type;
371 ff1f20a3 bellard
                    const char *sym_name, *p;
372 ff1f20a3 bellard
                    char relname[1024];
373 ff1f20a3 bellard
374 ff1f20a3 bellard
                    data_allocated[data_index] = 1;
375 ff1f20a3 bellard
376 ff1f20a3 bellard
                    /* data value */
377 ff1f20a3 bellard
                    addend = get32((uint32_t *)(p_start + pc_offset));
378 ff1f20a3 bellard
                    relname[0] = '\0';
379 ff1f20a3 bellard
                    for(i = 0, rel = relocs;i < nb_relocs; i++, rel++) {
380 ff1f20a3 bellard
                        if (rel->r_offset == (pc_offset + start_offset)) {
381 ff1f20a3 bellard
                            sym_name = strtab + symtab[ELFW(R_SYM)(rel->r_info)].st_name;
382 ff1f20a3 bellard
                            /* the compiler leave some unnecessary references to the code */
383 ff1f20a3 bellard
                            if (strstart(sym_name, "__op_param", &p)) {
384 ff1f20a3 bellard
                                snprintf(relname, sizeof(relname), "param%s", p);
385 ff1f20a3 bellard
                            } else {
386 ff1f20a3 bellard
                                snprintf(relname, sizeof(relname), "(long)(&%s)", sym_name);
387 ff1f20a3 bellard
                            }
388 ff1f20a3 bellard
                            type = ELF32_R_TYPE(rel->r_info);
389 ff1f20a3 bellard
                            if (type != R_ARM_ABS32)
390 ff1f20a3 bellard
                                error("%s: unsupported data relocation", name);
391 ff1f20a3 bellard
                            break;
392 ff1f20a3 bellard
                        }
393 ff1f20a3 bellard
                    }
394 ff1f20a3 bellard
                    fprintf(outfile, "    arm_data_ptr[%d] = 0x%x",
395 ff1f20a3 bellard
                            data_index, addend);
396 ff1f20a3 bellard
                    if (relname[0] != '\0')
397 ff1f20a3 bellard
                        fprintf(outfile, " + %s", relname);
398 ff1f20a3 bellard
                    fprintf(outfile, ";\n");
399 ff1f20a3 bellard
                }
400 ff1f20a3 bellard
            }
401 ff1f20a3 bellard
        }
402 ff1f20a3 bellard
        p += 4;
403 ff1f20a3 bellard
    }
404 ff1f20a3 bellard
    data_size = (p_end - p_start) - min_offset;
405 ff1f20a3 bellard
    if (data_size > 0 && outfile) {
406 ff1f20a3 bellard
        fprintf(outfile, "    arm_data_ptr += %d;\n", data_size >> 2);
407 ff1f20a3 bellard
    }
408 ff1f20a3 bellard
409 ff1f20a3 bellard
    /* the last instruction must be a mov pc, lr */
410 ff1f20a3 bellard
    if (p == p_start)
411 ff1f20a3 bellard
        goto arm_ret_error;
412 ff1f20a3 bellard
    p -= 4;
413 ff1f20a3 bellard
    insn = get32((uint32_t *)p);
414 ff1f20a3 bellard
    if ((insn & 0xffff0000) != 0xe91b0000) {
415 ff1f20a3 bellard
    arm_ret_error:
416 ff1f20a3 bellard
        if (!outfile)
417 ff1f20a3 bellard
            printf("%s: invalid epilog\n", name);
418 ff1f20a3 bellard
    }
419 ff1f20a3 bellard
    return p - p_start;            
420 ff1f20a3 bellard
}
421 ff1f20a3 bellard
#endif
422 ff1f20a3 bellard
423 ff1f20a3 bellard
424 367e86e8 bellard
#define MAX_ARGS 3
425 367e86e8 bellard
426 367e86e8 bellard
/* generate op code */
427 ce11fedc bellard
void gen_code(const char *name, host_ulong offset, host_ulong size, 
428 fe319756 bellard
              FILE *outfile, uint8_t *text, ELF_RELOC *relocs, int nb_relocs,
429 d4e8164f bellard
              int gen_switch)
430 367e86e8 bellard
{
431 367e86e8 bellard
    int copy_size = 0;
432 367e86e8 bellard
    uint8_t *p_start, *p_end;
433 ae228531 bellard
    host_ulong start_offset;
434 ce11fedc bellard
    int nb_args, i, n;
435 367e86e8 bellard
    uint8_t args_present[MAX_ARGS];
436 367e86e8 bellard
    const char *sym_name, *p;
437 ce11fedc bellard
    ELF_RELOC *rel;
438 367e86e8 bellard
439 ae228531 bellard
    /* Compute exact size excluding prologue and epilogue instructions.
440 ae228531 bellard
     * Increment start_offset to skip epilogue instructions, then compute
441 ae228531 bellard
     * copy_size the indicate the size of the remaining instructions (in
442 ae228531 bellard
     * bytes).
443 ae228531 bellard
     */
444 367e86e8 bellard
    p_start = text + offset;
445 367e86e8 bellard
    p_end = p_start + size;
446 ae228531 bellard
    start_offset = offset;
447 ce11fedc bellard
    switch(ELF_ARCH) {
448 367e86e8 bellard
    case EM_386:
449 367e86e8 bellard
        {
450 d4e8164f bellard
            int len;
451 d4e8164f bellard
            len = p_end - p_start;
452 d4e8164f bellard
            if (len == 0)
453 367e86e8 bellard
                error("empty code for %s", name);
454 d4e8164f bellard
            if (p_end[-1] == 0xc3) {
455 d4e8164f bellard
                len--;
456 d4e8164f bellard
            } else {
457 d4e8164f bellard
                error("ret or jmp expected at the end of %s", name);
458 d4e8164f bellard
            }
459 d4e8164f bellard
            copy_size = len;
460 367e86e8 bellard
        }
461 367e86e8 bellard
        break;
462 367e86e8 bellard
    case EM_PPC:
463 367e86e8 bellard
        {
464 367e86e8 bellard
            uint8_t *p;
465 367e86e8 bellard
            p = (void *)(p_end - 4);
466 367e86e8 bellard
            if (p == p_start)
467 367e86e8 bellard
                error("empty code for %s", name);
468 04369ff2 bellard
            if (get32((uint32_t *)p) != 0x4e800020)
469 04369ff2 bellard
                error("blr expected at the end of %s", name);
470 367e86e8 bellard
            copy_size = p - p_start;
471 367e86e8 bellard
        }
472 367e86e8 bellard
        break;
473 fb3e5849 bellard
    case EM_S390:
474 fb3e5849 bellard
        {
475 fb3e5849 bellard
            uint8_t *p;
476 fb3e5849 bellard
            p = (void *)(p_end - 2);
477 fb3e5849 bellard
            if (p == p_start)
478 fb3e5849 bellard
                error("empty code for %s", name);
479 fb3e5849 bellard
            if (get16((uint16_t *)p) != 0x07fe && get16((uint16_t *)p) != 0x07f4)
480 efdea7bf bellard
                error("br %%r14 expected at the end of %s", name);
481 fb3e5849 bellard
            copy_size = p - p_start;
482 fb3e5849 bellard
        }
483 fb3e5849 bellard
        break;
484 efdea7bf bellard
    case EM_ALPHA:
485 efdea7bf bellard
        {
486 efdea7bf bellard
            uint8_t *p;
487 efdea7bf bellard
            p = p_end - 4;
488 630be16f bellard
#if 0
489 630be16f bellard
            /* XXX: check why it occurs */
490 efdea7bf bellard
            if (p == p_start)
491 efdea7bf bellard
                error("empty code for %s", name);
492 630be16f bellard
#endif
493 efdea7bf bellard
            if (get32((uint32_t *)p) != 0x6bfa8001)
494 efdea7bf bellard
                error("ret expected at the end of %s", name);
495 efdea7bf bellard
            copy_size = p - p_start;            
496 efdea7bf bellard
        }
497 efdea7bf bellard
        break;
498 efdea7bf bellard
    case EM_IA_64:
499 efdea7bf bellard
        {
500 efdea7bf bellard
            uint8_t *p;
501 efdea7bf bellard
            p = (void *)(p_end - 4);
502 efdea7bf bellard
            if (p == p_start)
503 efdea7bf bellard
                error("empty code for %s", name);
504 efdea7bf bellard
            /* br.ret.sptk.many b0;; */
505 efdea7bf bellard
            /* 08 00 84 00 */
506 efdea7bf bellard
            if (get32((uint32_t *)p) != 0x00840008)
507 efdea7bf bellard
                error("br.ret.sptk.many b0;; expected at the end of %s", name);
508 efdea7bf bellard
            copy_size = p - p_start;
509 efdea7bf bellard
        }
510 efdea7bf bellard
        break;
511 d014c98c bellard
    case EM_SPARC:
512 d014c98c bellard
    case EM_SPARC32PLUS:
513 d014c98c bellard
        {
514 ff1f20a3 bellard
            uint32_t start_insn, end_insn1, end_insn2;
515 d014c98c bellard
            uint8_t *p;
516 d014c98c bellard
            p = (void *)(p_end - 8);
517 d014c98c bellard
            if (p <= p_start)
518 d014c98c bellard
                error("empty code for %s", name);
519 ae228531 bellard
            start_insn = get32((uint32_t *)(p_start + 0x0));
520 ae228531 bellard
            end_insn1 = get32((uint32_t *)(p + 0x0));
521 ae228531 bellard
            end_insn2 = get32((uint32_t *)(p + 0x4));
522 ae228531 bellard
            if ((start_insn & ~0x1fff) == 0x9de3a000) {
523 ae228531 bellard
                p_start += 0x4;
524 ae228531 bellard
                start_offset += 0x4;
525 ae228531 bellard
                if ((int)(start_insn | ~0x1fff) < -128)
526 ae228531 bellard
                    error("Found bogus save at the start of %s", name);
527 ae228531 bellard
                if (end_insn1 != 0x81c7e008 || end_insn2 != 0x81e80000)
528 ae228531 bellard
                    error("ret; restore; not found at end of %s", name);
529 ae228531 bellard
            } else {
530 ae228531 bellard
                error("No save at the beginning of %s", name);
531 ae228531 bellard
            }
532 ff1f20a3 bellard
#if 0
533 ae228531 bellard
            /* Skip a preceeding nop, if present.  */
534 ae228531 bellard
            if (p > p_start) {
535 ae228531 bellard
                skip_insn = get32((uint32_t *)(p - 0x4));
536 ae228531 bellard
                if (skip_insn == 0x01000000)
537 ae228531 bellard
                    p -= 4;
538 ae228531 bellard
            }
539 ff1f20a3 bellard
#endif
540 d014c98c bellard
            copy_size = p - p_start;
541 d014c98c bellard
        }
542 d014c98c bellard
        break;
543 d014c98c bellard
    case EM_SPARCV9:
544 d014c98c bellard
        {
545 ae228531 bellard
            uint32_t start_insn, end_insn1, end_insn2, skip_insn;
546 d014c98c bellard
            uint8_t *p;
547 d014c98c bellard
            p = (void *)(p_end - 8);
548 d014c98c bellard
            if (p <= p_start)
549 d014c98c bellard
                error("empty code for %s", name);
550 ae228531 bellard
            start_insn = get32((uint32_t *)(p_start + 0x0));
551 ae228531 bellard
            end_insn1 = get32((uint32_t *)(p + 0x0));
552 ae228531 bellard
            end_insn2 = get32((uint32_t *)(p + 0x4));
553 ae228531 bellard
            if ((start_insn & ~0x1fff) == 0x9de3a000) {
554 ae228531 bellard
                p_start += 0x4;
555 ae228531 bellard
                start_offset += 0x4;
556 ae228531 bellard
                if ((int)(start_insn | ~0x1fff) < -256)
557 ae228531 bellard
                    error("Found bogus save at the start of %s", name);
558 ae228531 bellard
                if (end_insn1 != 0x81c7e008 || end_insn2 != 0x81e80000)
559 ae228531 bellard
                    error("ret; restore; not found at end of %s", name);
560 ae228531 bellard
            } else {
561 ae228531 bellard
                error("No save at the beginning of %s", name);
562 ae228531 bellard
            }
563 ae228531 bellard
564 ae228531 bellard
            /* Skip a preceeding nop, if present.  */
565 ae228531 bellard
            if (p > p_start) {
566 ae228531 bellard
                skip_insn = get32((uint32_t *)(p - 0x4));
567 ae228531 bellard
                if (skip_insn == 0x01000000)
568 ae228531 bellard
                    p -= 4;
569 ae228531 bellard
            }
570 ae228531 bellard
571 d014c98c bellard
            copy_size = p - p_start;
572 d014c98c bellard
        }
573 d014c98c bellard
        break;
574 ff1f20a3 bellard
#ifdef HOST_ARM
575 ff1f20a3 bellard
    case EM_ARM:
576 ff1f20a3 bellard
        if ((p_end - p_start) <= 16)
577 ff1f20a3 bellard
            error("%s: function too small", name);
578 ff1f20a3 bellard
        if (get32((uint32_t *)p_start) != 0xe1a0c00d ||
579 ff1f20a3 bellard
            (get32((uint32_t *)(p_start + 4)) & 0xffff0000) != 0xe92d0000 ||
580 ff1f20a3 bellard
            get32((uint32_t *)(p_start + 8)) != 0xe24cb004)
581 ff1f20a3 bellard
            error("%s: invalid prolog", name);
582 ff1f20a3 bellard
        p_start += 12;
583 ff1f20a3 bellard
        start_offset += 12;
584 ff1f20a3 bellard
        copy_size = arm_emit_ldr_info(name, start_offset, NULL, p_start, p_end, 
585 ff1f20a3 bellard
                                      relocs, nb_relocs);
586 ff1f20a3 bellard
        break;
587 ff1f20a3 bellard
#endif
588 38e584a0 bellard
    case EM_68K:
589 38e584a0 bellard
        {
590 38e584a0 bellard
            uint8_t *p;
591 38e584a0 bellard
            p = (void *)(p_end - 2);
592 38e584a0 bellard
            if (p == p_start)
593 38e584a0 bellard
                error("empty code for %s", name);
594 38e584a0 bellard
            // remove NOP's, probably added for alignment
595 38e584a0 bellard
            while ((get16((uint16_t *)p) == 0x4e71) &&
596 38e584a0 bellard
                   (p>p_start)) 
597 38e584a0 bellard
              p -= 2;
598 38e584a0 bellard
            if (get16((uint16_t *)p) != 0x4e75)
599 38e584a0 bellard
                error("rts expected at the end of %s", name);
600 38e584a0 bellard
            copy_size = p - p_start;
601 38e584a0 bellard
        }
602 38e584a0 bellard
        break;
603 efdea7bf bellard
    default:
604 efdea7bf bellard
        error("unknown ELF architecture");
605 367e86e8 bellard
    }
606 367e86e8 bellard
607 367e86e8 bellard
    /* compute the number of arguments by looking at the relocations */
608 367e86e8 bellard
    for(i = 0;i < MAX_ARGS; i++)
609 367e86e8 bellard
        args_present[i] = 0;
610 367e86e8 bellard
611 ce11fedc bellard
    for(i = 0, rel = relocs;i < nb_relocs; i++, rel++) {
612 ae228531 bellard
        if (rel->r_offset >= start_offset &&
613 ff1f20a3 bellard
            rel->r_offset < start_offset + (p_end - p_start)) {
614 ce11fedc bellard
            sym_name = strtab + symtab[ELFW(R_SYM)(rel->r_info)].st_name;
615 ce11fedc bellard
            if (strstart(sym_name, "__op_param", &p)) {
616 ce11fedc bellard
                n = strtoul(p, NULL, 10);
617 d4e8164f bellard
                if (n > MAX_ARGS)
618 ce11fedc bellard
                    error("too many arguments in %s", name);
619 ce11fedc bellard
                args_present[n - 1] = 1;
620 367e86e8 bellard
            }
621 367e86e8 bellard
        }
622 367e86e8 bellard
    }
623 367e86e8 bellard
    
624 367e86e8 bellard
    nb_args = 0;
625 367e86e8 bellard
    while (nb_args < MAX_ARGS && args_present[nb_args])
626 367e86e8 bellard
        nb_args++;
627 367e86e8 bellard
    for(i = nb_args; i < MAX_ARGS; i++) {
628 367e86e8 bellard
        if (args_present[i])
629 367e86e8 bellard
            error("inconsistent argument numbering in %s", name);
630 367e86e8 bellard
    }
631 367e86e8 bellard
632 0ea00c9a bellard
    if (gen_switch == 2) {
633 a513fe19 bellard
        fprintf(outfile, "DEF(%s, %d, %d)\n", name + 3, nb_args, copy_size);
634 0ea00c9a bellard
    } else if (gen_switch == 1) {
635 dc99065b bellard
636 dc99065b bellard
        /* output C code */
637 dc99065b bellard
        fprintf(outfile, "case INDEX_%s: {\n", name);
638 dc99065b bellard
        if (nb_args > 0) {
639 dc99065b bellard
            fprintf(outfile, "    long ");
640 dc99065b bellard
            for(i = 0; i < nb_args; i++) {
641 dc99065b bellard
                if (i != 0)
642 dc99065b bellard
                    fprintf(outfile, ", ");
643 dc99065b bellard
                fprintf(outfile, "param%d", i + 1);
644 dc99065b bellard
            }
645 dc99065b bellard
            fprintf(outfile, ";\n");
646 367e86e8 bellard
        }
647 dc99065b bellard
        fprintf(outfile, "    extern void %s();\n", name);
648 dc99065b bellard
649 ce11fedc bellard
        for(i = 0, rel = relocs;i < nb_relocs; i++, rel++) {
650 ae228531 bellard
            if (rel->r_offset >= start_offset &&
651 ff1f20a3 bellard
                rel->r_offset < start_offset + (p_end - p_start)) {
652 efdea7bf bellard
                sym_name = strtab + symtab[ELFW(R_SYM)(rel->r_info)].st_name;
653 d4e8164f bellard
                if (*sym_name && 
654 d4e8164f bellard
                    !strstart(sym_name, "__op_param", NULL) &&
655 d4e8164f bellard
                    !strstart(sym_name, "__op_jmp", NULL)) {
656 d014c98c bellard
#if defined(HOST_SPARC)
657 d014c98c bellard
                    if (sym_name[0] == '.') {
658 d014c98c bellard
                        fprintf(outfile,
659 d014c98c bellard
                                "extern char __dot_%s __asm__(\"%s\");\n",
660 d014c98c bellard
                                sym_name+1, sym_name);
661 d014c98c bellard
                        continue;
662 d014c98c bellard
                    }
663 d014c98c bellard
#endif
664 ce11fedc bellard
                    fprintf(outfile, "extern char %s;\n", sym_name);
665 dc99065b bellard
                }
666 dc99065b bellard
            }
667 dc99065b bellard
        }
668 dc99065b bellard
669 ae228531 bellard
        fprintf(outfile, "    memcpy(gen_code_ptr, (void *)((char *)&%s+%d), %d);\n", name, start_offset - offset, copy_size);
670 d4e8164f bellard
671 d4e8164f bellard
        /* emit code offset information */
672 d4e8164f bellard
        {
673 d4e8164f bellard
            ElfW(Sym) *sym;
674 d4e8164f bellard
            const char *sym_name, *p;
675 abcd5da7 bellard
            unsigned long val;
676 d4e8164f bellard
            int n;
677 d4e8164f bellard
678 d4e8164f bellard
            for(i = 0, sym = symtab; i < nb_syms; i++, sym++) {
679 d4e8164f bellard
                sym_name = strtab + sym->st_name;
680 d4e8164f bellard
                if (strstart(sym_name, "__op_label", &p)) {
681 c1e42a13 bellard
                    uint8_t *ptr;
682 fe319756 bellard
                    unsigned long offset;
683 fe319756 bellard
                    
684 d4e8164f bellard
                    /* test if the variable refers to a label inside
685 d4e8164f bellard
                       the code we are generating */
686 fe319756 bellard
                    ptr = sdata[sym->st_shndx];
687 fe319756 bellard
                    if (!ptr)
688 fe319756 bellard
                        error("__op_labelN in invalid section");
689 fe319756 bellard
                    offset = sym->st_value;
690 abcd5da7 bellard
                    val = *(unsigned long *)(ptr + offset);
691 fe319756 bellard
#ifdef ELF_USES_RELOCA
692 fe319756 bellard
                    {
693 fe319756 bellard
                        int reloc_shndx, nb_relocs1, j;
694 fe319756 bellard
695 fe319756 bellard
                        /* try to find a matching relocation */
696 fe319756 bellard
                        reloc_shndx = find_reloc(sym->st_shndx);
697 fe319756 bellard
                        if (reloc_shndx) {
698 fe319756 bellard
                            nb_relocs1 = shdr[reloc_shndx].sh_size / 
699 fe319756 bellard
                                shdr[reloc_shndx].sh_entsize;
700 fe319756 bellard
                            rel = (ELF_RELOC *)sdata[reloc_shndx];
701 fe319756 bellard
                            for(j = 0; j < nb_relocs1; j++) {
702 fe319756 bellard
                                if (rel->r_offset == offset) {
703 039de852 bellard
                                    val = rel->r_addend;
704 fe319756 bellard
                                    break;
705 fe319756 bellard
                                }
706 fe319756 bellard
                                rel++;
707 fe319756 bellard
                            }
708 fe319756 bellard
                        }
709 fe319756 bellard
                    }
710 fe319756 bellard
#endif                    
711 fe319756 bellard
712 d4e8164f bellard
                    if (val >= start_offset && val < start_offset + copy_size) {
713 d4e8164f bellard
                        n = strtol(p, NULL, 10);
714 abcd5da7 bellard
                        fprintf(outfile, "    label_offsets[%d] = %ld + (gen_code_ptr - gen_code_buf);\n", n, val - start_offset);
715 d4e8164f bellard
                    }
716 d4e8164f bellard
                }
717 d4e8164f bellard
            }
718 d4e8164f bellard
        }
719 d4e8164f bellard
720 d4e8164f bellard
        /* load parameres in variables */
721 dc99065b bellard
        for(i = 0; i < nb_args; i++) {
722 dc99065b bellard
            fprintf(outfile, "    param%d = *opparam_ptr++;\n", i + 1);
723 dc99065b bellard
        }
724 dc99065b bellard
725 dc99065b bellard
        /* patch relocations */
726 ce11fedc bellard
#if defined(HOST_I386)
727 dc99065b bellard
            {
728 dc99065b bellard
                char name[256];
729 dc99065b bellard
                int type;
730 ce11fedc bellard
                int addend;
731 dc99065b bellard
                for(i = 0, rel = relocs;i < nb_relocs; i++, rel++) {
732 ae228531 bellard
                if (rel->r_offset >= start_offset &&
733 ae228531 bellard
                    rel->r_offset < start_offset + copy_size) {
734 efdea7bf bellard
                    sym_name = strtab + symtab[ELFW(R_SYM)(rel->r_info)].st_name;
735 ecd854fd bellard
                    if (strstart(sym_name, "__op_jmp", &p)) {
736 ecd854fd bellard
                        int n;
737 ecd854fd bellard
                        n = strtol(p, NULL, 10);
738 ecd854fd bellard
                        /* __op_jmp relocations are done at
739 ecd854fd bellard
                           runtime to do translated block
740 ecd854fd bellard
                           chaining: the offset of the instruction
741 ecd854fd bellard
                           needs to be stored */
742 ecd854fd bellard
                        fprintf(outfile, "    jmp_offsets[%d] = %d + (gen_code_ptr - gen_code_buf);\n",
743 ecd854fd bellard
                                n, rel->r_offset - start_offset);
744 ecd854fd bellard
                        continue;
745 ecd854fd bellard
                    }
746 ecd854fd bellard
                        
747 367e86e8 bellard
                    if (strstart(sym_name, "__op_param", &p)) {
748 367e86e8 bellard
                        snprintf(name, sizeof(name), "param%s", p);
749 367e86e8 bellard
                    } else {
750 367e86e8 bellard
                        snprintf(name, sizeof(name), "(long)(&%s)", sym_name);
751 367e86e8 bellard
                    }
752 367e86e8 bellard
                    type = ELF32_R_TYPE(rel->r_info);
753 367e86e8 bellard
                    addend = get32((uint32_t *)(text + rel->r_offset));
754 367e86e8 bellard
                    switch(type) {
755 367e86e8 bellard
                    case R_386_32:
756 ce11fedc bellard
                        fprintf(outfile, "    *(uint32_t *)(gen_code_ptr + %d) = %s + %d;\n", 
757 ae228531 bellard
                                rel->r_offset - start_offset, name, addend);
758 367e86e8 bellard
                        break;
759 367e86e8 bellard
                    case R_386_PC32:
760 ce11fedc bellard
                        fprintf(outfile, "    *(uint32_t *)(gen_code_ptr + %d) = %s - (long)(gen_code_ptr + %d) + %d;\n", 
761 ae228531 bellard
                                rel->r_offset - start_offset, name, rel->r_offset - start_offset, addend);
762 367e86e8 bellard
                        break;
763 367e86e8 bellard
                    default:
764 367e86e8 bellard
                        error("unsupported i386 relocation (%d)", type);
765 367e86e8 bellard
                    }
766 367e86e8 bellard
                }
767 dc99065b bellard
                }
768 dc99065b bellard
            }
769 ce11fedc bellard
#elif defined(HOST_PPC)
770 04369ff2 bellard
            {
771 04369ff2 bellard
                char name[256];
772 04369ff2 bellard
                int type;
773 ce11fedc bellard
                int addend;
774 04369ff2 bellard
                for(i = 0, rel = relocs;i < nb_relocs; i++, rel++) {
775 ae228531 bellard
                    if (rel->r_offset >= start_offset &&
776 ae228531 bellard
                        rel->r_offset < start_offset + copy_size) {
777 efdea7bf bellard
                        sym_name = strtab + symtab[ELFW(R_SYM)(rel->r_info)].st_name;
778 d4e8164f bellard
                        if (strstart(sym_name, "__op_jmp", &p)) {
779 d4e8164f bellard
                            int n;
780 d4e8164f bellard
                            n = strtol(p, NULL, 10);
781 d4e8164f bellard
                            /* __op_jmp relocations are done at
782 d4e8164f bellard
                               runtime to do translated block
783 d4e8164f bellard
                               chaining: the offset of the instruction
784 d4e8164f bellard
                               needs to be stored */
785 d4e8164f bellard
                            fprintf(outfile, "    jmp_offsets[%d] = %d + (gen_code_ptr - gen_code_buf);\n",
786 d4e8164f bellard
                                    n, rel->r_offset - start_offset);
787 d4e8164f bellard
                            continue;
788 d4e8164f bellard
                        }
789 d4e8164f bellard
                        
790 04369ff2 bellard
                        if (strstart(sym_name, "__op_param", &p)) {
791 04369ff2 bellard
                            snprintf(name, sizeof(name), "param%s", p);
792 04369ff2 bellard
                        } else {
793 04369ff2 bellard
                            snprintf(name, sizeof(name), "(long)(&%s)", sym_name);
794 04369ff2 bellard
                        }
795 04369ff2 bellard
                        type = ELF32_R_TYPE(rel->r_info);
796 04369ff2 bellard
                        addend = rel->r_addend;
797 04369ff2 bellard
                        switch(type) {
798 04369ff2 bellard
                        case R_PPC_ADDR32:
799 ce11fedc bellard
                            fprintf(outfile, "    *(uint32_t *)(gen_code_ptr + %d) = %s + %d;\n", 
800 ae228531 bellard
                                    rel->r_offset - start_offset, name, addend);
801 04369ff2 bellard
                            break;
802 04369ff2 bellard
                        case R_PPC_ADDR16_LO:
803 ce11fedc bellard
                            fprintf(outfile, "    *(uint16_t *)(gen_code_ptr + %d) = (%s + %d);\n", 
804 ae228531 bellard
                                    rel->r_offset - start_offset, name, addend);
805 04369ff2 bellard
                            break;
806 04369ff2 bellard
                        case R_PPC_ADDR16_HI:
807 ce11fedc bellard
                            fprintf(outfile, "    *(uint16_t *)(gen_code_ptr + %d) = (%s + %d) >> 16;\n", 
808 ae228531 bellard
                                    rel->r_offset - start_offset, name, addend);
809 04369ff2 bellard
                            break;
810 04369ff2 bellard
                        case R_PPC_ADDR16_HA:
811 ce11fedc bellard
                            fprintf(outfile, "    *(uint16_t *)(gen_code_ptr + %d) = (%s + %d + 0x8000) >> 16;\n", 
812 ae228531 bellard
                                    rel->r_offset - start_offset, name, addend);
813 04369ff2 bellard
                            break;
814 04369ff2 bellard
                        case R_PPC_REL24:
815 04369ff2 bellard
                            /* warning: must be at 32 MB distancy */
816 ce11fedc bellard
                            fprintf(outfile, "    *(uint32_t *)(gen_code_ptr + %d) = (*(uint32_t *)(gen_code_ptr + %d) & ~0x03fffffc) | ((%s - (long)(gen_code_ptr + %d) + %d) & 0x03fffffc);\n", 
817 ae228531 bellard
                                    rel->r_offset - start_offset, rel->r_offset - start_offset, name, rel->r_offset - start_offset, addend);
818 04369ff2 bellard
                            break;
819 04369ff2 bellard
                        default:
820 04369ff2 bellard
                            error("unsupported powerpc relocation (%d)", type);
821 04369ff2 bellard
                        }
822 04369ff2 bellard
                    }
823 04369ff2 bellard
                }
824 04369ff2 bellard
            }
825 ce11fedc bellard
#elif defined(HOST_S390)
826 fb3e5849 bellard
            {
827 fb3e5849 bellard
                char name[256];
828 fb3e5849 bellard
                int type;
829 ce11fedc bellard
                int addend;
830 fb3e5849 bellard
                for(i = 0, rel = relocs;i < nb_relocs; i++, rel++) {
831 ae228531 bellard
                    if (rel->r_offset >= start_offset &&
832 ae228531 bellard
                        rel->r_offset < start_offset + copy_size) {
833 efdea7bf bellard
                        sym_name = strtab + symtab[ELFW(R_SYM)(rel->r_info)].st_name;
834 fb3e5849 bellard
                        if (strstart(sym_name, "__op_param", &p)) {
835 fb3e5849 bellard
                            snprintf(name, sizeof(name), "param%s", p);
836 fb3e5849 bellard
                        } else {
837 fb3e5849 bellard
                            snprintf(name, sizeof(name), "(long)(&%s)", sym_name);
838 fb3e5849 bellard
                        }
839 fb3e5849 bellard
                        type = ELF32_R_TYPE(rel->r_info);
840 fb3e5849 bellard
                        addend = rel->r_addend;
841 fb3e5849 bellard
                        switch(type) {
842 fb3e5849 bellard
                        case R_390_32:
843 ce11fedc bellard
                            fprintf(outfile, "    *(uint32_t *)(gen_code_ptr + %d) = %s + %d;\n", 
844 ae228531 bellard
                                    rel->r_offset - start_offset, name, addend);
845 fb3e5849 bellard
                            break;
846 fb3e5849 bellard
                        case R_390_16:
847 ce11fedc bellard
                            fprintf(outfile, "    *(uint16_t *)(gen_code_ptr + %d) = %s + %d;\n", 
848 ae228531 bellard
                                    rel->r_offset - start_offset, name, addend);
849 fb3e5849 bellard
                            break;
850 fb3e5849 bellard
                        case R_390_8:
851 ce11fedc bellard
                            fprintf(outfile, "    *(uint8_t *)(gen_code_ptr + %d) = %s + %d;\n", 
852 ae228531 bellard
                                    rel->r_offset - start_offset, name, addend);
853 fb3e5849 bellard
                            break;
854 fb3e5849 bellard
                        default:
855 fb3e5849 bellard
                            error("unsupported s390 relocation (%d)", type);
856 fb3e5849 bellard
                        }
857 fb3e5849 bellard
                    }
858 fb3e5849 bellard
                }
859 fb3e5849 bellard
            }
860 efdea7bf bellard
#elif defined(HOST_ALPHA)
861 efdea7bf bellard
            {
862 efdea7bf bellard
                for (i = 0, rel = relocs; i < nb_relocs; i++, rel++) {
863 ae228531 bellard
                    if (rel->r_offset >= start_offset && rel->r_offset < start_offset + copy_size) {
864 efdea7bf bellard
                        int type;
865 74c95119 bellard
866 efdea7bf bellard
                        type = ELF64_R_TYPE(rel->r_info);
867 74c95119 bellard
                        sym_name = strtab + symtab[ELF64_R_SYM(rel->r_info)].st_name;
868 efdea7bf bellard
                        switch (type) {
869 efdea7bf bellard
                        case R_ALPHA_GPDISP:
870 74c95119 bellard
                            /* The gp is just 32 bit, and never changes, so it's easiest to emit it
871 74c95119 bellard
                               as an immediate instead of constructing it from the pv or ra.  */
872 74c95119 bellard
                            fprintf(outfile, "    immediate_ldah(gen_code_ptr + %ld, gp);\n",
873 ae228531 bellard
                                    rel->r_offset - start_offset);
874 74c95119 bellard
                            fprintf(outfile, "    immediate_lda(gen_code_ptr + %ld, gp);\n",
875 ae228531 bellard
                                    rel->r_offset - start_offset + rel->r_addend);
876 efdea7bf bellard
                            break;
877 efdea7bf bellard
                        case R_ALPHA_LITUSE:
878 efdea7bf bellard
                            /* jsr to literal hint. Could be used to optimize to bsr. Ignore for
879 efdea7bf bellard
                               now, since some called functions (libc) need pv to be set up.  */
880 efdea7bf bellard
                            break;
881 efdea7bf bellard
                        case R_ALPHA_HINT:
882 efdea7bf bellard
                            /* Branch target prediction hint. Ignore for now.  Should be already
883 efdea7bf bellard
                               correct for in-function jumps.  */
884 efdea7bf bellard
                            break;
885 efdea7bf bellard
                        case R_ALPHA_LITERAL:
886 74c95119 bellard
                            /* Load a literal from the GOT relative to the gp.  Since there's only a
887 74c95119 bellard
                               single gp, nothing is to be done.  */
888 74c95119 bellard
                            break;
889 74c95119 bellard
                        case R_ALPHA_GPRELHIGH:
890 74c95119 bellard
                            /* Handle fake relocations against __op_param symbol.  Need to emit the
891 74c95119 bellard
                               high part of the immediate value instead.  Other symbols need no
892 74c95119 bellard
                               special treatment.  */
893 74c95119 bellard
                            if (strstart(sym_name, "__op_param", &p))
894 74c95119 bellard
                                fprintf(outfile, "    immediate_ldah(gen_code_ptr + %ld, param%s);\n",
895 ae228531 bellard
                                        rel->r_offset - start_offset, p);
896 74c95119 bellard
                            break;
897 74c95119 bellard
                        case R_ALPHA_GPRELLOW:
898 74c95119 bellard
                            if (strstart(sym_name, "__op_param", &p))
899 74c95119 bellard
                                fprintf(outfile, "    immediate_lda(gen_code_ptr + %ld, param%s);\n",
900 ae228531 bellard
                                        rel->r_offset - start_offset, p);
901 74c95119 bellard
                            break;
902 74c95119 bellard
                        case R_ALPHA_BRSGP:
903 74c95119 bellard
                            /* PC-relative jump. Tweak offset to skip the two instructions that try to
904 74c95119 bellard
                               set up the gp from the pv.  */
905 2f87c607 bellard
                            fprintf(outfile, "    fix_bsr(gen_code_ptr + %ld, (uint8_t *) &%s - (gen_code_ptr + %ld + 4) + 8);\n",
906 ae228531 bellard
                                    rel->r_offset - start_offset, sym_name, rel->r_offset - start_offset);
907 efdea7bf bellard
                            break;
908 efdea7bf bellard
                        default:
909 efdea7bf bellard
                            error("unsupported Alpha relocation (%d)", type);
910 efdea7bf bellard
                        }
911 efdea7bf bellard
                    }
912 efdea7bf bellard
                }
913 efdea7bf bellard
            }
914 efdea7bf bellard
#elif defined(HOST_IA64)
915 efdea7bf bellard
            {
916 efdea7bf bellard
                char name[256];
917 efdea7bf bellard
                int type;
918 efdea7bf bellard
                int addend;
919 efdea7bf bellard
                for(i = 0, rel = relocs;i < nb_relocs; i++, rel++) {
920 ae228531 bellard
                    if (rel->r_offset >= start_offset && rel->r_offset < start_offset + copy_size) {
921 efdea7bf bellard
                        sym_name = strtab + symtab[ELF64_R_SYM(rel->r_info)].st_name;
922 efdea7bf bellard
                        if (strstart(sym_name, "__op_param", &p)) {
923 efdea7bf bellard
                            snprintf(name, sizeof(name), "param%s", p);
924 efdea7bf bellard
                        } else {
925 efdea7bf bellard
                            snprintf(name, sizeof(name), "(long)(&%s)", sym_name);
926 efdea7bf bellard
                        }
927 efdea7bf bellard
                        type = ELF64_R_TYPE(rel->r_info);
928 efdea7bf bellard
                        addend = rel->r_addend;
929 efdea7bf bellard
                        switch(type) {
930 efdea7bf bellard
                        case R_IA64_LTOFF22:
931 efdea7bf bellard
                            error("must implemnt R_IA64_LTOFF22 relocation");
932 efdea7bf bellard
                        case R_IA64_PCREL21B:
933 efdea7bf bellard
                            error("must implemnt R_IA64_PCREL21B relocation");
934 efdea7bf bellard
                        default:
935 efdea7bf bellard
                            error("unsupported ia64 relocation (%d)", type);
936 efdea7bf bellard
                        }
937 efdea7bf bellard
                    }
938 efdea7bf bellard
                }
939 efdea7bf bellard
            }
940 d014c98c bellard
#elif defined(HOST_SPARC)
941 d014c98c bellard
            {
942 d014c98c bellard
                char name[256];
943 d014c98c bellard
                int type;
944 d014c98c bellard
                int addend;
945 d014c98c bellard
                for(i = 0, rel = relocs;i < nb_relocs; i++, rel++) {
946 ae228531 bellard
                    if (rel->r_offset >= start_offset &&
947 ae228531 bellard
                        rel->r_offset < start_offset + copy_size) {
948 d014c98c bellard
                        sym_name = strtab + symtab[ELF32_R_SYM(rel->r_info)].st_name;
949 d014c98c bellard
                        if (strstart(sym_name, "__op_param", &p)) {
950 d014c98c bellard
                            snprintf(name, sizeof(name), "param%s", p);
951 d014c98c bellard
                        } else {
952 d014c98c bellard
                                if (sym_name[0] == '.')
953 d014c98c bellard
                                        snprintf(name, sizeof(name),
954 d014c98c bellard
                                                 "(long)(&__dot_%s)",
955 d014c98c bellard
                                                 sym_name + 1);
956 d014c98c bellard
                                else
957 d014c98c bellard
                                        snprintf(name, sizeof(name),
958 d014c98c bellard
                                                 "(long)(&%s)", sym_name);
959 d014c98c bellard
                        }
960 d014c98c bellard
                        type = ELF32_R_TYPE(rel->r_info);
961 d014c98c bellard
                        addend = rel->r_addend;
962 d014c98c bellard
                        switch(type) {
963 d014c98c bellard
                        case R_SPARC_32:
964 d014c98c bellard
                            fprintf(outfile, "    *(uint32_t *)(gen_code_ptr + %d) = %s + %d;\n", 
965 ae228531 bellard
                                    rel->r_offset - start_offset, name, addend);
966 d014c98c bellard
                            break;
967 d014c98c bellard
                        case R_SPARC_HI22:
968 d014c98c bellard
                            fprintf(outfile,
969 d014c98c bellard
                                    "    *(uint32_t *)(gen_code_ptr + %d) = "
970 d014c98c bellard
                                    "((*(uint32_t *)(gen_code_ptr + %d)) "
971 d014c98c bellard
                                    " & ~0x3fffff) "
972 ae228531 bellard
                                    " | (((%s + %d) >> 10) & 0x3fffff);\n",
973 ae228531 bellard
                                    rel->r_offset - start_offset,
974 ae228531 bellard
                                    rel->r_offset - start_offset,
975 d014c98c bellard
                                    name, addend);
976 d014c98c bellard
                            break;
977 d014c98c bellard
                        case R_SPARC_LO10:
978 d014c98c bellard
                            fprintf(outfile,
979 d014c98c bellard
                                    "    *(uint32_t *)(gen_code_ptr + %d) = "
980 d014c98c bellard
                                    "((*(uint32_t *)(gen_code_ptr + %d)) "
981 d014c98c bellard
                                    " & ~0x3ff) "
982 d014c98c bellard
                                    " | ((%s + %d) & 0x3ff);\n",
983 ae228531 bellard
                                    rel->r_offset - start_offset,
984 ae228531 bellard
                                    rel->r_offset - start_offset,
985 d014c98c bellard
                                    name, addend);
986 d014c98c bellard
                            break;
987 d014c98c bellard
                        case R_SPARC_WDISP30:
988 d014c98c bellard
                            fprintf(outfile,
989 d014c98c bellard
                                    "    *(uint32_t *)(gen_code_ptr + %d) = "
990 d014c98c bellard
                                    "((*(uint32_t *)(gen_code_ptr + %d)) "
991 d014c98c bellard
                                    " & ~0x3fffffff) "
992 ae228531 bellard
                                    " | ((((%s + %d) - (long)(gen_code_ptr + %d))>>2) "
993 d014c98c bellard
                                    "    & 0x3fffffff);\n",
994 ae228531 bellard
                                    rel->r_offset - start_offset,
995 ae228531 bellard
                                    rel->r_offset - start_offset,
996 ae228531 bellard
                                    name, addend,
997 ae228531 bellard
                                    rel->r_offset - start_offset);
998 d014c98c bellard
                            break;
999 d014c98c bellard
                        default:
1000 d014c98c bellard
                            error("unsupported sparc relocation (%d)", type);
1001 d014c98c bellard
                        }
1002 d014c98c bellard
                    }
1003 d014c98c bellard
                }
1004 d014c98c bellard
            }
1005 d014c98c bellard
#elif defined(HOST_SPARC64)
1006 d014c98c bellard
            {
1007 d014c98c bellard
                char name[256];
1008 d014c98c bellard
                int type;
1009 d014c98c bellard
                int addend;
1010 d014c98c bellard
                for(i = 0, rel = relocs;i < nb_relocs; i++, rel++) {
1011 ae228531 bellard
                    if (rel->r_offset >= start_offset &&
1012 ae228531 bellard
                        rel->r_offset < start_offset + copy_size) {
1013 d014c98c bellard
                        sym_name = strtab + symtab[ELF64_R_SYM(rel->r_info)].st_name;
1014 d014c98c bellard
                        if (strstart(sym_name, "__op_param", &p)) {
1015 d014c98c bellard
                            snprintf(name, sizeof(name), "param%s", p);
1016 d014c98c bellard
                        } else {
1017 d014c98c bellard
                            snprintf(name, sizeof(name), "(long)(&%s)", sym_name);
1018 d014c98c bellard
                        }
1019 d014c98c bellard
                        type = ELF64_R_TYPE(rel->r_info);
1020 d014c98c bellard
                        addend = rel->r_addend;
1021 d014c98c bellard
                        switch(type) {
1022 d014c98c bellard
                        case R_SPARC_32:
1023 d014c98c bellard
                            fprintf(outfile, "    *(uint32_t *)(gen_code_ptr + %d) = %s + %d;\n",
1024 ae228531 bellard
                                    rel->r_offset - start_offset, name, addend);
1025 d014c98c bellard
                            break;
1026 d014c98c bellard
                        case R_SPARC_HI22:
1027 d014c98c bellard
                            fprintf(outfile,
1028 d014c98c bellard
                                    "    *(uint32_t *)(gen_code_ptr + %d) = "
1029 d014c98c bellard
                                    "((*(uint32_t *)(gen_code_ptr + %d)) "
1030 d014c98c bellard
                                    " & ~0x3fffff) "
1031 ae228531 bellard
                                    " | (((%s + %d) >> 10) & 0x3fffff);\n",
1032 ae228531 bellard
                                    rel->r_offset - start_offset,
1033 ae228531 bellard
                                    rel->r_offset - start_offset,
1034 d014c98c bellard
                                    name, addend);
1035 d014c98c bellard
                            break;
1036 d014c98c bellard
                        case R_SPARC_LO10:
1037 d014c98c bellard
                            fprintf(outfile,
1038 d014c98c bellard
                                    "    *(uint32_t *)(gen_code_ptr + %d) = "
1039 d014c98c bellard
                                    "((*(uint32_t *)(gen_code_ptr + %d)) "
1040 d014c98c bellard
                                    " & ~0x3ff) "
1041 d014c98c bellard
                                    " | ((%s + %d) & 0x3ff);\n",
1042 ae228531 bellard
                                    rel->r_offset - start_offset,
1043 ae228531 bellard
                                    rel->r_offset - start_offset,
1044 d014c98c bellard
                                    name, addend);
1045 d014c98c bellard
                            break;
1046 d014c98c bellard
                        case R_SPARC_WDISP30:
1047 d014c98c bellard
                            fprintf(outfile,
1048 d014c98c bellard
                                    "    *(uint32_t *)(gen_code_ptr + %d) = "
1049 d014c98c bellard
                                    "((*(uint32_t *)(gen_code_ptr + %d)) "
1050 d014c98c bellard
                                    " & ~0x3fffffff) "
1051 ae228531 bellard
                                    " | ((((%s + %d) - (long)(gen_code_ptr + %d))>>2) "
1052 d014c98c bellard
                                    "    & 0x3fffffff);\n",
1053 ae228531 bellard
                                    rel->r_offset - start_offset,
1054 ae228531 bellard
                                    rel->r_offset - start_offset,
1055 ae228531 bellard
                                    name, addend,
1056 ae228531 bellard
                                    rel->r_offset - start_offset);
1057 d014c98c bellard
                            break;
1058 d014c98c bellard
                        default:
1059 d014c98c bellard
                            error("unsupported sparc64 relocation (%d)", type);
1060 d014c98c bellard
                        }
1061 d014c98c bellard
                    }
1062 d014c98c bellard
                }
1063 d014c98c bellard
            }
1064 ff1f20a3 bellard
#elif defined(HOST_ARM)
1065 ff1f20a3 bellard
            {
1066 ff1f20a3 bellard
                char name[256];
1067 ff1f20a3 bellard
                int type;
1068 ff1f20a3 bellard
                int addend;
1069 ff1f20a3 bellard
1070 ff1f20a3 bellard
                arm_emit_ldr_info(name, start_offset, outfile, p_start, p_end,
1071 ff1f20a3 bellard
                                  relocs, nb_relocs);
1072 ff1f20a3 bellard
1073 ff1f20a3 bellard
                for(i = 0, rel = relocs;i < nb_relocs; i++, rel++) {
1074 ff1f20a3 bellard
                if (rel->r_offset >= start_offset &&
1075 ff1f20a3 bellard
                    rel->r_offset < start_offset + copy_size) {
1076 ff1f20a3 bellard
                    sym_name = strtab + symtab[ELFW(R_SYM)(rel->r_info)].st_name;
1077 ff1f20a3 bellard
                    /* the compiler leave some unnecessary references to the code */
1078 ff1f20a3 bellard
                    if (sym_name[0] == '\0')
1079 ff1f20a3 bellard
                        continue;
1080 ff1f20a3 bellard
                    if (strstart(sym_name, "__op_param", &p)) {
1081 ff1f20a3 bellard
                        snprintf(name, sizeof(name), "param%s", p);
1082 ff1f20a3 bellard
                    } else {
1083 ff1f20a3 bellard
                        snprintf(name, sizeof(name), "(long)(&%s)", sym_name);
1084 ff1f20a3 bellard
                    }
1085 ff1f20a3 bellard
                    type = ELF32_R_TYPE(rel->r_info);
1086 ff1f20a3 bellard
                    addend = get32((uint32_t *)(text + rel->r_offset));
1087 ff1f20a3 bellard
                    switch(type) {
1088 ff1f20a3 bellard
                    case R_ARM_ABS32:
1089 ff1f20a3 bellard
                        fprintf(outfile, "    *(uint32_t *)(gen_code_ptr + %d) = %s + %d;\n", 
1090 ff1f20a3 bellard
                                rel->r_offset - start_offset, name, addend);
1091 ff1f20a3 bellard
                        break;
1092 ff1f20a3 bellard
                    case R_ARM_PC24:
1093 ff1f20a3 bellard
                        fprintf(outfile, "    arm_reloc_pc24((uint32_t *)(gen_code_ptr + %d), 0x%x, %s);\n", 
1094 ff1f20a3 bellard
                                rel->r_offset - start_offset, addend, name);
1095 ff1f20a3 bellard
                        break;
1096 ff1f20a3 bellard
                    default:
1097 ff1f20a3 bellard
                        error("unsupported arm relocation (%d)", type);
1098 ff1f20a3 bellard
                    }
1099 ff1f20a3 bellard
                }
1100 ff1f20a3 bellard
                }
1101 38e584a0 bellard
            }
1102 38e584a0 bellard
#elif defined(HOST_M68K)
1103 38e584a0 bellard
            {
1104 38e584a0 bellard
                char name[256];
1105 38e584a0 bellard
                int type;
1106 38e584a0 bellard
                int addend;
1107 38e584a0 bellard
                Elf32_Sym *sym;
1108 38e584a0 bellard
                for(i = 0, rel = relocs;i < nb_relocs; i++, rel++) {
1109 38e584a0 bellard
                if (rel->r_offset >= start_offset &&
1110 38e584a0 bellard
                    rel->r_offset < start_offset + copy_size) {
1111 38e584a0 bellard
                    sym = &(symtab[ELFW(R_SYM)(rel->r_info)]);
1112 38e584a0 bellard
                    sym_name = strtab + symtab[ELFW(R_SYM)(rel->r_info)].st_name;
1113 38e584a0 bellard
                    if (strstart(sym_name, "__op_param", &p)) {
1114 38e584a0 bellard
                        snprintf(name, sizeof(name), "param%s", p);
1115 38e584a0 bellard
                    } else {
1116 38e584a0 bellard
                        snprintf(name, sizeof(name), "(long)(&%s)", sym_name);
1117 38e584a0 bellard
                    }
1118 38e584a0 bellard
                    type = ELF32_R_TYPE(rel->r_info);
1119 38e584a0 bellard
                    addend = get32((uint32_t *)(text + rel->r_offset)) + rel->r_addend;
1120 38e584a0 bellard
                    switch(type) {
1121 38e584a0 bellard
                    case R_68K_32:
1122 38e584a0 bellard
                        fprintf(outfile, "    /* R_68K_32 RELOC, offset %x */\n", rel->r_offset) ;
1123 38e584a0 bellard
                        fprintf(outfile, "    *(uint32_t *)(gen_code_ptr + %d) = %s + %#x;\n", 
1124 38e584a0 bellard
                                rel->r_offset - start_offset, name, addend );
1125 38e584a0 bellard
                        break;
1126 38e584a0 bellard
                    case R_68K_PC32:
1127 38e584a0 bellard
                        fprintf(outfile, "    /* R_68K_PC32 RELOC, offset %x */\n", rel->r_offset);
1128 38e584a0 bellard
                        fprintf(outfile, "    *(uint32_t *)(gen_code_ptr + %d) = %s - (long)(gen_code_ptr + %#x) + %#x;\n", 
1129 38e584a0 bellard
                                rel->r_offset - start_offset, name, rel->r_offset - start_offset, /*sym->st_value+*/ addend);
1130 38e584a0 bellard
                        break;
1131 38e584a0 bellard
                    default:
1132 38e584a0 bellard
                        error("unsupported m68k relocation (%d)", type);
1133 38e584a0 bellard
                    }
1134 38e584a0 bellard
                }
1135 38e584a0 bellard
                }
1136 ff1f20a3 bellard
            }
1137 ce11fedc bellard
#else
1138 ce11fedc bellard
#error unsupported CPU
1139 ce11fedc bellard
#endif
1140 dc99065b bellard
        fprintf(outfile, "    gen_code_ptr += %d;\n", copy_size);
1141 dc99065b bellard
        fprintf(outfile, "}\n");
1142 dc99065b bellard
        fprintf(outfile, "break;\n\n");
1143 dc99065b bellard
    } else {
1144 dc99065b bellard
        fprintf(outfile, "static inline void gen_%s(", name);
1145 dc99065b bellard
        if (nb_args == 0) {
1146 dc99065b bellard
            fprintf(outfile, "void");
1147 dc99065b bellard
        } else {
1148 dc99065b bellard
            for(i = 0; i < nb_args; i++) {
1149 dc99065b bellard
                if (i != 0)
1150 dc99065b bellard
                    fprintf(outfile, ", ");
1151 dc99065b bellard
                fprintf(outfile, "long param%d", i + 1);
1152 367e86e8 bellard
            }
1153 367e86e8 bellard
        }
1154 dc99065b bellard
        fprintf(outfile, ")\n");
1155 dc99065b bellard
        fprintf(outfile, "{\n");
1156 dc99065b bellard
        for(i = 0; i < nb_args; i++) {
1157 dc99065b bellard
            fprintf(outfile, "    *gen_opparam_ptr++ = param%d;\n", i + 1);
1158 dc99065b bellard
        }
1159 dc99065b bellard
        fprintf(outfile, "    *gen_opc_ptr++ = INDEX_%s;\n", name);
1160 dc99065b bellard
        fprintf(outfile, "}\n\n");
1161 367e86e8 bellard
    }
1162 367e86e8 bellard
}
1163 367e86e8 bellard
1164 367e86e8 bellard
/* load an elf object file */
1165 d219f7e7 bellard
int load_elf(const char *filename, FILE *outfile, int out_type)
1166 367e86e8 bellard
{
1167 367e86e8 bellard
    int fd;
1168 d4e8164f bellard
    struct elf_shdr *sec, *symtab_sec, *strtab_sec, *text_sec;
1169 d4e8164f bellard
    int i, j;
1170 d4e8164f bellard
    ElfW(Sym) *sym;
1171 c1e42a13 bellard
    char *shstr;
1172 367e86e8 bellard
    uint8_t *text;
1173 fe319756 bellard
    ELF_RELOC *relocs;
1174 fe319756 bellard
    int nb_relocs;
1175 fe319756 bellard
    ELF_RELOC *rel;
1176 367e86e8 bellard
    
1177 367e86e8 bellard
    fd = open(filename, O_RDONLY);
1178 367e86e8 bellard
    if (fd < 0) 
1179 367e86e8 bellard
        error("can't open file '%s'", filename);
1180 367e86e8 bellard
    
1181 367e86e8 bellard
    /* Read ELF header.  */
1182 367e86e8 bellard
    if (read(fd, &ehdr, sizeof (ehdr)) != sizeof (ehdr))
1183 367e86e8 bellard
        error("unable to read file header");
1184 367e86e8 bellard
1185 367e86e8 bellard
    /* Check ELF identification.  */
1186 367e86e8 bellard
    if (ehdr.e_ident[EI_MAG0] != ELFMAG0
1187 367e86e8 bellard
     || ehdr.e_ident[EI_MAG1] != ELFMAG1
1188 367e86e8 bellard
     || ehdr.e_ident[EI_MAG2] != ELFMAG2
1189 367e86e8 bellard
     || ehdr.e_ident[EI_MAG3] != ELFMAG3
1190 367e86e8 bellard
     || ehdr.e_ident[EI_VERSION] != EV_CURRENT) {
1191 367e86e8 bellard
        error("bad ELF header");
1192 367e86e8 bellard
    }
1193 367e86e8 bellard
1194 367e86e8 bellard
    do_swap = elf_must_swap(&ehdr);
1195 367e86e8 bellard
    if (do_swap)
1196 367e86e8 bellard
        elf_swap_ehdr(&ehdr);
1197 ce11fedc bellard
    if (ehdr.e_ident[EI_CLASS] != ELF_CLASS)
1198 ce11fedc bellard
        error("Unsupported ELF class");
1199 367e86e8 bellard
    if (ehdr.e_type != ET_REL)
1200 367e86e8 bellard
        error("ELF object file expected");
1201 367e86e8 bellard
    if (ehdr.e_version != EV_CURRENT)
1202 367e86e8 bellard
        error("Invalid ELF version");
1203 ce11fedc bellard
    if (!elf_check_arch(ehdr.e_machine))
1204 ce11fedc bellard
        error("Unsupported CPU (e_machine=%d)", ehdr.e_machine);
1205 367e86e8 bellard
1206 367e86e8 bellard
    /* read section headers */
1207 ce11fedc bellard
    shdr = load_data(fd, ehdr.e_shoff, ehdr.e_shnum * sizeof(struct elf_shdr));
1208 367e86e8 bellard
    if (do_swap) {
1209 367e86e8 bellard
        for(i = 0; i < ehdr.e_shnum; i++) {
1210 367e86e8 bellard
            elf_swap_shdr(&shdr[i]);
1211 367e86e8 bellard
        }
1212 367e86e8 bellard
    }
1213 367e86e8 bellard
1214 fe319756 bellard
    /* read all section data */
1215 fe319756 bellard
    sdata = malloc(sizeof(void *) * ehdr.e_shnum);
1216 fe319756 bellard
    memset(sdata, 0, sizeof(void *) * ehdr.e_shnum);
1217 fe319756 bellard
    
1218 fe319756 bellard
    for(i = 0;i < ehdr.e_shnum; i++) {
1219 fe319756 bellard
        sec = &shdr[i];
1220 fe319756 bellard
        if (sec->sh_type != SHT_NOBITS)
1221 fe319756 bellard
            sdata[i] = load_data(fd, sec->sh_offset, sec->sh_size);
1222 fe319756 bellard
    }
1223 fe319756 bellard
1224 367e86e8 bellard
    sec = &shdr[ehdr.e_shstrndx];
1225 fe319756 bellard
    shstr = sdata[ehdr.e_shstrndx];
1226 367e86e8 bellard
1227 fe319756 bellard
    /* swap relocations */
1228 fe319756 bellard
    for(i = 0; i < ehdr.e_shnum; i++) {
1229 fe319756 bellard
        sec = &shdr[i];
1230 fe319756 bellard
        if (sec->sh_type == SHT_RELOC) {
1231 fe319756 bellard
            nb_relocs = sec->sh_size / sec->sh_entsize;
1232 fe319756 bellard
            if (do_swap) {
1233 fe319756 bellard
                for(j = 0, rel = (ELF_RELOC *)sdata[i]; j < nb_relocs; j++, rel++)
1234 fe319756 bellard
                    elf_swap_rel(rel);
1235 fe319756 bellard
            }
1236 fe319756 bellard
        }
1237 fe319756 bellard
    }
1238 367e86e8 bellard
    /* text section */
1239 367e86e8 bellard
1240 367e86e8 bellard
    text_sec = find_elf_section(shdr, ehdr.e_shnum, shstr, ".text");
1241 367e86e8 bellard
    if (!text_sec)
1242 367e86e8 bellard
        error("could not find .text section");
1243 fe319756 bellard
    text_shndx = text_sec - shdr;
1244 fe319756 bellard
    text = sdata[text_shndx];
1245 367e86e8 bellard
1246 367e86e8 bellard
    /* find text relocations, if any */
1247 367e86e8 bellard
    relocs = NULL;
1248 fe319756 bellard
    nb_relocs = 0;
1249 fe319756 bellard
    i = find_reloc(text_shndx);
1250 fe319756 bellard
    if (i != 0) {
1251 fe319756 bellard
        relocs = (ELF_RELOC *)sdata[i];
1252 fe319756 bellard
        nb_relocs = shdr[i].sh_size / shdr[i].sh_entsize;
1253 367e86e8 bellard
    }
1254 367e86e8 bellard
1255 367e86e8 bellard
    symtab_sec = find_elf_section(shdr, ehdr.e_shnum, shstr, ".symtab");
1256 367e86e8 bellard
    if (!symtab_sec)
1257 367e86e8 bellard
        error("could not find .symtab section");
1258 367e86e8 bellard
    strtab_sec = &shdr[symtab_sec->sh_link];
1259 367e86e8 bellard
1260 fe319756 bellard
    symtab = (ElfW(Sym) *)sdata[symtab_sec - shdr];
1261 fe319756 bellard
    strtab = sdata[symtab_sec->sh_link];
1262 367e86e8 bellard
    
1263 efdea7bf bellard
    nb_syms = symtab_sec->sh_size / sizeof(ElfW(Sym));
1264 367e86e8 bellard
    if (do_swap) {
1265 367e86e8 bellard
        for(i = 0, sym = symtab; i < nb_syms; i++, sym++) {
1266 367e86e8 bellard
            swab32s(&sym->st_name);
1267 ce11fedc bellard
            swabls(&sym->st_value);
1268 ce11fedc bellard
            swabls(&sym->st_size);
1269 367e86e8 bellard
            swab16s(&sym->st_shndx);
1270 367e86e8 bellard
        }
1271 367e86e8 bellard
    }
1272 367e86e8 bellard
1273 d219f7e7 bellard
    if (out_type == OUT_INDEX_OP) {
1274 a513fe19 bellard
        fprintf(outfile, "DEF(end, 0, 0)\n");
1275 e477b8b8 bellard
        fprintf(outfile, "DEF(nop, 0, 0)\n");
1276 e477b8b8 bellard
        fprintf(outfile, "DEF(nop1, 1, 0)\n");
1277 e477b8b8 bellard
        fprintf(outfile, "DEF(nop2, 2, 0)\n");
1278 e477b8b8 bellard
        fprintf(outfile, "DEF(nop3, 3, 0)\n");
1279 dc99065b bellard
        for(i = 0, sym = symtab; i < nb_syms; i++, sym++) {
1280 dc99065b bellard
            const char *name, *p;
1281 dc99065b bellard
            name = strtab + sym->st_name;
1282 dc99065b bellard
            if (strstart(name, OP_PREFIX, &p)) {
1283 0ea00c9a bellard
                gen_code(name, sym->st_value, sym->st_size, outfile, 
1284 fe319756 bellard
                         text, relocs, nb_relocs, 2);
1285 dc99065b bellard
            }
1286 dc99065b bellard
        }
1287 d219f7e7 bellard
    } else if (out_type == OUT_GEN_OP) {
1288 d219f7e7 bellard
        /* generate gen_xxx functions */
1289 d219f7e7 bellard
1290 d219f7e7 bellard
        for(i = 0, sym = symtab; i < nb_syms; i++, sym++) {
1291 d219f7e7 bellard
            const char *name;
1292 d219f7e7 bellard
            name = strtab + sym->st_name;
1293 d219f7e7 bellard
            if (strstart(name, OP_PREFIX, NULL)) {
1294 d219f7e7 bellard
                if (sym->st_shndx != (text_sec - shdr))
1295 d219f7e7 bellard
                    error("invalid section for opcode (0x%x)", sym->st_shndx);
1296 d219f7e7 bellard
                gen_code(name, sym->st_value, sym->st_size, outfile, 
1297 d219f7e7 bellard
                         text, relocs, nb_relocs, 0);
1298 d219f7e7 bellard
            }
1299 d219f7e7 bellard
        }
1300 d219f7e7 bellard
        
1301 dc99065b bellard
    } else {
1302 dc99065b bellard
        /* generate big code generation switch */
1303 dc99065b bellard
fprintf(outfile,
1304 dc99065b bellard
"int dyngen_code(uint8_t *gen_code_buf,\n"
1305 d4e8164f bellard
"                uint16_t *label_offsets, uint16_t *jmp_offsets,\n"
1306 dc99065b bellard
"                const uint16_t *opc_buf, const uint32_t *opparam_buf)\n"
1307 dc99065b bellard
"{\n"
1308 dc99065b bellard
"    uint8_t *gen_code_ptr;\n"
1309 dc99065b bellard
"    const uint16_t *opc_ptr;\n"
1310 ff1f20a3 bellard
"    const uint32_t *opparam_ptr;\n");
1311 ff1f20a3 bellard
1312 ff1f20a3 bellard
#ifdef HOST_ARM
1313 ff1f20a3 bellard
fprintf(outfile,
1314 ff1f20a3 bellard
"    uint8_t *last_gen_code_ptr = gen_code_buf;\n"
1315 ff1f20a3 bellard
"    LDREntry *arm_ldr_ptr = arm_ldr_table;\n"
1316 ff1f20a3 bellard
"    uint32_t *arm_data_ptr = arm_data_table;\n");
1317 ff1f20a3 bellard
#endif
1318 ff1f20a3 bellard
1319 ff1f20a3 bellard
fprintf(outfile,
1320 ff1f20a3 bellard
"\n"
1321 dc99065b bellard
"    gen_code_ptr = gen_code_buf;\n"
1322 dc99065b bellard
"    opc_ptr = opc_buf;\n"
1323 ae228531 bellard
"    opparam_ptr = opparam_buf;\n");
1324 ae228531 bellard
1325 ae228531 bellard
        /* Generate prologue, if needed. */ 
1326 ae228531 bellard
1327 ae228531 bellard
fprintf(outfile,
1328 dc99065b bellard
"    for(;;) {\n"
1329 dc99065b bellard
"        switch(*opc_ptr++) {\n"
1330 dc99065b bellard
);
1331 367e86e8 bellard
1332 dc99065b bellard
        for(i = 0, sym = symtab; i < nb_syms; i++, sym++) {
1333 dc99065b bellard
            const char *name;
1334 dc99065b bellard
            name = strtab + sym->st_name;
1335 dc99065b bellard
            if (strstart(name, OP_PREFIX, NULL)) {
1336 367e86e8 bellard
#if 0
1337 dc99065b bellard
                printf("%4d: %s pos=0x%08x len=%d\n", 
1338 dc99065b bellard
                       i, name, sym->st_value, sym->st_size);
1339 367e86e8 bellard
#endif
1340 dc99065b bellard
                if (sym->st_shndx != (text_sec - shdr))
1341 dc99065b bellard
                    error("invalid section for opcode (0x%x)", sym->st_shndx);
1342 dc99065b bellard
                gen_code(name, sym->st_value, sym->st_size, outfile, 
1343 fe319756 bellard
                         text, relocs, nb_relocs, 1);
1344 dc99065b bellard
            }
1345 dc99065b bellard
        }
1346 dc99065b bellard
1347 dc99065b bellard
fprintf(outfile,
1348 8ef9a8ec bellard
"        case INDEX_op_nop:\n"
1349 8ef9a8ec bellard
"            break;\n"
1350 8ef9a8ec bellard
"        case INDEX_op_nop1:\n"
1351 8ef9a8ec bellard
"            opparam_ptr++;\n"
1352 8ef9a8ec bellard
"            break;\n"
1353 8ef9a8ec bellard
"        case INDEX_op_nop2:\n"
1354 8ef9a8ec bellard
"            opparam_ptr += 2;\n"
1355 8ef9a8ec bellard
"            break;\n"
1356 8ef9a8ec bellard
"        case INDEX_op_nop3:\n"
1357 8ef9a8ec bellard
"            opparam_ptr += 3;\n"
1358 8ef9a8ec bellard
"            break;\n"
1359 dc99065b bellard
"        default:\n"
1360 dc99065b bellard
"            goto the_end;\n"
1361 ff1f20a3 bellard
"        }\n");
1362 ff1f20a3 bellard
1363 ff1f20a3 bellard
#ifdef HOST_ARM
1364 ff1f20a3 bellard
/* generate constant table if needed */
1365 ff1f20a3 bellard
fprintf(outfile,
1366 ff1f20a3 bellard
"        if ((gen_code_ptr - last_gen_code_ptr) >= (MAX_FRAG_SIZE - MAX_OP_SIZE)) {\n"
1367 ff1f20a3 bellard
"            gen_code_ptr = arm_flush_ldr(gen_code_ptr, arm_ldr_table, arm_ldr_ptr, arm_data_table, arm_data_ptr, 1);\n"
1368 ff1f20a3 bellard
"            last_gen_code_ptr = gen_code_ptr;\n"
1369 ff1f20a3 bellard
"            arm_ldr_ptr = arm_ldr_table;\n"
1370 ff1f20a3 bellard
"            arm_data_ptr = arm_data_table;\n"
1371 ff1f20a3 bellard
"        }\n");         
1372 ff1f20a3 bellard
#endif
1373 ff1f20a3 bellard
1374 ff1f20a3 bellard
1375 ff1f20a3 bellard
fprintf(outfile,
1376 dc99065b bellard
"    }\n"
1377 dc99065b bellard
" the_end:\n"
1378 dc99065b bellard
);
1379 dc99065b bellard
1380 9621339d bellard
/* generate some code patching */ 
1381 9621339d bellard
#ifdef HOST_ARM
1382 9621339d bellard
fprintf(outfile, "gen_code_ptr = arm_flush_ldr(gen_code_ptr, arm_ldr_table, arm_ldr_ptr, arm_data_table, arm_data_ptr, 0);\n");
1383 9621339d bellard
#endif
1384 d219f7e7 bellard
    /* flush instruction cache */
1385 d219f7e7 bellard
    fprintf(outfile, "flush_icache_range((unsigned long)gen_code_buf, (unsigned long)gen_code_ptr);\n");
1386 d219f7e7 bellard
1387 dc99065b bellard
    fprintf(outfile, "return gen_code_ptr -  gen_code_buf;\n");
1388 dc99065b bellard
    fprintf(outfile, "}\n\n");
1389 dc99065b bellard
1390 367e86e8 bellard
    }
1391 367e86e8 bellard
1392 367e86e8 bellard
    close(fd);
1393 367e86e8 bellard
    return 0;
1394 367e86e8 bellard
}
1395 367e86e8 bellard
1396 367e86e8 bellard
void usage(void)
1397 367e86e8 bellard
{
1398 367e86e8 bellard
    printf("dyngen (c) 2003 Fabrice Bellard\n"
1399 dc99065b bellard
           "usage: dyngen [-o outfile] [-c] objfile\n"
1400 dc99065b bellard
           "Generate a dynamic code generator from an object file\n"
1401 dc99065b bellard
           "-c     output enum of operations\n"
1402 d219f7e7 bellard
           "-g     output gen_op_xx() functions\n"
1403 dc99065b bellard
           );
1404 367e86e8 bellard
    exit(1);
1405 367e86e8 bellard
}
1406 367e86e8 bellard
1407 367e86e8 bellard
int main(int argc, char **argv)
1408 367e86e8 bellard
{
1409 d219f7e7 bellard
    int c, out_type;
1410 367e86e8 bellard
    const char *filename, *outfilename;
1411 367e86e8 bellard
    FILE *outfile;
1412 367e86e8 bellard
1413 367e86e8 bellard
    outfilename = "out.c";
1414 d219f7e7 bellard
    out_type = OUT_CODE;
1415 367e86e8 bellard
    for(;;) {
1416 d219f7e7 bellard
        c = getopt(argc, argv, "ho:cg");
1417 367e86e8 bellard
        if (c == -1)
1418 367e86e8 bellard
            break;
1419 367e86e8 bellard
        switch(c) {
1420 367e86e8 bellard
        case 'h':
1421 367e86e8 bellard
            usage();
1422 367e86e8 bellard
            break;
1423 367e86e8 bellard
        case 'o':
1424 367e86e8 bellard
            outfilename = optarg;
1425 367e86e8 bellard
            break;
1426 dc99065b bellard
        case 'c':
1427 d219f7e7 bellard
            out_type = OUT_INDEX_OP;
1428 d219f7e7 bellard
            break;
1429 d219f7e7 bellard
        case 'g':
1430 d219f7e7 bellard
            out_type = OUT_GEN_OP;
1431 dc99065b bellard
            break;
1432 367e86e8 bellard
        }
1433 367e86e8 bellard
    }
1434 367e86e8 bellard
    if (optind >= argc)
1435 367e86e8 bellard
        usage();
1436 367e86e8 bellard
    filename = argv[optind];
1437 367e86e8 bellard
    outfile = fopen(outfilename, "w");
1438 367e86e8 bellard
    if (!outfile)
1439 367e86e8 bellard
        error("could not open '%s'", outfilename);
1440 d219f7e7 bellard
    load_elf(filename, outfile, out_type);
1441 367e86e8 bellard
    fclose(outfile);
1442 367e86e8 bellard
    return 0;
1443 367e86e8 bellard
}