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