root / dyngen.c @ b03c60f3
History | View | Annotate | Download (21.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 <elf.h> |
26 | 367e86e8 | bellard | #include <unistd.h> |
27 | 367e86e8 | bellard | #include <fcntl.h> |
28 | 367e86e8 | bellard | |
29 | 367e86e8 | bellard | #include "thunk.h" |
30 | 367e86e8 | bellard | |
31 | 367e86e8 | bellard | /* all dynamically generated functions begin with this code */
|
32 | dc99065b | bellard | #define OP_PREFIX "op_" |
33 | 367e86e8 | bellard | |
34 | 367e86e8 | bellard | int elf_must_swap(Elf32_Ehdr *h)
|
35 | 367e86e8 | bellard | { |
36 | 367e86e8 | bellard | union {
|
37 | 367e86e8 | bellard | uint32_t i; |
38 | 367e86e8 | bellard | uint8_t b[4];
|
39 | 367e86e8 | bellard | } swaptest; |
40 | 367e86e8 | bellard | |
41 | 367e86e8 | bellard | swaptest.i = 1;
|
42 | 367e86e8 | bellard | return (h->e_ident[EI_DATA] == ELFDATA2MSB) !=
|
43 | 367e86e8 | bellard | (swaptest.b[0] == 0); |
44 | 367e86e8 | bellard | } |
45 | 367e86e8 | bellard | |
46 | 367e86e8 | bellard | void swab16s(uint16_t *p)
|
47 | 367e86e8 | bellard | { |
48 | 367e86e8 | bellard | *p = bswap16(*p); |
49 | 367e86e8 | bellard | } |
50 | 367e86e8 | bellard | |
51 | 367e86e8 | bellard | void swab32s(uint32_t *p)
|
52 | 367e86e8 | bellard | { |
53 | 367e86e8 | bellard | *p = bswap32(*p); |
54 | 367e86e8 | bellard | } |
55 | 367e86e8 | bellard | |
56 | 367e86e8 | bellard | void swab64s(uint32_t *p)
|
57 | 367e86e8 | bellard | { |
58 | 367e86e8 | bellard | *p = bswap64(*p); |
59 | 367e86e8 | bellard | } |
60 | 367e86e8 | bellard | |
61 | 367e86e8 | bellard | void elf_swap_ehdr(Elf32_Ehdr *h)
|
62 | 367e86e8 | bellard | { |
63 | 367e86e8 | bellard | swab16s(&h->e_type); /* Object file type */
|
64 | 367e86e8 | bellard | swab16s(&h-> e_machine); /* Architecture */
|
65 | 367e86e8 | bellard | swab32s(&h-> e_version); /* Object file version */
|
66 | 367e86e8 | bellard | swab32s(&h-> e_entry); /* Entry point virtual address */
|
67 | 367e86e8 | bellard | swab32s(&h-> e_phoff); /* Program header table file offset */
|
68 | 367e86e8 | bellard | swab32s(&h-> e_shoff); /* Section header table file offset */
|
69 | 367e86e8 | bellard | swab32s(&h-> e_flags); /* Processor-specific flags */
|
70 | 367e86e8 | bellard | swab16s(&h-> e_ehsize); /* ELF header size in bytes */
|
71 | 367e86e8 | bellard | swab16s(&h-> e_phentsize); /* Program header table entry size */
|
72 | 367e86e8 | bellard | swab16s(&h-> e_phnum); /* Program header table entry count */
|
73 | 367e86e8 | bellard | swab16s(&h-> e_shentsize); /* Section header table entry size */
|
74 | 367e86e8 | bellard | swab16s(&h-> e_shnum); /* Section header table entry count */
|
75 | 367e86e8 | bellard | swab16s(&h-> e_shstrndx); /* Section header string table index */
|
76 | 367e86e8 | bellard | } |
77 | 367e86e8 | bellard | |
78 | 367e86e8 | bellard | void elf_swap_shdr(Elf32_Shdr *h)
|
79 | 367e86e8 | bellard | { |
80 | 367e86e8 | bellard | swab32s(&h-> sh_name); /* Section name (string tbl index) */
|
81 | 367e86e8 | bellard | swab32s(&h-> sh_type); /* Section type */
|
82 | 367e86e8 | bellard | swab32s(&h-> sh_flags); /* Section flags */
|
83 | 367e86e8 | bellard | swab32s(&h-> sh_addr); /* Section virtual addr at execution */
|
84 | 367e86e8 | bellard | swab32s(&h-> sh_offset); /* Section file offset */
|
85 | 367e86e8 | bellard | swab32s(&h-> sh_size); /* Section size in bytes */
|
86 | 367e86e8 | bellard | swab32s(&h-> sh_link); /* Link to another section */
|
87 | 367e86e8 | bellard | swab32s(&h-> sh_info); /* Additional section information */
|
88 | 367e86e8 | bellard | swab32s(&h-> sh_addralign); /* Section alignment */
|
89 | 367e86e8 | bellard | swab32s(&h-> sh_entsize); /* Entry size if section holds table */
|
90 | 367e86e8 | bellard | } |
91 | 367e86e8 | bellard | |
92 | 367e86e8 | bellard | void elf_swap_phdr(Elf32_Phdr *h)
|
93 | 367e86e8 | bellard | { |
94 | 367e86e8 | bellard | swab32s(&h->p_type); /* Segment type */
|
95 | 367e86e8 | bellard | swab32s(&h->p_offset); /* Segment file offset */
|
96 | 367e86e8 | bellard | swab32s(&h->p_vaddr); /* Segment virtual address */
|
97 | 367e86e8 | bellard | swab32s(&h->p_paddr); /* Segment physical address */
|
98 | 367e86e8 | bellard | swab32s(&h->p_filesz); /* Segment size in file */
|
99 | 367e86e8 | bellard | swab32s(&h->p_memsz); /* Segment size in memory */
|
100 | 367e86e8 | bellard | swab32s(&h->p_flags); /* Segment flags */
|
101 | 367e86e8 | bellard | swab32s(&h->p_align); /* Segment alignment */
|
102 | 367e86e8 | bellard | } |
103 | 367e86e8 | bellard | |
104 | 367e86e8 | bellard | int do_swap;
|
105 | 367e86e8 | bellard | int e_machine;
|
106 | 367e86e8 | bellard | |
107 | 367e86e8 | bellard | uint16_t get16(uint16_t *p) |
108 | 367e86e8 | bellard | { |
109 | 367e86e8 | bellard | uint16_t val; |
110 | 367e86e8 | bellard | val = *p; |
111 | 367e86e8 | bellard | if (do_swap)
|
112 | 367e86e8 | bellard | val = bswap16(val); |
113 | 367e86e8 | bellard | return val;
|
114 | 367e86e8 | bellard | } |
115 | 367e86e8 | bellard | |
116 | 367e86e8 | bellard | uint32_t get32(uint32_t *p) |
117 | 367e86e8 | bellard | { |
118 | 367e86e8 | bellard | uint32_t val; |
119 | 367e86e8 | bellard | val = *p; |
120 | 367e86e8 | bellard | if (do_swap)
|
121 | 367e86e8 | bellard | val = bswap32(val); |
122 | 367e86e8 | bellard | return val;
|
123 | 367e86e8 | bellard | } |
124 | 367e86e8 | bellard | |
125 | 367e86e8 | bellard | void put16(uint16_t *p, uint16_t val)
|
126 | 367e86e8 | bellard | { |
127 | 367e86e8 | bellard | if (do_swap)
|
128 | 367e86e8 | bellard | val = bswap16(val); |
129 | 367e86e8 | bellard | *p = val; |
130 | 367e86e8 | bellard | } |
131 | 367e86e8 | bellard | |
132 | 367e86e8 | bellard | void put32(uint32_t *p, uint32_t val)
|
133 | 367e86e8 | bellard | { |
134 | 367e86e8 | bellard | if (do_swap)
|
135 | 367e86e8 | bellard | val = bswap32(val); |
136 | 367e86e8 | bellard | *p = val; |
137 | 367e86e8 | bellard | } |
138 | 367e86e8 | bellard | |
139 | 367e86e8 | bellard | void __attribute__((noreturn)) error(const char *fmt, ...) |
140 | 367e86e8 | bellard | { |
141 | 367e86e8 | bellard | va_list ap; |
142 | 367e86e8 | bellard | va_start(ap, fmt); |
143 | 367e86e8 | bellard | fprintf(stderr, "dyngen: ");
|
144 | 367e86e8 | bellard | vfprintf(stderr, fmt, ap); |
145 | 367e86e8 | bellard | fprintf(stderr, "\n");
|
146 | 367e86e8 | bellard | va_end(ap); |
147 | 367e86e8 | bellard | exit(1);
|
148 | 367e86e8 | bellard | } |
149 | 367e86e8 | bellard | |
150 | 367e86e8 | bellard | |
151 | 367e86e8 | bellard | Elf32_Shdr *find_elf_section(Elf32_Shdr *shdr, int shnum, const char *shstr, |
152 | 367e86e8 | bellard | const char *name) |
153 | 367e86e8 | bellard | { |
154 | 367e86e8 | bellard | int i;
|
155 | 367e86e8 | bellard | const char *shname; |
156 | 367e86e8 | bellard | Elf32_Shdr *sec; |
157 | 367e86e8 | bellard | |
158 | 367e86e8 | bellard | for(i = 0; i < shnum; i++) { |
159 | 367e86e8 | bellard | sec = &shdr[i]; |
160 | 367e86e8 | bellard | if (!sec->sh_name)
|
161 | 367e86e8 | bellard | continue;
|
162 | 367e86e8 | bellard | shname = shstr + sec->sh_name; |
163 | 367e86e8 | bellard | if (!strcmp(shname, name))
|
164 | 367e86e8 | bellard | return sec;
|
165 | 367e86e8 | bellard | } |
166 | 367e86e8 | bellard | return NULL; |
167 | 367e86e8 | bellard | } |
168 | 367e86e8 | bellard | |
169 | 367e86e8 | bellard | void *load_data(int fd, long offset, unsigned int size) |
170 | 367e86e8 | bellard | { |
171 | 367e86e8 | bellard | char *data;
|
172 | 367e86e8 | bellard | |
173 | 367e86e8 | bellard | data = malloc(size); |
174 | 367e86e8 | bellard | if (!data)
|
175 | 367e86e8 | bellard | return NULL; |
176 | 367e86e8 | bellard | lseek(fd, offset, SEEK_SET); |
177 | 367e86e8 | bellard | if (read(fd, data, size) != size) {
|
178 | 367e86e8 | bellard | free(data); |
179 | 367e86e8 | bellard | return NULL; |
180 | 367e86e8 | bellard | } |
181 | 367e86e8 | bellard | return data;
|
182 | 367e86e8 | bellard | } |
183 | 367e86e8 | bellard | |
184 | 367e86e8 | bellard | int strstart(const char *str, const char *val, const char **ptr) |
185 | 367e86e8 | bellard | { |
186 | 367e86e8 | bellard | const char *p, *q; |
187 | 367e86e8 | bellard | p = str; |
188 | 367e86e8 | bellard | q = val; |
189 | 367e86e8 | bellard | while (*q != '\0') { |
190 | 367e86e8 | bellard | if (*p != *q)
|
191 | 367e86e8 | bellard | return 0; |
192 | 367e86e8 | bellard | p++; |
193 | 367e86e8 | bellard | q++; |
194 | 367e86e8 | bellard | } |
195 | 367e86e8 | bellard | if (ptr)
|
196 | 367e86e8 | bellard | *ptr = p; |
197 | 367e86e8 | bellard | return 1; |
198 | 367e86e8 | bellard | } |
199 | 367e86e8 | bellard | |
200 | 367e86e8 | bellard | #define MAX_ARGS 3 |
201 | 367e86e8 | bellard | |
202 | 367e86e8 | bellard | /* generate op code */
|
203 | 367e86e8 | bellard | void gen_code(const char *name, unsigned long offset, unsigned long size, |
204 | 367e86e8 | bellard | FILE *outfile, uint8_t *text, void *relocs, int nb_relocs, int reloc_sh_type, |
205 | dc99065b | bellard | Elf32_Sym *symtab, char *strtab, int gen_switch) |
206 | 367e86e8 | bellard | { |
207 | 367e86e8 | bellard | int copy_size = 0; |
208 | 367e86e8 | bellard | uint8_t *p_start, *p_end; |
209 | 367e86e8 | bellard | int nb_args, i;
|
210 | 367e86e8 | bellard | uint8_t args_present[MAX_ARGS]; |
211 | 367e86e8 | bellard | const char *sym_name, *p; |
212 | 367e86e8 | bellard | |
213 | 367e86e8 | bellard | /* compute exact size excluding return instruction */
|
214 | 367e86e8 | bellard | p_start = text + offset; |
215 | 367e86e8 | bellard | p_end = p_start + size; |
216 | 367e86e8 | bellard | switch(e_machine) {
|
217 | 367e86e8 | bellard | case EM_386:
|
218 | 367e86e8 | bellard | { |
219 | 367e86e8 | bellard | uint8_t *p; |
220 | 367e86e8 | bellard | p = p_end - 1;
|
221 | 367e86e8 | bellard | if (p == p_start)
|
222 | 367e86e8 | bellard | error("empty code for %s", name);
|
223 | 4b74fe1f | bellard | if (p[0] != 0xc3) |
224 | 4b74fe1f | bellard | error("ret expected at the end of %s", name);
|
225 | 367e86e8 | bellard | copy_size = p - p_start; |
226 | 367e86e8 | bellard | } |
227 | 367e86e8 | bellard | break;
|
228 | 367e86e8 | bellard | case EM_PPC:
|
229 | 367e86e8 | bellard | { |
230 | 367e86e8 | bellard | uint8_t *p; |
231 | 367e86e8 | bellard | p = (void *)(p_end - 4); |
232 | 367e86e8 | bellard | if (p == p_start)
|
233 | 367e86e8 | bellard | error("empty code for %s", name);
|
234 | 04369ff2 | bellard | if (get32((uint32_t *)p) != 0x4e800020) |
235 | 04369ff2 | bellard | error("blr expected at the end of %s", name);
|
236 | 367e86e8 | bellard | copy_size = p - p_start; |
237 | 367e86e8 | bellard | } |
238 | 367e86e8 | bellard | break;
|
239 | 367e86e8 | bellard | default:
|
240 | 367e86e8 | bellard | error("unsupported CPU (%d)", e_machine);
|
241 | 367e86e8 | bellard | } |
242 | 367e86e8 | bellard | |
243 | 367e86e8 | bellard | /* compute the number of arguments by looking at the relocations */
|
244 | 367e86e8 | bellard | for(i = 0;i < MAX_ARGS; i++) |
245 | 367e86e8 | bellard | args_present[i] = 0;
|
246 | 367e86e8 | bellard | |
247 | 367e86e8 | bellard | if (reloc_sh_type == SHT_REL) {
|
248 | 367e86e8 | bellard | Elf32_Rel *rel; |
249 | 367e86e8 | bellard | int n;
|
250 | 367e86e8 | bellard | for(i = 0, rel = relocs;i < nb_relocs; i++, rel++) { |
251 | 367e86e8 | bellard | if (rel->r_offset >= offset && rel->r_offset < offset + copy_size) {
|
252 | 367e86e8 | bellard | sym_name = strtab + symtab[ELF32_R_SYM(rel->r_info)].st_name; |
253 | 367e86e8 | bellard | if (strstart(sym_name, "__op_param", &p)) { |
254 | 367e86e8 | bellard | n = strtoul(p, NULL, 10); |
255 | 367e86e8 | bellard | if (n >= MAX_ARGS)
|
256 | 367e86e8 | bellard | error("too many arguments in %s", name);
|
257 | 367e86e8 | bellard | args_present[n - 1] = 1; |
258 | 367e86e8 | bellard | } |
259 | 367e86e8 | bellard | } |
260 | 367e86e8 | bellard | } |
261 | 367e86e8 | bellard | } else {
|
262 | 367e86e8 | bellard | Elf32_Rela *rel; |
263 | 367e86e8 | bellard | int n;
|
264 | 367e86e8 | bellard | for(i = 0, rel = relocs;i < nb_relocs; i++, rel++) { |
265 | 367e86e8 | bellard | if (rel->r_offset >= offset && rel->r_offset < offset + copy_size) {
|
266 | 367e86e8 | bellard | sym_name = strtab + symtab[ELF32_R_SYM(rel->r_info)].st_name; |
267 | 367e86e8 | bellard | if (strstart(sym_name, "__op_param", &p)) { |
268 | 367e86e8 | bellard | n = strtoul(p, NULL, 10); |
269 | 367e86e8 | bellard | if (n >= MAX_ARGS)
|
270 | 367e86e8 | bellard | error("too many arguments in %s", name);
|
271 | 367e86e8 | bellard | args_present[n - 1] = 1; |
272 | 367e86e8 | bellard | } |
273 | 367e86e8 | bellard | } |
274 | 367e86e8 | bellard | } |
275 | 367e86e8 | bellard | } |
276 | 367e86e8 | bellard | |
277 | 367e86e8 | bellard | nb_args = 0;
|
278 | 367e86e8 | bellard | while (nb_args < MAX_ARGS && args_present[nb_args])
|
279 | 367e86e8 | bellard | nb_args++; |
280 | 367e86e8 | bellard | for(i = nb_args; i < MAX_ARGS; i++) {
|
281 | 367e86e8 | bellard | if (args_present[i])
|
282 | 367e86e8 | bellard | error("inconsistent argument numbering in %s", name);
|
283 | 367e86e8 | bellard | } |
284 | 367e86e8 | bellard | |
285 | dc99065b | bellard | if (gen_switch) {
|
286 | dc99065b | bellard | |
287 | dc99065b | bellard | /* output C code */
|
288 | dc99065b | bellard | fprintf(outfile, "case INDEX_%s: {\n", name);
|
289 | dc99065b | bellard | if (nb_args > 0) { |
290 | dc99065b | bellard | fprintf(outfile, " long ");
|
291 | dc99065b | bellard | for(i = 0; i < nb_args; i++) { |
292 | dc99065b | bellard | if (i != 0) |
293 | dc99065b | bellard | fprintf(outfile, ", ");
|
294 | dc99065b | bellard | fprintf(outfile, "param%d", i + 1); |
295 | dc99065b | bellard | } |
296 | dc99065b | bellard | fprintf(outfile, ";\n");
|
297 | 367e86e8 | bellard | } |
298 | dc99065b | bellard | fprintf(outfile, " extern void %s();\n", name);
|
299 | dc99065b | bellard | |
300 | dc99065b | bellard | if (reloc_sh_type == SHT_REL) {
|
301 | 367e86e8 | bellard | Elf32_Rel *rel; |
302 | 367e86e8 | bellard | for(i = 0, rel = relocs;i < nb_relocs; i++, rel++) { |
303 | 367e86e8 | bellard | if (rel->r_offset >= offset && rel->r_offset < offset + copy_size) {
|
304 | 367e86e8 | bellard | sym_name = strtab + symtab[ELF32_R_SYM(rel->r_info)].st_name; |
305 | dc99065b | bellard | if (!strstart(sym_name, "__op_param", &p)) { |
306 | dc99065b | bellard | fprintf(outfile, "extern char %s;\n", sym_name);
|
307 | dc99065b | bellard | } |
308 | dc99065b | bellard | } |
309 | dc99065b | bellard | } |
310 | dc99065b | bellard | } else {
|
311 | dc99065b | bellard | Elf32_Rela *rel; |
312 | dc99065b | bellard | for(i = 0, rel = relocs;i < nb_relocs; i++, rel++) { |
313 | dc99065b | bellard | if (rel->r_offset >= offset && rel->r_offset < offset + copy_size) {
|
314 | dc99065b | bellard | sym_name = strtab + symtab[ELF32_R_SYM(rel->r_info)].st_name; |
315 | dc99065b | bellard | if (!strstart(sym_name, "__op_param", &p)) { |
316 | dc99065b | bellard | fprintf(outfile, "extern char %s;\n", sym_name);
|
317 | dc99065b | bellard | } |
318 | dc99065b | bellard | } |
319 | dc99065b | bellard | } |
320 | dc99065b | bellard | } |
321 | dc99065b | bellard | |
322 | dc99065b | bellard | fprintf(outfile, " memcpy(gen_code_ptr, &%s, %d);\n", name, copy_size);
|
323 | dc99065b | bellard | for(i = 0; i < nb_args; i++) { |
324 | dc99065b | bellard | fprintf(outfile, " param%d = *opparam_ptr++;\n", i + 1); |
325 | dc99065b | bellard | } |
326 | dc99065b | bellard | |
327 | dc99065b | bellard | /* patch relocations */
|
328 | dc99065b | bellard | switch(e_machine) {
|
329 | dc99065b | bellard | case EM_386:
|
330 | dc99065b | bellard | { |
331 | dc99065b | bellard | Elf32_Rel *rel; |
332 | dc99065b | bellard | char name[256]; |
333 | dc99065b | bellard | int type;
|
334 | dc99065b | bellard | long addend;
|
335 | dc99065b | bellard | for(i = 0, rel = relocs;i < nb_relocs; i++, rel++) { |
336 | dc99065b | bellard | if (rel->r_offset >= offset && rel->r_offset < offset + copy_size) {
|
337 | dc99065b | bellard | sym_name = strtab + symtab[ELF32_R_SYM(rel->r_info)].st_name; |
338 | 367e86e8 | bellard | if (strstart(sym_name, "__op_param", &p)) { |
339 | 367e86e8 | bellard | snprintf(name, sizeof(name), "param%s", p); |
340 | 367e86e8 | bellard | } else {
|
341 | 367e86e8 | bellard | snprintf(name, sizeof(name), "(long)(&%s)", sym_name); |
342 | 367e86e8 | bellard | } |
343 | 367e86e8 | bellard | type = ELF32_R_TYPE(rel->r_info); |
344 | 367e86e8 | bellard | addend = get32((uint32_t *)(text + rel->r_offset)); |
345 | 367e86e8 | bellard | switch(type) {
|
346 | 367e86e8 | bellard | case R_386_32:
|
347 | 367e86e8 | bellard | fprintf(outfile, " *(uint32_t *)(gen_code_ptr + %ld) = %s + %ld;\n",
|
348 | 367e86e8 | bellard | rel->r_offset - offset, name, addend); |
349 | 367e86e8 | bellard | break;
|
350 | 367e86e8 | bellard | case R_386_PC32:
|
351 | 367e86e8 | bellard | fprintf(outfile, " *(uint32_t *)(gen_code_ptr + %ld) = %s - (long)(gen_code_ptr + %ld) + %ld;\n",
|
352 | 367e86e8 | bellard | rel->r_offset - offset, name, rel->r_offset - offset, addend); |
353 | 367e86e8 | bellard | break;
|
354 | 367e86e8 | bellard | default:
|
355 | 367e86e8 | bellard | error("unsupported i386 relocation (%d)", type);
|
356 | 367e86e8 | bellard | } |
357 | 367e86e8 | bellard | } |
358 | dc99065b | bellard | } |
359 | dc99065b | bellard | } |
360 | dc99065b | bellard | break;
|
361 | 04369ff2 | bellard | case EM_PPC:
|
362 | 04369ff2 | bellard | { |
363 | 04369ff2 | bellard | Elf32_Rela *rel; |
364 | 04369ff2 | bellard | char name[256]; |
365 | 04369ff2 | bellard | int type;
|
366 | 04369ff2 | bellard | long addend;
|
367 | 04369ff2 | bellard | for(i = 0, rel = relocs;i < nb_relocs; i++, rel++) { |
368 | 04369ff2 | bellard | if (rel->r_offset >= offset && rel->r_offset < offset + copy_size) {
|
369 | 04369ff2 | bellard | sym_name = strtab + symtab[ELF32_R_SYM(rel->r_info)].st_name; |
370 | 04369ff2 | bellard | if (strstart(sym_name, "__op_param", &p)) { |
371 | 04369ff2 | bellard | snprintf(name, sizeof(name), "param%s", p); |
372 | 04369ff2 | bellard | } else {
|
373 | 04369ff2 | bellard | snprintf(name, sizeof(name), "(long)(&%s)", sym_name); |
374 | 04369ff2 | bellard | } |
375 | 04369ff2 | bellard | type = ELF32_R_TYPE(rel->r_info); |
376 | 04369ff2 | bellard | addend = rel->r_addend; |
377 | 04369ff2 | bellard | switch(type) {
|
378 | 04369ff2 | bellard | case R_PPC_ADDR32:
|
379 | 04369ff2 | bellard | fprintf(outfile, " *(uint32_t *)(gen_code_ptr + %ld) = %s + %ld;\n",
|
380 | 04369ff2 | bellard | rel->r_offset - offset, name, addend); |
381 | 04369ff2 | bellard | break;
|
382 | 04369ff2 | bellard | case R_PPC_ADDR16_LO:
|
383 | 04369ff2 | bellard | fprintf(outfile, " *(uint16_t *)(gen_code_ptr + %ld) = (%s + %ld);\n",
|
384 | 04369ff2 | bellard | rel->r_offset - offset, name, addend); |
385 | 04369ff2 | bellard | break;
|
386 | 04369ff2 | bellard | case R_PPC_ADDR16_HI:
|
387 | 04369ff2 | bellard | fprintf(outfile, " *(uint16_t *)(gen_code_ptr + %ld) = (%s + %ld) >> 16;\n",
|
388 | 04369ff2 | bellard | rel->r_offset - offset, name, addend); |
389 | 04369ff2 | bellard | break;
|
390 | 04369ff2 | bellard | case R_PPC_ADDR16_HA:
|
391 | 04369ff2 | bellard | fprintf(outfile, " *(uint16_t *)(gen_code_ptr + %ld) = (%s + %ld + 0x8000) >> 16;\n",
|
392 | 04369ff2 | bellard | rel->r_offset - offset, name, addend); |
393 | 04369ff2 | bellard | break;
|
394 | 04369ff2 | bellard | case R_PPC_REL24:
|
395 | 04369ff2 | bellard | /* warning: must be at 32 MB distancy */
|
396 | 04369ff2 | bellard | fprintf(outfile, " *(uint32_t *)(gen_code_ptr + %ld) = (*(uint32_t *)(gen_code_ptr + %ld) & ~0x03fffffc) | ((%s - (long)(gen_code_ptr + %ld) + %ld) & 0x03fffffc);\n",
|
397 | 04369ff2 | bellard | rel->r_offset - offset, rel->r_offset - offset, name, rel->r_offset - offset, addend); |
398 | 04369ff2 | bellard | break;
|
399 | 04369ff2 | bellard | default:
|
400 | 04369ff2 | bellard | error("unsupported powerpc relocation (%d)", type);
|
401 | 04369ff2 | bellard | } |
402 | 04369ff2 | bellard | } |
403 | 04369ff2 | bellard | } |
404 | 04369ff2 | bellard | } |
405 | 04369ff2 | bellard | break;
|
406 | dc99065b | bellard | default:
|
407 | dc99065b | bellard | error("unsupported CPU for relocations (%d)", e_machine);
|
408 | dc99065b | bellard | } |
409 | dc99065b | bellard | fprintf(outfile, " gen_code_ptr += %d;\n", copy_size);
|
410 | dc99065b | bellard | fprintf(outfile, "}\n");
|
411 | dc99065b | bellard | fprintf(outfile, "break;\n\n");
|
412 | dc99065b | bellard | } else {
|
413 | dc99065b | bellard | fprintf(outfile, "static inline void gen_%s(", name);
|
414 | dc99065b | bellard | if (nb_args == 0) { |
415 | dc99065b | bellard | fprintf(outfile, "void");
|
416 | dc99065b | bellard | } else {
|
417 | dc99065b | bellard | for(i = 0; i < nb_args; i++) { |
418 | dc99065b | bellard | if (i != 0) |
419 | dc99065b | bellard | fprintf(outfile, ", ");
|
420 | dc99065b | bellard | fprintf(outfile, "long param%d", i + 1); |
421 | 367e86e8 | bellard | } |
422 | 367e86e8 | bellard | } |
423 | dc99065b | bellard | fprintf(outfile, ")\n");
|
424 | dc99065b | bellard | fprintf(outfile, "{\n");
|
425 | dc99065b | bellard | for(i = 0; i < nb_args; i++) { |
426 | dc99065b | bellard | fprintf(outfile, " *gen_opparam_ptr++ = param%d;\n", i + 1); |
427 | dc99065b | bellard | } |
428 | dc99065b | bellard | fprintf(outfile, " *gen_opc_ptr++ = INDEX_%s;\n", name);
|
429 | dc99065b | bellard | fprintf(outfile, "}\n\n");
|
430 | 367e86e8 | bellard | } |
431 | 367e86e8 | bellard | } |
432 | 367e86e8 | bellard | |
433 | 367e86e8 | bellard | /* load an elf object file */
|
434 | dc99065b | bellard | int load_elf(const char *filename, FILE *outfile, int do_print_enum) |
435 | 367e86e8 | bellard | { |
436 | 367e86e8 | bellard | int fd;
|
437 | 367e86e8 | bellard | Elf32_Ehdr ehdr; |
438 | 367e86e8 | bellard | Elf32_Shdr *sec, *shdr, *symtab_sec, *strtab_sec, *text_sec; |
439 | 367e86e8 | bellard | int i, j, nb_syms;
|
440 | 367e86e8 | bellard | Elf32_Sym *symtab, *sym; |
441 | 367e86e8 | bellard | const char *cpu_name; |
442 | 367e86e8 | bellard | char *shstr, *strtab;
|
443 | 367e86e8 | bellard | uint8_t *text; |
444 | 367e86e8 | bellard | void *relocs;
|
445 | 367e86e8 | bellard | int nb_relocs, reloc_sh_type;
|
446 | 367e86e8 | bellard | |
447 | 367e86e8 | bellard | fd = open(filename, O_RDONLY); |
448 | 367e86e8 | bellard | if (fd < 0) |
449 | 367e86e8 | bellard | error("can't open file '%s'", filename);
|
450 | 367e86e8 | bellard | |
451 | 367e86e8 | bellard | /* Read ELF header. */
|
452 | 367e86e8 | bellard | if (read(fd, &ehdr, sizeof (ehdr)) != sizeof (ehdr)) |
453 | 367e86e8 | bellard | error("unable to read file header");
|
454 | 367e86e8 | bellard | |
455 | 367e86e8 | bellard | /* Check ELF identification. */
|
456 | 367e86e8 | bellard | if (ehdr.e_ident[EI_MAG0] != ELFMAG0
|
457 | 367e86e8 | bellard | || ehdr.e_ident[EI_MAG1] != ELFMAG1 |
458 | 367e86e8 | bellard | || ehdr.e_ident[EI_MAG2] != ELFMAG2 |
459 | 367e86e8 | bellard | || ehdr.e_ident[EI_MAG3] != ELFMAG3 |
460 | 367e86e8 | bellard | || ehdr.e_ident[EI_CLASS] != ELFCLASS32 |
461 | 367e86e8 | bellard | || ehdr.e_ident[EI_VERSION] != EV_CURRENT) { |
462 | 367e86e8 | bellard | error("bad ELF header");
|
463 | 367e86e8 | bellard | } |
464 | 367e86e8 | bellard | |
465 | 367e86e8 | bellard | do_swap = elf_must_swap(&ehdr); |
466 | 367e86e8 | bellard | if (do_swap)
|
467 | 367e86e8 | bellard | elf_swap_ehdr(&ehdr); |
468 | 367e86e8 | bellard | if (ehdr.e_type != ET_REL)
|
469 | 367e86e8 | bellard | error("ELF object file expected");
|
470 | 367e86e8 | bellard | if (ehdr.e_version != EV_CURRENT)
|
471 | 367e86e8 | bellard | error("Invalid ELF version");
|
472 | 367e86e8 | bellard | e_machine = ehdr.e_machine; |
473 | 367e86e8 | bellard | |
474 | 367e86e8 | bellard | /* read section headers */
|
475 | 367e86e8 | bellard | shdr = load_data(fd, ehdr.e_shoff, ehdr.e_shnum * sizeof(Elf32_Shdr));
|
476 | 367e86e8 | bellard | if (do_swap) {
|
477 | 367e86e8 | bellard | for(i = 0; i < ehdr.e_shnum; i++) { |
478 | 367e86e8 | bellard | elf_swap_shdr(&shdr[i]); |
479 | 367e86e8 | bellard | } |
480 | 367e86e8 | bellard | } |
481 | 367e86e8 | bellard | |
482 | 367e86e8 | bellard | sec = &shdr[ehdr.e_shstrndx]; |
483 | 367e86e8 | bellard | shstr = load_data(fd, sec->sh_offset, sec->sh_size); |
484 | 367e86e8 | bellard | |
485 | 367e86e8 | bellard | /* text section */
|
486 | 367e86e8 | bellard | |
487 | 367e86e8 | bellard | text_sec = find_elf_section(shdr, ehdr.e_shnum, shstr, ".text");
|
488 | 367e86e8 | bellard | if (!text_sec)
|
489 | 367e86e8 | bellard | error("could not find .text section");
|
490 | 367e86e8 | bellard | text = load_data(fd, text_sec->sh_offset, text_sec->sh_size); |
491 | 367e86e8 | bellard | |
492 | 367e86e8 | bellard | /* find text relocations, if any */
|
493 | 367e86e8 | bellard | nb_relocs = 0;
|
494 | 367e86e8 | bellard | relocs = NULL;
|
495 | 367e86e8 | bellard | reloc_sh_type = 0;
|
496 | 367e86e8 | bellard | for(i = 0; i < ehdr.e_shnum; i++) { |
497 | 367e86e8 | bellard | sec = &shdr[i]; |
498 | 367e86e8 | bellard | if ((sec->sh_type == SHT_REL || sec->sh_type == SHT_RELA) &&
|
499 | 367e86e8 | bellard | sec->sh_info == (text_sec - shdr)) { |
500 | 367e86e8 | bellard | reloc_sh_type = sec->sh_type; |
501 | 367e86e8 | bellard | relocs = load_data(fd, sec->sh_offset, sec->sh_size); |
502 | 367e86e8 | bellard | nb_relocs = sec->sh_size / sec->sh_entsize; |
503 | 367e86e8 | bellard | if (do_swap) {
|
504 | 367e86e8 | bellard | if (sec->sh_type == SHT_REL) {
|
505 | 367e86e8 | bellard | Elf32_Rel *rel = relocs; |
506 | 367e86e8 | bellard | for(j = 0, rel = relocs; j < nb_relocs; j++, rel++) { |
507 | 367e86e8 | bellard | swab32s(&rel->r_offset); |
508 | 367e86e8 | bellard | swab32s(&rel->r_info); |
509 | 367e86e8 | bellard | } |
510 | 367e86e8 | bellard | } else {
|
511 | 367e86e8 | bellard | Elf32_Rela *rel = relocs; |
512 | 367e86e8 | bellard | for(j = 0, rel = relocs; j < nb_relocs; j++, rel++) { |
513 | 367e86e8 | bellard | swab32s(&rel->r_offset); |
514 | 367e86e8 | bellard | swab32s(&rel->r_info); |
515 | 367e86e8 | bellard | swab32s(&rel->r_addend); |
516 | 367e86e8 | bellard | } |
517 | 367e86e8 | bellard | } |
518 | 367e86e8 | bellard | } |
519 | 367e86e8 | bellard | break;
|
520 | 367e86e8 | bellard | } |
521 | 367e86e8 | bellard | } |
522 | 367e86e8 | bellard | |
523 | 367e86e8 | bellard | symtab_sec = find_elf_section(shdr, ehdr.e_shnum, shstr, ".symtab");
|
524 | 367e86e8 | bellard | if (!symtab_sec)
|
525 | 367e86e8 | bellard | error("could not find .symtab section");
|
526 | 367e86e8 | bellard | strtab_sec = &shdr[symtab_sec->sh_link]; |
527 | 367e86e8 | bellard | |
528 | 367e86e8 | bellard | symtab = load_data(fd, symtab_sec->sh_offset, symtab_sec->sh_size); |
529 | 367e86e8 | bellard | strtab = load_data(fd, strtab_sec->sh_offset, strtab_sec->sh_size); |
530 | 367e86e8 | bellard | |
531 | 367e86e8 | bellard | nb_syms = symtab_sec->sh_size / sizeof(Elf32_Sym);
|
532 | 367e86e8 | bellard | if (do_swap) {
|
533 | 367e86e8 | bellard | for(i = 0, sym = symtab; i < nb_syms; i++, sym++) { |
534 | 367e86e8 | bellard | swab32s(&sym->st_name); |
535 | 367e86e8 | bellard | swab32s(&sym->st_value); |
536 | 367e86e8 | bellard | swab32s(&sym->st_size); |
537 | 367e86e8 | bellard | swab16s(&sym->st_shndx); |
538 | 367e86e8 | bellard | } |
539 | 367e86e8 | bellard | } |
540 | 367e86e8 | bellard | |
541 | 367e86e8 | bellard | switch(e_machine) {
|
542 | 367e86e8 | bellard | case EM_386:
|
543 | 367e86e8 | bellard | cpu_name = "i386";
|
544 | 367e86e8 | bellard | break;
|
545 | 367e86e8 | bellard | case EM_PPC:
|
546 | 367e86e8 | bellard | cpu_name = "ppc";
|
547 | 367e86e8 | bellard | break;
|
548 | 367e86e8 | bellard | case EM_MIPS:
|
549 | 367e86e8 | bellard | cpu_name = "mips";
|
550 | 367e86e8 | bellard | break;
|
551 | 367e86e8 | bellard | case EM_ARM:
|
552 | 367e86e8 | bellard | cpu_name = "arm";
|
553 | 367e86e8 | bellard | break;
|
554 | 367e86e8 | bellard | case EM_SPARC:
|
555 | 367e86e8 | bellard | cpu_name = "sparc";
|
556 | 367e86e8 | bellard | break;
|
557 | 367e86e8 | bellard | default:
|
558 | 367e86e8 | bellard | error("unsupported CPU (e_machine=%d)", e_machine);
|
559 | 367e86e8 | bellard | } |
560 | 367e86e8 | bellard | |
561 | dc99065b | bellard | if (do_print_enum) {
|
562 | dc99065b | bellard | fprintf(outfile, "DEF(end)\n");
|
563 | dc99065b | bellard | for(i = 0, sym = symtab; i < nb_syms; i++, sym++) { |
564 | dc99065b | bellard | const char *name, *p; |
565 | dc99065b | bellard | name = strtab + sym->st_name; |
566 | dc99065b | bellard | if (strstart(name, OP_PREFIX, &p)) {
|
567 | dc99065b | bellard | fprintf(outfile, "DEF(%s)\n", p);
|
568 | dc99065b | bellard | } |
569 | dc99065b | bellard | } |
570 | dc99065b | bellard | } else {
|
571 | dc99065b | bellard | /* generate big code generation switch */
|
572 | dc99065b | bellard | fprintf(outfile, |
573 | dc99065b | bellard | "int dyngen_code(uint8_t *gen_code_buf,\n"
|
574 | dc99065b | bellard | " const uint16_t *opc_buf, const uint32_t *opparam_buf)\n"
|
575 | dc99065b | bellard | "{\n"
|
576 | dc99065b | bellard | " uint8_t *gen_code_ptr;\n"
|
577 | dc99065b | bellard | " const uint16_t *opc_ptr;\n"
|
578 | dc99065b | bellard | " const uint32_t *opparam_ptr;\n"
|
579 | dc99065b | bellard | " gen_code_ptr = gen_code_buf;\n"
|
580 | dc99065b | bellard | " opc_ptr = opc_buf;\n"
|
581 | dc99065b | bellard | " opparam_ptr = opparam_buf;\n"
|
582 | dc99065b | bellard | " for(;;) {\n"
|
583 | dc99065b | bellard | " switch(*opc_ptr++) {\n"
|
584 | dc99065b | bellard | ); |
585 | 367e86e8 | bellard | |
586 | dc99065b | bellard | for(i = 0, sym = symtab; i < nb_syms; i++, sym++) { |
587 | dc99065b | bellard | const char *name; |
588 | dc99065b | bellard | name = strtab + sym->st_name; |
589 | dc99065b | bellard | if (strstart(name, OP_PREFIX, NULL)) { |
590 | 367e86e8 | bellard | #if 0
|
591 | dc99065b | bellard | printf("%4d: %s pos=0x%08x len=%d\n",
|
592 | dc99065b | bellard | i, name, sym->st_value, sym->st_size);
|
593 | 367e86e8 | bellard | #endif
|
594 | dc99065b | bellard | if (sym->st_shndx != (text_sec - shdr))
|
595 | dc99065b | bellard | error("invalid section for opcode (0x%x)", sym->st_shndx);
|
596 | dc99065b | bellard | gen_code(name, sym->st_value, sym->st_size, outfile, |
597 | dc99065b | bellard | text, relocs, nb_relocs, reloc_sh_type, symtab, strtab, 1);
|
598 | dc99065b | bellard | } |
599 | dc99065b | bellard | } |
600 | dc99065b | bellard | |
601 | dc99065b | bellard | fprintf(outfile, |
602 | dc99065b | bellard | " default:\n"
|
603 | dc99065b | bellard | " goto the_end;\n"
|
604 | dc99065b | bellard | " }\n"
|
605 | dc99065b | bellard | " }\n"
|
606 | dc99065b | bellard | " the_end:\n"
|
607 | dc99065b | bellard | ); |
608 | dc99065b | bellard | |
609 | dc99065b | bellard | /* generate a return */
|
610 | dc99065b | bellard | switch(e_machine) {
|
611 | dc99065b | bellard | case EM_386:
|
612 | dc99065b | bellard | fprintf(outfile, "*gen_code_ptr++ = 0xc3; /* ret */\n");
|
613 | dc99065b | bellard | break;
|
614 | 04369ff2 | bellard | case EM_PPC:
|
615 | 04369ff2 | bellard | fprintf(outfile, "*((uint32_t *)gen_code_ptr)++ = 0x4e800020; /* blr */\n");
|
616 | 04369ff2 | bellard | break;
|
617 | dc99065b | bellard | default:
|
618 | dc99065b | bellard | error("no return generation for cpu '%s'", cpu_name);
|
619 | dc99065b | bellard | } |
620 | dc99065b | bellard | |
621 | dc99065b | bellard | fprintf(outfile, "return gen_code_ptr - gen_code_buf;\n");
|
622 | dc99065b | bellard | fprintf(outfile, "}\n\n");
|
623 | dc99065b | bellard | |
624 | dc99065b | bellard | /* generate gen_xxx functions */
|
625 | dc99065b | bellard | /* XXX: suppress the use of these functions to simplify code */
|
626 | dc99065b | bellard | for(i = 0, sym = symtab; i < nb_syms; i++, sym++) { |
627 | dc99065b | bellard | const char *name; |
628 | dc99065b | bellard | name = strtab + sym->st_name; |
629 | dc99065b | bellard | if (strstart(name, OP_PREFIX, NULL)) { |
630 | dc99065b | bellard | if (sym->st_shndx != (text_sec - shdr))
|
631 | dc99065b | bellard | error("invalid section for opcode (0x%x)", sym->st_shndx);
|
632 | dc99065b | bellard | gen_code(name, sym->st_value, sym->st_size, outfile, |
633 | dc99065b | bellard | text, relocs, nb_relocs, reloc_sh_type, symtab, strtab, 0);
|
634 | dc99065b | bellard | } |
635 | 367e86e8 | bellard | } |
636 | 367e86e8 | bellard | } |
637 | 367e86e8 | bellard | |
638 | 367e86e8 | bellard | close(fd); |
639 | 367e86e8 | bellard | return 0; |
640 | 367e86e8 | bellard | } |
641 | 367e86e8 | bellard | |
642 | 367e86e8 | bellard | void usage(void) |
643 | 367e86e8 | bellard | { |
644 | 367e86e8 | bellard | printf("dyngen (c) 2003 Fabrice Bellard\n"
|
645 | dc99065b | bellard | "usage: dyngen [-o outfile] [-c] objfile\n"
|
646 | dc99065b | bellard | "Generate a dynamic code generator from an object file\n"
|
647 | dc99065b | bellard | "-c output enum of operations\n"
|
648 | dc99065b | bellard | ); |
649 | 367e86e8 | bellard | exit(1);
|
650 | 367e86e8 | bellard | } |
651 | 367e86e8 | bellard | |
652 | 367e86e8 | bellard | int main(int argc, char **argv) |
653 | 367e86e8 | bellard | { |
654 | dc99065b | bellard | int c, do_print_enum;
|
655 | 367e86e8 | bellard | const char *filename, *outfilename; |
656 | 367e86e8 | bellard | FILE *outfile; |
657 | 367e86e8 | bellard | |
658 | 367e86e8 | bellard | outfilename = "out.c";
|
659 | dc99065b | bellard | do_print_enum = 0;
|
660 | 367e86e8 | bellard | for(;;) {
|
661 | dc99065b | bellard | c = getopt(argc, argv, "ho:c");
|
662 | 367e86e8 | bellard | if (c == -1) |
663 | 367e86e8 | bellard | break;
|
664 | 367e86e8 | bellard | switch(c) {
|
665 | 367e86e8 | bellard | case 'h': |
666 | 367e86e8 | bellard | usage(); |
667 | 367e86e8 | bellard | break;
|
668 | 367e86e8 | bellard | case 'o': |
669 | 367e86e8 | bellard | outfilename = optarg; |
670 | 367e86e8 | bellard | break;
|
671 | dc99065b | bellard | case 'c': |
672 | dc99065b | bellard | do_print_enum = 1;
|
673 | dc99065b | bellard | break;
|
674 | 367e86e8 | bellard | } |
675 | 367e86e8 | bellard | } |
676 | 367e86e8 | bellard | if (optind >= argc)
|
677 | 367e86e8 | bellard | usage(); |
678 | 367e86e8 | bellard | filename = argv[optind]; |
679 | 367e86e8 | bellard | outfile = fopen(outfilename, "w");
|
680 | 367e86e8 | bellard | if (!outfile)
|
681 | 367e86e8 | bellard | error("could not open '%s'", outfilename);
|
682 | dc99065b | bellard | load_elf(filename, outfile, do_print_enum); |
683 | 367e86e8 | bellard | fclose(outfile); |
684 | 367e86e8 | bellard | return 0; |
685 | 367e86e8 | bellard | } |