Mercurial > hg > index.cgi
view lwasm/lwasm.h @ 283:210d261a614d
Make byte overflow detection for indexing work better
There are *two* places where indexed addressing is calculated - lea style
instructions and general addressing instructions. Actually check for byte
overflows in both places. Also, extend byte overflow checking to all 8 bit
offsets from index registers, not just PCR.
author | William Astle <lost@l-w.ca> |
---|---|
date | Mon, 02 Sep 2013 10:49:57 -0600 |
parents | d0e9dbe9afbe |
children | d4ac484d0ec6 |
line wrap: on
line source
/* lwasm.h Copyright © 2010 William Astle This file is part of LWTOOLS. LWTOOLS is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version. This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. You should have received a copy of the GNU General Public License along with this program. If not, see <http://www.gnu.org/licenses/>. */ #ifndef ___lwasm_h_seen___ #define ___lwasm_h_seen___ #include <lw_expr.h> #include <lw_stringlist.h> #include <lw_stack.h> // these are allowed chars BELOW 0x80 for symbols // first is symbol start chars, second is anywhere in symbol #define SSYMCHARS "ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz_@$" #define SYMCHARS SSYMCHARS ".?0123456789" typedef struct asmstate_s asmstate_t; enum { lwasm_expr_linelen = 1, // length of ref'd line lwasm_expr_lineaddr = 2, // addr of ref'd line lwasm_expr_nextbp = 3, // next branch point lwasm_expr_prevbp = 4, // previous branch point lwasm_expr_syment = 5, // symbol table entry lwasm_expr_import = 6, // symbol import entry lwasm_expr_secbase = 7, // section base address lwasm_expr_linedaddr = 8, // data address of the line lwasm_expr_linedlen = 9 // data length of the line }; enum lwasm_output_e { OUTPUT_DECB = 0, // DECB multirecord format OUTPUT_RAW, // raw sequence of bytes OUTPUT_OBJ, // proprietary object file format OUTPUT_RAWREL, // raw bytes where ORG causes a SEEK in the file OUTPUT_OS9 // os9 module target }; enum lwasm_target_e { TARGET_6309 = 0, // target 6309 CPU TARGET_6809 // target 6809 CPU (no 6309 ops) }; enum lwasm_flags_e { FLAG_LIST = 0x0001, FLAG_DEPEND = 0x0002, FLAG_SYMBOLS = 0x004, FLAG_DEPENDNOERR = 0x0008, FLAG_UNICORNS = 0x0010, FLAG_NONE = 0 }; enum lwasm_pragmas_e { PRAGMA_NONE = 0, // no pragmas in effect PRAGMA_DOLLARNOTLOCAL = 0x0001, // dollar sign does not make a symbol local PRAGMA_NOINDEX0TONONE = 0x0002, // do not change implicit 0,R to ,R PRAGMA_UNDEFEXTERN = 0x0004, // undefined symbols are considered to be external PRAGMA_CESCAPES = 0x0008, // allow C style escapes in fcc, fcs, fcn, etc. PRAGMA_IMPORTUNDEFEXPORT = 0x0010, // imports symbol if undefined upon export PRAGMA_PCASPCR = 0x0020, // treats ,PC as ,PCR instead of constant offset PRAGMA_SHADOW = 0x0040, // allow macros to shadow builtin operations PRAGMA_NOLIST = 0x0080, // don't show line in listing PRAGMA_AUTOBRANCHLENGTH = 0x0100, // automatically select proper length for relative branches PRAGMA_EXPORT = 0x0200, // export symbols by default, unless local PRAGMA_SYMBOLNOCASE = 0x400, // symbols defined under this pragma are matched case insensitively PRAGMA_CONDUNDEFZERO = 0x800 // treat undefined symbols as zero in conditionals during pass 1 }; enum { section_flag_bss = 1, // BSS section section_flag_constant = 2, // constants - no base offset section_flag_none = 0 // no flags }; typedef struct reloctab_s reloctab_t; struct reloctab_s { lw_expr_t offset; // offset of relocation int size; // size of relocation lw_expr_t expr; // relocation expression reloctab_t *next; }; typedef struct sectiontab_s sectiontab_t; struct sectiontab_s { char *name; // section name int flags; // section flags; lw_expr_t offset; // offset for next instance int oblen; // size of section output int obsize; // size of output buffer unsigned char *obytes; // output buffer reloctab_t *reloctab; // table of relocations sectiontab_t *next; }; typedef struct lwasm_error_s lwasm_error_t; struct lwasm_error_s { char *mess; // actual error message int charpos; // character position on line where parsing stopped lwasm_error_t *next; // ptr to next error }; struct line_expr_s { lw_expr_t expr; int id; struct line_expr_s *next; }; typedef struct line_s line_t; typedef struct exportlist_s exportlist_t; struct exportlist_s { char *symbol; // symbol to export struct symtabe *se; // symbol table entry line_t *line; // line the export is on exportlist_t *next; // next in the export list }; typedef struct importlist_s importlist_t; struct importlist_s { char *symbol; // symbol to import importlist_t *next; // next in the import list }; struct line_s { lw_expr_t addr; // assembly address of the line lw_expr_t daddr; // data address of the line (os9 only) int len; // the "size" this line occupies (address space wise) (-1 if unknown) int dlen; // the data "size" this line occupies (-1 if unknown) int minlen; // minimum length int maxlen; // maximum length int insn; // number of insn in insn table int symset; // set if the line symbol was consumed by the instruction char *sym; // symbol, if any, on the line unsigned char *output; // output bytes int outputl; // size of output int outputbl; // size of output buffer int dpval; // direct page value lwasm_error_t *err; // list of errors lwasm_error_t *warn; // list of errors line_t *prev; // previous line line_t *next; // next line int inmod; // inside a module? sectiontab_t *csect; // which section are we in? struct line_expr_s *exprs; // expressions used during parsing char *lstr; // string passed forward int pb; // pass forward post byte int lint; // pass forward integer int lint2; // another pass forward integer asmstate_t *as; // assembler state data ptr int pragmas; // pragmas in effect for the line int context; // the symbol context number char *ltext; // line number char *linespec; // line spec int lineno; // line number int soff; // struct offset (for listings) int dshow; // data value to show (for listings) int dsize; // set to 1 for 8 bit dshow value int isbrpt; // set to 1 if this line is a branch point struct symtabe *dptr; // symbol value to display int noexpand_start; // start of a no-expand block int noexpand_end; // end of a no-expand block int hideline; // set if we're going to hide this line on output }; enum { symbol_flag_set = 1, // symbol was used with "set" symbol_flag_nocheck = 2, // do not check symbol characters symbol_flag_nolist = 4, // no not show symbol in symbol table symbol_flag_nocase = 8, // do not match case of symbol symbol_flag_none = 0 // no flags }; struct symtabe { char *symbol; // the name of the symbol int context; // symbol context (-1 for global) int version; // version of the symbol (for "set") int flags; // flags for the symbol sectiontab_t *section; // section the symbol is defined in lw_expr_t value; // symbol value struct symtabe *left; // left subtree pointer struct symtabe *right; // right subtree pointer struct symtabe *nextver; // next lower version }; typedef struct { struct symtabe *head; // start of symbol table } symtab_t; typedef struct macrotab_s macrotab_t; struct macrotab_s { char *name; // name of macro char **lines; // macro lines int numlines; // number lines in macro int flags; // flags for the macro macrotab_t *next; // next macro in list line_t *definedat; // the line where the macro definition starts }; enum { macro_noexpand = 1 // set to not expland the macro by default in listing }; typedef struct structtab_s structtab_t; typedef struct structtab_field_s structtab_field_t; struct structtab_field_s { char *name; // structure field name - NULL for anonymous int size; // structure field size structtab_t *substruct; // sub structure if there is one structtab_field_t *next; // next field entry }; struct structtab_s { char *name; // name of structure int size; // number of bytes taken by struct structtab_field_t *fields; // fields in the structure structtab_t *next; // next structure line_t *definedat; // line where structure is defined }; struct asmstate_s { int output_format; // output format int target; // assembly target int debug_level; // level of debugging requested FILE *debug_file; // FILE * to output debug messages to int flags; // assembly flags int pragmas; // pragmas currently in effect int errorcount; // number of errors encountered int warningcount; // number of warnings issued int inmacro; // are we in a macro? int instruct; // are w in a structure? int skipcond; // skipping a condition? int skipcount; // depth of "skipping" int skipmacro; // are we skipping in a macro? int endseen; // have we seen an "end" pseudo? int execaddr; // address from "end" int inmod; // inside an os9 module? int undefzero; // used for handling "condundefzero" int pretendmax; // set if we need to pretend the instruction is max length unsigned char crc[3]; // crc accumulator int badsymerr; // throw error on undef sym if set line_t *line_head; // start of lines list line_t *line_tail; // tail of lines list line_t *cl; // current line pointer sectiontab_t *csect; // current section int context; // the current "context" int nextcontext; // the next available context symtab_t symtab; // meta data for the symbol table macrotab_t *macros; // macro table sectiontab_t *sections; // section table exportlist_t *exportlist; // list of exported symbols importlist_t *importlist; // list of imported symbols char *list_file; // name of file to list to char *output_file; // output file name lw_stringlist_t input_files; // files to assemble void *input_data; // opaque data used by the input system lw_stringlist_t include_list; // include paths lw_stack_t file_dir; // stack of the "current file" dir lw_stack_t includelist; structtab_t *structs; // defined structures structtab_t *cstruct; // current structure lw_expr_t savedaddr; // old address counter before struct started int exportcheck; // set if we need to collapse out the section base to 0 int passno; // set to the current pass number int preprocess; // set if we are prepocessing int fileerr; // flags error opening file }; #ifndef ___symbol_c_seen___ extern struct symtabe *register_symbol(asmstate_t *as, line_t *cl, char *sym, lw_expr_t value, int flags); extern struct symtabe *lookup_symbol(asmstate_t *as, line_t *cl, char *sym); #endif #ifndef ___lwasm_c_seen___ extern void lwasm_register_error(asmstate_t *as, line_t *cl, const char *msg, ...); extern void lwasm_register_warning(asmstate_t *as, line_t *cl, const char *msg, ...); extern void lwasm_register_error_n(asmstate_t *as, line_t *cl, char *iptr, const char *msg, ...); extern void lwasm_register_warning_n(asmstate_t *as, line_t *cl, char *iptr, const char *msg, ...); extern int lwasm_next_context(asmstate_t *as); extern void lwasm_emit(line_t *cl, int byte); extern void lwasm_emitop(line_t *cl, int opc); extern void lwasm_save_expr(line_t *cl, int id, lw_expr_t expr); extern lw_expr_t lwasm_fetch_expr(line_t *cl, int id); extern lw_expr_t lwasm_parse_expr(asmstate_t *as, char **p); extern int lwasm_emitexpr(line_t *cl, lw_expr_t expr, int s); extern void skip_operand(char **p); extern int lwasm_lookupreg2(const char *rlist, char **p); extern int lwasm_lookupreg3(const char *rlist, char **p); extern void lwasm_show_errors(asmstate_t *as); extern int lwasm_reduce_expr(asmstate_t *as, lw_expr_t expr); extern lw_expr_t lwasm_parse_cond(asmstate_t *as, char **p); extern int lwasm_calculate_range(asmstate_t *as, lw_expr_t expr, int *min, int *max); #endif extern void debug_message(asmstate_t *as, int level, const char *fmt, ...); extern void dump_state(asmstate_t *as); #define OPLEN(op) (((op)>0xFF)?2:1) #define CURPRAGMA(l,p) (((l) && ((l)->pragmas & (p))) ? 1 : 0) #endif /* ___lwasm_h_seen___ */