mirror of
https://github.com/netwide-assembler/nasm.git
synced 2024-12-03 08:41:02 +08:00
5e2e8b9105
Apparently some people still care about compiling native on MS-DOS, and we don't have a significant number of files which need adjustment. Signed-off-by: H. Peter Anvin <hpa@linux.intel.com>
901 lines
30 KiB
C
901 lines
30 KiB
C
/* ----------------------------------------------------------------------- *
|
|
*
|
|
* Copyright 1996-2009 The NASM Authors - All Rights Reserved
|
|
* See the file AUTHORS included with the NASM distribution for
|
|
* the specific copyright holders.
|
|
*
|
|
* Redistribution and use in source and binary forms, with or without
|
|
* modification, are permitted provided that the following
|
|
* conditions are met:
|
|
*
|
|
* * Redistributions of source code must retain the above copyright
|
|
* notice, this list of conditions and the following disclaimer.
|
|
* * Redistributions in binary form must reproduce the above
|
|
* copyright notice, this list of conditions and the following
|
|
* disclaimer in the documentation and/or other materials provided
|
|
* with the distribution.
|
|
*
|
|
* THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND
|
|
* CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES,
|
|
* INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF
|
|
* MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
|
|
* DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR
|
|
* CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
|
|
* SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
|
|
* NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
|
|
* LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
|
|
* HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
|
|
* CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR
|
|
* OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE,
|
|
* EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
|
|
*
|
|
* ----------------------------------------------------------------------- */
|
|
|
|
/*
|
|
* nasm.h main header file for the Netwide Assembler: inter-module interface
|
|
*/
|
|
|
|
#ifndef NASM_NASM_H
|
|
#define NASM_NASM_H
|
|
|
|
#include "compiler.h"
|
|
|
|
#include <stdio.h>
|
|
#include <inttypes.h>
|
|
#include "nasmlib.h"
|
|
#include "preproc.h"
|
|
#include "insnsi.h" /* For enum opcode */
|
|
#include "directiv.h" /* For enum directive */
|
|
#include "opflags.h"
|
|
|
|
#define NO_SEG -1L /* null segment value */
|
|
#define SEG_ABS 0x40000000L /* mask for far-absolute segments */
|
|
|
|
#ifndef FILENAME_MAX
|
|
#define FILENAME_MAX 256
|
|
#endif
|
|
|
|
#ifndef PREFIX_MAX
|
|
#define PREFIX_MAX 10
|
|
#endif
|
|
|
|
#ifndef POSTFIX_MAX
|
|
#define POSTFIX_MAX 10
|
|
#endif
|
|
|
|
#define IDLEN_MAX 4096
|
|
|
|
/*
|
|
* Name pollution problems: <time.h> on Digital UNIX pulls in some
|
|
* strange hardware header file which sees fit to define R_SP. We
|
|
* undefine it here so as not to break the enum below.
|
|
*/
|
|
#ifdef R_SP
|
|
#undef R_SP
|
|
#endif
|
|
|
|
/*
|
|
* We must declare the existence of this structure type up here,
|
|
* since we have to reference it before we define it...
|
|
*/
|
|
struct ofmt;
|
|
|
|
/*
|
|
* values for the `type' parameter to an output function.
|
|
*
|
|
* Exceptions are OUT_RELxADR, which denote an x-byte relocation
|
|
* which will be a relative jump. For this we need to know the
|
|
* distance in bytes from the start of the relocated record until
|
|
* the end of the containing instruction. _This_ is what is stored
|
|
* in the size part of the parameter, in this case.
|
|
*
|
|
* Also OUT_RESERVE denotes reservation of N bytes of BSS space,
|
|
* and the contents of the "data" parameter is irrelevant.
|
|
*
|
|
* The "data" parameter for the output function points to a "int32_t",
|
|
* containing the address in question, unless the type is
|
|
* OUT_RAWDATA, in which case it points to an "uint8_t"
|
|
* array.
|
|
*/
|
|
enum out_type {
|
|
OUT_RAWDATA, /* Plain bytes */
|
|
OUT_ADDRESS, /* An address (symbol value) */
|
|
OUT_RESERVE, /* Reserved bytes (RESB et al) */
|
|
OUT_REL1ADR, /* 1-byte relative address */
|
|
OUT_REL2ADR, /* 2-byte relative address */
|
|
OUT_REL4ADR, /* 4-byte relative address */
|
|
OUT_REL8ADR, /* 8-byte relative address */
|
|
};
|
|
|
|
/*
|
|
* -----------------------
|
|
* Other function typedefs
|
|
* -----------------------
|
|
*/
|
|
|
|
/*
|
|
* A label-lookup function should look like this.
|
|
*/
|
|
typedef bool (*lfunc) (char *label, int32_t *segment, int64_t *offset);
|
|
|
|
/*
|
|
* And a label-definition function like this. The boolean parameter
|
|
* `is_norm' states whether the label is a `normal' label (which
|
|
* should affect the local-label system), or something odder like
|
|
* an EQU or a segment-base symbol, which shouldn't.
|
|
*/
|
|
typedef void (*ldfunc)(char *label, int32_t segment, int64_t offset,
|
|
char *special, bool is_norm, bool isextrn);
|
|
void define_label(char *label, int32_t segment, int64_t offset,
|
|
char *special, bool is_norm, bool isextrn);
|
|
|
|
/*
|
|
* List-file generators should look like this:
|
|
*/
|
|
typedef struct {
|
|
/*
|
|
* Called to initialize the listing file generator. Before this
|
|
* is called, the other routines will silently do nothing when
|
|
* called. The `char *' parameter is the file name to write the
|
|
* listing to.
|
|
*/
|
|
void (*init) (char *, efunc);
|
|
|
|
/*
|
|
* Called to clear stuff up and close the listing file.
|
|
*/
|
|
void (*cleanup) (void);
|
|
|
|
/*
|
|
* Called to output binary data. Parameters are: the offset;
|
|
* the data; the data type. Data types are similar to the
|
|
* output-format interface, only OUT_ADDRESS will _always_ be
|
|
* displayed as if it's relocatable, so ensure that any non-
|
|
* relocatable address has been converted to OUT_RAWDATA by
|
|
* then. Note that OUT_RAWDATA,0 is a valid data type, and is a
|
|
* dummy call used to give the listing generator an offset to
|
|
* work with when doing things like uplevel(LIST_TIMES) or
|
|
* uplevel(LIST_INCBIN).
|
|
*/
|
|
void (*output) (int32_t, const void *, enum out_type, uint64_t);
|
|
|
|
/*
|
|
* Called to send a text line to the listing generator. The
|
|
* `int' parameter is LIST_READ or LIST_MACRO depending on
|
|
* whether the line came directly from an input file or is the
|
|
* result of a multi-line macro expansion.
|
|
*/
|
|
void (*line) (int, char *);
|
|
|
|
/*
|
|
* Called to change one of the various levelled mechanisms in
|
|
* the listing generator. LIST_INCLUDE and LIST_MACRO can be
|
|
* used to increase the nesting level of include files and
|
|
* macro expansions; LIST_TIMES and LIST_INCBIN switch on the
|
|
* two binary-output-suppression mechanisms for large-scale
|
|
* pseudo-instructions.
|
|
*
|
|
* LIST_MACRO_NOLIST is synonymous with LIST_MACRO except that
|
|
* it indicates the beginning of the expansion of a `nolist'
|
|
* macro, so anything under that level won't be expanded unless
|
|
* it includes another file.
|
|
*/
|
|
void (*uplevel) (int);
|
|
|
|
/*
|
|
* Reverse the effects of uplevel.
|
|
*/
|
|
void (*downlevel) (int);
|
|
|
|
/*
|
|
* Called on a warning or error, with the error message.
|
|
*/
|
|
void (*error)(int severity, const char *pfx, const char *msg);
|
|
} ListGen;
|
|
|
|
/*
|
|
* Token types returned by the scanner, in addition to ordinary
|
|
* ASCII character values, and zero for end-of-string.
|
|
*/
|
|
enum token_type { /* token types, other than chars */
|
|
TOKEN_INVALID = -1, /* a placeholder value */
|
|
TOKEN_EOS = 0, /* end of string */
|
|
TOKEN_EQ = '=', TOKEN_GT = '>', TOKEN_LT = '<', /* aliases */
|
|
TOKEN_ID = 256, /* identifier */
|
|
TOKEN_NUM, /* numeric constant */
|
|
TOKEN_ERRNUM, /* malformed numeric constant */
|
|
TOKEN_STR, /* string constant */
|
|
TOKEN_ERRSTR, /* unterminated string constant */
|
|
TOKEN_FLOAT, /* floating-point constant */
|
|
TOKEN_REG, /* register name */
|
|
TOKEN_INSN, /* instruction name */
|
|
TOKEN_HERE, TOKEN_BASE, /* $ and $$ */
|
|
TOKEN_SPECIAL, /* BYTE, WORD, DWORD, QWORD, FAR, NEAR, etc */
|
|
TOKEN_PREFIX, /* A32, O16, LOCK, REPNZ, TIMES, etc */
|
|
TOKEN_SHL, TOKEN_SHR, /* << and >> */
|
|
TOKEN_SDIV, TOKEN_SMOD, /* // and %% */
|
|
TOKEN_GE, TOKEN_LE, TOKEN_NE, /* >=, <= and <> (!= is same as <>) */
|
|
TOKEN_DBL_AND, TOKEN_DBL_OR, TOKEN_DBL_XOR, /* &&, || and ^^ */
|
|
TOKEN_SEG, TOKEN_WRT, /* SEG and WRT */
|
|
TOKEN_FLOATIZE, /* __floatX__ */
|
|
TOKEN_STRFUNC, /* __utf16__, __utf32__ */
|
|
};
|
|
|
|
enum floatize {
|
|
FLOAT_8,
|
|
FLOAT_16,
|
|
FLOAT_32,
|
|
FLOAT_64,
|
|
FLOAT_80M,
|
|
FLOAT_80E,
|
|
FLOAT_128L,
|
|
FLOAT_128H,
|
|
};
|
|
|
|
/* Must match the list in string_transform(), in strfunc.c */
|
|
enum strfunc {
|
|
STRFUNC_UTF16,
|
|
STRFUNC_UTF32,
|
|
};
|
|
|
|
size_t string_transform(char *, size_t, char **, enum strfunc);
|
|
|
|
/*
|
|
* The expression evaluator must be passed a scanner function; a
|
|
* standard scanner is provided as part of nasmlib.c. The
|
|
* preprocessor will use a different one. Scanners, and the
|
|
* token-value structures they return, look like this.
|
|
*
|
|
* The return value from the scanner is always a copy of the
|
|
* `t_type' field in the structure.
|
|
*/
|
|
struct tokenval {
|
|
enum token_type t_type;
|
|
char *t_charptr;
|
|
int64_t t_integer, t_inttwo;
|
|
};
|
|
typedef int (*scanner) (void *private_data, struct tokenval * tv);
|
|
|
|
struct location {
|
|
int64_t offset;
|
|
int32_t segment;
|
|
int known;
|
|
};
|
|
|
|
/*
|
|
* Expression-evaluator datatype. Expressions, within the
|
|
* evaluator, are stored as an array of these beasts, terminated by
|
|
* a record with type==0. Mostly, it's a vector type: each type
|
|
* denotes some kind of a component, and the value denotes the
|
|
* multiple of that component present in the expression. The
|
|
* exception is the WRT type, whose `value' field denotes the
|
|
* segment to which the expression is relative. These segments will
|
|
* be segment-base types, i.e. either odd segment values or SEG_ABS
|
|
* types. So it is still valid to assume that anything with a
|
|
* `value' field of zero is insignificant.
|
|
*/
|
|
typedef struct {
|
|
int32_t type; /* a register, or EXPR_xxx */
|
|
int64_t value; /* must be >= 32 bits */
|
|
} expr;
|
|
|
|
/*
|
|
* Library routines to manipulate expression data types.
|
|
*/
|
|
int is_reloc(expr *);
|
|
int is_simple(expr *);
|
|
int is_really_simple(expr *);
|
|
int is_unknown(expr *);
|
|
int is_just_unknown(expr *);
|
|
int64_t reloc_value(expr *);
|
|
int32_t reloc_seg(expr *);
|
|
int32_t reloc_wrt(expr *);
|
|
|
|
/*
|
|
* The evaluator can also return hints about which of two registers
|
|
* used in an expression should be the base register. See also the
|
|
* `operand' structure.
|
|
*/
|
|
struct eval_hints {
|
|
int64_t base;
|
|
int type;
|
|
};
|
|
|
|
/*
|
|
* The actual expression evaluator function looks like this. When
|
|
* called, it expects the first token of its expression to already
|
|
* be in `*tv'; if it is not, set tv->t_type to TOKEN_INVALID and
|
|
* it will start by calling the scanner.
|
|
*
|
|
* If a forward reference happens during evaluation, the evaluator
|
|
* must set `*fwref' to true if `fwref' is non-NULL.
|
|
*
|
|
* `critical' is non-zero if the expression may not contain forward
|
|
* references. The evaluator will report its own error if this
|
|
* occurs; if `critical' is 1, the error will be "symbol not
|
|
* defined before use", whereas if `critical' is 2, the error will
|
|
* be "symbol undefined".
|
|
*
|
|
* If `critical' has bit 8 set (in addition to its main value: 0x101
|
|
* and 0x102 correspond to 1 and 2) then an extended expression
|
|
* syntax is recognised, in which relational operators such as =, <
|
|
* and >= are accepted, as well as low-precedence logical operators
|
|
* &&, ^^ and ||.
|
|
*
|
|
* If `hints' is non-NULL, it gets filled in with some hints as to
|
|
* the base register in complex effective addresses.
|
|
*/
|
|
#define CRITICAL 0x100
|
|
typedef expr *(*evalfunc) (scanner sc, void *scprivate,
|
|
struct tokenval * tv, int *fwref, int critical,
|
|
efunc error, struct eval_hints * hints);
|
|
|
|
/*
|
|
* Special values for expr->type. These come after EXPR_REG_END
|
|
* as defined in regs.h.
|
|
*/
|
|
|
|
#define EXPR_UNKNOWN (EXPR_REG_END+1) /* forward references */
|
|
#define EXPR_SIMPLE (EXPR_REG_END+2)
|
|
#define EXPR_WRT (EXPR_REG_END+3)
|
|
#define EXPR_SEGBASE (EXPR_REG_END+4)
|
|
|
|
/*
|
|
* Linked list of strings...
|
|
*/
|
|
typedef struct string_list {
|
|
struct string_list *next;
|
|
char str[1];
|
|
} StrList;
|
|
|
|
/*
|
|
* preprocessors ought to look like this:
|
|
*/
|
|
typedef struct preproc_ops {
|
|
/*
|
|
* Called at the start of a pass; given a file name, the number
|
|
* of the pass, an error reporting function, an evaluator
|
|
* function, and a listing generator to talk to.
|
|
*/
|
|
void (*reset) (char *, int, ListGen *, StrList **);
|
|
|
|
/*
|
|
* Called to fetch a line of preprocessed source. The line
|
|
* returned has been malloc'ed, and so should be freed after
|
|
* use.
|
|
*/
|
|
char *(*getline) (void);
|
|
|
|
/*
|
|
* Called at the end of a pass.
|
|
*/
|
|
void (*cleanup) (int);
|
|
} Preproc;
|
|
|
|
extern Preproc nasmpp;
|
|
|
|
/*
|
|
* ----------------------------------------------------------------
|
|
* Some lexical properties of the NASM source language, included
|
|
* here because they are shared between the parser and preprocessor
|
|
* ----------------------------------------------------------------
|
|
*/
|
|
|
|
/*
|
|
* isidstart matches any character that may start an identifier, and isidchar
|
|
* matches any character that may appear at places other than the start of an
|
|
* identifier. E.g. a period may only appear at the start of an identifier
|
|
* (for local labels), whereas a number may appear anywhere *but* at the
|
|
* start.
|
|
*/
|
|
|
|
#define isidstart(c) ( nasm_isalpha(c) || (c)=='_' || (c)=='.' || (c)=='?' \
|
|
|| (c)=='@' )
|
|
#define isidchar(c) ( isidstart(c) || nasm_isdigit(c) || \
|
|
(c)=='$' || (c)=='#' || (c)=='~' )
|
|
|
|
/* Ditto for numeric constants. */
|
|
|
|
#define isnumstart(c) ( nasm_isdigit(c) || (c)=='$' )
|
|
#define isnumchar(c) ( nasm_isalnum(c) || (c)=='_' )
|
|
|
|
/* This returns the numeric value of a given 'digit'. */
|
|
|
|
#define numvalue(c) ((c)>='a' ? (c)-'a'+10 : (c)>='A' ? (c)-'A'+10 : (c)-'0')
|
|
|
|
/*
|
|
* Data-type flags that get passed to listing-file routines.
|
|
*/
|
|
enum {
|
|
LIST_READ, LIST_MACRO, LIST_MACRO_NOLIST, LIST_INCLUDE,
|
|
LIST_INCBIN, LIST_TIMES
|
|
};
|
|
|
|
/*
|
|
* -----------------------------------------------------------
|
|
* Format of the `insn' structure returned from `parser.c' and
|
|
* passed into `assemble.c'
|
|
* -----------------------------------------------------------
|
|
*/
|
|
|
|
/* Register names automatically generated from regs.dat */
|
|
#include "regs.h"
|
|
|
|
enum ccode { /* condition code names */
|
|
C_A, C_AE, C_B, C_BE, C_C, C_E, C_G, C_GE, C_L, C_LE, C_NA, C_NAE,
|
|
C_NB, C_NBE, C_NC, C_NE, C_NG, C_NGE, C_NL, C_NLE, C_NO, C_NP,
|
|
C_NS, C_NZ, C_O, C_P, C_PE, C_PO, C_S, C_Z,
|
|
C_none = -1
|
|
};
|
|
|
|
/*
|
|
* REX flags
|
|
*/
|
|
#define REX_REAL 0x4f /* Actual REX prefix bits */
|
|
#define REX_B 0x01 /* ModRM r/m extension */
|
|
#define REX_X 0x02 /* SIB index extension */
|
|
#define REX_R 0x04 /* ModRM reg extension */
|
|
#define REX_W 0x08 /* 64-bit operand size */
|
|
#define REX_L 0x20 /* Use LOCK prefix instead of REX.R */
|
|
#define REX_P 0x40 /* REX prefix present/required */
|
|
#define REX_H 0x80 /* High register present, REX forbidden */
|
|
#define REX_D 0x0100 /* Instruction uses DREX instead of REX */
|
|
#define REX_OC 0x0200 /* DREX suffix has the OC0 bit set */
|
|
#define REX_V 0x0400 /* Instruction uses VEX/XOP instead of REX */
|
|
#define REX_NH 0x0800 /* Instruction which doesn't use high regs */
|
|
|
|
/*
|
|
* REX_V "classes" (prefixes which behave like VEX)
|
|
*/
|
|
enum vex_class {
|
|
RV_VEX = 0, /* C4/C5 */
|
|
RV_XOP = 1 /* 8F */
|
|
};
|
|
|
|
/*
|
|
* Note that because segment registers may be used as instruction
|
|
* prefixes, we must ensure the enumerations for prefixes and
|
|
* register names do not overlap.
|
|
*/
|
|
enum prefixes { /* instruction prefixes */
|
|
P_none = 0,
|
|
PREFIX_ENUM_START = REG_ENUM_LIMIT,
|
|
P_A16 = PREFIX_ENUM_START, P_A32, P_A64, P_ASP,
|
|
P_LOCK, P_O16, P_O32, P_O64, P_OSP,
|
|
P_REP, P_REPE, P_REPNE, P_REPNZ, P_REPZ, P_TIMES,
|
|
P_WAIT,
|
|
PREFIX_ENUM_LIMIT
|
|
};
|
|
|
|
enum extop_type { /* extended operand types */
|
|
EOT_NOTHING,
|
|
EOT_DB_STRING, /* Byte string */
|
|
EOT_DB_STRING_FREE, /* Byte string which should be nasm_free'd*/
|
|
EOT_DB_NUMBER, /* Integer */
|
|
};
|
|
|
|
enum ea_flags { /* special EA flags */
|
|
EAF_BYTEOFFS = 1, /* force offset part to byte size */
|
|
EAF_WORDOFFS = 2, /* force offset part to [d]word size */
|
|
EAF_TIMESTWO = 4, /* really do EAX*2 not EAX+EAX */
|
|
EAF_REL = 8, /* IP-relative addressing */
|
|
EAF_ABS = 16, /* non-IP-relative addressing */
|
|
EAF_FSGS = 32 /* fs/gs segment override present */
|
|
};
|
|
|
|
enum eval_hint { /* values for `hinttype' */
|
|
EAH_NOHINT = 0, /* no hint at all - our discretion */
|
|
EAH_MAKEBASE = 1, /* try to make given reg the base */
|
|
EAH_NOTBASE = 2 /* try _not_ to make reg the base */
|
|
};
|
|
|
|
typedef struct operand { /* operand to an instruction */
|
|
opflags_t type; /* type of operand */
|
|
int disp_size; /* 0 means default; 16; 32; 64 */
|
|
enum reg_enum basereg, indexreg; /* address registers */
|
|
int scale; /* index scale */
|
|
int hintbase;
|
|
enum eval_hint hinttype; /* hint as to real base register */
|
|
int32_t segment; /* immediate segment, if needed */
|
|
int64_t offset; /* any immediate number */
|
|
int32_t wrt; /* segment base it's relative to */
|
|
int eaflags; /* special EA flags */
|
|
int opflags; /* see OPFLAG_* defines below */
|
|
} operand;
|
|
|
|
#define OPFLAG_FORWARD 1 /* operand is a forward reference */
|
|
#define OPFLAG_EXTERN 2 /* operand is an external reference */
|
|
#define OPFLAG_UNKNOWN 4 /* operand is an unknown reference */
|
|
/* (always a forward reference also) */
|
|
|
|
typedef struct extop { /* extended operand */
|
|
struct extop *next; /* linked list */
|
|
char *stringval; /* if it's a string, then here it is */
|
|
size_t stringlen; /* ... and here's how long it is */
|
|
int64_t offset; /* ... it's given here ... */
|
|
int32_t segment; /* if it's a number/address, then... */
|
|
int32_t wrt; /* ... and here */
|
|
enum extop_type type; /* defined above */
|
|
} extop;
|
|
|
|
/* Prefix positions: each type of prefix goes in a specific slot.
|
|
This affects the final ordering of the assembled output, which
|
|
shouldn't matter to the processor, but if you have stylistic
|
|
preferences, you can change this. REX prefixes are handled
|
|
differently for the time being.
|
|
|
|
Note that LOCK and REP are in the same slot. This is
|
|
an x86 architectural constraint. */
|
|
enum prefix_pos {
|
|
PPS_WAIT, /* WAIT (technically not a prefix!) */
|
|
PPS_LREP, /* Lock or REP prefix */
|
|
PPS_SEG, /* Segment override prefix */
|
|
PPS_OSIZE, /* Operand size prefix */
|
|
PPS_ASIZE, /* Address size prefix */
|
|
MAXPREFIX /* Total number of prefix slots */
|
|
};
|
|
|
|
/* If you need to change this, also change it in insns.pl */
|
|
#define MAX_OPERANDS 5
|
|
|
|
typedef struct insn { /* an instruction itself */
|
|
char *label; /* the label defined, or NULL */
|
|
enum prefixes prefixes[MAXPREFIX]; /* instruction prefixes, if any */
|
|
enum opcode opcode; /* the opcode - not just the string */
|
|
enum ccode condition; /* the condition code, if Jcc/SETcc */
|
|
int operands; /* how many operands? 0-3
|
|
* (more if db et al) */
|
|
int addr_size; /* address size */
|
|
operand oprs[MAX_OPERANDS]; /* the operands, defined as above */
|
|
extop *eops; /* extended operands */
|
|
int eops_float; /* true if DD and floating */
|
|
int32_t times; /* repeat count (TIMES prefix) */
|
|
bool forw_ref; /* is there a forward reference? */
|
|
int rex; /* Special REX Prefix */
|
|
int drexdst; /* Destination register for DREX/VEX suffix */
|
|
int vex_cm; /* Class and M field for VEX prefix */
|
|
int vex_wlp; /* W, P and L information for VEX prefix */
|
|
} insn;
|
|
|
|
enum geninfo { GI_SWITCH };
|
|
/*
|
|
* ------------------------------------------------------------
|
|
* The data structure defining an output format driver, and the
|
|
* interfaces to the functions therein.
|
|
* ------------------------------------------------------------
|
|
*/
|
|
|
|
struct ofmt {
|
|
/*
|
|
* This is a short (one-liner) description of the type of
|
|
* output generated by the driver.
|
|
*/
|
|
const char *fullname;
|
|
|
|
/*
|
|
* This is a single keyword used to select the driver.
|
|
*/
|
|
const char *shortname;
|
|
|
|
/*
|
|
* Output format flags.
|
|
*/
|
|
#define OFMT_TEXT 1 /* Text file format */
|
|
unsigned int flags;
|
|
|
|
/*
|
|
* this is a pointer to the first element of the debug information
|
|
*/
|
|
struct dfmt **debug_formats;
|
|
|
|
/*
|
|
* and a pointer to the element that is being used
|
|
* note: this is set to the default at compile time and changed if the
|
|
* -F option is selected. If developing a set of new debug formats for
|
|
* an output format, be sure to set this to whatever default you want
|
|
*
|
|
*/
|
|
const struct dfmt *current_dfmt;
|
|
|
|
/*
|
|
* This, if non-NULL, is a NULL-terminated list of `char *'s
|
|
* pointing to extra standard macros supplied by the object
|
|
* format (e.g. a sensible initial default value of __SECT__,
|
|
* and user-level equivalents for any format-specific
|
|
* directives).
|
|
*/
|
|
macros_t *stdmac;
|
|
|
|
/*
|
|
* This procedure is called at the start of an output session to set
|
|
* up internal parameters.
|
|
*/
|
|
void (*init)(void);
|
|
|
|
/*
|
|
* This procedure is called to pass generic information to the
|
|
* object file. The first parameter gives the information type
|
|
* (currently only command line switches)
|
|
* and the second parameter gives the value. This function returns
|
|
* 1 if recognized, 0 if unrecognized
|
|
*/
|
|
int (*setinfo) (enum geninfo type, char **string);
|
|
|
|
/*
|
|
* This procedure is called by assemble() to write actual
|
|
* generated code or data to the object file. Typically it
|
|
* doesn't have to actually _write_ it, just store it for
|
|
* later.
|
|
*
|
|
* The `type' argument specifies the type of output data, and
|
|
* usually the size as well: its contents are described below.
|
|
*/
|
|
void (*output) (int32_t segto, const void *data,
|
|
enum out_type type, uint64_t size,
|
|
int32_t segment, int32_t wrt);
|
|
|
|
/*
|
|
* This procedure is called once for every symbol defined in
|
|
* the module being assembled. It gives the name and value of
|
|
* the symbol, in NASM's terms, and indicates whether it has
|
|
* been declared to be global. Note that the parameter "name",
|
|
* when passed, will point to a piece of static storage
|
|
* allocated inside the label manager - it's safe to keep using
|
|
* that pointer, because the label manager doesn't clean up
|
|
* until after the output driver has.
|
|
*
|
|
* Values of `is_global' are: 0 means the symbol is local; 1
|
|
* means the symbol is global; 2 means the symbol is common (in
|
|
* which case `offset' holds the _size_ of the variable).
|
|
* Anything else is available for the output driver to use
|
|
* internally.
|
|
*
|
|
* This routine explicitly _is_ allowed to call the label
|
|
* manager to define further symbols, if it wants to, even
|
|
* though it's been called _from_ the label manager. That much
|
|
* re-entrancy is guaranteed in the label manager. However, the
|
|
* label manager will in turn call this routine, so it should
|
|
* be prepared to be re-entrant itself.
|
|
*
|
|
* The `special' parameter contains special information passed
|
|
* through from the command that defined the label: it may have
|
|
* been an EXTERN, a COMMON or a GLOBAL. The distinction should
|
|
* be obvious to the output format from the other parameters.
|
|
*/
|
|
void (*symdef) (char *name, int32_t segment, int64_t offset,
|
|
int is_global, char *special);
|
|
|
|
/*
|
|
* This procedure is called when the source code requests a
|
|
* segment change. It should return the corresponding segment
|
|
* _number_ for the name, or NO_SEG if the name is not a valid
|
|
* segment name.
|
|
*
|
|
* It may also be called with NULL, in which case it is to
|
|
* return the _default_ section number for starting assembly in.
|
|
*
|
|
* It is allowed to modify the string it is given a pointer to.
|
|
*
|
|
* It is also allowed to specify a default instruction size for
|
|
* the segment, by setting `*bits' to 16 or 32. Or, if it
|
|
* doesn't wish to define a default, it can leave `bits' alone.
|
|
*/
|
|
int32_t (*section) (char *name, int pass, int *bits);
|
|
|
|
/*
|
|
* This procedure is called to modify section alignment,
|
|
* note there is a trick, the alignment can only increase
|
|
*/
|
|
void (*sectalign)(int32_t seg, unsigned int value);
|
|
|
|
/*
|
|
* This procedure is called to modify the segment base values
|
|
* returned from the SEG operator. It is given a segment base
|
|
* value (i.e. a segment value with the low bit set), and is
|
|
* required to produce in return a segment value which may be
|
|
* different. It can map segment bases to absolute numbers by
|
|
* means of returning SEG_ABS types.
|
|
*
|
|
* It should return NO_SEG if the segment base cannot be
|
|
* determined; the evaluator (which calls this routine) is
|
|
* responsible for throwing an error condition if that occurs
|
|
* in pass two or in a critical expression.
|
|
*/
|
|
int32_t (*segbase) (int32_t segment);
|
|
|
|
/*
|
|
* This procedure is called to allow the output driver to
|
|
* process its own specific directives. When called, it has the
|
|
* directive word in `directive' and the parameter string in
|
|
* `value'. It is called in both assembly passes, and `pass'
|
|
* will be either 1 or 2.
|
|
*
|
|
* This procedure should return zero if it does not _recognise_
|
|
* the directive, so that the main program can report an error.
|
|
* If it recognises the directive but then has its own errors,
|
|
* it should report them itself and then return non-zero. It
|
|
* should also return non-zero if it correctly processes the
|
|
* directive.
|
|
*/
|
|
int (*directive)(enum directives directive, char *value, int pass);
|
|
|
|
/*
|
|
* This procedure is called before anything else - even before
|
|
* the "init" routine - and is passed the name of the input
|
|
* file from which this output file is being generated. It
|
|
* should return its preferred name for the output file in
|
|
* `outname', if outname[0] is not '\0', and do nothing to
|
|
* `outname' otherwise. Since it is called before the driver is
|
|
* properly initialized, it has to be passed its error handler
|
|
* separately.
|
|
*
|
|
* This procedure may also take its own copy of the input file
|
|
* name for use in writing the output file: it is _guaranteed_
|
|
* that it will be called before the "init" routine.
|
|
*
|
|
* The parameter `outname' points to an area of storage
|
|
* guaranteed to be at least FILENAME_MAX in size.
|
|
*/
|
|
void (*filename) (char *inname, char *outname);
|
|
|
|
/*
|
|
* This procedure is called after assembly finishes, to allow
|
|
* the output driver to clean itself up and free its memory.
|
|
* Typically, it will also be the point at which the object
|
|
* file actually gets _written_.
|
|
*
|
|
* One thing the cleanup routine should always do is to close
|
|
* the output file pointer.
|
|
*/
|
|
void (*cleanup) (int debuginfo);
|
|
};
|
|
|
|
extern struct ofmt *ofmt;
|
|
extern FILE *ofile;
|
|
|
|
/*
|
|
* ------------------------------------------------------------
|
|
* The data structure defining a debug format driver, and the
|
|
* interfaces to the functions therein.
|
|
* ------------------------------------------------------------
|
|
*/
|
|
|
|
struct dfmt {
|
|
/*
|
|
* This is a short (one-liner) description of the type of
|
|
* output generated by the driver.
|
|
*/
|
|
const char *fullname;
|
|
|
|
/*
|
|
* This is a single keyword used to select the driver.
|
|
*/
|
|
const char *shortname;
|
|
|
|
/*
|
|
* init - called initially to set up local pointer to object format.
|
|
*/
|
|
void (*init)(void);
|
|
|
|
/*
|
|
* linenum - called any time there is output with a change of
|
|
* line number or file.
|
|
*/
|
|
void (*linenum)(const char *filename, int32_t linenumber, int32_t segto);
|
|
|
|
/*
|
|
* debug_deflabel - called whenever a label is defined. Parameters
|
|
* are the same as to 'symdef()' in the output format. This function
|
|
* would be called before the output format version.
|
|
*/
|
|
|
|
void (*debug_deflabel)(char *name, int32_t segment, int64_t offset,
|
|
int is_global, char *special);
|
|
/*
|
|
* debug_directive - called whenever a DEBUG directive other than 'LINE'
|
|
* is encountered. 'directive' contains the first parameter to the
|
|
* DEBUG directive, and params contains the rest. For example,
|
|
* 'DEBUG VAR _somevar:int' would translate to a call to this
|
|
* function with 'directive' equal to "VAR" and 'params' equal to
|
|
* "_somevar:int".
|
|
*/
|
|
void (*debug_directive)(const char *directive, const char *params);
|
|
|
|
/*
|
|
* typevalue - called whenever the assembler wishes to register a type
|
|
* for the last defined label. This routine MUST detect if a type was
|
|
* already registered and not re-register it.
|
|
*/
|
|
void (*debug_typevalue)(int32_t type);
|
|
|
|
/*
|
|
* debug_output - called whenever output is required
|
|
* 'type' is the type of info required, and this is format-specific
|
|
*/
|
|
void (*debug_output)(int type, void *param);
|
|
|
|
/*
|
|
* cleanup - called after processing of file is complete
|
|
*/
|
|
void (*cleanup)(void);
|
|
};
|
|
|
|
extern const struct dfmt *dfmt;
|
|
|
|
/*
|
|
* The type definition macros
|
|
* for debugging
|
|
*
|
|
* low 3 bits: reserved
|
|
* next 5 bits: type
|
|
* next 24 bits: number of elements for arrays (0 for labels)
|
|
*/
|
|
|
|
#define TY_UNKNOWN 0x00
|
|
#define TY_LABEL 0x08
|
|
#define TY_BYTE 0x10
|
|
#define TY_WORD 0x18
|
|
#define TY_DWORD 0x20
|
|
#define TY_FLOAT 0x28
|
|
#define TY_QWORD 0x30
|
|
#define TY_TBYTE 0x38
|
|
#define TY_OWORD 0x40
|
|
#define TY_YWORD 0x48
|
|
#define TY_COMMON 0xE0
|
|
#define TY_SEG 0xE8
|
|
#define TY_EXTERN 0xF0
|
|
#define TY_EQU 0xF8
|
|
|
|
#define TYM_TYPE(x) ((x) & 0xF8)
|
|
#define TYM_ELEMENTS(x) (((x) & 0xFFFFFF00) >> 8)
|
|
|
|
#define TYS_ELEMENTS(x) ((x) << 8)
|
|
|
|
/*
|
|
* -----
|
|
* Special tokens
|
|
* -----
|
|
*/
|
|
|
|
enum special_tokens {
|
|
SPECIAL_ENUM_START = PREFIX_ENUM_LIMIT,
|
|
S_ABS = SPECIAL_ENUM_START,
|
|
S_BYTE, S_DWORD, S_FAR, S_LONG, S_NEAR, S_NOSPLIT,
|
|
S_OWORD, S_QWORD, S_REL, S_SHORT, S_STRICT, S_TO, S_TWORD, S_WORD, S_YWORD,
|
|
SPECIAL_ENUM_LIMIT
|
|
};
|
|
|
|
/*
|
|
* -----
|
|
* Global modes
|
|
* -----
|
|
*/
|
|
|
|
/*
|
|
* This declaration passes the "pass" number to all other modules
|
|
* "pass0" assumes the values: 0, 0, ..., 0, 1, 2
|
|
* where 0 = optimizing pass
|
|
* 1 = pass 1
|
|
* 2 = pass 2
|
|
*/
|
|
|
|
extern int pass0;
|
|
extern int passn; /* Actual pass number */
|
|
|
|
extern bool tasm_compatible_mode;
|
|
extern int optimizing;
|
|
extern int globalbits; /* 16, 32 or 64-bit mode */
|
|
extern int globalrel; /* default to relative addressing? */
|
|
extern int maxbits; /* max bits supported by output */
|
|
|
|
/*
|
|
* NASM version strings, defined in ver.c
|
|
*/
|
|
extern const char nasm_version[];
|
|
extern const char nasm_date[];
|
|
extern const char nasm_compile_options[];
|
|
extern const char nasm_comment[];
|
|
extern const char nasm_signature[];
|
|
|
|
#endif
|