1 /* nasm.h main header file for the Netwide Assembler: inter-module interface
3 * The Netwide Assembler is copyright (C) 1996 Simon Tatham and
4 * Julian Hall. All rights reserved. The software is
5 * redistributable under the licence given in the file "Licence"
6 * distributed in the NASM archive.
8 * initial version: 27/iii/95 by Simon Tatham
14 #include "version.h" /* generated NASM version macros */
21 #define FALSE 0 /* comes in handy */
27 #define NO_SEG -1L /* null segment value */
28 #define SEG_ABS 0x40000000L /* mask for far-absolute segments */
31 #define FILENAME_MAX 256
39 #define POSTFIX_MAX 10
45 * Name pollution problems: <time.h> on Digital UNIX pulls in some
46 * strange hardware header file which sees fit to define R_SP. We
47 * undefine it here so as not to break the enum below.
54 * We must declare the existence of this structure type up here,
55 * since we have to reference it before we define it...
60 * -------------------------
61 * Error reporting functions
62 * -------------------------
66 * An error reporting function should look like this.
68 typedef void (*efunc
) (int severity
, const char *fmt
, ...);
71 * These are the error severity codes which get passed as the first
72 * argument to an efunc.
75 #define ERR_DEBUG 0x00000008 /* put out debugging message */
76 #define ERR_WARNING 0x00000000 /* warn only: no further action */
77 #define ERR_NONFATAL 0x00000001 /* terminate assembly after phase */
78 #define ERR_FATAL 0x00000002 /* instantly fatal: exit with error */
79 #define ERR_PANIC 0x00000003 /* internal error: panic instantly
80 * and dump core for reference */
81 #define ERR_MASK 0x0000000F /* mask off the above codes */
82 #define ERR_NOFILE 0x00000010 /* don't give source file name/line */
83 #define ERR_USAGE 0x00000020 /* print a usage message */
84 #define ERR_PASS1 0x00000040 /* only print this error on pass one */
87 * These codes define specific types of suppressible warning.
90 #define ERR_WARN_MASK 0x0000FF00 /* the mask for this feature */
91 #define ERR_WARN_SHR 8 /* how far to shift right */
93 #define ERR_WARN_MNP 0x00000100 /* macro-num-parameters warning */
94 #define ERR_WARN_MSR 0x00000200 /* macro self-reference */
95 #define ERR_WARN_OL 0x00000300 /* orphan label (no colon, and
97 #define ERR_WARN_NOV 0x00000400 /* numeric overflow */
98 #define ERR_WARN_GNUELF 0x00000500 /* using GNU ELF extensions */
99 #define ERR_WARN_MAX 5 /* the highest numbered one */
102 * -----------------------
103 * Other function typedefs
104 * -----------------------
108 * A label-lookup function should look like this.
110 typedef int (*lfunc
) (char *label
, long *segment
, long *offset
);
113 * And a label-definition function like this. The boolean parameter
114 * `is_norm' states whether the label is a `normal' label (which
115 * should affect the local-label system), or something odder like
116 * an EQU or a segment-base symbol, which shouldn't.
118 typedef void (*ldfunc
) (char *label
, long segment
, long offset
, char *special
,
119 int is_norm
, int isextrn
, struct ofmt
*ofmt
,
123 * List-file generators should look like this:
127 * Called to initialise the listing file generator. Before this
128 * is called, the other routines will silently do nothing when
129 * called. The `char *' parameter is the file name to write the
132 void (*init
) (char *, efunc
);
135 * Called to clear stuff up and close the listing file.
137 void (*cleanup
) (void);
140 * Called to output binary data. Parameters are: the offset;
141 * the data; the data type. Data types are similar to the
142 * output-format interface, only OUT_ADDRESS will _always_ be
143 * displayed as if it's relocatable, so ensure that any non-
144 * relocatable address has been converted to OUT_RAWDATA by
145 * then. Note that OUT_RAWDATA+0 is a valid data type, and is a
146 * dummy call used to give the listing generator an offset to
147 * work with when doing things like uplevel(LIST_TIMES) or
148 * uplevel(LIST_INCBIN).
150 void (*output
) (long, void *, unsigned long);
153 * Called to send a text line to the listing generator. The
154 * `int' parameter is LIST_READ or LIST_MACRO depending on
155 * whether the line came directly from an input file or is the
156 * result of a multi-line macro expansion.
158 void (*line
) (int, char *);
161 * Called to change one of the various levelled mechanisms in
162 * the listing generator. LIST_INCLUDE and LIST_MACRO can be
163 * used to increase the nesting level of include files and
164 * macro expansions; LIST_TIMES and LIST_INCBIN switch on the
165 * two binary-output-suppression mechanisms for large-scale
166 * pseudo-instructions.
168 * LIST_MACRO_NOLIST is synonymous with LIST_MACRO except that
169 * it indicates the beginning of the expansion of a `nolist'
170 * macro, so anything under that level won't be expanded unless
171 * it includes another file.
173 void (*uplevel
) (int);
176 * Reverse the effects of uplevel.
178 void (*downlevel
) (int);
182 * The expression evaluator must be passed a scanner function; a
183 * standard scanner is provided as part of nasmlib.c. The
184 * preprocessor will use a different one. Scanners, and the
185 * token-value structures they return, look like this.
187 * The return value from the scanner is always a copy of the
188 * `t_type' field in the structure.
192 long t_integer
, t_inttwo
;
195 typedef int (*scanner
) (void *private_data
, struct tokenval
*tv
);
198 * Token types returned by the scanner, in addition to ordinary
199 * ASCII character values, and zero for end-of-string.
201 enum { /* token types, other than chars */
202 TOKEN_INVALID
= -1, /* a placeholder value */
203 TOKEN_EOS
= 0, /* end of string */
204 TOKEN_EQ
= '=', TOKEN_GT
= '>', TOKEN_LT
= '<', /* aliases */
205 TOKEN_ID
= 256, TOKEN_NUM
, TOKEN_REG
, TOKEN_INSN
, /* major token types */
206 TOKEN_ERRNUM
, /* numeric constant with error in */
207 TOKEN_HERE
, TOKEN_BASE
, /* $ and $$ */
208 TOKEN_SPECIAL
, /* BYTE, WORD, DWORD, FAR, NEAR, etc */
209 TOKEN_PREFIX
, /* A32, O16, LOCK, REPNZ, TIMES, etc */
210 TOKEN_SHL
, TOKEN_SHR
, /* << and >> */
211 TOKEN_SDIV
, TOKEN_SMOD
, /* // and %% */
212 TOKEN_GE
, TOKEN_LE
, TOKEN_NE
, /* >=, <= and <> (!= is same as <>) */
213 TOKEN_DBL_AND
, TOKEN_DBL_OR
, TOKEN_DBL_XOR
, /* &&, || and ^^ */
214 TOKEN_SEG
, TOKEN_WRT
, /* SEG and WRT */
215 TOKEN_FLOAT
/* floating-point constant */
225 * Expression-evaluator datatype. Expressions, within the
226 * evaluator, are stored as an array of these beasts, terminated by
227 * a record with type==0. Mostly, it's a vector type: each type
228 * denotes some kind of a component, and the value denotes the
229 * multiple of that component present in the expression. The
230 * exception is the WRT type, whose `value' field denotes the
231 * segment to which the expression is relative. These segments will
232 * be segment-base types, i.e. either odd segment values or SEG_ABS
233 * types. So it is still valid to assume that anything with a
234 * `value' field of zero is insignificant.
237 long type
; /* a register, or EXPR_xxx */
238 long value
; /* must be >= 32 bits */
242 * The evaluator can also return hints about which of two registers
243 * used in an expression should be the base register. See also the
244 * `operand' structure.
252 * The actual expression evaluator function looks like this. When
253 * called, it expects the first token of its expression to already
254 * be in `*tv'; if it is not, set tv->t_type to TOKEN_INVALID and
255 * it will start by calling the scanner.
257 * If a forward reference happens during evaluation, the evaluator
258 * must set `*fwref' to TRUE if `fwref' is non-NULL.
260 * `critical' is non-zero if the expression may not contain forward
261 * references. The evaluator will report its own error if this
262 * occurs; if `critical' is 1, the error will be "symbol not
263 * defined before use", whereas if `critical' is 2, the error will
264 * be "symbol undefined".
266 * If `critical' has bit 8 set (in addition to its main value: 0x101
267 * and 0x102 correspond to 1 and 2) then an extended expression
268 * syntax is recognised, in which relational operators such as =, <
269 * and >= are accepted, as well as low-precedence logical operators
272 * If `hints' is non-NULL, it gets filled in with some hints as to
273 * the base register in complex effective addresses.
275 #define CRITICAL 0x100
276 typedef expr
*(*evalfunc
) (scanner sc
, void *scprivate
, struct tokenval
*tv
,
277 int *fwref
, int critical
, efunc error
,
278 struct eval_hints
*hints
);
281 * Special values for expr->type. ASSUMPTION MADE HERE: the number
282 * of distinct register names (i.e. possible "type" fields for an
283 * expr structure) does not exceed 124 (EXPR_REG_START through
286 #define EXPR_REG_START 1
287 #define EXPR_REG_END 124
288 #define EXPR_UNKNOWN 125L /* for forward references */
289 #define EXPR_SIMPLE 126L
290 #define EXPR_WRT 127L
291 #define EXPR_SEGBASE 128L
294 * Preprocessors ought to look like this:
298 * Called at the start of a pass; given a file name, the number
299 * of the pass, an error reporting function, an evaluator
300 * function, and a listing generator to talk to.
302 void (*reset
) (char *, int, efunc
, evalfunc
, ListGen
*);
305 * Called to fetch a line of preprocessed source. The line
306 * returned has been malloc'ed, and so should be freed after
309 char *(*getline
) (void);
312 * Called at the end of a pass.
314 void (*cleanup
) (int);
318 * ----------------------------------------------------------------
319 * Some lexical properties of the NASM source language, included
320 * here because they are shared between the parser and preprocessor
321 * ----------------------------------------------------------------
325 * isidstart matches any character that may start an identifier, and isidchar
326 * matches any character that may appear at places other than the start of an
327 * identifier. E.g. a period may only appear at the start of an identifier
328 * (for local labels), whereas a number may appear anywhere *but* at the
332 #define isidstart(c) ( isalpha(c) || (c)=='_' || (c)=='.' || (c)=='?' \
334 #define isidchar(c) ( isidstart(c) || isdigit(c) || (c)=='$' || (c)=='#' \
337 /* Ditto for numeric constants. */
339 #define isnumstart(c) ( isdigit(c) || (c)=='$' )
340 #define isnumchar(c) ( isalnum(c) )
342 /* This returns the numeric value of a given 'digit'. */
344 #define numvalue(c) ((c)>='a' ? (c)-'a'+10 : (c)>='A' ? (c)-'A'+10 : (c)-'0')
347 * Data-type flags that get passed to listing-file routines.
350 LIST_READ
, LIST_MACRO
, LIST_MACRO_NOLIST
, LIST_INCLUDE
,
351 LIST_INCBIN
, LIST_TIMES
355 * -----------------------------------------------------------
356 * Format of the `insn' structure returned from `parser.c' and
357 * passed into `assemble.c'
358 * -----------------------------------------------------------
362 * Here we define the operand types. These are implemented as bit
363 * masks, since some are subsets of others; e.g. AX in a MOV
364 * instruction is a special operand type, whereas AX in other
365 * contexts is just another 16-bit register. (Also, consider CL in
366 * shift instructions, DX in OUT, etc.)
369 /* size, and other attributes, of the operand */
370 #define BITS8 0x00000001L
371 #define BITS16 0x00000002L
372 #define BITS32 0x00000004L
373 #define BITS64 0x00000008L /* FPU only */
374 #define BITS80 0x00000010L /* FPU only */
375 #define FAR 0x00000020L /* grotty: this means 16:16 or */
376 /* 16:32, like in CALL/JMP */
377 #define NEAR 0x00000040L
378 #define SHORT 0x00000080L /* and this means what it says :) */
380 #define SIZE_MASK 0x000000FFL /* all the size attributes */
381 #define NON_SIZE (~SIZE_MASK)
383 #define TO 0x00000100L /* reverse effect in FADD, FSUB &c */
384 #define COLON 0x00000200L /* operand is followed by a colon */
386 /* type of operand: memory reference, register, etc. */
387 #define MEMORY 0x00204000L
388 #define REGISTER 0x00001000L /* register number in 'basereg' */
389 #define IMMEDIATE 0x00002000L
391 #define REGMEM 0x00200000L /* for r/m, ie EA, operands */
392 #define REGNORM 0x00201000L /* 'normal' reg, qualifies as EA */
393 #define REG8 0x00201001L
394 #define REG16 0x00201002L
395 #define REG32 0x00201004L
396 #define MMXREG 0x00201008L /* MMX registers */
397 #define XMMREG 0x00201010L /* XMM Katmai reg */
398 #define FPUREG 0x01000000L /* floating point stack registers */
399 #define FPU0 0x01000800L /* FPU stack register zero */
401 /* special register operands: these may be treated differently */
402 #define REG_SMASK 0x00070000L /* a mask for the following */
403 #define REG_ACCUM 0x00211000L /* accumulator: AL, AX or EAX */
404 #define REG_AL 0x00211001L /* REG_ACCUM | BITSxx */
405 #define REG_AX 0x00211002L /* ditto */
406 #define REG_EAX 0x00211004L /* and again */
407 #define REG_COUNT 0x00221000L /* counter: CL, CX or ECX */
408 #define REG_CL 0x00221001L /* REG_COUNT | BITSxx */
409 #define REG_CX 0x00221002L /* ditto */
410 #define REG_ECX 0x00221004L /* another one */
411 #define REG_DX 0x00241002L
412 #define REG_SREG 0x00081002L /* any segment register */
413 #define REG_CS 0x01081002L /* CS */
414 #define REG_DESS 0x02081002L /* DS, ES, SS (non-CS 86 registers) */
415 #define REG_FSGS 0x04081002L /* FS, GS (386 extended registers) */
416 #define REG_CDT 0x00101004L /* CRn, DRn and TRn */
417 #define REG_CREG 0x08101004L /* CRn */
418 #define REG_CR4 0x08101404L /* CR4 (Pentium only) */
419 #define REG_DREG 0x10101004L /* DRn */
420 #define REG_TREG 0x20101004L /* TRn */
422 /* special type of EA */
423 #define MEM_OFFS 0x00604000L /* simple [address] offset */
425 /* special type of immediate operand */
426 #define ONENESS 0x00800000L /* so UNITY == IMMEDIATE | ONENESS */
427 #define UNITY 0x00802000L /* for shift/rotate instructions */
428 #define BYTENESS 0x40000000L /* so SBYTE == IMMEDIATE | BYTENESS */
429 #define SBYTE 0x40002000L /* for op r16/32,immediate instrs. */
432 * Next, the codes returned from the parser, for registers and
436 enum { /* register names */
437 R_AH
= EXPR_REG_START
, R_AL
, R_AX
, R_BH
, R_BL
, R_BP
, R_BX
, R_CH
,
438 R_CL
, R_CR0
, R_CR2
, R_CR3
, R_CR4
, R_CS
, R_CX
, R_DH
, R_DI
, R_DL
,
439 R_DR0
, R_DR1
, R_DR2
, R_DR3
, R_DR6
, R_DR7
, R_DS
, R_DX
, R_EAX
,
440 R_EBP
, R_EBX
, R_ECX
, R_EDI
, R_EDX
, R_ES
, R_ESI
, R_ESP
, R_FS
,
441 R_GS
, R_MM0
, R_MM1
, R_MM2
, R_MM3
, R_MM4
, R_MM5
, R_MM6
, R_MM7
,
442 R_SI
, R_SP
, R_SS
, R_ST0
, R_ST1
, R_ST2
, R_ST3
, R_ST4
, R_ST5
,
443 R_ST6
, R_ST7
, R_TR3
, R_TR4
, R_TR5
, R_TR6
, R_TR7
,
444 R_XMM0
, R_XMM1
, R_XMM2
, R_XMM3
, R_XMM4
, R_XMM5
, R_XMM6
, R_XMM7
, REG_ENUM_LIMIT
447 /* Instruction names automatically generated from insns.dat */
450 /* max length of any instruction, register name etc. */
452 #define MAX_KEYWORD MAX_INSLEN
454 #define MAX_KEYWORD 9
457 enum { /* condition code names */
458 C_A
, C_AE
, C_B
, C_BE
, C_C
, C_E
, C_G
, C_GE
, C_L
, C_LE
, C_NA
, C_NAE
,
459 C_NB
, C_NBE
, C_NC
, C_NE
, C_NG
, C_NGE
, C_NL
, C_NLE
, C_NO
, C_NP
,
460 C_NS
, C_NZ
, C_O
, C_P
, C_PE
, C_PO
, C_S
, C_Z
464 * Note that because segment registers may be used as instruction
465 * prefixes, we must ensure the enumerations for prefixes and
466 * register names do not overlap.
468 enum { /* instruction prefixes */
469 PREFIX_ENUM_START
= REG_ENUM_LIMIT
,
470 P_A16
= PREFIX_ENUM_START
, P_A32
, P_LOCK
, P_O16
, P_O32
, P_REP
, P_REPE
,
471 P_REPNE
, P_REPNZ
, P_REPZ
, P_TIMES
474 enum { /* extended operand types */
475 EOT_NOTHING
, EOT_DB_STRING
, EOT_DB_NUMBER
478 enum { /* special EA flags */
479 EAF_BYTEOFFS
= 1, /* force offset part to byte size */
480 EAF_WORDOFFS
= 2, /* force offset part to [d]word size */
481 EAF_TIMESTWO
= 4 /* really do EAX*2 not EAX+EAX */
484 enum { /* values for `hinttype' */
485 EAH_NOHINT
= 0, /* no hint at all - our discretion */
486 EAH_MAKEBASE
= 1, /* try to make given reg the base */
487 EAH_NOTBASE
= 2 /* try _not_ to make reg the base */
490 typedef struct { /* operand to an instruction */
491 long type
; /* type of operand */
492 int addr_size
; /* 0 means default; 16; 32 */
493 int basereg
, indexreg
, scale
; /* registers and scale involved */
494 int hintbase
, hinttype
; /* hint as to real base register */
495 long segment
; /* immediate segment, if needed */
496 long offset
; /* any immediate number */
497 long wrt
; /* segment base it's relative to */
498 int eaflags
; /* special EA flags */
499 int opflags
; /* see OPFLAG_* defines below */
502 #define OPFLAG_FORWARD 1 /* operand is a forward reference */
503 #define OPFLAG_EXTERN 2 /* operand is an external reference */
505 typedef struct extop
{ /* extended operand */
506 struct extop
*next
; /* linked list */
507 long type
; /* defined above */
508 char *stringval
; /* if it's a string, then here it is */
509 int stringlen
; /* ... and here's how long it is */
510 long segment
; /* if it's a number/address, then... */
511 long offset
; /* ... it's given here ... */
512 long wrt
; /* ... and here */
517 typedef struct { /* an instruction itself */
518 char *label
; /* the label defined, or NULL */
519 int prefixes
[MAXPREFIX
]; /* instruction prefixes, if any */
520 int nprefix
; /* number of entries in above */
521 int opcode
; /* the opcode - not just the string */
522 int condition
; /* the condition code, if Jcc/SETcc */
523 int operands
; /* how many operands? 0-3
524 * (more if db et al) */
525 operand oprs
[3]; /* the operands, defined as above */
526 extop
*eops
; /* extended operands */
527 int eops_float
; /* true if DD and floating */
528 long times
; /* repeat count (TIMES prefix) */
529 int forw_ref
; /* is there a forward reference? */
532 enum geninfo
{ GI_SWITCH
};
534 * ------------------------------------------------------------
535 * The data structure defining an output format driver, and the
536 * interfaces to the functions therein.
537 * ------------------------------------------------------------
542 * This is a short (one-liner) description of the type of
543 * output generated by the driver.
545 const char *fullname
;
548 * This is a single keyword used to select the driver.
550 const char *shortname
;
553 * this is reserved for out module specific help.
554 * It is set to NULL in all the out modules but is not implemented
555 * in the main program
557 const char *helpstring
;
560 * this is a pointer to the first element of the debug information
562 struct dfmt
**debug_formats
;
565 * and a pointer to the element that is being used
566 * note: this is set to the default at compile time and changed if the
567 * -F option is selected. If developing a set of new debug formats for
568 * an output format, be sure to set this to whatever default you want
571 struct dfmt
*current_dfmt
;
574 * This, if non-NULL, is a NULL-terminated list of `char *'s
575 * pointing to extra standard macros supplied by the object
576 * format (e.g. a sensible initial default value of __SECT__,
577 * and user-level equivalents for any format-specific
583 * This procedure is called at the start of an output session.
584 * It tells the output format what file it will be writing to,
585 * what routine to report errors through, and how to interface
586 * to the label manager and expression evaluator if necessary.
587 * It also gives it a chance to do other initialisation.
589 void (*init
) (FILE *fp
, efunc error
, ldfunc ldef
, evalfunc eval
);
592 * This procedure is called to pass generic information to the
593 * object file. The first parameter gives the information type
594 * (currently only command line switches)
595 * and the second parameter gives the value. This function returns
596 * 1 if recognized, 0 if unrecognized
598 int (*setinfo
)(enum geninfo type
, char **string
);
601 * This procedure is called by assemble() to write actual
602 * generated code or data to the object file. Typically it
603 * doesn't have to actually _write_ it, just store it for
606 * The `type' argument specifies the type of output data, and
607 * usually the size as well: its contents are described below.
609 void (*output
) (long segto
, void *data
, unsigned long type
,
610 long segment
, long wrt
);
613 * This procedure is called once for every symbol defined in
614 * the module being assembled. It gives the name and value of
615 * the symbol, in NASM's terms, and indicates whether it has
616 * been declared to be global. Note that the parameter "name",
617 * when passed, will point to a piece of static storage
618 * allocated inside the label manager - it's safe to keep using
619 * that pointer, because the label manager doesn't clean up
620 * until after the output driver has.
622 * Values of `is_global' are: 0 means the symbol is local; 1
623 * means the symbol is global; 2 means the symbol is common (in
624 * which case `offset' holds the _size_ of the variable).
625 * Anything else is available for the output driver to use
628 * This routine explicitly _is_ allowed to call the label
629 * manager to define further symbols, if it wants to, even
630 * though it's been called _from_ the label manager. That much
631 * re-entrancy is guaranteed in the label manager. However, the
632 * label manager will in turn call this routine, so it should
633 * be prepared to be re-entrant itself.
635 * The `special' parameter contains special information passed
636 * through from the command that defined the label: it may have
637 * been an EXTERN, a COMMON or a GLOBAL. The distinction should
638 * be obvious to the output format from the other parameters.
640 void (*symdef
) (char *name
, long segment
, long offset
, int is_global
,
644 * This procedure is called when the source code requests a
645 * segment change. It should return the corresponding segment
646 * _number_ for the name, or NO_SEG if the name is not a valid
649 * It may also be called with NULL, in which case it is to
650 * return the _default_ section number for starting assembly in.
652 * It is allowed to modify the string it is given a pointer to.
654 * It is also allowed to specify a default instruction size for
655 * the segment, by setting `*bits' to 16 or 32. Or, if it
656 * doesn't wish to define a default, it can leave `bits' alone.
658 long (*section
) (char *name
, int pass
, int *bits
);
661 * This procedure is called to modify the segment base values
662 * returned from the SEG operator. It is given a segment base
663 * value (i.e. a segment value with the low bit set), and is
664 * required to produce in return a segment value which may be
665 * different. It can map segment bases to absolute numbers by
666 * means of returning SEG_ABS types.
668 * It should return NO_SEG if the segment base cannot be
669 * determined; the evaluator (which calls this routine) is
670 * responsible for throwing an error condition if that occurs
671 * in pass two or in a critical expression.
673 long (*segbase
) (long segment
);
676 * This procedure is called to allow the output driver to
677 * process its own specific directives. When called, it has the
678 * directive word in `directive' and the parameter string in
679 * `value'. It is called in both assembly passes, and `pass'
680 * will be either 1 or 2.
682 * This procedure should return zero if it does not _recognise_
683 * the directive, so that the main program can report an error.
684 * If it recognises the directive but then has its own errors,
685 * it should report them itself and then return non-zero. It
686 * should also return non-zero if it correctly processes the
689 int (*directive
) (char *directive
, char *value
, int pass
);
692 * This procedure is called before anything else - even before
693 * the "init" routine - and is passed the name of the input
694 * file from which this output file is being generated. It
695 * should return its preferred name for the output file in
696 * `outname', if outname[0] is not '\0', and do nothing to
697 * `outname' otherwise. Since it is called before the driver is
698 * properly initialised, it has to be passed its error handler
701 * This procedure may also take its own copy of the input file
702 * name for use in writing the output file: it is _guaranteed_
703 * that it will be called before the "init" routine.
705 * The parameter `outname' points to an area of storage
706 * guaranteed to be at least FILENAME_MAX in size.
708 void (*filename
) (char *inname
, char *outname
, efunc error
);
711 * This procedure is called after assembly finishes, to allow
712 * the output driver to clean itself up and free its memory.
713 * Typically, it will also be the point at which the object
714 * file actually gets _written_.
716 * One thing the cleanup routine should always do is to close
717 * the output file pointer.
719 void (*cleanup
) (int debuginfo
);
723 * values for the `type' parameter to an output function. Each one
724 * must have the actual number of _bytes_ added to it.
726 * Exceptions are OUT_RELxADR, which denote an x-byte relocation
727 * which will be a relative jump. For this we need to know the
728 * distance in bytes from the start of the relocated record until
729 * the end of the containing instruction. _This_ is what is stored
730 * in the size part of the parameter, in this case.
732 * Also OUT_RESERVE denotes reservation of N bytes of BSS space,
733 * and the contents of the "data" parameter is irrelevant.
735 * The "data" parameter for the output function points to a "long",
736 * containing the address in question, unless the type is
737 * OUT_RAWDATA, in which case it points to an "unsigned char"
740 #define OUT_RAWDATA 0x00000000UL
741 #define OUT_ADDRESS 0x10000000UL
742 #define OUT_REL2ADR 0x20000000UL
743 #define OUT_REL4ADR 0x30000000UL
744 #define OUT_RESERVE 0x40000000UL
745 #define OUT_TYPMASK 0xF0000000UL
746 #define OUT_SIZMASK 0x0FFFFFFFUL
749 * ------------------------------------------------------------
750 * The data structure defining a debug format driver, and the
751 * interfaces to the functions therein.
752 * ------------------------------------------------------------
758 * This is a short (one-liner) description of the type of
759 * output generated by the driver.
761 const char *fullname
;
764 * This is a single keyword used to select the driver.
766 const char *shortname
;
770 * init - called initially to set up local pointer to object format,
771 * void pointer to implementation defined data, file pointer (which
772 * probably won't be used, but who knows?), and error function.
774 void (*init
) (struct ofmt
* of
, void * id
, FILE * fp
, efunc error
);
777 * linenum - called any time there is output with a change of
778 * line number or file.
780 void (*linenum
) (const char * filename
, long linenumber
, long segto
);
783 * debug_deflabel - called whenever a label is defined. Parameters
784 * are the same as to 'symdef()' in the output format. This function
785 * would be called before the output format version.
788 void (*debug_deflabel
) (char * name
, long segment
, long offset
,
789 int is_global
, char * special
);
791 * debug_directive - called whenever a DEBUG directive other than 'LINE'
792 * is encountered. 'directive' contains the first parameter to the
793 * DEBUG directive, and params contains the rest. For example,
794 * 'DEBUG VAR _somevar:int' would translate to a call to this
795 * function with 'directive' equal to "VAR" and 'params' equal to
798 void (*debug_directive
) (const char * directive
, const char * params
);
801 * typevalue - called whenever the assembler wishes to register a type
802 * for the last defined label. This routine MUST detect if a type was
803 * already registered and not re-register it.
805 void (*debug_typevalue
) (long type
);
808 * debug_output - called whenever output is required
809 * 'type' is the type of info required, and this is format-specific
811 void (*debug_output
) (int type
, void *param
);
814 * cleanup - called after processing of file is complete
816 void (*cleanup
) (void);
820 * The type definition macros
823 * low 3 bits: reserved
825 * next 24 bits: number of elements for arrays (0 for labels)
828 #define TY_UNKNOWN 0x00
829 #define TY_LABEL 0x08
832 #define TY_DWORD 0x20
833 #define TY_FLOAT 0x28
834 #define TY_QWORD 0x30
835 #define TY_TBYTE 0x38
836 #define TY_COMMON 0xE0
838 #define TY_EXTERN 0xF0
841 #define TYM_TYPE(x) ((x) & 0xF8)
842 #define TYM_ELEMENTS(x) (((x) & 0xFFFFFF00) >> 8)
844 #define TYS_ELEMENTS(x) ((x) << 8)
852 * This is a useful #define which I keep meaning to use more often:
853 * the number of elements of a statically defined array.
856 #define elements(x) ( sizeof(x) / sizeof(*(x)) )
858 extern int tasm_compatible_mode
;
861 * This declaration passes the "pass" number to all other modules
862 * "pass0" assumes the values: 0, 0, ..., 0, 1, 2
863 * where 0 = optimizing pass
868 extern int pass0
; /* this is globally known */
869 extern int optimizing
;