X-Git-Url: https://git.sur5r.net/?a=blobdiff_plain;f=src%2Fcc65%2Fexpr.h;h=c98074356ef7ba55cc4c693417f6d090904e2eb4;hb=8dd3cc35dcbd7155812e6a7c01039573aff640cb;hp=7e776bd9000c4cca36be86f0fbf79c5426cd2295;hpb=f249ae345ed1e25c3b6debe8bccad5b26de2c083;p=cc65 diff --git a/src/cc65/expr.h b/src/cc65/expr.h index 7e776bd90..c98074356 100644 --- a/src/cc65/expr.h +++ b/src/cc65/expr.h @@ -11,106 +11,81 @@ +/* cc65 */ #include "datatype.h" +#include "exprdesc.h" /*****************************************************************************/ -/* data */ +/* code */ /*****************************************************************************/ -/* Defines for the flags field of the expression descriptor */ -#define E_MREG 0x0110 /* Special: Expression is primary register */ -#define E_MGLOBAL 0x0080 /* Reference to static variable */ -#define E_MLOCAL 0x0040 /* Reference to local variable (stack offset) */ -#define E_MCONST 0x0020 /* Constant value */ -#define E_MEXPR 0x0010 /* Result is in primary register */ -#define E_MEOFFS 0x0011 /* Base is in primary register, const offset */ +void ExprWithCheck (void (*Func) (ExprDesc*), ExprDesc* Expr); +/* Call an expression function with checks. */ -#define E_MCTYPE 0x0007 /* Type of a constant */ -#define E_TCONST 0x0000 /* Constant */ -#define E_TGLAB 0x0001 /* Global label */ -#define E_TLIT 0x0002 /* Literal of some kind */ -#define E_TLOFFS 0x0003 /* Constant stack offset */ -#define E_TLLAB 0x0004 /* Local label */ -#define E_TREGISTER 0x0005 /* Register variable */ - -/* Defines for the test field of the expression descriptor */ -#define E_CC 0x0001 /* expr has set cond codes apropos result value */ -#define E_FORCETEST 0x0002 /* if expr has NOT set CC, force a test */ - -/* Describe the result of an expression */ -typedef struct ExprDesc ExprDesc; -struct ExprDesc { - struct SymEntry* Sym; /* Symbol table entry if known */ - type* Type; /* Type array of expression */ - long ConstVal;/* Value if expression constant */ - unsigned short Flags; - unsigned short Test; /* */ - unsigned long Name; /* Name or label number */ -}; - - - -/*****************************************************************************/ -/* code */ -/*****************************************************************************/ - - - -void doasm (void); -/* This function parses ASM statements. The syntax of the ASM directive - * looks like the one defined for C++ (C has no ASM directive), that is, - * a string literal in parenthesis. +void MarkedExprWithCheck (void (*Func) (ExprDesc*), ExprDesc* Expr); +/* Call an expression function with checks and record start and end of the + * generated code. */ -unsigned assignadjust (type* lhst, ExprDesc* rhs); -/* Adjust the type of the right hand expression so that it can be assigned to - * the type on the left hand side. This function is used for assignment and - * for converting parameters in a function call. It returns the code generator - * flags for the operation. +void PushAddr (const ExprDesc* Expr); +/* If the expression contains an address that was somehow evaluated, + * push this address on the stack. This is a helper function for all + * sorts of implicit or explicit assignment functions where the lvalue + * must be saved if it's not constant, before evaluating the rhs. */ -void exprhs (unsigned flags, int k, ExprDesc *lval); -/* Put the result of an expression into the primary register */ - -void expression1 (ExprDesc* lval); -/* Evaluate an expression on level 1 (no comma operator) and put it into - * the primary register +void Store (ExprDesc* Expr, const Type* StoreType); +/* Store the primary register into the location denoted by lval. If StoreType + * is given, use this type when storing instead of lval->Type. If StoreType + * is NULL, use lval->Type instead. */ -void expression (ExprDesc* lval); -/* Evaluate an expression and put it into the primary register */ - -int evalexpr (unsigned flags, int (*f) (ExprDesc*), ExprDesc* lval); +int evalexpr (unsigned flags, void (*Func) (ExprDesc*), ExprDesc* Expr); /* Will evaluate an expression via the given function. If the result is a - * constant, 0 is returned and the value is put in the lval struct. If the - * result is not constant, exprhs is called to bring the value into the + * constant, 0 is returned and the value is put in the Expr struct. If the + * result is not constant, LoadExpr is called to bring the value into the * primary register and 1 is returned. */ -void constexpr (ExprDesc* lval); -/* Get a constant value */ +void Expression0 (ExprDesc* Expr); +/* Evaluate an expression via hie0 and put the result into the primary register */ -void intexpr (ExprDesc* lval); -/* Get an integer expression */ +void ConstExpr (void (*Func) (ExprDesc*), ExprDesc* Expr); +/* Will evaluate an expression via the given function. If the result is not + * a constant of some sort, a diagnostic will be printed, and the value is + * replaced by a constant one to make sure there are no internal errors that + * result from this input error. + */ -void boolexpr (ExprDesc* lval); -/* Get a boolean expression */ +void BoolExpr (void (*Func) (ExprDesc*), ExprDesc* Expr); +/* Will evaluate an expression via the given function. If the result is not + * something that may be evaluated in a boolean context, a diagnostic will be + * printed, and the value is replaced by a constant one to make sure there + * are no internal errors that result from this input error. + */ -void test (unsigned label, int cond); -/* Generate code to perform test and jump if false. */ +void ConstAbsIntExpr (void (*Func) (ExprDesc*), ExprDesc* Expr); +/* Will evaluate an expression via the given function. If the result is not + * a constant numeric integer value, a diagnostic will be printed, and the + * value is replaced by a constant one to make sure there are no internal + * errors that result from this input error. + */ -int hie1 (ExprDesc* lval); -/* Parse first level of expression hierarchy. */ +void hie10 (ExprDesc* lval); +/* Handle ++, --, !, unary - etc. */ -int hie0 (ExprDesc* lval); -/* Parse comma operator (highest level of expression hierarchy) */ +void hie8 (ExprDesc* Expr); +/* Process + and - binary operators. */ + +void hie1 (ExprDesc* lval); +/* Parse first level of expression hierarchy. */ -void DefineData (ExprDesc* lval); -/* Output a data definition for the given expression */ +void hie0 (ExprDesc* Expr); +/* Parse comma operator. */