Statistics
| Branch: | Revision:

root / dyngen.c @ 5132455e

History | View | Annotate | Download (36.8 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 ce11fedc bellard
#include "config.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 ce11fedc bellard
#else
83 ce11fedc bellard
#error unsupported CPU - please update the code
84 ce11fedc bellard
#endif
85 ce11fedc bellard
86 efdea7bf bellard
#include "elf.h"
87 efdea7bf bellard
88 ce11fedc bellard
#if ELF_CLASS == ELFCLASS32
89 ce11fedc bellard
typedef int32_t host_long;
90 ce11fedc bellard
typedef uint32_t host_ulong;
91 efdea7bf bellard
#define swabls(x) swab32s(x)
92 ce11fedc bellard
#else
93 ce11fedc bellard
typedef int64_t host_long;
94 ce11fedc bellard
typedef uint64_t host_ulong;
95 efdea7bf bellard
#define swabls(x) swab64s(x)
96 fb3e5849 bellard
#endif
97 fb3e5849 bellard
98 ce11fedc bellard
#include "thunk.h"
99 ce11fedc bellard
100 367e86e8 bellard
/* all dynamically generated functions begin with this code */
101 dc99065b bellard
#define OP_PREFIX "op_"
102 367e86e8 bellard
103 ce11fedc bellard
int elf_must_swap(struct elfhdr *h)
104 367e86e8 bellard
{
105 367e86e8 bellard
  union {
106 367e86e8 bellard
      uint32_t i;
107 367e86e8 bellard
      uint8_t b[4];
108 367e86e8 bellard
  } swaptest;
109 367e86e8 bellard
110 367e86e8 bellard
  swaptest.i = 1;
111 367e86e8 bellard
  return (h->e_ident[EI_DATA] == ELFDATA2MSB) != 
112 367e86e8 bellard
      (swaptest.b[0] == 0);
113 367e86e8 bellard
}
114 367e86e8 bellard
  
115 367e86e8 bellard
void swab16s(uint16_t *p)
116 367e86e8 bellard
{
117 367e86e8 bellard
    *p = bswap16(*p);
118 367e86e8 bellard
}
119 367e86e8 bellard
120 367e86e8 bellard
void swab32s(uint32_t *p)
121 367e86e8 bellard
{
122 367e86e8 bellard
    *p = bswap32(*p);
123 367e86e8 bellard
}
124 367e86e8 bellard
125 ce11fedc bellard
void swab64s(uint64_t *p)
126 367e86e8 bellard
{
127 367e86e8 bellard
    *p = bswap64(*p);
128 367e86e8 bellard
}
129 367e86e8 bellard
130 ce11fedc bellard
void elf_swap_ehdr(struct elfhdr *h)
131 367e86e8 bellard
{
132 367e86e8 bellard
    swab16s(&h->e_type);                        /* Object file type */
133 367e86e8 bellard
    swab16s(&h->        e_machine);                /* Architecture */
134 367e86e8 bellard
    swab32s(&h->        e_version);                /* Object file version */
135 ce11fedc bellard
    swabls(&h->        e_entry);                /* Entry point virtual address */
136 ce11fedc bellard
    swabls(&h->        e_phoff);                /* Program header table file offset */
137 ce11fedc bellard
    swabls(&h->        e_shoff);                /* Section header table file offset */
138 367e86e8 bellard
    swab32s(&h->        e_flags);                /* Processor-specific flags */
139 367e86e8 bellard
    swab16s(&h->        e_ehsize);                /* ELF header size in bytes */
140 367e86e8 bellard
    swab16s(&h->        e_phentsize);                /* Program header table entry size */
141 367e86e8 bellard
    swab16s(&h->        e_phnum);                /* Program header table entry count */
142 367e86e8 bellard
    swab16s(&h->        e_shentsize);                /* Section header table entry size */
143 367e86e8 bellard
    swab16s(&h->        e_shnum);                /* Section header table entry count */
144 367e86e8 bellard
    swab16s(&h->        e_shstrndx);                /* Section header string table index */
145 367e86e8 bellard
}
146 367e86e8 bellard
147 ce11fedc bellard
void elf_swap_shdr(struct elf_shdr *h)
148 367e86e8 bellard
{
149 367e86e8 bellard
  swab32s(&h->        sh_name);                /* Section name (string tbl index) */
150 367e86e8 bellard
  swab32s(&h->        sh_type);                /* Section type */
151 ce11fedc bellard
  swabls(&h->        sh_flags);                /* Section flags */
152 ce11fedc bellard
  swabls(&h->        sh_addr);                /* Section virtual addr at execution */
153 ce11fedc bellard
  swabls(&h->        sh_offset);                /* Section file offset */
154 ce11fedc bellard
  swabls(&h->        sh_size);                /* Section size in bytes */
155 367e86e8 bellard
  swab32s(&h->        sh_link);                /* Link to another section */
156 367e86e8 bellard
  swab32s(&h->        sh_info);                /* Additional section information */
157 ce11fedc bellard
  swabls(&h->        sh_addralign);                /* Section alignment */
158 ce11fedc bellard
  swabls(&h->        sh_entsize);                /* Entry size if section holds table */
159 367e86e8 bellard
}
160 367e86e8 bellard
161 ce11fedc bellard
void elf_swap_phdr(struct elf_phdr *h)
162 367e86e8 bellard
{
163 367e86e8 bellard
    swab32s(&h->p_type);                        /* Segment type */
164 ce11fedc bellard
    swabls(&h->p_offset);                /* Segment file offset */
165 ce11fedc bellard
    swabls(&h->p_vaddr);                /* Segment virtual address */
166 ce11fedc bellard
    swabls(&h->p_paddr);                /* Segment physical address */
167 ce11fedc bellard
    swabls(&h->p_filesz);                /* Segment size in file */
168 ce11fedc bellard
    swabls(&h->p_memsz);                /* Segment size in memory */
169 367e86e8 bellard
    swab32s(&h->p_flags);                /* Segment flags */
170 ce11fedc bellard
    swabls(&h->p_align);                /* Segment alignment */
171 367e86e8 bellard
}
172 367e86e8 bellard
173 367e86e8 bellard
int do_swap;
174 367e86e8 bellard
175 367e86e8 bellard
uint16_t get16(uint16_t *p)
176 367e86e8 bellard
{
177 367e86e8 bellard
    uint16_t val;
178 367e86e8 bellard
    val = *p;
179 367e86e8 bellard
    if (do_swap)
180 367e86e8 bellard
        val = bswap16(val);
181 367e86e8 bellard
    return val;
182 367e86e8 bellard
}
183 367e86e8 bellard
184 367e86e8 bellard
uint32_t get32(uint32_t *p)
185 367e86e8 bellard
{
186 367e86e8 bellard
    uint32_t val;
187 367e86e8 bellard
    val = *p;
188 367e86e8 bellard
    if (do_swap)
189 367e86e8 bellard
        val = bswap32(val);
190 367e86e8 bellard
    return val;
191 367e86e8 bellard
}
192 367e86e8 bellard
193 367e86e8 bellard
void put16(uint16_t *p, uint16_t val)
194 367e86e8 bellard
{
195 367e86e8 bellard
    if (do_swap)
196 367e86e8 bellard
        val = bswap16(val);
197 367e86e8 bellard
    *p = val;
198 367e86e8 bellard
}
199 367e86e8 bellard
200 367e86e8 bellard
void put32(uint32_t *p, uint32_t val)
201 367e86e8 bellard
{
202 367e86e8 bellard
    if (do_swap)
203 367e86e8 bellard
        val = bswap32(val);
204 367e86e8 bellard
    *p = val;
205 367e86e8 bellard
}
206 367e86e8 bellard
207 efdea7bf bellard
void __attribute__((noreturn)) __attribute__((format (printf, 1, 2))) error(const char *fmt, ...)
208 367e86e8 bellard
{
209 367e86e8 bellard
    va_list ap;
210 367e86e8 bellard
    va_start(ap, fmt);
211 367e86e8 bellard
    fprintf(stderr, "dyngen: ");
212 367e86e8 bellard
    vfprintf(stderr, fmt, ap);
213 367e86e8 bellard
    fprintf(stderr, "\n");
214 367e86e8 bellard
    va_end(ap);
215 367e86e8 bellard
    exit(1);
216 367e86e8 bellard
}
217 367e86e8 bellard
218 367e86e8 bellard
219 ce11fedc bellard
struct elf_shdr *find_elf_section(struct elf_shdr *shdr, int shnum, const char *shstr, 
220 ce11fedc bellard
                                  const char *name)
221 367e86e8 bellard
{
222 367e86e8 bellard
    int i;
223 367e86e8 bellard
    const char *shname;
224 ce11fedc bellard
    struct elf_shdr *sec;
225 367e86e8 bellard
226 367e86e8 bellard
    for(i = 0; i < shnum; i++) {
227 367e86e8 bellard
        sec = &shdr[i];
228 367e86e8 bellard
        if (!sec->sh_name)
229 367e86e8 bellard
            continue;
230 367e86e8 bellard
        shname = shstr + sec->sh_name;
231 367e86e8 bellard
        if (!strcmp(shname, name))
232 367e86e8 bellard
            return sec;
233 367e86e8 bellard
    }
234 367e86e8 bellard
    return NULL;
235 367e86e8 bellard
}
236 367e86e8 bellard
237 367e86e8 bellard
void *load_data(int fd, long offset, unsigned int size)
238 367e86e8 bellard
{
239 367e86e8 bellard
    char *data;
240 367e86e8 bellard
241 367e86e8 bellard
    data = malloc(size);
242 367e86e8 bellard
    if (!data)
243 367e86e8 bellard
        return NULL;
244 367e86e8 bellard
    lseek(fd, offset, SEEK_SET);
245 367e86e8 bellard
    if (read(fd, data, size) != size) {
246 367e86e8 bellard
        free(data);
247 367e86e8 bellard
        return NULL;
248 367e86e8 bellard
    }
249 367e86e8 bellard
    return data;
250 367e86e8 bellard
}
251 367e86e8 bellard
252 367e86e8 bellard
int strstart(const char *str, const char *val, const char **ptr)
253 367e86e8 bellard
{
254 367e86e8 bellard
    const char *p, *q;
255 367e86e8 bellard
    p = str;
256 367e86e8 bellard
    q = val;
257 367e86e8 bellard
    while (*q != '\0') {
258 367e86e8 bellard
        if (*p != *q)
259 367e86e8 bellard
            return 0;
260 367e86e8 bellard
        p++;
261 367e86e8 bellard
        q++;
262 367e86e8 bellard
    }
263 367e86e8 bellard
    if (ptr)
264 367e86e8 bellard
        *ptr = p;
265 367e86e8 bellard
    return 1;
266 367e86e8 bellard
}
267 367e86e8 bellard
268 367e86e8 bellard
#define MAX_ARGS 3
269 367e86e8 bellard
270 367e86e8 bellard
/* generate op code */
271 ce11fedc bellard
void gen_code(const char *name, host_ulong offset, host_ulong size, 
272 ce11fedc bellard
              FILE *outfile, uint8_t *text, ELF_RELOC *relocs, int nb_relocs, int reloc_sh_type,
273 ce11fedc bellard
              ElfW(Sym) *symtab, char *strtab, int gen_switch)
274 367e86e8 bellard
{
275 367e86e8 bellard
    int copy_size = 0;
276 367e86e8 bellard
    uint8_t *p_start, *p_end;
277 ae228531 bellard
    host_ulong start_offset;
278 ce11fedc bellard
    int nb_args, i, n;
279 367e86e8 bellard
    uint8_t args_present[MAX_ARGS];
280 367e86e8 bellard
    const char *sym_name, *p;
281 ce11fedc bellard
    ELF_RELOC *rel;
282 367e86e8 bellard
283 ae228531 bellard
    /* Compute exact size excluding prologue and epilogue instructions.
284 ae228531 bellard
     * Increment start_offset to skip epilogue instructions, then compute
285 ae228531 bellard
     * copy_size the indicate the size of the remaining instructions (in
286 ae228531 bellard
     * bytes).
287 ae228531 bellard
     */
288 367e86e8 bellard
    p_start = text + offset;
289 367e86e8 bellard
    p_end = p_start + size;
290 ae228531 bellard
    start_offset = offset;
291 ce11fedc bellard
    switch(ELF_ARCH) {
292 367e86e8 bellard
    case EM_386:
293 367e86e8 bellard
        {
294 367e86e8 bellard
            uint8_t *p;
295 367e86e8 bellard
            p = p_end - 1;
296 367e86e8 bellard
            if (p == p_start)
297 367e86e8 bellard
                error("empty code for %s", name);
298 4b74fe1f bellard
            if (p[0] != 0xc3)
299 4b74fe1f bellard
                error("ret expected at the end of %s", name);
300 367e86e8 bellard
            copy_size = p - p_start;
301 367e86e8 bellard
        }
302 367e86e8 bellard
        break;
303 367e86e8 bellard
    case EM_PPC:
304 367e86e8 bellard
        {
305 367e86e8 bellard
            uint8_t *p;
306 367e86e8 bellard
            p = (void *)(p_end - 4);
307 367e86e8 bellard
            if (p == p_start)
308 367e86e8 bellard
                error("empty code for %s", name);
309 04369ff2 bellard
            if (get32((uint32_t *)p) != 0x4e800020)
310 04369ff2 bellard
                error("blr expected at the end of %s", name);
311 367e86e8 bellard
            copy_size = p - p_start;
312 367e86e8 bellard
        }
313 367e86e8 bellard
        break;
314 fb3e5849 bellard
    case EM_S390:
315 fb3e5849 bellard
        {
316 fb3e5849 bellard
            uint8_t *p;
317 fb3e5849 bellard
            p = (void *)(p_end - 2);
318 fb3e5849 bellard
            if (p == p_start)
319 fb3e5849 bellard
                error("empty code for %s", name);
320 fb3e5849 bellard
            if (get16((uint16_t *)p) != 0x07fe && get16((uint16_t *)p) != 0x07f4)
321 efdea7bf bellard
                error("br %%r14 expected at the end of %s", name);
322 fb3e5849 bellard
            copy_size = p - p_start;
323 fb3e5849 bellard
        }
324 fb3e5849 bellard
        break;
325 efdea7bf bellard
    case EM_ALPHA:
326 efdea7bf bellard
        {
327 efdea7bf bellard
            uint8_t *p;
328 efdea7bf bellard
            p = p_end - 4;
329 efdea7bf bellard
            if (p == p_start)
330 efdea7bf bellard
                error("empty code for %s", name);
331 efdea7bf bellard
            if (get32((uint32_t *)p) != 0x6bfa8001)
332 efdea7bf bellard
                error("ret expected at the end of %s", name);
333 efdea7bf bellard
            copy_size = p - p_start;            
334 efdea7bf bellard
        }
335 efdea7bf bellard
        break;
336 efdea7bf bellard
    case EM_IA_64:
337 efdea7bf bellard
        {
338 efdea7bf bellard
            uint8_t *p;
339 efdea7bf bellard
            p = (void *)(p_end - 4);
340 efdea7bf bellard
            if (p == p_start)
341 efdea7bf bellard
                error("empty code for %s", name);
342 efdea7bf bellard
            /* br.ret.sptk.many b0;; */
343 efdea7bf bellard
            /* 08 00 84 00 */
344 efdea7bf bellard
            if (get32((uint32_t *)p) != 0x00840008)
345 efdea7bf bellard
                error("br.ret.sptk.many b0;; expected at the end of %s", name);
346 efdea7bf bellard
            copy_size = p - p_start;
347 efdea7bf bellard
        }
348 efdea7bf bellard
        break;
349 d014c98c bellard
    case EM_SPARC:
350 d014c98c bellard
    case EM_SPARC32PLUS:
351 d014c98c bellard
        {
352 ae228531 bellard
            uint32_t start_insn, end_insn1, end_insn2, skip_insn;
353 d014c98c bellard
            uint8_t *p;
354 d014c98c bellard
            p = (void *)(p_end - 8);
355 d014c98c bellard
            if (p <= p_start)
356 d014c98c bellard
                error("empty code for %s", name);
357 ae228531 bellard
            start_insn = get32((uint32_t *)(p_start + 0x0));
358 ae228531 bellard
            end_insn1 = get32((uint32_t *)(p + 0x0));
359 ae228531 bellard
            end_insn2 = get32((uint32_t *)(p + 0x4));
360 ae228531 bellard
            if ((start_insn & ~0x1fff) == 0x9de3a000) {
361 ae228531 bellard
                p_start += 0x4;
362 ae228531 bellard
                start_offset += 0x4;
363 ae228531 bellard
                if ((int)(start_insn | ~0x1fff) < -128)
364 ae228531 bellard
                    error("Found bogus save at the start of %s", name);
365 ae228531 bellard
                if (end_insn1 != 0x81c7e008 || end_insn2 != 0x81e80000)
366 ae228531 bellard
                    error("ret; restore; not found at end of %s", name);
367 ae228531 bellard
            } else {
368 ae228531 bellard
                error("No save at the beginning of %s", name);
369 ae228531 bellard
            }
370 ae228531 bellard
371 ae228531 bellard
            /* Skip a preceeding nop, if present.  */
372 ae228531 bellard
            if (p > p_start) {
373 ae228531 bellard
                skip_insn = get32((uint32_t *)(p - 0x4));
374 ae228531 bellard
                if (skip_insn == 0x01000000)
375 ae228531 bellard
                    p -= 4;
376 ae228531 bellard
            }
377 d014c98c bellard
378 d014c98c bellard
            copy_size = p - p_start;
379 d014c98c bellard
        }
380 d014c98c bellard
        break;
381 d014c98c bellard
    case EM_SPARCV9:
382 d014c98c bellard
        {
383 ae228531 bellard
            uint32_t start_insn, end_insn1, end_insn2, skip_insn;
384 d014c98c bellard
            uint8_t *p;
385 d014c98c bellard
            p = (void *)(p_end - 8);
386 d014c98c bellard
            if (p <= p_start)
387 d014c98c bellard
                error("empty code for %s", name);
388 ae228531 bellard
            start_insn = get32((uint32_t *)(p_start + 0x0));
389 ae228531 bellard
            end_insn1 = get32((uint32_t *)(p + 0x0));
390 ae228531 bellard
            end_insn2 = get32((uint32_t *)(p + 0x4));
391 ae228531 bellard
            if ((start_insn & ~0x1fff) == 0x9de3a000) {
392 ae228531 bellard
                p_start += 0x4;
393 ae228531 bellard
                start_offset += 0x4;
394 ae228531 bellard
                if ((int)(start_insn | ~0x1fff) < -256)
395 ae228531 bellard
                    error("Found bogus save at the start of %s", name);
396 ae228531 bellard
                if (end_insn1 != 0x81c7e008 || end_insn2 != 0x81e80000)
397 ae228531 bellard
                    error("ret; restore; not found at end of %s", name);
398 ae228531 bellard
            } else {
399 ae228531 bellard
                error("No save at the beginning of %s", name);
400 ae228531 bellard
            }
401 ae228531 bellard
402 ae228531 bellard
            /* Skip a preceeding nop, if present.  */
403 ae228531 bellard
            if (p > p_start) {
404 ae228531 bellard
                skip_insn = get32((uint32_t *)(p - 0x4));
405 ae228531 bellard
                if (skip_insn == 0x01000000)
406 ae228531 bellard
                    p -= 4;
407 ae228531 bellard
            }
408 ae228531 bellard
409 d014c98c bellard
            copy_size = p - p_start;
410 d014c98c bellard
        }
411 d014c98c bellard
        break;
412 efdea7bf bellard
    default:
413 efdea7bf bellard
        error("unknown ELF architecture");
414 367e86e8 bellard
    }
415 367e86e8 bellard
416 367e86e8 bellard
    /* compute the number of arguments by looking at the relocations */
417 367e86e8 bellard
    for(i = 0;i < MAX_ARGS; i++)
418 367e86e8 bellard
        args_present[i] = 0;
419 367e86e8 bellard
420 ce11fedc bellard
    for(i = 0, rel = relocs;i < nb_relocs; i++, rel++) {
421 ae228531 bellard
        if (rel->r_offset >= start_offset &&
422 ae228531 bellard
            rel->r_offset < start_offset + copy_size) {
423 ce11fedc bellard
            sym_name = strtab + symtab[ELFW(R_SYM)(rel->r_info)].st_name;
424 ce11fedc bellard
            if (strstart(sym_name, "__op_param", &p)) {
425 ce11fedc bellard
                n = strtoul(p, NULL, 10);
426 ce11fedc bellard
                if (n >= MAX_ARGS)
427 ce11fedc bellard
                    error("too many arguments in %s", name);
428 ce11fedc bellard
                args_present[n - 1] = 1;
429 367e86e8 bellard
            }
430 367e86e8 bellard
        }
431 367e86e8 bellard
    }
432 367e86e8 bellard
    
433 367e86e8 bellard
    nb_args = 0;
434 367e86e8 bellard
    while (nb_args < MAX_ARGS && args_present[nb_args])
435 367e86e8 bellard
        nb_args++;
436 367e86e8 bellard
    for(i = nb_args; i < MAX_ARGS; i++) {
437 367e86e8 bellard
        if (args_present[i])
438 367e86e8 bellard
            error("inconsistent argument numbering in %s", name);
439 367e86e8 bellard
    }
440 367e86e8 bellard
441 0ea00c9a bellard
    if (gen_switch == 2) {
442 0ea00c9a bellard
        fprintf(outfile, "DEF(%s, %d)\n", name + 3, nb_args);
443 0ea00c9a bellard
    } else if (gen_switch == 1) {
444 dc99065b bellard
445 dc99065b bellard
        /* output C code */
446 dc99065b bellard
        fprintf(outfile, "case INDEX_%s: {\n", name);
447 dc99065b bellard
        if (nb_args > 0) {
448 dc99065b bellard
            fprintf(outfile, "    long ");
449 dc99065b bellard
            for(i = 0; i < nb_args; i++) {
450 dc99065b bellard
                if (i != 0)
451 dc99065b bellard
                    fprintf(outfile, ", ");
452 dc99065b bellard
                fprintf(outfile, "param%d", i + 1);
453 dc99065b bellard
            }
454 dc99065b bellard
            fprintf(outfile, ";\n");
455 367e86e8 bellard
        }
456 dc99065b bellard
        fprintf(outfile, "    extern void %s();\n", name);
457 dc99065b bellard
458 ce11fedc bellard
        for(i = 0, rel = relocs;i < nb_relocs; i++, rel++) {
459 ae228531 bellard
            if (rel->r_offset >= start_offset &&
460 ae228531 bellard
                rel->r_offset < start_offset + copy_size) {
461 efdea7bf bellard
                sym_name = strtab + symtab[ELFW(R_SYM)(rel->r_info)].st_name;
462 74c95119 bellard
                if (*sym_name && !strstart(sym_name, "__op_param", &p)) {
463 d014c98c bellard
#if defined(HOST_SPARC)
464 d014c98c bellard
                    if (sym_name[0] == '.') {
465 d014c98c bellard
                        fprintf(outfile,
466 d014c98c bellard
                                "extern char __dot_%s __asm__(\"%s\");\n",
467 d014c98c bellard
                                sym_name+1, sym_name);
468 d014c98c bellard
                        continue;
469 d014c98c bellard
                    }
470 d014c98c bellard
#endif
471 ce11fedc bellard
                    fprintf(outfile, "extern char %s;\n", sym_name);
472 dc99065b bellard
                }
473 dc99065b bellard
            }
474 dc99065b bellard
        }
475 dc99065b bellard
476 ae228531 bellard
        fprintf(outfile, "    memcpy(gen_code_ptr, (void *)((char *)&%s+%d), %d);\n", name, start_offset - offset, copy_size);
477 dc99065b bellard
        for(i = 0; i < nb_args; i++) {
478 dc99065b bellard
            fprintf(outfile, "    param%d = *opparam_ptr++;\n", i + 1);
479 dc99065b bellard
        }
480 dc99065b bellard
481 dc99065b bellard
        /* patch relocations */
482 ce11fedc bellard
#if defined(HOST_I386)
483 dc99065b bellard
            {
484 dc99065b bellard
                char name[256];
485 dc99065b bellard
                int type;
486 ce11fedc bellard
                int addend;
487 dc99065b bellard
                for(i = 0, rel = relocs;i < nb_relocs; i++, rel++) {
488 ae228531 bellard
                if (rel->r_offset >= start_offset &&
489 ae228531 bellard
                    rel->r_offset < start_offset + copy_size) {
490 efdea7bf bellard
                    sym_name = strtab + symtab[ELFW(R_SYM)(rel->r_info)].st_name;
491 367e86e8 bellard
                    if (strstart(sym_name, "__op_param", &p)) {
492 367e86e8 bellard
                        snprintf(name, sizeof(name), "param%s", p);
493 367e86e8 bellard
                    } else {
494 367e86e8 bellard
                        snprintf(name, sizeof(name), "(long)(&%s)", sym_name);
495 367e86e8 bellard
                    }
496 367e86e8 bellard
                    type = ELF32_R_TYPE(rel->r_info);
497 367e86e8 bellard
                    addend = get32((uint32_t *)(text + rel->r_offset));
498 367e86e8 bellard
                    switch(type) {
499 367e86e8 bellard
                    case R_386_32:
500 ce11fedc bellard
                        fprintf(outfile, "    *(uint32_t *)(gen_code_ptr + %d) = %s + %d;\n", 
501 ae228531 bellard
                                rel->r_offset - start_offset, name, addend);
502 367e86e8 bellard
                        break;
503 367e86e8 bellard
                    case R_386_PC32:
504 ce11fedc bellard
                        fprintf(outfile, "    *(uint32_t *)(gen_code_ptr + %d) = %s - (long)(gen_code_ptr + %d) + %d;\n", 
505 ae228531 bellard
                                rel->r_offset - start_offset, name, rel->r_offset - start_offset, addend);
506 367e86e8 bellard
                        break;
507 367e86e8 bellard
                    default:
508 367e86e8 bellard
                        error("unsupported i386 relocation (%d)", type);
509 367e86e8 bellard
                    }
510 367e86e8 bellard
                }
511 dc99065b bellard
                }
512 dc99065b bellard
            }
513 ce11fedc bellard
#elif defined(HOST_PPC)
514 04369ff2 bellard
            {
515 04369ff2 bellard
                char name[256];
516 04369ff2 bellard
                int type;
517 ce11fedc bellard
                int addend;
518 04369ff2 bellard
                for(i = 0, rel = relocs;i < nb_relocs; i++, rel++) {
519 ae228531 bellard
                    if (rel->r_offset >= start_offset &&
520 ae228531 bellard
                        rel->r_offset < start_offset + copy_size) {
521 efdea7bf bellard
                        sym_name = strtab + symtab[ELFW(R_SYM)(rel->r_info)].st_name;
522 04369ff2 bellard
                        if (strstart(sym_name, "__op_param", &p)) {
523 04369ff2 bellard
                            snprintf(name, sizeof(name), "param%s", p);
524 04369ff2 bellard
                        } else {
525 04369ff2 bellard
                            snprintf(name, sizeof(name), "(long)(&%s)", sym_name);
526 04369ff2 bellard
                        }
527 04369ff2 bellard
                        type = ELF32_R_TYPE(rel->r_info);
528 04369ff2 bellard
                        addend = rel->r_addend;
529 04369ff2 bellard
                        switch(type) {
530 04369ff2 bellard
                        case R_PPC_ADDR32:
531 ce11fedc bellard
                            fprintf(outfile, "    *(uint32_t *)(gen_code_ptr + %d) = %s + %d;\n", 
532 ae228531 bellard
                                    rel->r_offset - start_offset, name, addend);
533 04369ff2 bellard
                            break;
534 04369ff2 bellard
                        case R_PPC_ADDR16_LO:
535 ce11fedc bellard
                            fprintf(outfile, "    *(uint16_t *)(gen_code_ptr + %d) = (%s + %d);\n", 
536 ae228531 bellard
                                    rel->r_offset - start_offset, name, addend);
537 04369ff2 bellard
                            break;
538 04369ff2 bellard
                        case R_PPC_ADDR16_HI:
539 ce11fedc bellard
                            fprintf(outfile, "    *(uint16_t *)(gen_code_ptr + %d) = (%s + %d) >> 16;\n", 
540 ae228531 bellard
                                    rel->r_offset - start_offset, name, addend);
541 04369ff2 bellard
                            break;
542 04369ff2 bellard
                        case R_PPC_ADDR16_HA:
543 ce11fedc bellard
                            fprintf(outfile, "    *(uint16_t *)(gen_code_ptr + %d) = (%s + %d + 0x8000) >> 16;\n", 
544 ae228531 bellard
                                    rel->r_offset - start_offset, name, addend);
545 04369ff2 bellard
                            break;
546 04369ff2 bellard
                        case R_PPC_REL24:
547 04369ff2 bellard
                            /* warning: must be at 32 MB distancy */
548 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", 
549 ae228531 bellard
                                    rel->r_offset - start_offset, rel->r_offset - start_offset, name, rel->r_offset - start_offset, addend);
550 04369ff2 bellard
                            break;
551 04369ff2 bellard
                        default:
552 04369ff2 bellard
                            error("unsupported powerpc relocation (%d)", type);
553 04369ff2 bellard
                        }
554 04369ff2 bellard
                    }
555 04369ff2 bellard
                }
556 04369ff2 bellard
            }
557 ce11fedc bellard
#elif defined(HOST_S390)
558 fb3e5849 bellard
            {
559 fb3e5849 bellard
                char name[256];
560 fb3e5849 bellard
                int type;
561 ce11fedc bellard
                int addend;
562 fb3e5849 bellard
                for(i = 0, rel = relocs;i < nb_relocs; i++, rel++) {
563 ae228531 bellard
                    if (rel->r_offset >= start_offset &&
564 ae228531 bellard
                        rel->r_offset < start_offset + copy_size) {
565 efdea7bf bellard
                        sym_name = strtab + symtab[ELFW(R_SYM)(rel->r_info)].st_name;
566 fb3e5849 bellard
                        if (strstart(sym_name, "__op_param", &p)) {
567 fb3e5849 bellard
                            snprintf(name, sizeof(name), "param%s", p);
568 fb3e5849 bellard
                        } else {
569 fb3e5849 bellard
                            snprintf(name, sizeof(name), "(long)(&%s)", sym_name);
570 fb3e5849 bellard
                        }
571 fb3e5849 bellard
                        type = ELF32_R_TYPE(rel->r_info);
572 fb3e5849 bellard
                        addend = rel->r_addend;
573 fb3e5849 bellard
                        switch(type) {
574 fb3e5849 bellard
                        case R_390_32:
575 ce11fedc bellard
                            fprintf(outfile, "    *(uint32_t *)(gen_code_ptr + %d) = %s + %d;\n", 
576 ae228531 bellard
                                    rel->r_offset - start_offset, name, addend);
577 fb3e5849 bellard
                            break;
578 fb3e5849 bellard
                        case R_390_16:
579 ce11fedc bellard
                            fprintf(outfile, "    *(uint16_t *)(gen_code_ptr + %d) = %s + %d;\n", 
580 ae228531 bellard
                                    rel->r_offset - start_offset, name, addend);
581 fb3e5849 bellard
                            break;
582 fb3e5849 bellard
                        case R_390_8:
583 ce11fedc bellard
                            fprintf(outfile, "    *(uint8_t *)(gen_code_ptr + %d) = %s + %d;\n", 
584 ae228531 bellard
                                    rel->r_offset - start_offset, name, addend);
585 fb3e5849 bellard
                            break;
586 fb3e5849 bellard
                        default:
587 fb3e5849 bellard
                            error("unsupported s390 relocation (%d)", type);
588 fb3e5849 bellard
                        }
589 fb3e5849 bellard
                    }
590 fb3e5849 bellard
                }
591 fb3e5849 bellard
            }
592 efdea7bf bellard
#elif defined(HOST_ALPHA)
593 efdea7bf bellard
            {
594 efdea7bf bellard
                for (i = 0, rel = relocs; i < nb_relocs; i++, rel++) {
595 ae228531 bellard
                    if (rel->r_offset >= start_offset && rel->r_offset < start_offset + copy_size) {
596 efdea7bf bellard
                        int type;
597 74c95119 bellard
598 efdea7bf bellard
                        type = ELF64_R_TYPE(rel->r_info);
599 74c95119 bellard
                        sym_name = strtab + symtab[ELF64_R_SYM(rel->r_info)].st_name;
600 efdea7bf bellard
                        switch (type) {
601 efdea7bf bellard
                        case R_ALPHA_GPDISP:
602 74c95119 bellard
                            /* The gp is just 32 bit, and never changes, so it's easiest to emit it
603 74c95119 bellard
                               as an immediate instead of constructing it from the pv or ra.  */
604 74c95119 bellard
                            fprintf(outfile, "    immediate_ldah(gen_code_ptr + %ld, gp);\n",
605 ae228531 bellard
                                    rel->r_offset - start_offset);
606 74c95119 bellard
                            fprintf(outfile, "    immediate_lda(gen_code_ptr + %ld, gp);\n",
607 ae228531 bellard
                                    rel->r_offset - start_offset + rel->r_addend);
608 efdea7bf bellard
                            break;
609 efdea7bf bellard
                        case R_ALPHA_LITUSE:
610 efdea7bf bellard
                            /* jsr to literal hint. Could be used to optimize to bsr. Ignore for
611 efdea7bf bellard
                               now, since some called functions (libc) need pv to be set up.  */
612 efdea7bf bellard
                            break;
613 efdea7bf bellard
                        case R_ALPHA_HINT:
614 efdea7bf bellard
                            /* Branch target prediction hint. Ignore for now.  Should be already
615 efdea7bf bellard
                               correct for in-function jumps.  */
616 efdea7bf bellard
                            break;
617 efdea7bf bellard
                        case R_ALPHA_LITERAL:
618 74c95119 bellard
                            /* Load a literal from the GOT relative to the gp.  Since there's only a
619 74c95119 bellard
                               single gp, nothing is to be done.  */
620 74c95119 bellard
                            break;
621 74c95119 bellard
                        case R_ALPHA_GPRELHIGH:
622 74c95119 bellard
                            /* Handle fake relocations against __op_param symbol.  Need to emit the
623 74c95119 bellard
                               high part of the immediate value instead.  Other symbols need no
624 74c95119 bellard
                               special treatment.  */
625 74c95119 bellard
                            if (strstart(sym_name, "__op_param", &p))
626 74c95119 bellard
                                fprintf(outfile, "    immediate_ldah(gen_code_ptr + %ld, param%s);\n",
627 ae228531 bellard
                                        rel->r_offset - start_offset, p);
628 74c95119 bellard
                            break;
629 74c95119 bellard
                        case R_ALPHA_GPRELLOW:
630 74c95119 bellard
                            if (strstart(sym_name, "__op_param", &p))
631 74c95119 bellard
                                fprintf(outfile, "    immediate_lda(gen_code_ptr + %ld, param%s);\n",
632 ae228531 bellard
                                        rel->r_offset - start_offset, p);
633 74c95119 bellard
                            break;
634 74c95119 bellard
                        case R_ALPHA_BRSGP:
635 74c95119 bellard
                            /* PC-relative jump. Tweak offset to skip the two instructions that try to
636 74c95119 bellard
                               set up the gp from the pv.  */
637 74c95119 bellard
                            fprintf(outfile, "    fix_bsr(gen_code_ptr + %ld, (uint8_t *) &%s - (gen_code_ptr + %ld) + 4);\n",
638 ae228531 bellard
                                    rel->r_offset - start_offset, sym_name, rel->r_offset - start_offset);
639 efdea7bf bellard
                            break;
640 efdea7bf bellard
                        default:
641 efdea7bf bellard
                            error("unsupported Alpha relocation (%d)", type);
642 efdea7bf bellard
                        }
643 efdea7bf bellard
                    }
644 efdea7bf bellard
                }
645 efdea7bf bellard
            }
646 efdea7bf bellard
#elif defined(HOST_IA64)
647 efdea7bf bellard
            {
648 efdea7bf bellard
                char name[256];
649 efdea7bf bellard
                int type;
650 efdea7bf bellard
                int addend;
651 efdea7bf bellard
                for(i = 0, rel = relocs;i < nb_relocs; i++, rel++) {
652 ae228531 bellard
                    if (rel->r_offset >= start_offset && rel->r_offset < start_offset + copy_size) {
653 efdea7bf bellard
                        sym_name = strtab + symtab[ELF64_R_SYM(rel->r_info)].st_name;
654 efdea7bf bellard
                        if (strstart(sym_name, "__op_param", &p)) {
655 efdea7bf bellard
                            snprintf(name, sizeof(name), "param%s", p);
656 efdea7bf bellard
                        } else {
657 efdea7bf bellard
                            snprintf(name, sizeof(name), "(long)(&%s)", sym_name);
658 efdea7bf bellard
                        }
659 efdea7bf bellard
                        type = ELF64_R_TYPE(rel->r_info);
660 efdea7bf bellard
                        addend = rel->r_addend;
661 efdea7bf bellard
                        switch(type) {
662 efdea7bf bellard
                        case R_IA64_LTOFF22:
663 efdea7bf bellard
                            error("must implemnt R_IA64_LTOFF22 relocation");
664 efdea7bf bellard
                        case R_IA64_PCREL21B:
665 efdea7bf bellard
                            error("must implemnt R_IA64_PCREL21B relocation");
666 efdea7bf bellard
                        default:
667 efdea7bf bellard
                            error("unsupported ia64 relocation (%d)", type);
668 efdea7bf bellard
                        }
669 efdea7bf bellard
                    }
670 efdea7bf bellard
                }
671 efdea7bf bellard
            }
672 d014c98c bellard
#elif defined(HOST_SPARC)
673 d014c98c bellard
            {
674 d014c98c bellard
                char name[256];
675 d014c98c bellard
                int type;
676 d014c98c bellard
                int addend;
677 d014c98c bellard
                for(i = 0, rel = relocs;i < nb_relocs; i++, rel++) {
678 ae228531 bellard
                    if (rel->r_offset >= start_offset &&
679 ae228531 bellard
                        rel->r_offset < start_offset + copy_size) {
680 d014c98c bellard
                        sym_name = strtab + symtab[ELF32_R_SYM(rel->r_info)].st_name;
681 d014c98c bellard
                        if (strstart(sym_name, "__op_param", &p)) {
682 d014c98c bellard
                            snprintf(name, sizeof(name), "param%s", p);
683 d014c98c bellard
                        } else {
684 d014c98c bellard
                                if (sym_name[0] == '.')
685 d014c98c bellard
                                        snprintf(name, sizeof(name),
686 d014c98c bellard
                                                 "(long)(&__dot_%s)",
687 d014c98c bellard
                                                 sym_name + 1);
688 d014c98c bellard
                                else
689 d014c98c bellard
                                        snprintf(name, sizeof(name),
690 d014c98c bellard
                                                 "(long)(&%s)", sym_name);
691 d014c98c bellard
                        }
692 d014c98c bellard
                        type = ELF32_R_TYPE(rel->r_info);
693 d014c98c bellard
                        addend = rel->r_addend;
694 d014c98c bellard
                        switch(type) {
695 d014c98c bellard
                        case R_SPARC_32:
696 d014c98c bellard
                            fprintf(outfile, "    *(uint32_t *)(gen_code_ptr + %d) = %s + %d;\n", 
697 ae228531 bellard
                                    rel->r_offset - start_offset, name, addend);
698 d014c98c bellard
                            break;
699 d014c98c bellard
                        case R_SPARC_HI22:
700 d014c98c bellard
                            fprintf(outfile,
701 d014c98c bellard
                                    "    *(uint32_t *)(gen_code_ptr + %d) = "
702 d014c98c bellard
                                    "((*(uint32_t *)(gen_code_ptr + %d)) "
703 d014c98c bellard
                                    " & ~0x3fffff) "
704 ae228531 bellard
                                    " | (((%s + %d) >> 10) & 0x3fffff);\n",
705 ae228531 bellard
                                    rel->r_offset - start_offset,
706 ae228531 bellard
                                    rel->r_offset - start_offset,
707 d014c98c bellard
                                    name, addend);
708 d014c98c bellard
                            break;
709 d014c98c bellard
                        case R_SPARC_LO10:
710 d014c98c bellard
                            fprintf(outfile,
711 d014c98c bellard
                                    "    *(uint32_t *)(gen_code_ptr + %d) = "
712 d014c98c bellard
                                    "((*(uint32_t *)(gen_code_ptr + %d)) "
713 d014c98c bellard
                                    " & ~0x3ff) "
714 d014c98c bellard
                                    " | ((%s + %d) & 0x3ff);\n",
715 ae228531 bellard
                                    rel->r_offset - start_offset,
716 ae228531 bellard
                                    rel->r_offset - start_offset,
717 d014c98c bellard
                                    name, addend);
718 d014c98c bellard
                            break;
719 d014c98c bellard
                        case R_SPARC_WDISP30:
720 d014c98c bellard
                            fprintf(outfile,
721 d014c98c bellard
                                    "    *(uint32_t *)(gen_code_ptr + %d) = "
722 d014c98c bellard
                                    "((*(uint32_t *)(gen_code_ptr + %d)) "
723 d014c98c bellard
                                    " & ~0x3fffffff) "
724 ae228531 bellard
                                    " | ((((%s + %d) - (long)(gen_code_ptr + %d))>>2) "
725 d014c98c bellard
                                    "    & 0x3fffffff);\n",
726 ae228531 bellard
                                    rel->r_offset - start_offset,
727 ae228531 bellard
                                    rel->r_offset - start_offset,
728 ae228531 bellard
                                    name, addend,
729 ae228531 bellard
                                    rel->r_offset - start_offset);
730 d014c98c bellard
                            break;
731 d014c98c bellard
                        default:
732 d014c98c bellard
                            error("unsupported sparc relocation (%d)", type);
733 d014c98c bellard
                        }
734 d014c98c bellard
                    }
735 d014c98c bellard
                }
736 d014c98c bellard
            }
737 d014c98c bellard
#elif defined(HOST_SPARC64)
738 d014c98c bellard
            {
739 d014c98c bellard
                char name[256];
740 d014c98c bellard
                int type;
741 d014c98c bellard
                int addend;
742 d014c98c bellard
                for(i = 0, rel = relocs;i < nb_relocs; i++, rel++) {
743 ae228531 bellard
                    if (rel->r_offset >= start_offset &&
744 ae228531 bellard
                        rel->r_offset < start_offset + copy_size) {
745 d014c98c bellard
                        sym_name = strtab + symtab[ELF64_R_SYM(rel->r_info)].st_name;
746 d014c98c bellard
                        if (strstart(sym_name, "__op_param", &p)) {
747 d014c98c bellard
                            snprintf(name, sizeof(name), "param%s", p);
748 d014c98c bellard
                        } else {
749 d014c98c bellard
                            snprintf(name, sizeof(name), "(long)(&%s)", sym_name);
750 d014c98c bellard
                        }
751 d014c98c bellard
                        type = ELF64_R_TYPE(rel->r_info);
752 d014c98c bellard
                        addend = rel->r_addend;
753 d014c98c bellard
                        switch(type) {
754 d014c98c bellard
                        case R_SPARC_32:
755 d014c98c bellard
                            fprintf(outfile, "    *(uint32_t *)(gen_code_ptr + %d) = %s + %d;\n",
756 ae228531 bellard
                                    rel->r_offset - start_offset, name, addend);
757 d014c98c bellard
                            break;
758 d014c98c bellard
                        case R_SPARC_HI22:
759 d014c98c bellard
                            fprintf(outfile,
760 d014c98c bellard
                                    "    *(uint32_t *)(gen_code_ptr + %d) = "
761 d014c98c bellard
                                    "((*(uint32_t *)(gen_code_ptr + %d)) "
762 d014c98c bellard
                                    " & ~0x3fffff) "
763 ae228531 bellard
                                    " | (((%s + %d) >> 10) & 0x3fffff);\n",
764 ae228531 bellard
                                    rel->r_offset - start_offset,
765 ae228531 bellard
                                    rel->r_offset - start_offset,
766 d014c98c bellard
                                    name, addend);
767 d014c98c bellard
                            break;
768 d014c98c bellard
                        case R_SPARC_LO10:
769 d014c98c bellard
                            fprintf(outfile,
770 d014c98c bellard
                                    "    *(uint32_t *)(gen_code_ptr + %d) = "
771 d014c98c bellard
                                    "((*(uint32_t *)(gen_code_ptr + %d)) "
772 d014c98c bellard
                                    " & ~0x3ff) "
773 d014c98c bellard
                                    " | ((%s + %d) & 0x3ff);\n",
774 ae228531 bellard
                                    rel->r_offset - start_offset,
775 ae228531 bellard
                                    rel->r_offset - start_offset,
776 d014c98c bellard
                                    name, addend);
777 d014c98c bellard
                            break;
778 d014c98c bellard
                        case R_SPARC_WDISP30:
779 d014c98c bellard
                            fprintf(outfile,
780 d014c98c bellard
                                    "    *(uint32_t *)(gen_code_ptr + %d) = "
781 d014c98c bellard
                                    "((*(uint32_t *)(gen_code_ptr + %d)) "
782 d014c98c bellard
                                    " & ~0x3fffffff) "
783 ae228531 bellard
                                    " | ((((%s + %d) - (long)(gen_code_ptr + %d))>>2) "
784 d014c98c bellard
                                    "    & 0x3fffffff);\n",
785 ae228531 bellard
                                    rel->r_offset - start_offset,
786 ae228531 bellard
                                    rel->r_offset - start_offset,
787 ae228531 bellard
                                    name, addend,
788 ae228531 bellard
                                    rel->r_offset - start_offset);
789 d014c98c bellard
                            break;
790 d014c98c bellard
                        default:
791 d014c98c bellard
                            error("unsupported sparc64 relocation (%d)", type);
792 d014c98c bellard
                        }
793 d014c98c bellard
                    }
794 d014c98c bellard
                }
795 d014c98c bellard
            }
796 ce11fedc bellard
#else
797 ce11fedc bellard
#error unsupported CPU
798 ce11fedc bellard
#endif
799 dc99065b bellard
        fprintf(outfile, "    gen_code_ptr += %d;\n", copy_size);
800 dc99065b bellard
        fprintf(outfile, "}\n");
801 dc99065b bellard
        fprintf(outfile, "break;\n\n");
802 dc99065b bellard
    } else {
803 dc99065b bellard
        fprintf(outfile, "static inline void gen_%s(", name);
804 dc99065b bellard
        if (nb_args == 0) {
805 dc99065b bellard
            fprintf(outfile, "void");
806 dc99065b bellard
        } else {
807 dc99065b bellard
            for(i = 0; i < nb_args; i++) {
808 dc99065b bellard
                if (i != 0)
809 dc99065b bellard
                    fprintf(outfile, ", ");
810 dc99065b bellard
                fprintf(outfile, "long param%d", i + 1);
811 367e86e8 bellard
            }
812 367e86e8 bellard
        }
813 dc99065b bellard
        fprintf(outfile, ")\n");
814 dc99065b bellard
        fprintf(outfile, "{\n");
815 dc99065b bellard
        for(i = 0; i < nb_args; i++) {
816 dc99065b bellard
            fprintf(outfile, "    *gen_opparam_ptr++ = param%d;\n", i + 1);
817 dc99065b bellard
        }
818 dc99065b bellard
        fprintf(outfile, "    *gen_opc_ptr++ = INDEX_%s;\n", name);
819 dc99065b bellard
        fprintf(outfile, "}\n\n");
820 367e86e8 bellard
    }
821 367e86e8 bellard
}
822 367e86e8 bellard
823 367e86e8 bellard
/* load an elf object file */
824 dc99065b bellard
int load_elf(const char *filename, FILE *outfile, int do_print_enum)
825 367e86e8 bellard
{
826 367e86e8 bellard
    int fd;
827 ce11fedc bellard
    struct elfhdr ehdr;
828 ce11fedc bellard
    struct elf_shdr *sec, *shdr, *symtab_sec, *strtab_sec, *text_sec;
829 367e86e8 bellard
    int i, j, nb_syms;
830 ce11fedc bellard
    ElfW(Sym) *symtab, *sym;
831 367e86e8 bellard
    char *shstr, *strtab;
832 367e86e8 bellard
    uint8_t *text;
833 367e86e8 bellard
    void *relocs;
834 367e86e8 bellard
    int nb_relocs, reloc_sh_type;
835 367e86e8 bellard
    
836 367e86e8 bellard
    fd = open(filename, O_RDONLY);
837 367e86e8 bellard
    if (fd < 0) 
838 367e86e8 bellard
        error("can't open file '%s'", filename);
839 367e86e8 bellard
    
840 367e86e8 bellard
    /* Read ELF header.  */
841 367e86e8 bellard
    if (read(fd, &ehdr, sizeof (ehdr)) != sizeof (ehdr))
842 367e86e8 bellard
        error("unable to read file header");
843 367e86e8 bellard
844 367e86e8 bellard
    /* Check ELF identification.  */
845 367e86e8 bellard
    if (ehdr.e_ident[EI_MAG0] != ELFMAG0
846 367e86e8 bellard
     || ehdr.e_ident[EI_MAG1] != ELFMAG1
847 367e86e8 bellard
     || ehdr.e_ident[EI_MAG2] != ELFMAG2
848 367e86e8 bellard
     || ehdr.e_ident[EI_MAG3] != ELFMAG3
849 367e86e8 bellard
     || ehdr.e_ident[EI_VERSION] != EV_CURRENT) {
850 367e86e8 bellard
        error("bad ELF header");
851 367e86e8 bellard
    }
852 367e86e8 bellard
853 367e86e8 bellard
    do_swap = elf_must_swap(&ehdr);
854 367e86e8 bellard
    if (do_swap)
855 367e86e8 bellard
        elf_swap_ehdr(&ehdr);
856 ce11fedc bellard
    if (ehdr.e_ident[EI_CLASS] != ELF_CLASS)
857 ce11fedc bellard
        error("Unsupported ELF class");
858 367e86e8 bellard
    if (ehdr.e_type != ET_REL)
859 367e86e8 bellard
        error("ELF object file expected");
860 367e86e8 bellard
    if (ehdr.e_version != EV_CURRENT)
861 367e86e8 bellard
        error("Invalid ELF version");
862 ce11fedc bellard
    if (!elf_check_arch(ehdr.e_machine))
863 ce11fedc bellard
        error("Unsupported CPU (e_machine=%d)", ehdr.e_machine);
864 367e86e8 bellard
865 367e86e8 bellard
    /* read section headers */
866 ce11fedc bellard
    shdr = load_data(fd, ehdr.e_shoff, ehdr.e_shnum * sizeof(struct elf_shdr));
867 367e86e8 bellard
    if (do_swap) {
868 367e86e8 bellard
        for(i = 0; i < ehdr.e_shnum; i++) {
869 367e86e8 bellard
            elf_swap_shdr(&shdr[i]);
870 367e86e8 bellard
        }
871 367e86e8 bellard
    }
872 367e86e8 bellard
873 367e86e8 bellard
    sec = &shdr[ehdr.e_shstrndx];
874 367e86e8 bellard
    shstr = load_data(fd, sec->sh_offset, sec->sh_size);
875 367e86e8 bellard
876 367e86e8 bellard
    /* text section */
877 367e86e8 bellard
878 367e86e8 bellard
    text_sec = find_elf_section(shdr, ehdr.e_shnum, shstr, ".text");
879 367e86e8 bellard
    if (!text_sec)
880 367e86e8 bellard
        error("could not find .text section");
881 367e86e8 bellard
    text = load_data(fd, text_sec->sh_offset, text_sec->sh_size);
882 367e86e8 bellard
883 367e86e8 bellard
    /* find text relocations, if any */
884 367e86e8 bellard
    nb_relocs = 0;
885 367e86e8 bellard
    relocs = NULL;
886 367e86e8 bellard
    reloc_sh_type = 0;
887 367e86e8 bellard
    for(i = 0; i < ehdr.e_shnum; i++) {
888 367e86e8 bellard
        sec = &shdr[i];
889 367e86e8 bellard
        if ((sec->sh_type == SHT_REL || sec->sh_type == SHT_RELA) &&
890 367e86e8 bellard
            sec->sh_info == (text_sec - shdr)) {
891 367e86e8 bellard
            reloc_sh_type = sec->sh_type;
892 367e86e8 bellard
            relocs = load_data(fd, sec->sh_offset, sec->sh_size);
893 367e86e8 bellard
            nb_relocs = sec->sh_size / sec->sh_entsize;
894 367e86e8 bellard
            if (do_swap) {
895 367e86e8 bellard
                if (sec->sh_type == SHT_REL) {
896 efdea7bf bellard
                    ElfW(Rel) *rel = relocs;
897 367e86e8 bellard
                    for(j = 0, rel = relocs; j < nb_relocs; j++, rel++) {
898 efdea7bf bellard
                        swabls(&rel->r_offset);
899 efdea7bf bellard
                        swabls(&rel->r_info);
900 367e86e8 bellard
                    }
901 367e86e8 bellard
                } else {
902 efdea7bf bellard
                    ElfW(Rela) *rel = relocs;
903 367e86e8 bellard
                    for(j = 0, rel = relocs; j < nb_relocs; j++, rel++) {
904 efdea7bf bellard
                        swabls(&rel->r_offset);
905 efdea7bf bellard
                        swabls(&rel->r_info);
906 efdea7bf bellard
                        swabls(&rel->r_addend);
907 367e86e8 bellard
                    }
908 367e86e8 bellard
                }
909 367e86e8 bellard
            }
910 367e86e8 bellard
            break;
911 367e86e8 bellard
        }
912 367e86e8 bellard
    }
913 367e86e8 bellard
914 367e86e8 bellard
    symtab_sec = find_elf_section(shdr, ehdr.e_shnum, shstr, ".symtab");
915 367e86e8 bellard
    if (!symtab_sec)
916 367e86e8 bellard
        error("could not find .symtab section");
917 367e86e8 bellard
    strtab_sec = &shdr[symtab_sec->sh_link];
918 367e86e8 bellard
919 367e86e8 bellard
    symtab = load_data(fd, symtab_sec->sh_offset, symtab_sec->sh_size);
920 367e86e8 bellard
    strtab = load_data(fd, strtab_sec->sh_offset, strtab_sec->sh_size);
921 367e86e8 bellard
    
922 efdea7bf bellard
    nb_syms = symtab_sec->sh_size / sizeof(ElfW(Sym));
923 367e86e8 bellard
    if (do_swap) {
924 367e86e8 bellard
        for(i = 0, sym = symtab; i < nb_syms; i++, sym++) {
925 367e86e8 bellard
            swab32s(&sym->st_name);
926 ce11fedc bellard
            swabls(&sym->st_value);
927 ce11fedc bellard
            swabls(&sym->st_size);
928 367e86e8 bellard
            swab16s(&sym->st_shndx);
929 367e86e8 bellard
        }
930 367e86e8 bellard
    }
931 367e86e8 bellard
932 dc99065b bellard
    if (do_print_enum) {
933 0ea00c9a bellard
        fprintf(outfile, "DEF(end, 0)\n");
934 dc99065b bellard
        for(i = 0, sym = symtab; i < nb_syms; i++, sym++) {
935 dc99065b bellard
            const char *name, *p;
936 dc99065b bellard
            name = strtab + sym->st_name;
937 dc99065b bellard
            if (strstart(name, OP_PREFIX, &p)) {
938 0ea00c9a bellard
                gen_code(name, sym->st_value, sym->st_size, outfile, 
939 0ea00c9a bellard
                         text, relocs, nb_relocs, reloc_sh_type, symtab, strtab, 2);
940 dc99065b bellard
            }
941 dc99065b bellard
        }
942 dc99065b bellard
    } else {
943 dc99065b bellard
        /* generate big code generation switch */
944 efdea7bf bellard
#ifdef HOST_ALPHA
945 74c95119 bellard
fprintf(outfile,
946 74c95119 bellard
"register int gp asm(\"$29\");\n"
947 74c95119 bellard
"static inline void immediate_ldah(void *p, int val) {\n"
948 74c95119 bellard
"    uint32_t *dest = p;\n"
949 74c95119 bellard
"    long high = ((val >> 16) + ((val >> 15) & 1)) & 0xffff;\n"
950 74c95119 bellard
"\n"
951 74c95119 bellard
"    *dest &= ~0xffff;\n"
952 74c95119 bellard
"    *dest |= high;\n"
953 74c95119 bellard
"    *dest |= 31 << 16;\n"
954 74c95119 bellard
"}\n"
955 74c95119 bellard
"static inline void immediate_lda(void *dest, int val) {\n"
956 74c95119 bellard
"    *(uint16_t *) dest = val;\n"
957 74c95119 bellard
"}\n"
958 74c95119 bellard
"void fix_bsr(void *p, int offset) {\n"
959 74c95119 bellard
"    uint32_t *dest = p;\n"
960 74c95119 bellard
"    *dest &= ~((1 << 21) - 1);\n"
961 74c95119 bellard
"    *dest |= (offset >> 2) & ((1 << 21) - 1);\n"
962 74c95119 bellard
"}\n");
963 efdea7bf bellard
#endif
964 dc99065b bellard
fprintf(outfile,
965 dc99065b bellard
"int dyngen_code(uint8_t *gen_code_buf,\n"
966 dc99065b bellard
"                const uint16_t *opc_buf, const uint32_t *opparam_buf)\n"
967 dc99065b bellard
"{\n"
968 dc99065b bellard
"    uint8_t *gen_code_ptr;\n"
969 dc99065b bellard
"    const uint16_t *opc_ptr;\n"
970 dc99065b bellard
"    const uint32_t *opparam_ptr;\n"
971 dc99065b bellard
"    gen_code_ptr = gen_code_buf;\n"
972 dc99065b bellard
"    opc_ptr = opc_buf;\n"
973 ae228531 bellard
"    opparam_ptr = opparam_buf;\n");
974 ae228531 bellard
975 ae228531 bellard
        /* Generate prologue, if needed. */ 
976 ae228531 bellard
        switch(ELF_ARCH) {
977 ae228531 bellard
        case EM_SPARC:
978 ae228531 bellard
                fprintf(outfile, "*((uint32_t *)gen_code_ptr)++ = 0x9c23a080; /* sub %%sp, 128, %%sp */\n");
979 ae228531 bellard
                fprintf(outfile, "*((uint32_t *)gen_code_ptr)++ = 0xbc27a080; /* sub %%fp, 128, %%fp */\n");
980 ae228531 bellard
                break;
981 ae228531 bellard
982 ae228531 bellard
        case EM_SPARCV9:
983 ae228531 bellard
                fprintf(outfile, "*((uint32_t *)gen_code_ptr)++ = 0x9c23a100; /* sub %%sp, 256, %%sp */\n");
984 ae228531 bellard
                fprintf(outfile, "*((uint32_t *)gen_code_ptr)++ = 0xbc27a100; /* sub %%fp, 256, %%fp */\n");
985 ae228531 bellard
                break;
986 ae228531 bellard
        };
987 ae228531 bellard
988 ae228531 bellard
fprintf(outfile,
989 dc99065b bellard
"    for(;;) {\n"
990 dc99065b bellard
"        switch(*opc_ptr++) {\n"
991 dc99065b bellard
);
992 367e86e8 bellard
993 dc99065b bellard
        for(i = 0, sym = symtab; i < nb_syms; i++, sym++) {
994 dc99065b bellard
            const char *name;
995 dc99065b bellard
            name = strtab + sym->st_name;
996 dc99065b bellard
            if (strstart(name, OP_PREFIX, NULL)) {
997 367e86e8 bellard
#if 0
998 dc99065b bellard
                printf("%4d: %s pos=0x%08x len=%d\n", 
999 dc99065b bellard
                       i, name, sym->st_value, sym->st_size);
1000 367e86e8 bellard
#endif
1001 dc99065b bellard
                if (sym->st_shndx != (text_sec - shdr))
1002 dc99065b bellard
                    error("invalid section for opcode (0x%x)", sym->st_shndx);
1003 dc99065b bellard
                gen_code(name, sym->st_value, sym->st_size, outfile, 
1004 dc99065b bellard
                         text, relocs, nb_relocs, reloc_sh_type, symtab, strtab, 1);
1005 dc99065b bellard
            }
1006 dc99065b bellard
        }
1007 dc99065b bellard
1008 dc99065b bellard
fprintf(outfile,
1009 dc99065b bellard
"        default:\n"
1010 dc99065b bellard
"            goto the_end;\n"
1011 dc99065b bellard
"        }\n"
1012 dc99065b bellard
"    }\n"
1013 dc99065b bellard
" the_end:\n"
1014 dc99065b bellard
);
1015 dc99065b bellard
1016 ae228531 bellard
/* generate epilogue */ 
1017 ce11fedc bellard
    switch(ELF_ARCH) {
1018 dc99065b bellard
    case EM_386:
1019 dc99065b bellard
        fprintf(outfile, "*gen_code_ptr++ = 0xc3; /* ret */\n");
1020 dc99065b bellard
        break;
1021 04369ff2 bellard
    case EM_PPC:
1022 04369ff2 bellard
        fprintf(outfile, "*((uint32_t *)gen_code_ptr)++ = 0x4e800020; /* blr */\n");
1023 04369ff2 bellard
        break;
1024 fb3e5849 bellard
    case EM_S390:
1025 fb3e5849 bellard
        fprintf(outfile, "*((uint16_t *)gen_code_ptr)++ = 0x07fe; /* br %%r14 */\n");
1026 fb3e5849 bellard
        break;
1027 efdea7bf bellard
    case EM_ALPHA:
1028 efdea7bf bellard
        fprintf(outfile, "*((uint32_t *)gen_code_ptr)++ = 0x6bfa8001; /* ret */\n");
1029 efdea7bf bellard
        break;
1030 efdea7bf bellard
    case EM_IA_64:
1031 efdea7bf bellard
        fprintf(outfile, "*((uint32_t *)gen_code_ptr)++ = 0x00840008; /* br.ret.sptk.many b0;; */\n");
1032 efdea7bf bellard
        break;
1033 d014c98c bellard
    case EM_SPARC:
1034 d014c98c bellard
    case EM_SPARC32PLUS:
1035 ae228531 bellard
        fprintf(outfile, "*((uint32_t *)gen_code_ptr)++ = 0xbc07a080; /* add %%fp, 256, %%fp */\n");
1036 ae228531 bellard
        fprintf(outfile, "*((uint32_t *)gen_code_ptr)++ = 0x81c62008; /* jmpl %%i0 + 8, %%g0 */\n");
1037 ae228531 bellard
        fprintf(outfile, "*((uint32_t *)gen_code_ptr)++ = 0x9c03a080; /* add %%sp, 256, %%sp */\n");
1038 ae228531 bellard
        break;
1039 d014c98c bellard
    case EM_SPARCV9:
1040 ae228531 bellard
        fprintf(outfile, "*((uint32_t *)gen_code_ptr)++ = 0x81c7e008; /* ret */\n");
1041 ae228531 bellard
        fprintf(outfile, "*((uint32_t *)gen_code_ptr)++ = 0x81e80000; /* restore */\n");
1042 d014c98c bellard
        break;
1043 efdea7bf bellard
    default:
1044 efdea7bf bellard
        error("unknown ELF architecture");
1045 dc99065b bellard
    }
1046 dc99065b bellard
    
1047 dc99065b bellard
    fprintf(outfile, "return gen_code_ptr -  gen_code_buf;\n");
1048 dc99065b bellard
    fprintf(outfile, "}\n\n");
1049 dc99065b bellard
1050 dc99065b bellard
/* generate gen_xxx functions */
1051 dc99065b bellard
/* XXX: suppress the use of these functions to simplify code */
1052 dc99065b bellard
        for(i = 0, sym = symtab; i < nb_syms; i++, sym++) {
1053 dc99065b bellard
            const char *name;
1054 dc99065b bellard
            name = strtab + sym->st_name;
1055 dc99065b bellard
            if (strstart(name, OP_PREFIX, NULL)) {
1056 dc99065b bellard
                if (sym->st_shndx != (text_sec - shdr))
1057 dc99065b bellard
                    error("invalid section for opcode (0x%x)", sym->st_shndx);
1058 dc99065b bellard
                gen_code(name, sym->st_value, sym->st_size, outfile, 
1059 dc99065b bellard
                         text, relocs, nb_relocs, reloc_sh_type, symtab, strtab, 0);
1060 dc99065b bellard
            }
1061 367e86e8 bellard
        }
1062 367e86e8 bellard
    }
1063 367e86e8 bellard
1064 367e86e8 bellard
    close(fd);
1065 367e86e8 bellard
    return 0;
1066 367e86e8 bellard
}
1067 367e86e8 bellard
1068 367e86e8 bellard
void usage(void)
1069 367e86e8 bellard
{
1070 367e86e8 bellard
    printf("dyngen (c) 2003 Fabrice Bellard\n"
1071 dc99065b bellard
           "usage: dyngen [-o outfile] [-c] objfile\n"
1072 dc99065b bellard
           "Generate a dynamic code generator from an object file\n"
1073 dc99065b bellard
           "-c     output enum of operations\n"
1074 dc99065b bellard
           );
1075 367e86e8 bellard
    exit(1);
1076 367e86e8 bellard
}
1077 367e86e8 bellard
1078 367e86e8 bellard
int main(int argc, char **argv)
1079 367e86e8 bellard
{
1080 dc99065b bellard
    int c, do_print_enum;
1081 367e86e8 bellard
    const char *filename, *outfilename;
1082 367e86e8 bellard
    FILE *outfile;
1083 367e86e8 bellard
1084 367e86e8 bellard
    outfilename = "out.c";
1085 dc99065b bellard
    do_print_enum = 0;
1086 367e86e8 bellard
    for(;;) {
1087 dc99065b bellard
        c = getopt(argc, argv, "ho:c");
1088 367e86e8 bellard
        if (c == -1)
1089 367e86e8 bellard
            break;
1090 367e86e8 bellard
        switch(c) {
1091 367e86e8 bellard
        case 'h':
1092 367e86e8 bellard
            usage();
1093 367e86e8 bellard
            break;
1094 367e86e8 bellard
        case 'o':
1095 367e86e8 bellard
            outfilename = optarg;
1096 367e86e8 bellard
            break;
1097 dc99065b bellard
        case 'c':
1098 dc99065b bellard
            do_print_enum = 1;
1099 dc99065b bellard
            break;
1100 367e86e8 bellard
        }
1101 367e86e8 bellard
    }
1102 367e86e8 bellard
    if (optind >= argc)
1103 367e86e8 bellard
        usage();
1104 367e86e8 bellard
    filename = argv[optind];
1105 367e86e8 bellard
    outfile = fopen(outfilename, "w");
1106 367e86e8 bellard
    if (!outfile)
1107 367e86e8 bellard
        error("could not open '%s'", outfilename);
1108 dc99065b bellard
    load_elf(filename, outfile, do_print_enum);
1109 367e86e8 bellard
    fclose(outfile);
1110 367e86e8 bellard
    return 0;
1111 367e86e8 bellard
}