]>
Commit | Line | Data |
---|---|---|
a6be0538 | 1 | /* BFD back-end for WebAssembly modules. |
e8e7cf2a | 2 | Copyright (C) 2017-2025 Free Software Foundation, Inc. |
a6be0538 PC |
3 | |
4 | Based on srec.c, mmo.c, and binary.c | |
5 | ||
6 | This file is part of BFD, the Binary File Descriptor library. | |
7 | ||
8 | This program is free software; you can redistribute it and/or modify | |
9 | it under the terms of the GNU General Public License as published by | |
10 | the Free Software Foundation; either version 3 of the License, or | |
11 | (at your option) any later version. | |
12 | ||
13 | This program is distributed in the hope that it will be useful, | |
14 | but WITHOUT ANY WARRANTY; without even the implied warranty of | |
15 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
16 | GNU General Public License for more details. | |
17 | ||
18 | You should have received a copy of the GNU General Public License | |
19 | along with this program; if not, write to the Free Software | |
20 | Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston, | |
21 | MA 02110-1301, USA. */ | |
22 | ||
23 | /* The WebAssembly module format is a simple object file format | |
24 | including up to 11 numbered sections, plus any number of named | |
25 | "custom" sections. It is described at: | |
26 | https://github.com/WebAssembly/design/blob/master/BinaryEncoding.md. */ | |
27 | ||
28 | #include "sysdep.h" | |
a6be0538 | 29 | #include "bfd.h" |
a6be0538 PC |
30 | #include "libiberty.h" |
31 | #include "libbfd.h" | |
32 | #include "wasm-module.h" | |
33 | ||
b9b204b3 | 34 | #include <limits.h> |
b9b204b3 AM |
35 | #ifndef CHAR_BIT |
36 | #define CHAR_BIT 8 | |
37 | #endif | |
38 | ||
a6be0538 PC |
39 | typedef struct |
40 | { | |
41 | asymbol * symbols; | |
42 | bfd_size_type symcount; | |
43 | } tdata_type; | |
44 | ||
45 | static const char * const wasm_numbered_sections[] = | |
46 | { | |
47 | NULL, /* Custom section, different layout. */ | |
48 | WASM_SECTION ( 1, "type"), | |
49 | WASM_SECTION ( 2, "import"), | |
50 | WASM_SECTION ( 3, "function"), | |
51 | WASM_SECTION ( 4, "table"), | |
52 | WASM_SECTION ( 5, "memory"), | |
53 | WASM_SECTION ( 6, "global"), | |
54 | WASM_SECTION ( 7, "export"), | |
55 | WASM_SECTION ( 8, "start"), | |
56 | WASM_SECTION ( 9, "element"), | |
57 | WASM_SECTION (10, "code"), | |
58 | WASM_SECTION (11, "data"), | |
59 | }; | |
60 | ||
61 | #define WASM_NUMBERED_SECTIONS ARRAY_SIZE (wasm_numbered_sections) | |
62 | ||
63 | /* Resolve SECTION_CODE to a section name if there is one, NULL | |
64 | otherwise. */ | |
65 | ||
66 | static const char * | |
67 | wasm_section_code_to_name (bfd_byte section_code) | |
68 | { | |
69 | if (section_code < WASM_NUMBERED_SECTIONS) | |
70 | return wasm_numbered_sections[section_code]; | |
71 | ||
72 | return NULL; | |
73 | } | |
74 | ||
75 | /* Translate section name NAME to a section code, or 0 if it's a | |
76 | custom name. */ | |
77 | ||
78 | static unsigned int | |
79 | wasm_section_name_to_code (const char *name) | |
80 | { | |
81 | unsigned i; | |
82 | ||
83 | for (i = 1; i < WASM_NUMBERED_SECTIONS; i++) | |
84 | if (strcmp (name, wasm_numbered_sections[i]) == 0) | |
85 | return i; | |
86 | ||
87 | return 0; | |
88 | } | |
89 | ||
90 | /* WebAssembly LEB128 integers are sufficiently like DWARF LEB128 | |
91 | integers that we use _bfd_safe_read_leb128, but there are two | |
92 | points of difference: | |
93 | ||
94 | - WebAssembly requires a 32-bit value to be encoded in at most 5 | |
95 | bytes, etc. | |
96 | - _bfd_safe_read_leb128 accepts incomplete LEB128 encodings at the | |
97 | end of the buffer, while these are invalid in WebAssembly. | |
98 | ||
99 | Those differences mean that we will accept some files that are | |
100 | invalid WebAssembly. */ | |
101 | ||
102 | /* Read an LEB128-encoded integer from ABFD's I/O stream, reading one | |
103 | byte at a time. Set ERROR_RETURN if no complete integer could be | |
104 | read, LENGTH_RETURN to the number of bytes read (including bytes in | |
105 | incomplete numbers). SIGN means interpret the number as SLEB128. */ | |
106 | ||
107 | static bfd_vma | |
0a1b45a2 AM |
108 | wasm_read_leb128 (bfd *abfd, |
109 | bool *error_return, | |
110 | unsigned int *length_return, | |
111 | bool sign) | |
a6be0538 PC |
112 | { |
113 | bfd_vma result = 0; | |
114 | unsigned int num_read = 0; | |
115 | unsigned int shift = 0; | |
116 | unsigned char byte = 0; | |
b9b204b3 | 117 | unsigned char lost, mask; |
27c1c427 | 118 | int status = 1; |
a6be0538 | 119 | |
226f9f4f | 120 | while (bfd_read (&byte, 1, abfd) == 1) |
a6be0538 PC |
121 | { |
122 | num_read++; | |
123 | ||
b9b204b3 | 124 | if (shift < CHAR_BIT * sizeof (result)) |
27c1c427 AM |
125 | { |
126 | result |= ((bfd_vma) (byte & 0x7f)) << shift; | |
b9b204b3 AM |
127 | /* These bits overflowed. */ |
128 | lost = byte ^ (result >> shift); | |
129 | /* And this is the mask of possible overflow bits. */ | |
130 | mask = 0x7f ^ ((bfd_vma) 0x7f << shift >> shift); | |
27c1c427 AM |
131 | shift += 7; |
132 | } | |
b9b204b3 AM |
133 | else |
134 | { | |
135 | lost = byte; | |
136 | mask = 0x7f; | |
137 | } | |
138 | if ((lost & mask) != (sign && (bfd_signed_vma) result < 0 ? mask : 0)) | |
27c1c427 | 139 | status |= 2; |
a6be0538 | 140 | |
a6be0538 | 141 | if ((byte & 0x80) == 0) |
07d6d2b8 | 142 | { |
27c1c427 | 143 | status &= ~1; |
b9b204b3 | 144 | if (sign && shift < CHAR_BIT * sizeof (result) && (byte & 0x40)) |
27c1c427 | 145 | result |= -((bfd_vma) 1 << shift); |
07d6d2b8 AM |
146 | break; |
147 | } | |
a6be0538 PC |
148 | } |
149 | ||
150 | if (length_return != NULL) | |
151 | *length_return = num_read; | |
152 | if (error_return != NULL) | |
27c1c427 | 153 | *error_return = status != 0; |
a6be0538 PC |
154 | |
155 | return result; | |
156 | } | |
157 | ||
158 | /* Encode an integer V as LEB128 and write it to ABFD, return TRUE on | |
159 | success. */ | |
160 | ||
0a1b45a2 | 161 | static bool |
a6be0538 PC |
162 | wasm_write_uleb128 (bfd *abfd, bfd_vma v) |
163 | { | |
164 | do | |
165 | { | |
166 | bfd_byte c = v & 0x7f; | |
167 | v >>= 7; | |
168 | ||
169 | if (v) | |
07d6d2b8 | 170 | c |= 0x80; |
a6be0538 | 171 | |
226f9f4f | 172 | if (bfd_write (&c, 1, abfd) != 1) |
0a1b45a2 | 173 | return false; |
a6be0538 PC |
174 | } |
175 | while (v); | |
176 | ||
0a1b45a2 | 177 | return true; |
a6be0538 PC |
178 | } |
179 | ||
180 | /* Read the LEB128 integer at P, saving it to X; at end of buffer, | |
181 | jump to error_return. */ | |
07d6d2b8 AM |
182 | #define READ_LEB128(x, p, end) \ |
183 | do \ | |
184 | { \ | |
574ec108 | 185 | if ((p) >= (end)) \ |
07d6d2b8 | 186 | goto error_return; \ |
574ec108 | 187 | (x) = _bfd_safe_read_leb128 (abfd, &(p), false, (end)); \ |
07d6d2b8 | 188 | } \ |
a6be0538 PC |
189 | while (0) |
190 | ||
191 | /* Verify the magic number at the beginning of a WebAssembly module | |
192 | ABFD, setting ERRORPTR if there's a mismatch. */ | |
193 | ||
0a1b45a2 AM |
194 | static bool |
195 | wasm_read_magic (bfd *abfd, bool *errorptr) | |
a6be0538 PC |
196 | { |
197 | bfd_byte magic_const[SIZEOF_WASM_MAGIC] = WASM_MAGIC; | |
198 | bfd_byte magic[SIZEOF_WASM_MAGIC]; | |
199 | ||
226f9f4f | 200 | if (bfd_read (magic, sizeof (magic), abfd) == sizeof (magic) |
a6be0538 | 201 | && memcmp (magic, magic_const, sizeof (magic)) == 0) |
0a1b45a2 | 202 | return true; |
a6be0538 | 203 | |
0a1b45a2 AM |
204 | *errorptr = true; |
205 | return false; | |
a6be0538 PC |
206 | } |
207 | ||
208 | /* Read the version number from ABFD, returning TRUE if it's a supported | |
209 | version. Set ERRORPTR otherwise. */ | |
210 | ||
0a1b45a2 AM |
211 | static bool |
212 | wasm_read_version (bfd *abfd, bool *errorptr) | |
a6be0538 PC |
213 | { |
214 | bfd_byte vers_const[SIZEOF_WASM_VERSION] = WASM_VERSION; | |
215 | bfd_byte vers[SIZEOF_WASM_VERSION]; | |
216 | ||
226f9f4f | 217 | if (bfd_read (vers, sizeof (vers), abfd) == sizeof (vers) |
a6be0538 PC |
218 | /* Don't attempt to parse newer versions, which are likely to |
219 | require code changes. */ | |
220 | && memcmp (vers, vers_const, sizeof (vers)) == 0) | |
0a1b45a2 | 221 | return true; |
a6be0538 | 222 | |
0a1b45a2 AM |
223 | *errorptr = true; |
224 | return false; | |
a6be0538 PC |
225 | } |
226 | ||
227 | /* Read the WebAssembly header (magic number plus version number) from | |
228 | ABFD, setting ERRORPTR to TRUE if there is a mismatch. */ | |
229 | ||
0a1b45a2 AM |
230 | static bool |
231 | wasm_read_header (bfd *abfd, bool *errorptr) | |
a6be0538 PC |
232 | { |
233 | if (! wasm_read_magic (abfd, errorptr)) | |
0a1b45a2 | 234 | return false; |
a6be0538 PC |
235 | |
236 | if (! wasm_read_version (abfd, errorptr)) | |
0a1b45a2 | 237 | return false; |
a6be0538 | 238 | |
0a1b45a2 | 239 | return true; |
a6be0538 PC |
240 | } |
241 | ||
242 | /* Scan the "function" subsection of the "name" section ASECT in the | |
243 | wasm module ABFD. Create symbols. Return TRUE on success. */ | |
244 | ||
0a1b45a2 | 245 | static bool |
a6be0538 PC |
246 | wasm_scan_name_function_section (bfd *abfd, sec_ptr asect) |
247 | { | |
248 | bfd_byte *p; | |
249 | bfd_byte *end; | |
250 | bfd_vma payload_size; | |
251 | bfd_vma symcount = 0; | |
252 | tdata_type *tdata = abfd->tdata.any; | |
253 | asymbol *symbols = NULL; | |
254 | sec_ptr space_function_index; | |
1f4361a7 | 255 | size_t amt; |
a6be0538 | 256 | |
a6be0538 PC |
257 | p = asect->contents; |
258 | end = asect->contents + asect->size; | |
259 | ||
0c0adcc5 | 260 | if (!p) |
0a1b45a2 | 261 | return false; |
a6be0538 PC |
262 | |
263 | while (p < end) | |
264 | { | |
265 | bfd_byte subsection_code = *p++; | |
266 | if (subsection_code == WASM_FUNCTION_SUBSECTION) | |
07d6d2b8 | 267 | break; |
a6be0538 PC |
268 | |
269 | /* subsection_code is documented to be a varuint7, meaning that | |
07d6d2b8 AM |
270 | it has to be a single byte in the 0 - 127 range. If it isn't, |
271 | the spec must have changed underneath us, so give up. */ | |
a6be0538 | 272 | if (subsection_code & 0x80) |
0a1b45a2 | 273 | return false; |
a6be0538 PC |
274 | |
275 | READ_LEB128 (payload_size, p, end); | |
276 | ||
0c0adcc5 | 277 | if (payload_size > (size_t) (end - p)) |
0a1b45a2 | 278 | return false; |
a6be0538 PC |
279 | |
280 | p += payload_size; | |
281 | } | |
282 | ||
283 | if (p >= end) | |
0a1b45a2 | 284 | return false; |
a6be0538 PC |
285 | |
286 | READ_LEB128 (payload_size, p, end); | |
287 | ||
0c0adcc5 | 288 | if (payload_size > (size_t) (end - p)) |
0a1b45a2 | 289 | return false; |
a6be0538 PC |
290 | |
291 | end = p + payload_size; | |
292 | ||
293 | READ_LEB128 (symcount, p, end); | |
294 | ||
295 | /* Sanity check: each symbol has at least two bytes. */ | |
0c0adcc5 | 296 | if (symcount > payload_size / 2) |
0a1b45a2 | 297 | return false; |
a6be0538 PC |
298 | |
299 | tdata->symcount = symcount; | |
300 | ||
0c0adcc5 AM |
301 | space_function_index |
302 | = bfd_make_section_with_flags (abfd, WASM_SECTION_FUNCTION_INDEX, | |
303 | SEC_READONLY | SEC_CODE); | |
a6be0538 | 304 | |
0c0adcc5 AM |
305 | if (!space_function_index) |
306 | space_function_index | |
307 | = bfd_get_section_by_name (abfd, WASM_SECTION_FUNCTION_INDEX); | |
a6be0538 | 308 | |
0c0adcc5 | 309 | if (!space_function_index) |
0a1b45a2 | 310 | return false; |
a6be0538 | 311 | |
1f4361a7 AM |
312 | if (_bfd_mul_overflow (tdata->symcount, sizeof (asymbol), &amt)) |
313 | { | |
314 | bfd_set_error (bfd_error_file_too_big); | |
0a1b45a2 | 315 | return false; |
1f4361a7 AM |
316 | } |
317 | symbols = bfd_alloc (abfd, amt); | |
0c0adcc5 | 318 | if (!symbols) |
0a1b45a2 | 319 | return false; |
a6be0538 PC |
320 | |
321 | for (symcount = 0; p < end && symcount < tdata->symcount; symcount++) | |
322 | { | |
87993319 | 323 | bfd_vma idx; |
a6be0538 PC |
324 | bfd_vma len; |
325 | char *name; | |
326 | asymbol *sym; | |
327 | ||
87993319 | 328 | READ_LEB128 (idx, p, end); |
a6be0538 PC |
329 | READ_LEB128 (len, p, end); |
330 | ||
0c0adcc5 | 331 | if (len > (size_t) (end - p)) |
07d6d2b8 | 332 | goto error_return; |
a6be0538 | 333 | |
0c0adcc5 AM |
334 | name = bfd_alloc (abfd, len + 1); |
335 | if (!name) | |
07d6d2b8 | 336 | goto error_return; |
a6be0538 PC |
337 | |
338 | memcpy (name, p, len); | |
0c0adcc5 | 339 | name[len] = 0; |
a6be0538 PC |
340 | p += len; |
341 | ||
342 | sym = &symbols[symcount]; | |
343 | sym->the_bfd = abfd; | |
344 | sym->name = name; | |
87993319 | 345 | sym->value = idx; |
a6be0538 PC |
346 | sym->flags = BSF_GLOBAL | BSF_FUNCTION; |
347 | sym->section = space_function_index; | |
348 | sym->udata.p = NULL; | |
349 | } | |
350 | ||
351 | if (symcount < tdata->symcount) | |
352 | goto error_return; | |
353 | ||
354 | tdata->symbols = symbols; | |
355 | abfd->symcount = symcount; | |
356 | ||
0a1b45a2 | 357 | return true; |
a6be0538 PC |
358 | |
359 | error_return: | |
cfabce5b AM |
360 | if (symbols) |
361 | bfd_release (abfd, symbols); | |
d499fb89 | 362 | tdata->symcount = 0; |
0a1b45a2 | 363 | return false; |
a6be0538 PC |
364 | } |
365 | ||
366 | /* Read a byte from ABFD and return it, or EOF for EOF or error. | |
367 | Set ERRORPTR on non-EOF error. */ | |
368 | ||
369 | static int | |
0a1b45a2 | 370 | wasm_read_byte (bfd *abfd, bool *errorptr) |
a6be0538 PC |
371 | { |
372 | bfd_byte byte; | |
373 | ||
226f9f4f | 374 | if (bfd_read (&byte, 1, abfd) != 1) |
a6be0538 PC |
375 | { |
376 | if (bfd_get_error () != bfd_error_file_truncated) | |
0a1b45a2 | 377 | *errorptr = true; |
a6be0538 PC |
378 | return EOF; |
379 | } | |
380 | ||
381 | return byte; | |
382 | } | |
383 | ||
384 | /* Scan the wasm module ABFD, creating sections and symbols. | |
385 | Return TRUE on success. */ | |
386 | ||
0a1b45a2 | 387 | static bool |
a6be0538 PC |
388 | wasm_scan (bfd *abfd) |
389 | { | |
0a1b45a2 | 390 | bool error = false; |
a6be0538 PC |
391 | /* Fake VMAs for now. Choose 0x80000000 as base to avoid clashes |
392 | with actual data addresses. */ | |
393 | bfd_vma vma = 0x80000000; | |
394 | int section_code; | |
395 | unsigned int bytes_read; | |
a6be0538 PC |
396 | asection *bfdsec; |
397 | ||
226f9f4f | 398 | if (bfd_seek (abfd, 0, SEEK_SET) != 0) |
a6be0538 PC |
399 | goto error_return; |
400 | ||
0c0adcc5 | 401 | if (!wasm_read_header (abfd, &error)) |
a6be0538 PC |
402 | goto error_return; |
403 | ||
404 | while ((section_code = wasm_read_byte (abfd, &error)) != EOF) | |
405 | { | |
406 | if (section_code != 0) | |
07d6d2b8 AM |
407 | { |
408 | const char *sname = wasm_section_code_to_name (section_code); | |
409 | ||
0c0adcc5 | 410 | if (!sname) |
07d6d2b8 AM |
411 | goto error_return; |
412 | ||
0c0adcc5 AM |
413 | bfdsec = bfd_make_section_anyway_with_flags (abfd, sname, |
414 | SEC_HAS_CONTENTS); | |
07d6d2b8 AM |
415 | if (bfdsec == NULL) |
416 | goto error_return; | |
07d6d2b8 | 417 | |
0a1b45a2 | 418 | bfdsec->size = wasm_read_leb128 (abfd, &error, &bytes_read, false); |
07d6d2b8 AM |
419 | if (error) |
420 | goto error_return; | |
07d6d2b8 | 421 | } |
a6be0538 | 422 | else |
07d6d2b8 AM |
423 | { |
424 | bfd_vma payload_len; | |
07d6d2b8 | 425 | bfd_vma namelen; |
0c0adcc5 | 426 | char *name; |
07d6d2b8 | 427 | char *prefix = WASM_SECTION_PREFIX; |
0c0adcc5 | 428 | size_t prefixlen = strlen (prefix); |
2f57795b | 429 | ufile_ptr filesize; |
07d6d2b8 | 430 | |
0a1b45a2 | 431 | payload_len = wasm_read_leb128 (abfd, &error, &bytes_read, false); |
07d6d2b8 AM |
432 | if (error) |
433 | goto error_return; | |
0a1b45a2 | 434 | namelen = wasm_read_leb128 (abfd, &error, &bytes_read, false); |
2f57795b AM |
435 | if (error || bytes_read > payload_len |
436 | || namelen > payload_len - bytes_read) | |
07d6d2b8 | 437 | goto error_return; |
2f57795b AM |
438 | payload_len -= namelen + bytes_read; |
439 | filesize = bfd_get_file_size (abfd); | |
440 | if (filesize != 0 && namelen > filesize) | |
441 | { | |
442 | bfd_set_error (bfd_error_file_truncated); | |
0a1b45a2 | 443 | return false; |
2f57795b | 444 | } |
0c0adcc5 AM |
445 | name = bfd_alloc (abfd, namelen + prefixlen + 1); |
446 | if (!name) | |
07d6d2b8 | 447 | goto error_return; |
0c0adcc5 | 448 | memcpy (name, prefix, prefixlen); |
226f9f4f | 449 | if (bfd_read (name + prefixlen, namelen, abfd) != namelen) |
a6be0538 | 450 | goto error_return; |
0c0adcc5 | 451 | name[prefixlen + namelen] = 0; |
a6be0538 | 452 | |
0c0adcc5 AM |
453 | bfdsec = bfd_make_section_anyway_with_flags (abfd, name, |
454 | SEC_HAS_CONTENTS); | |
07d6d2b8 AM |
455 | if (bfdsec == NULL) |
456 | goto error_return; | |
a6be0538 | 457 | |
2f57795b | 458 | bfdsec->size = payload_len; |
07d6d2b8 | 459 | } |
a6be0538 | 460 | |
2f57795b AM |
461 | bfdsec->vma = vma; |
462 | bfdsec->lma = vma; | |
463 | bfdsec->alignment_power = 0; | |
464 | bfdsec->filepos = bfd_tell (abfd); | |
a6be0538 | 465 | if (bfdsec->size != 0) |
07d6d2b8 | 466 | { |
2bb3687b AM |
467 | bfdsec->contents = _bfd_alloc_and_read (abfd, bfdsec->size, |
468 | bfdsec->size); | |
0c0adcc5 | 469 | if (!bfdsec->contents) |
07d6d2b8 | 470 | goto error_return; |
cb6326b5 | 471 | bfdsec->alloced = 1; |
07d6d2b8 | 472 | } |
a6be0538 PC |
473 | |
474 | vma += bfdsec->size; | |
475 | } | |
476 | ||
477 | /* Make sure we're at actual EOF. There's no indication in the | |
478 | WebAssembly format of how long the file is supposed to be. */ | |
479 | if (error) | |
480 | goto error_return; | |
481 | ||
0a1b45a2 | 482 | return true; |
a6be0538 PC |
483 | |
484 | error_return: | |
0a1b45a2 | 485 | return false; |
a6be0538 PC |
486 | } |
487 | ||
488 | /* Put a numbered section ASECT of ABFD into the table of numbered | |
489 | sections pointed to by FSARG. */ | |
490 | ||
491 | static void | |
492 | wasm_register_section (bfd *abfd ATTRIBUTE_UNUSED, | |
07d6d2b8 | 493 | asection *asect, |
a6be0538 PC |
494 | void *fsarg) |
495 | { | |
496 | sec_ptr *numbered_sections = fsarg; | |
87993319 | 497 | int idx = wasm_section_name_to_code (asect->name); |
a6be0538 | 498 | |
87993319 | 499 | if (idx == 0) |
a6be0538 PC |
500 | return; |
501 | ||
87993319 | 502 | numbered_sections[idx] = asect; |
a6be0538 PC |
503 | } |
504 | ||
505 | struct compute_section_arg | |
506 | { | |
507 | bfd_vma pos; | |
0a1b45a2 | 508 | bool failed; |
a6be0538 PC |
509 | }; |
510 | ||
511 | /* Compute the file position of ABFD's section ASECT. FSARG is a | |
512 | pointer to the current file position. | |
513 | ||
514 | We allow section names of the form .wasm.id to encode the numbered | |
515 | section with ID id, if it exists; otherwise, a custom section with | |
516 | ID "id" is produced. Arbitrary section names are for sections that | |
517 | are assumed already to contain a section header; those are appended | |
518 | to the WebAssembly module verbatim. */ | |
519 | ||
520 | static void | |
521 | wasm_compute_custom_section_file_position (bfd *abfd, | |
522 | sec_ptr asect, | |
07d6d2b8 | 523 | void *fsarg) |
a6be0538 PC |
524 | { |
525 | struct compute_section_arg *fs = fsarg; | |
87993319 | 526 | int idx; |
a6be0538 PC |
527 | |
528 | if (fs->failed) | |
529 | return; | |
530 | ||
87993319 | 531 | idx = wasm_section_name_to_code (asect->name); |
a6be0538 | 532 | |
87993319 | 533 | if (idx != 0) |
a6be0538 PC |
534 | return; |
535 | ||
08dedd66 | 536 | if (startswith (asect->name, WASM_SECTION_PREFIX)) |
a6be0538 PC |
537 | { |
538 | const char *name = asect->name + strlen (WASM_SECTION_PREFIX); | |
539 | bfd_size_type payload_len = asect->size; | |
540 | bfd_size_type name_len = strlen (name); | |
541 | bfd_size_type nl = name_len; | |
542 | ||
543 | payload_len += name_len; | |
544 | ||
545 | do | |
07d6d2b8 AM |
546 | { |
547 | payload_len++; | |
548 | nl >>= 7; | |
549 | } | |
a6be0538 PC |
550 | while (nl); |
551 | ||
e416bd75 AM |
552 | if (bfd_seek (abfd, fs->pos, SEEK_SET) != 0 |
553 | || ! wasm_write_uleb128 (abfd, 0) | |
07d6d2b8 AM |
554 | || ! wasm_write_uleb128 (abfd, payload_len) |
555 | || ! wasm_write_uleb128 (abfd, name_len) | |
226f9f4f | 556 | || bfd_write (name, name_len, abfd) != name_len) |
07d6d2b8 | 557 | goto error_return; |
a6be0538 PC |
558 | fs->pos = asect->filepos = bfd_tell (abfd); |
559 | } | |
560 | else | |
561 | { | |
562 | asect->filepos = fs->pos; | |
563 | } | |
564 | ||
565 | ||
566 | fs->pos += asect->size; | |
567 | return; | |
568 | ||
569 | error_return: | |
0a1b45a2 | 570 | fs->failed = true; |
a6be0538 PC |
571 | } |
572 | ||
573 | /* Compute the file positions for the sections of ABFD. Currently, | |
574 | this writes all numbered sections first, in order, then all custom | |
575 | sections, in section order. | |
576 | ||
577 | The spec says that the numbered sections must appear in order of | |
578 | their ids, but custom sections can appear in any position and any | |
579 | order, and more than once. FIXME: support that. */ | |
580 | ||
0a1b45a2 | 581 | static bool |
a6be0538 PC |
582 | wasm_compute_section_file_positions (bfd *abfd) |
583 | { | |
584 | bfd_byte magic[SIZEOF_WASM_MAGIC] = WASM_MAGIC; | |
585 | bfd_byte vers[SIZEOF_WASM_VERSION] = WASM_VERSION; | |
586 | sec_ptr numbered_sections[WASM_NUMBERED_SECTIONS]; | |
587 | struct compute_section_arg fs; | |
588 | unsigned int i; | |
589 | ||
e416bd75 AM |
590 | if (bfd_seek (abfd, (bfd_vma) 0, SEEK_SET) != 0 |
591 | || bfd_write (magic, sizeof (magic), abfd) != (sizeof magic) | |
226f9f4f | 592 | || bfd_write (vers, sizeof (vers), abfd) != sizeof (vers)) |
0a1b45a2 | 593 | return false; |
a6be0538 PC |
594 | |
595 | for (i = 0; i < WASM_NUMBERED_SECTIONS; i++) | |
596 | numbered_sections[i] = NULL; | |
597 | ||
598 | bfd_map_over_sections (abfd, wasm_register_section, numbered_sections); | |
599 | ||
600 | fs.pos = bfd_tell (abfd); | |
601 | for (i = 0; i < WASM_NUMBERED_SECTIONS; i++) | |
602 | { | |
603 | sec_ptr sec = numbered_sections[i]; | |
604 | bfd_size_type size; | |
605 | ||
606 | if (! sec) | |
07d6d2b8 | 607 | continue; |
a6be0538 PC |
608 | size = sec->size; |
609 | if (bfd_seek (abfd, fs.pos, SEEK_SET) != 0) | |
0a1b45a2 | 610 | return false; |
a6be0538 | 611 | if (! wasm_write_uleb128 (abfd, i) |
07d6d2b8 | 612 | || ! wasm_write_uleb128 (abfd, size)) |
0a1b45a2 | 613 | return false; |
a6be0538 PC |
614 | fs.pos = sec->filepos = bfd_tell (abfd); |
615 | fs.pos += size; | |
616 | } | |
617 | ||
0a1b45a2 | 618 | fs.failed = false; |
a6be0538 PC |
619 | |
620 | bfd_map_over_sections (abfd, wasm_compute_custom_section_file_position, &fs); | |
621 | ||
622 | if (fs.failed) | |
0a1b45a2 | 623 | return false; |
a6be0538 | 624 | |
0a1b45a2 | 625 | abfd->output_has_begun = true; |
a6be0538 | 626 | |
0a1b45a2 | 627 | return true; |
a6be0538 PC |
628 | } |
629 | ||
0a1b45a2 | 630 | static bool |
a6be0538 | 631 | wasm_set_section_contents (bfd *abfd, |
07d6d2b8 AM |
632 | sec_ptr section, |
633 | const void *location, | |
634 | file_ptr offset, | |
635 | bfd_size_type count) | |
a6be0538 PC |
636 | { |
637 | if (count == 0) | |
0a1b45a2 | 638 | return true; |
a6be0538 PC |
639 | |
640 | if (! abfd->output_has_begun | |
641 | && ! wasm_compute_section_file_positions (abfd)) | |
0a1b45a2 | 642 | return false; |
a6be0538 PC |
643 | |
644 | if (bfd_seek (abfd, section->filepos + offset, SEEK_SET) != 0 | |
226f9f4f | 645 | || bfd_write (location, count, abfd) != count) |
0a1b45a2 | 646 | return false; |
a6be0538 | 647 | |
0a1b45a2 | 648 | return true; |
a6be0538 PC |
649 | } |
650 | ||
0a1b45a2 | 651 | static bool |
a6be0538 PC |
652 | wasm_write_object_contents (bfd* abfd) |
653 | { | |
654 | bfd_byte magic[] = WASM_MAGIC; | |
655 | bfd_byte vers[] = WASM_VERSION; | |
656 | ||
657 | if (bfd_seek (abfd, 0, SEEK_SET) != 0) | |
0a1b45a2 | 658 | return false; |
a6be0538 | 659 | |
226f9f4f AM |
660 | if (bfd_write (magic, sizeof (magic), abfd) != sizeof (magic) |
661 | || bfd_write (vers, sizeof (vers), abfd) != sizeof (vers)) | |
0a1b45a2 | 662 | return false; |
a6be0538 | 663 | |
0a1b45a2 | 664 | return true; |
a6be0538 PC |
665 | } |
666 | ||
0a1b45a2 | 667 | static bool |
a6be0538 PC |
668 | wasm_mkobject (bfd *abfd) |
669 | { | |
670 | tdata_type *tdata = (tdata_type *) bfd_alloc (abfd, sizeof (tdata_type)); | |
671 | ||
672 | if (! tdata) | |
0a1b45a2 | 673 | return false; |
a6be0538 PC |
674 | |
675 | tdata->symbols = NULL; | |
676 | tdata->symcount = 0; | |
677 | ||
678 | abfd->tdata.any = tdata; | |
679 | ||
0a1b45a2 | 680 | return true; |
a6be0538 PC |
681 | } |
682 | ||
683 | static long | |
684 | wasm_get_symtab_upper_bound (bfd *abfd) | |
685 | { | |
686 | tdata_type *tdata = abfd->tdata.any; | |
687 | ||
688 | return (tdata->symcount + 1) * (sizeof (asymbol *)); | |
689 | } | |
690 | ||
691 | static long | |
692 | wasm_canonicalize_symtab (bfd *abfd, asymbol **alocation) | |
693 | { | |
694 | tdata_type *tdata = abfd->tdata.any; | |
695 | size_t i; | |
696 | ||
697 | for (i = 0; i < tdata->symcount; i++) | |
698 | alocation[i] = &tdata->symbols[i]; | |
699 | alocation[i] = NULL; | |
700 | ||
701 | return tdata->symcount; | |
702 | } | |
703 | ||
704 | static asymbol * | |
705 | wasm_make_empty_symbol (bfd *abfd) | |
706 | { | |
986f0783 | 707 | size_t amt = sizeof (asymbol); |
a6be0538 PC |
708 | asymbol *new_symbol = (asymbol *) bfd_zalloc (abfd, amt); |
709 | ||
710 | if (! new_symbol) | |
711 | return NULL; | |
712 | new_symbol->the_bfd = abfd; | |
713 | return new_symbol; | |
714 | } | |
715 | ||
716 | static void | |
717 | wasm_print_symbol (bfd *abfd, | |
07d6d2b8 AM |
718 | void * filep, |
719 | asymbol *symbol, | |
720 | bfd_print_symbol_type how) | |
a6be0538 PC |
721 | { |
722 | FILE *file = (FILE *) filep; | |
723 | ||
724 | switch (how) | |
725 | { | |
726 | case bfd_print_symbol_name: | |
727 | fprintf (file, "%s", symbol->name); | |
728 | break; | |
729 | ||
730 | default: | |
731 | bfd_print_symbol_vandf (abfd, filep, symbol); | |
732 | fprintf (file, " %-5s %s", symbol->section->name, symbol->name); | |
733 | } | |
734 | } | |
735 | ||
736 | static void | |
737 | wasm_get_symbol_info (bfd *abfd ATTRIBUTE_UNUSED, | |
07d6d2b8 AM |
738 | asymbol *symbol, |
739 | symbol_info *ret) | |
a6be0538 PC |
740 | { |
741 | bfd_symbol_info (symbol, ret); | |
742 | } | |
743 | ||
744 | /* Check whether ABFD is a WebAssembly module; if so, scan it. */ | |
745 | ||
cb001c0d | 746 | static bfd_cleanup |
a6be0538 PC |
747 | wasm_object_p (bfd *abfd) |
748 | { | |
0a1b45a2 | 749 | bool error; |
0c0adcc5 | 750 | asection *s; |
a6be0538 | 751 | |
226f9f4f | 752 | if (bfd_seek (abfd, 0, SEEK_SET) != 0) |
a6be0538 PC |
753 | return NULL; |
754 | ||
0c0adcc5 | 755 | if (!wasm_read_header (abfd, &error)) |
a6be0538 PC |
756 | { |
757 | bfd_set_error (bfd_error_wrong_format); | |
758 | return NULL; | |
759 | } | |
760 | ||
0c0adcc5 | 761 | if (!wasm_mkobject (abfd)) |
a6be0538 PC |
762 | return NULL; |
763 | ||
0c0adcc5 AM |
764 | if (!wasm_scan (abfd) |
765 | || !bfd_default_set_arch_mach (abfd, bfd_arch_wasm32, 0)) | |
766 | { | |
767 | bfd_release (abfd, abfd->tdata.any); | |
768 | abfd->tdata.any = NULL; | |
769 | return NULL; | |
770 | } | |
a6be0538 | 771 | |
0c0adcc5 AM |
772 | s = bfd_get_section_by_name (abfd, WASM_NAME_SECTION); |
773 | if (s != NULL && wasm_scan_name_function_section (abfd, s)) | |
a6be0538 PC |
774 | abfd->flags |= HAS_SYMS; |
775 | ||
cb001c0d | 776 | return _bfd_no_cleanup; |
a6be0538 PC |
777 | } |
778 | ||
779 | /* BFD_JUMP_TABLE_WRITE */ | |
07d6d2b8 | 780 | #define wasm_set_arch_mach _bfd_generic_set_arch_mach |
a6be0538 PC |
781 | |
782 | /* BFD_JUMP_TABLE_SYMBOLS */ | |
07d6d2b8 AM |
783 | #define wasm_get_symbol_version_string _bfd_nosymbols_get_symbol_version_string |
784 | #define wasm_bfd_is_local_label_name bfd_generic_is_local_label_name | |
d00dd7dc | 785 | #define wasm_bfd_is_target_special_symbol _bfd_bool_bfd_asymbol_false |
07d6d2b8 AM |
786 | #define wasm_get_lineno _bfd_nosymbols_get_lineno |
787 | #define wasm_find_nearest_line _bfd_nosymbols_find_nearest_line | |
6e7a29c7 | 788 | #define wasm_find_nearest_line_with_alt _bfd_nosymbols_find_nearest_line_with_alt |
07d6d2b8 AM |
789 | #define wasm_find_line _bfd_nosymbols_find_line |
790 | #define wasm_find_inliner_info _bfd_nosymbols_find_inliner_info | |
791 | #define wasm_bfd_make_debug_symbol _bfd_nosymbols_bfd_make_debug_symbol | |
792 | #define wasm_read_minisymbols _bfd_generic_read_minisymbols | |
793 | #define wasm_minisymbol_to_symbol _bfd_generic_minisymbol_to_symbol | |
a6be0538 PC |
794 | |
795 | const bfd_target wasm_vec = | |
796 | { | |
07d6d2b8 | 797 | "wasm", /* Name. */ |
a6be0538 PC |
798 | bfd_target_unknown_flavour, |
799 | BFD_ENDIAN_LITTLE, | |
800 | BFD_ENDIAN_LITTLE, | |
801 | (HAS_SYMS | WP_TEXT), /* Object flags. */ | |
802 | (SEC_CODE | SEC_DATA | SEC_HAS_CONTENTS), /* Section flags. */ | |
07d6d2b8 AM |
803 | 0, /* Leading underscore. */ |
804 | ' ', /* AR_pad_char. */ | |
805 | 255, /* AR_max_namelen. */ | |
a6be0538 | 806 | 0, /* Match priority. */ |
d1bcae83 | 807 | TARGET_KEEP_UNUSED_SECTION_SYMBOLS, /* keep unused section symbols. */ |
a6be0538 PC |
808 | /* Routines to byte-swap various sized integers from the data sections. */ |
809 | bfd_getl64, bfd_getl_signed_64, bfd_putl64, | |
810 | bfd_getl32, bfd_getl_signed_32, bfd_putl32, | |
811 | bfd_getl16, bfd_getl_signed_16, bfd_putl16, | |
812 | ||
813 | /* Routines to byte-swap various sized integers from the file headers. */ | |
814 | bfd_getl64, bfd_getl_signed_64, bfd_putl64, | |
815 | bfd_getl32, bfd_getl_signed_32, bfd_putl32, | |
816 | bfd_getl16, bfd_getl_signed_16, bfd_putl16, | |
817 | ||
818 | { | |
819 | _bfd_dummy_target, | |
820 | wasm_object_p, /* bfd_check_format. */ | |
821 | _bfd_dummy_target, | |
822 | _bfd_dummy_target, | |
823 | }, | |
824 | { | |
d00dd7dc | 825 | _bfd_bool_bfd_false_error, |
a6be0538 | 826 | wasm_mkobject, |
f8325316 | 827 | _bfd_bool_bfd_false_error, |
d00dd7dc | 828 | _bfd_bool_bfd_false_error, |
a6be0538 PC |
829 | }, |
830 | { /* bfd_write_contents. */ | |
d00dd7dc | 831 | _bfd_bool_bfd_false_error, |
a6be0538 | 832 | wasm_write_object_contents, |
f8325316 | 833 | _bfd_bool_bfd_false_error, |
d00dd7dc | 834 | _bfd_bool_bfd_false_error, |
a6be0538 PC |
835 | }, |
836 | ||
837 | BFD_JUMP_TABLE_GENERIC (_bfd_generic), | |
838 | BFD_JUMP_TABLE_COPY (_bfd_generic), | |
839 | BFD_JUMP_TABLE_CORE (_bfd_nocore), | |
840 | BFD_JUMP_TABLE_ARCHIVE (_bfd_noarchive), | |
841 | BFD_JUMP_TABLE_SYMBOLS (wasm), | |
842 | BFD_JUMP_TABLE_RELOCS (_bfd_norelocs), | |
843 | BFD_JUMP_TABLE_WRITE (wasm), | |
844 | BFD_JUMP_TABLE_LINK (_bfd_nolink), | |
845 | BFD_JUMP_TABLE_DYNAMIC (_bfd_nodynamic), | |
846 | ||
847 | NULL, | |
848 | ||
849 | NULL, | |
850 | }; |