Correct handling of SEG <nonsegment>; per BR 560575
[nasm.git] / output / outrdf.c
blobd9989e52150e9b30c421fa86edff66c7dc9a1492
1 /* outrdf.c output routines for the Netwide Assembler to produce
2 * RDOFF format object files (which are intended mainly
3 * for use in proprietary projects, as the code to load and
4 * execute them is very simple). They will also be used
5 * for device drivers and possibly some executable files
6 * in the MOSCOW operating system. See Rdoff.txt for
7 * details.
9 * The Netwide Assembler is copyright (C) 1996 Simon Tatham and
10 * Julian Hall. All rights reserved. The software is
11 * redistributable under the licence given in the file "Licence"
12 * distributed in the NASM archive.
15 #include <stdio.h>
16 #include <stdlib.h>
17 #include <string.h>
18 #include <ctype.h>
19 #include <assert.h>
21 #include "nasm.h"
22 #include "nasmlib.h"
23 #include "outform.h"
25 /* VERBOSE_WARNINGS: define this to add some extra warnings... */
26 #define VERBOSE_WARNINGS
28 #ifdef OF_RDF
30 typedef short int16; /* not sure if this will be required to be altered
31 at all... best to typedef it just in case */
33 static const char *RDOFFId = "RDOFF1"; /* written to start of RDOFF files */
35 /* the records that can be found in the RDOFF header */
37 /* Note that whenever a segment is referred to in the RDOFF file, its number
38 * is always half of the segment number that NASM uses to refer to it; this
39 * is because NASM only allocates even numbered segments, so as to not
40 * waste any of the 16 bits of segment number written to the file - this
41 * allows up to 65533 external labels to be defined; otherwise it would be
42 * 32764. */
44 struct RelocRec {
45 char type; /* must be 1 */
46 char segment; /* only 0 for code, or 1 for data supported,
47 * but add 64 for relative refs (ie do not require
48 * reloc @ loadtime, only linkage) */
49 long offset; /* from start of segment in which reference is loc'd */
50 char length; /* 1 2 or 4 bytes */
51 int16 refseg; /* segment to which reference refers to */
54 struct ImportRec {
55 char type; /* must be 2 */
56 int16 segment; /* segment number allocated to the label for reloc
57 * records - label is assumed to be at offset zero
58 * in this segment, so linker must fix up with offset
59 * of segment and of offset within segment */
60 char label[33]; /* zero terminated... should be written to file until
61 * the zero, but not after it - max len = 32 chars */
64 struct ExportRec {
65 char type; /* must be 3 */
66 char segment; /* segment referred to (0/1) */
67 long offset; /* offset within segment */
68 char label[33]; /* zero terminated as above. max len = 32 chars */
71 struct DLLRec {
72 char type; /* must be 4 */
73 char libname[128]; /* name of library to link with at load time */
76 struct BSSRec {
77 char type; /* must be 5 */
78 long amount; /* number of bytes BSS to reserve */
81 /* code for managing buffers needed to seperate code and data into individual
82 * sections until they are ready to be written to the file.
83 * We'd better hope that it all fits in memory else we're buggered... */
85 #define BUF_BLOCK_LEN 4088 /* selected to match page size (4096)
86 * on 80x86 machines for efficiency */
88 typedef struct memorybuffer {
89 int length;
90 char buffer[BUF_BLOCK_LEN];
91 struct memorybuffer *next;
92 } memorybuffer;
94 static memorybuffer * newmembuf(void){
95 memorybuffer * t;
97 t = nasm_malloc(sizeof(memorybuffer));
99 t->length = 0;
100 t->next = NULL;
101 return t;
104 static void membufwrite(memorybuffer *b, void *data, int bytes) {
105 int16 w;
106 long l;
108 if (b->next) { /* memory buffer full - use next buffer */
109 membufwrite(b->next,data,bytes);
110 return;
112 if ((bytes < 0 && b->length - bytes > BUF_BLOCK_LEN)
113 || (bytes > 0 && b->length + bytes > BUF_BLOCK_LEN)) {
115 /* buffer full and no next allocated... allocate and initialise next
116 * buffer */
118 b->next = newmembuf();
119 membufwrite(b->next,data,bytes);
120 return;
123 switch(bytes) {
124 case -4: /* convert to little-endian */
125 l = * (long *) data ;
126 b->buffer[b->length++] = l & 0xFF;
127 l >>= 8 ;
128 b->buffer[b->length++] = l & 0xFF;
129 l >>= 8 ;
130 b->buffer[b->length++] = l & 0xFF;
131 l >>= 8 ;
132 b->buffer[b->length++] = l & 0xFF;
133 break;
135 case -2:
136 w = * (int16 *) data ;
137 b->buffer[b->length++] = w & 0xFF;
138 w >>= 8 ;
139 b->buffer[b->length++] = w & 0xFF;
140 break;
142 default:
143 while(bytes--) {
144 b->buffer[b->length++] = *(* (unsigned char **) &data);
146 (* (unsigned char **) &data)++ ;
148 break;
152 static void membufdump(memorybuffer *b,FILE *fp)
154 if (!b) return;
156 fwrite (b->buffer, 1, b->length, fp);
158 membufdump(b->next,fp);
161 static int membuflength(memorybuffer *b)
163 if (!b) return 0;
164 return b->length + membuflength(b->next);
167 static void freemembuf(memorybuffer *b)
169 if (!b) return;
170 freemembuf(b->next);
171 nasm_free(b);
174 /***********************************************************************
175 * Actual code to deal with RDOFF ouput format begins here...
178 /* global variables set during the initialisation phase */
180 static memorybuffer *seg[2]; /* seg 0 = code, seg 1 = data */
181 static memorybuffer *header; /* relocation/import/export records */
183 static FILE *ofile;
185 static efunc error;
187 static int segtext,segdata,segbss;
188 static long bsslength;
190 static void rdf_init(FILE *fp, efunc errfunc, ldfunc ldef, evalfunc eval)
192 ofile = fp;
193 error = errfunc;
194 seg[0] = newmembuf();
195 seg[1] = newmembuf();
196 header = newmembuf();
197 segtext = seg_alloc();
198 segdata = seg_alloc();
199 segbss = seg_alloc();
200 if (segtext != 0 || segdata != 2 || segbss != 4)
201 error(ERR_PANIC,"rdf segment numbers not allocated as expected (%d,%d,%d)",
202 segtext,segdata,segbss);
203 bsslength=0;
206 static long rdf_section_names(char *name, int pass, int *bits)
209 * Default is 32 bits.
211 if (!name)
212 *bits = 32;
214 if (!name) return 0;
215 if (!strcmp(name, ".text")) return 0;
216 else if (!strcmp(name, ".data")) return 2;
217 else if (!strcmp(name, ".bss")) return 4;
218 else
219 return NO_SEG;
222 static void write_reloc_rec(struct RelocRec *r)
224 if (r->refseg != NO_SEG && (r->refseg & 1))
225 error (ERR_NONFATAL, "RDF format does not support segment base"
226 " references");
228 r->refseg >>= 1; /* adjust segment nos to RDF rather than NASM */
230 membufwrite(header,&r->type,1);
231 membufwrite(header,&r->segment,1);
232 membufwrite(header,&r->offset,-4);
233 membufwrite(header,&r->length,1);
234 membufwrite(header,&r->refseg,-2); /* 9 bytes written */
237 static void write_export_rec(struct ExportRec *r)
239 r->segment >>= 1;
241 membufwrite(header,&r->type,1);
242 membufwrite(header,&r->segment,1);
243 membufwrite(header,&r->offset,-4);
244 membufwrite(header,r->label,strlen(r->label) + 1);
247 static void write_import_rec(struct ImportRec *r)
249 r->segment >>= 1;
251 membufwrite(header,&r->type,1);
252 membufwrite(header,&r->segment,-2);
253 membufwrite(header,r->label,strlen(r->label) + 1);
256 static void write_bss_rec(struct BSSRec *r)
258 membufwrite(header,&r->type,1);
259 membufwrite(header,&r->amount,-4);
262 static void write_dll_rec(struct DLLRec *r)
264 membufwrite(header,&r->type,1);
265 membufwrite(header,r->libname,strlen(r->libname) + 1);
268 static void rdf_deflabel(char *name, long segment, long offset,
269 int is_global, char *special)
271 struct ExportRec r;
272 struct ImportRec ri;
273 #ifdef VERBOSE_WARNINGS
274 static int warned_common = 0;
275 #endif
277 if (special)
278 error (ERR_NONFATAL, "RDOFF format does not support any"
279 " special symbol types");
281 if (name[0] == '.' && name[1] == '.' && name[2] != '@') {
282 error (ERR_NONFATAL, "unrecognised special symbol `%s'", name);
283 return;
286 if (is_global == 2) {
287 #ifdef VERBOSE_WARNINGS
288 if (!warned_common) {
289 error(ERR_WARNING,"common declarations not supported: using extern");
290 warned_common = 1;
292 #endif
293 is_global = 1;
296 if (segment > 4) { /* EXTERN declaration */
297 ri.type = 2;
298 ri.segment = segment;
299 strncpy(ri.label,name,32);
300 ri.label[32] = 0;
301 write_import_rec(&ri);
302 } else if (is_global) {
303 r.type = 3;
304 r.segment = segment;
305 r.offset = offset;
306 strncpy(r.label,name,32);
307 r.label[32] = 0;
308 write_export_rec(&r);
312 static void rdf_out (long segto, void *data, unsigned long type,
313 long segment, long wrt)
315 long bytes = type & OUT_SIZMASK;
316 struct RelocRec rr;
317 unsigned char databuf[4],*pd;
319 if (segto == NO_SEG) {
320 if ((type & OUT_TYPMASK) != OUT_RESERVE)
321 error (ERR_NONFATAL, "attempt to assemble code in ABSOLUTE space");
322 return;
325 segto >>= 1; /* convert NASM segment no to RDF number */
327 if (segto != 0 && segto != 1 && segto != 2) {
328 error(ERR_NONFATAL,"specified segment not supported by rdf output format");
329 return;
332 if (wrt != NO_SEG) {
333 wrt = NO_SEG; /* continue to do _something_ */
334 error (ERR_NONFATAL, "WRT not supported by rdf output format");
337 type &= OUT_TYPMASK;
339 if (segto == 2 && type != OUT_RESERVE)
341 error(ERR_NONFATAL, "BSS segments may not be initialised");
343 /* just reserve the space for now... */
345 if (type == OUT_REL2ADR)
346 bytes = 2;
347 else
348 bytes = 4;
349 type = OUT_RESERVE;
352 if (type == OUT_RESERVE) {
353 if (segto == 2) /* BSS segment space reserverd */
354 bsslength += bytes;
355 else
356 while (bytes --)
357 membufwrite(seg[segto],databuf,1);
359 else if (type == OUT_RAWDATA) {
360 if (segment != NO_SEG)
361 error(ERR_PANIC, "OUT_RAWDATA with other than NO_SEG");
362 membufwrite(seg[segto],data,bytes);
364 else if (type == OUT_ADDRESS) {
366 /* if segment == NO_SEG then we are writing an address of an
367 object within the same segment - do not produce reloc rec. */
369 if (segment != NO_SEG)
372 /* it's an address, so we must write a relocation record */
374 rr.type = 1; /* type signature */
375 rr.segment = segto; /* segment we're currently in */
376 rr.offset = membuflength(seg[segto]); /* current offset */
377 rr.length = bytes; /* length of reference */
378 rr.refseg = segment; /* segment referred to */
379 write_reloc_rec(&rr);
382 pd = databuf; /* convert address to little-endian */
383 if (bytes == 2)
384 WRITESHORT (pd, *(long *)data);
385 else
386 WRITELONG (pd, *(long *)data);
388 membufwrite(seg[segto],databuf,bytes);
391 else if (type == OUT_REL2ADR)
393 if (segment == segto)
394 error(ERR_PANIC, "intra-segment OUT_REL2ADR");
395 if (segment != NO_SEG && segment % 2) {
396 error(ERR_NONFATAL, "rdf format does not support segment base refs");
399 rr.type = 1; /* type signature */
400 rr.segment = segto+64; /* segment we're currently in + rel flag */
401 rr.offset = membuflength(seg[segto]); /* current offset */
402 rr.length = 2; /* length of reference */
403 rr.refseg = segment; /* segment referred to */
404 write_reloc_rec(&rr);
406 /* work out what to put in the code: offset of the end of this operand,
407 * subtracted from any data specified, so that loader can just add
408 * address of imported symbol onto it to get address relative to end of
409 * instruction: import_address + data(offset) - end_of_instrn */
411 rr.offset = *(long *)data -(rr.offset + bytes);
413 membufwrite(seg[segto],&rr.offset,-2);
415 else if (type == OUT_REL4ADR)
417 if (segment == segto)
418 error(ERR_PANIC, "intra-segment OUT_REL4ADR");
419 if (segment != NO_SEG && segment % 2) {
420 error(ERR_NONFATAL, "rdf format does not support segment base refs");
423 rr.type = 1; /* type signature */
424 rr.segment = segto+64; /* segment we're currently in + rel tag */
425 rr.offset = membuflength(seg[segto]); /* current offset */
426 rr.length = 4; /* length of reference */
427 rr.refseg = segment; /* segment referred to */
428 write_reloc_rec(&rr);
430 rr.offset = *(long *)data -(rr.offset + bytes);
431 membufwrite(seg[segto],&rr.offset,-4);
435 static void rdf_cleanup (int debuginfo) {
436 long l;
437 unsigned char b[4],*d;
438 struct BSSRec bs;
440 (void) debuginfo;
443 /* should write imported & exported symbol declarations to header here */
445 /* generate the output file... */
446 fwrite(RDOFFId,6,1,ofile); /* file type magic number */
448 if (bsslength != 0) /* reserve BSS */
450 bs.type = 5;
451 bs.amount = bsslength;
452 write_bss_rec(&bs);
455 l = membuflength(header);d=b;
456 WRITELONG(d,l);
458 fwrite(b,4,1,ofile); /* write length of header */
459 membufdump(header,ofile); /* dump header */
461 l = membuflength(seg[0]);d=b; /* code segment */
462 WRITELONG(d,l);
464 fwrite(b,4,1,ofile);
465 membufdump(seg[0],ofile);
467 l = membuflength(seg[1]);d=b; /* data segment */
468 WRITELONG(d,l);
470 fwrite(b,4,1,ofile);
471 membufdump(seg[1],ofile);
473 freemembuf(header);
474 freemembuf(seg[0]);
475 freemembuf(seg[1]);
476 fclose(ofile);
479 static long rdf_segbase (long segment) {
480 return segment;
483 static int rdf_directive (char *directive, char *value, int pass) {
484 struct DLLRec r;
486 if (! strcmp(directive, "library")) {
487 if (pass == 1) {
488 r.type = 4;
489 strcpy(r.libname, value);
490 write_dll_rec(&r);
492 return 1;
495 return 0;
498 static void rdf_filename (char *inname, char *outname, efunc error) {
499 standard_extension(inname,outname,".rdf",error);
502 static char *rdf_stdmac[] = {
503 "%define __SECT__ [section .text]",
504 "%imacro library 1+.nolist",
505 "[library %1]",
506 "%endmacro",
507 "%macro __NASM_CDecl__ 1",
508 "%endmacro",
509 NULL
512 static int rdf_set_info(enum geninfo type, char **val)
514 return 0;
517 struct ofmt of_rdf = {
518 "Relocatable Dynamic Object File Format v1.1",
519 #ifdef OF_RDF2
520 "oldrdf",
521 #else
522 "rdf",
523 #endif
524 NULL,
525 null_debug_arr,
526 &null_debug_form,
527 rdf_stdmac,
528 rdf_init,
529 rdf_set_info,
530 rdf_out,
531 rdf_deflabel,
532 rdf_section_names,
533 rdf_segbase,
534 rdf_directive,
535 rdf_filename,
536 rdf_cleanup
539 #endif /* OF_RDF */