1 /*-------------------------------------------------------------------------
2 SDCCast.h - header file for parser support & all ast related routines
4 Written By - Sandeep Dutta . sandeep.dutta@usa.net (1998)
6 This program is free software; you can redistribute it and/or modify it
7 under the terms of the GNU General Public License as published by the
8 Free Software Foundation; either version 2, or (at your option) any
11 This program is distributed in the hope that it will be useful,
12 but WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 GNU General Public License for more details.
16 You should have received a copy of the GNU General Public License
17 along with this program; if not, write to the Free Software
18 Foundation, 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
20 In other words, you are welcome to use, share and improve this program.
21 You are forbidden to forbid anyone else to use, share and improve
22 what you give them. Help stamp out software-hoarding!
23 -------------------------------------------------------------------------*/
28 #include "SDCCglobl.h"
52 int level; /* level for expr */
53 int block; /* block number */
54 int seqPoint; /* sequence point */
55 /* union of values expression can have */
58 value *val; /* value if type = EX_VALUE */
59 sym_link *lnk; /* sym_link * if type= EX_LINK */
60 struct operand *oprnd; /* used only for side effecting function calls */
61 unsigned op; /* operator if type= EX_OP */
65 /* union for special processing */
68 char *inlineasm; /* pointer to inline assembler code */
69 literalList *constlist; /* init list for array initializer. */
70 symbol *sym; /* if block then -> symbols */
71 value *args; /* if function then args */
72 /* if switch then switch values */
75 value *swVals; /* switch comparison values */
76 int swDefault; /* default if present */
77 int swNum; /* switch number */
80 /* if for then for values */
83 struct ast *initExpr; /* init portion */
84 struct ast *condExpr; /* conditional portion */
85 struct ast *loopExpr; /* iteration portion */
86 symbol *trueLabel; /* entry point into body */
87 symbol *falseLabel; /* exit point */
88 symbol *continueLabel; /* conditional check */
89 symbol *condLabel; /* conditional label */
92 unsigned literalFromCast; /* true if this is an EX_VALUE of LITERAL
93 * type resulting from a typecast.
95 int argreg; /* argreg number when operand type == EX_OPERAND */
99 int lineno; /* source file line number */
100 char *filename; /* filename of the source file */
102 sym_link *ftype; /* start of type chain for this subtree */
103 sym_link *etype; /* end of type chain for this subtree */
105 struct ast *left; /* pointer to left tree */
106 struct ast *right; /* pointer to right tree */
107 symbol *trueLabel; /* if statement trueLabel */
108 symbol *falseLabel; /* if statement falseLabel */
113 /* easy access macros */
114 #define IS_AST_OP(x) (x && x->type == EX_OP)
115 #define IS_CALLOP(x) (IS_AST_OP(x) && x->opval.op == CALL)
116 #define IS_BITOR(x) (IS_AST_OP(x) && x->opval.op == '|')
117 #define IS_BITAND(x) (IS_AST_OP(x) && x->opval.op == '&' && \
118 x->left && x->right )
119 #define IS_FOR_STMT(x) (IS_AST_OP(x) && x->opval.op == FOR)
120 #define IS_LEFT_OP(x) (IS_AST_OP(x) && x->opval.op == LEFT_OP)
121 #define IS_RIGHT_OP(x) (IS_AST_OP(x) && x->opval.op == RIGHT_OP)
122 #define IS_AST_VALUE(x) (x && x->type == EX_VALUE && x->opval.val)
123 #define IS_AST_LINK(x) (x->type == EX_LINK)
124 #define IS_AST_NOT_OPER(x) (x && IS_AST_OP(x) && x->opval.op == '!')
125 #define IS_ARRAY_OP(x) (IS_AST_OP(x) && x->opval.op == '[')
126 #define IS_COMPARE_OP(x) (IS_AST_OP(x) && \
127 (x->opval.op == '>' || \
128 x->opval.op == '<' || \
129 x->opval.op == LE_OP || \
130 x->opval.op == GE_OP || \
131 x->opval.op == EQ_OP || \
132 x->opval.op == NE_OP ))
133 #define IS_CAST_OP(x) (IS_AST_OP(x) && x->opval.op == CAST)
134 #define IS_TERNARY_OP(x) (IS_AST_OP(x) && x->opval.op == '?')
135 #define IS_COLON_OP(x) (IS_AST_OP(x) && x->opval.op == ':')
136 #define IS_ADDRESS_OF_OP(x) (IS_AST_OP(x) && \
137 x->opval.op == '&' && \
139 #define IS_AST_LIT_VALUE(x) (IS_AST_VALUE(x) && \
140 IS_LITERAL(x->opval.val->etype))
141 #define IS_AST_SYM_VALUE(x) (IS_AST_VALUE(x) && x->opval.val->sym)
142 #define AST_LIT_VALUE(x) (floatFromVal(x->opval.val))
143 #define AST_SYMBOL(x) (x->opval.val->sym)
144 #define AST_VALUE(x) (x->opval.val)
145 #define AST_VALUES(x,y) (x->values.y)
146 #define AST_FOR(x,y) x->values.forVals.y
147 #define AST_ARGREG(x) x->values.argreg
149 #define IS_AST_PARAM(x) (IS_AST_OP(x) && x->opval.op == PARAM)
151 #define CAN_EVAL(x) ( x == '[' || x == '.' || x == PTR_OP || \
152 x == '&' || x == '|' || x == '^' || x == '*' || \
153 x == '-' || x == '+' || x == '~' || \
154 x == '!' || x == LEFT_OP || x == RIGHT_OP || \
155 x == '/' || x == '%' || x == '>' || x == '<' || \
156 x == LE_OP || x == GE_OP || x == EQ_OP || x == NE_OP || \
157 x == AND_OP || x == OR_OP || x == '=' )
159 #define LEFT_FIRST(x) ( x == AND_OP || x == OR_OP )
161 #define SIDE_EFFECTS_CHECK(op,rVal) if (!sideEffects) { \
162 werror(W_NO_SIDE_EFFECTS,op); \
165 #define IS_MODIFYING_OP(x) ( x == INC_OP || x == DEC_OP || x == '=' || \
166 x == AND_ASSIGN || x== OR_ASSIGN || x == XOR_ASSIGN )
168 #define IS_ASSIGN_OP(x) ( x == '=' || x == ADD_ASSIGN || x == SUB_ASSIGN ||\
169 x == MUL_ASSIGN || x == DIV_ASSIGN || x == XOR_ASSIGN ||\
170 x == AND_ASSIGN || x == OR_ASSIGN || x == INC_OP || x == DEC_OP)
171 #define IS_DEREF_OP(x) (( x->opval.op == '*' && x->right == NULL) || x->opval.op == '.')
175 RESULT_TYPE_NONE = 0,
176 RESULT_CHECK = 0, /* TODO: replace all occurences with the appropriate type and remove me */
184 /* forward declarations for global variables */
185 extern ast *staticAutos;
186 extern FILE *codeOutFile;
187 extern struct memmap *GcurMemmap;
189 /* forward definitions for functions */
190 ast *newAst_VALUE (value * val);
191 ast *newAst_OP (unsigned op);
192 ast *newAst_LINK (sym_link * val);
195 ast *newNode (long, ast *, ast *);
196 ast *copyAst (ast *);
197 ast *removeIncDecOps (ast *);
198 ast *removePreIncDecOps (ast *);
199 ast *removePostIncDecOps (ast *);
200 value *sizeofOp (sym_link *);
201 value *evalStmnt (ast *);
202 ast *createFunction (symbol *, ast *);
203 ast *createBlock (symbol *, ast *);
204 ast *createLabel (symbol *, ast *);
205 ast *createCase (ast *, ast *, ast *);
206 ast *createDefault (ast *, ast *, ast *);
207 ast *forLoopOptForm (ast *);
209 ast *resolveSymbols (ast *);
210 ast *decorateType (ast *, RESULT_TYPE);
211 ast *createWhile (symbol *, symbol *, symbol *, ast *, ast *);
212 ast *createIf (ast *, ast *, ast *);
213 ast *createDo (symbol *, symbol *, symbol *, ast *, ast *);
214 ast *createFor (symbol *, symbol *, symbol *, symbol *, ast *, ast *, ast *, ast *);
215 void eval2icode (ast *);
216 value *constExprValue (ast *, int);
217 bool constExprTree (ast *);
218 int setAstLineno (ast *, int);
219 symbol *funcOfType (char *, sym_link *, sym_link *, int, int);
220 symbol * funcOfTypeVarg (char *, char * , int , char **);
221 ast *initAggregates (symbol *, initList *, ast *);
222 bool hasSEFcalls (ast *);
223 void addSymToBlock (symbol *, ast *);
224 void freeStringSymbol(symbol *);
225 DEFSETFUNC(resetParmKey);
226 int astErrors(ast *);
227 RESULT_TYPE getResultTypeFromType (sym_link *);
229 // exported variables
230 extern set *operKeyReset;
232 extern int inInitMode;