Mercurial > hg-old > index.cgi

annotate lwasm/expr.h @ 276:23034db7dd8a 2.5

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fixed expression 'slots' to not store null on a pass 1 store
author lost
date Mon, 31 Aug 2009 08:39:36 +0000
parents 427e268e876b
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
13
05d4115b4860 Started work on new expression evaluator system and major code re-work for next release
lost
parents:
diff changeset
1 /*
05d4115b4860 Started work on new expression evaluator system and major code re-work for next release
lost
parents:
diff changeset
2 expr.h
05d4115b4860 Started work on new expression evaluator system and major code re-work for next release
lost
parents:
diff changeset
3 Copyright © 2008 William Astle
05d4115b4860 Started work on new expression evaluator system and major code re-work for next release
lost
parents:
diff changeset
4
05d4115b4860 Started work on new expression evaluator system and major code re-work for next release
lost
parents:
diff changeset
5 This file is part of LWASM.
05d4115b4860 Started work on new expression evaluator system and major code re-work for next release
lost
parents:
diff changeset
6
05d4115b4860 Started work on new expression evaluator system and major code re-work for next release
lost
parents:
diff changeset
7 LWASM is free software: you can redistribute it and/or modify it under the
05d4115b4860 Started work on new expression evaluator system and major code re-work for next release
lost
parents:
diff changeset
8 terms of the GNU General Public License as published by the Free Software
05d4115b4860 Started work on new expression evaluator system and major code re-work for next release
lost
parents:
diff changeset
9 Foundation, either version 3 of the License, or (at your option) any later
05d4115b4860 Started work on new expression evaluator system and major code re-work for next release
lost
parents:
diff changeset
10 version.
05d4115b4860 Started work on new expression evaluator system and major code re-work for next release
lost
parents:
diff changeset
11
05d4115b4860 Started work on new expression evaluator system and major code re-work for next release
lost
parents:
diff changeset
12 This program is distributed in the hope that it will be useful, but WITHOUT
05d4115b4860 Started work on new expression evaluator system and major code re-work for next release
lost
parents:
diff changeset
13 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
05d4115b4860 Started work on new expression evaluator system and major code re-work for next release
lost
parents:
diff changeset
14 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for
05d4115b4860 Started work on new expression evaluator system and major code re-work for next release
lost
parents:
diff changeset
15 more details.
05d4115b4860 Started work on new expression evaluator system and major code re-work for next release
lost
parents:
diff changeset
16
05d4115b4860 Started work on new expression evaluator system and major code re-work for next release
lost
parents:
diff changeset
17 You should have received a copy of the GNU General Public License along with
05d4115b4860 Started work on new expression evaluator system and major code re-work for next release
lost
parents:
diff changeset
18 this program. If not, see <http://www.gnu.org/licenses/>.
05d4115b4860 Started work on new expression evaluator system and major code re-work for next release
lost
parents:
diff changeset
19 */
05d4115b4860 Started work on new expression evaluator system and major code re-work for next release
lost
parents:
diff changeset
20
05d4115b4860 Started work on new expression evaluator system and major code re-work for next release
lost
parents:
diff changeset
21 /*
15
1f598d89b9b0 Started creating expression parser
lost
parents: 14
diff changeset
22 Definitions for expression evaluator
13
05d4115b4860 Started work on new expression evaluator system and major code re-work for next release
lost
parents:
diff changeset
23 */
05d4115b4860 Started work on new expression evaluator system and major code re-work for next release
lost
parents:
diff changeset
24
05d4115b4860 Started work on new expression evaluator system and major code re-work for next release
lost
parents:
diff changeset
25 #ifndef __expr_h_seen__
05d4115b4860 Started work on new expression evaluator system and major code re-work for next release
lost
parents:
diff changeset
26 #define __expr_h_seen__
05d4115b4860 Started work on new expression evaluator system and major code re-work for next release
lost
parents:
diff changeset
27
14
b28d7cb60779 checkpoint
lost
parents: 13
diff changeset
28 #ifndef __expr_c_seen__
15
1f598d89b9b0 Started creating expression parser
lost
parents: 14
diff changeset
29 #define __expr_E__ extern
14
b28d7cb60779 checkpoint
lost
parents: 13
diff changeset
30 #else
15
1f598d89b9b0 Started creating expression parser
lost
parents: 14
diff changeset
31 #define __expr_E__
14
b28d7cb60779 checkpoint
lost
parents: 13
diff changeset
32 #endif
b28d7cb60779 checkpoint
lost
parents: 13
diff changeset
33
17
df0c4a46af8f Started adding expression handling infrastructure
lost
parents: 15
diff changeset
34 // term types
df0c4a46af8f Started adding expression handling infrastructure
lost
parents: 15
diff changeset
35 #define LWASM_TERM_NONE 0
df0c4a46af8f Started adding expression handling infrastructure
lost
parents: 15
diff changeset
36 #define LWASM_TERM_OPER 1 // an operator
df0c4a46af8f Started adding expression handling infrastructure
lost
parents: 15
diff changeset
37 #define LWASM_TERM_INT 2 // 32 bit signed integer
df0c4a46af8f Started adding expression handling infrastructure
lost
parents: 15
diff changeset
38 #define LWASM_TERM_SYM 3 // symbol reference
91
718998b673ee Added incomplete references to object output and added support for section base terms in expression handler
lost
parents: 76
diff changeset
39 #define LWASM_TERM_SECBASE 4 // section base reference
17
df0c4a46af8f Started adding expression handling infrastructure
lost
parents: 15
diff changeset
40
df0c4a46af8f Started adding expression handling infrastructure
lost
parents: 15
diff changeset
41 // operator types
df0c4a46af8f Started adding expression handling infrastructure
lost
parents: 15
diff changeset
42 #define LWASM_OPER_NONE 0
df0c4a46af8f Started adding expression handling infrastructure
lost
parents: 15
diff changeset
43 #define LWASM_OPER_PLUS 1 // +
df0c4a46af8f Started adding expression handling infrastructure
lost
parents: 15
diff changeset
44 #define LWASM_OPER_MINUS 2 // -
df0c4a46af8f Started adding expression handling infrastructure
lost
parents: 15
diff changeset
45 #define LWASM_OPER_TIMES 3 // *
df0c4a46af8f Started adding expression handling infrastructure
lost
parents: 15
diff changeset
46 #define LWASM_OPER_DIVIDE 4 // /
df0c4a46af8f Started adding expression handling infrastructure
lost
parents: 15
diff changeset
47 #define LWASM_OPER_MOD 5 // %
18
218aabbc3b1a First pass at expression evaluator complete
lost
parents: 17
diff changeset
48 #define LWASM_OPER_INTDIV 6 // \ (don't end line with \)
17
df0c4a46af8f Started adding expression handling infrastructure
lost
parents: 15
diff changeset
49 #define LWASM_OPER_BWAND 7 // bitwise AND
df0c4a46af8f Started adding expression handling infrastructure
lost
parents: 15
diff changeset
50 #define LWASM_OPER_BWOR 8 // bitwise OR
df0c4a46af8f Started adding expression handling infrastructure
lost
parents: 15
diff changeset
51 #define LWASM_OPER_BWXOR 9 // bitwise XOR
df0c4a46af8f Started adding expression handling infrastructure
lost
parents: 15
diff changeset
52 #define LWASM_OPER_AND 10 // boolean AND
df0c4a46af8f Started adding expression handling infrastructure
lost
parents: 15
diff changeset
53 #define LWASM_OPER_OR 11 // boolean OR
23
ec0bf61a5502 Added ^ (bitwise complement)
lost
parents: 18
diff changeset
54 #define LWASM_OPER_NEG 12 // - unary negation (2's complement)
ec0bf61a5502 Added ^ (bitwise complement)
lost
parents: 18
diff changeset
55 #define LWASM_OPER_COM 13 // ^ unary 1's complement
17
df0c4a46af8f Started adding expression handling infrastructure
lost
parents: 15
diff changeset
56
14
b28d7cb60779 checkpoint
lost
parents: 13
diff changeset
57
17
df0c4a46af8f Started adding expression handling infrastructure
lost
parents: 15
diff changeset
58 // term structure
df0c4a46af8f Started adding expression handling infrastructure
lost
parents: 15
diff changeset
59 typedef struct lwasm_expr_term_s
df0c4a46af8f Started adding expression handling infrastructure
lost
parents: 15
diff changeset
60 {
df0c4a46af8f Started adding expression handling infrastructure
lost
parents: 15
diff changeset
61 int term_type; // type of term (see above)
df0c4a46af8f Started adding expression handling infrastructure
lost
parents: 15
diff changeset
62 char *symbol; // name of a symbol
df0c4a46af8f Started adding expression handling infrastructure
lost
parents: 15
diff changeset
63 int value; // value of the term (int) or operator number (OPER)
df0c4a46af8f Started adding expression handling infrastructure
lost
parents: 15
diff changeset
64 } lwasm_expr_term_t;
df0c4a46af8f Started adding expression handling infrastructure
lost
parents: 15
diff changeset
65
df0c4a46af8f Started adding expression handling infrastructure
lost
parents: 15
diff changeset
66 // type for an expression evaluation stack
df0c4a46af8f Started adding expression handling infrastructure
lost
parents: 15
diff changeset
67 typedef struct lwasm_expr_stack_node_s lwasm_expr_stack_node_t;
df0c4a46af8f Started adding expression handling infrastructure
lost
parents: 15
diff changeset
68 struct lwasm_expr_stack_node_s
df0c4a46af8f Started adding expression handling infrastructure
lost
parents: 15
diff changeset
69 {
df0c4a46af8f Started adding expression handling infrastructure
lost
parents: 15
diff changeset
70 lwasm_expr_term_t *term;
df0c4a46af8f Started adding expression handling infrastructure
lost
parents: 15
diff changeset
71 lwasm_expr_stack_node_t *prev;
df0c4a46af8f Started adding expression handling infrastructure
lost
parents: 15
diff changeset
72 lwasm_expr_stack_node_t *next;
df0c4a46af8f Started adding expression handling infrastructure
lost
parents: 15
diff changeset
73 };
df0c4a46af8f Started adding expression handling infrastructure
lost
parents: 15
diff changeset
74
df0c4a46af8f Started adding expression handling infrastructure
lost
parents: 15
diff changeset
75 typedef struct lwasm_expr_stack_s
df0c4a46af8f Started adding expression handling infrastructure
lost
parents: 15
diff changeset
76 {
df0c4a46af8f Started adding expression handling infrastructure
lost
parents: 15
diff changeset
77 lwasm_expr_stack_node_t *head;
df0c4a46af8f Started adding expression handling infrastructure
lost
parents: 15
diff changeset
78 lwasm_expr_stack_node_t *tail;
df0c4a46af8f Started adding expression handling infrastructure
lost
parents: 15
diff changeset
79 } lwasm_expr_stack_t;
df0c4a46af8f Started adding expression handling infrastructure
lost
parents: 15
diff changeset
80
df0c4a46af8f Started adding expression handling infrastructure
lost
parents: 15
diff changeset
81 __expr_E__ void lwasm_expr_term_free(lwasm_expr_term_t *t);
df0c4a46af8f Started adding expression handling infrastructure
lost
parents: 15
diff changeset
82 __expr_E__ lwasm_expr_term_t *lwasm_expr_term_create_oper(int oper);
df0c4a46af8f Started adding expression handling infrastructure
lost
parents: 15
diff changeset
83 __expr_E__ lwasm_expr_term_t *lwasm_expr_term_create_sym(char *sym);
df0c4a46af8f Started adding expression handling infrastructure
lost
parents: 15
diff changeset
84 __expr_E__ lwasm_expr_term_t *lwasm_expr_term_create_int(int val);
91
718998b673ee Added incomplete references to object output and added support for section base terms in expression handler
lost
parents: 76
diff changeset
85 __expr_E__ lwasm_expr_term_t *lwasm_expr_term_create_secbase(void);
17
df0c4a46af8f Started adding expression handling infrastructure
lost
parents: 15
diff changeset
86 __expr_E__ lwasm_expr_term_t *lwasm_expr_term_dup(lwasm_expr_term_t *t);
df0c4a46af8f Started adding expression handling infrastructure
lost
parents: 15
diff changeset
87
df0c4a46af8f Started adding expression handling infrastructure
lost
parents: 15
diff changeset
88 __expr_E__ void lwasm_expr_stack_free(lwasm_expr_stack_t *s);
df0c4a46af8f Started adding expression handling infrastructure
lost
parents: 15
diff changeset
89 __expr_E__ lwasm_expr_stack_t *lwasm_expr_stack_create(void);
df0c4a46af8f Started adding expression handling infrastructure
lost
parents: 15
diff changeset
90
df0c4a46af8f Started adding expression handling infrastructure
lost
parents: 15
diff changeset
91 __expr_E__ void lwasm_expr_stack_push(lwasm_expr_stack_t *s, lwasm_expr_term_t *t);
df0c4a46af8f Started adding expression handling infrastructure
lost
parents: 15
diff changeset
92 __expr_E__ lwasm_expr_term_t *lwasm_expr_stack_pop(lwasm_expr_stack_t *s);
13
05d4115b4860 Started work on new expression evaluator system and major code re-work for next release
lost
parents:
diff changeset
93
18
218aabbc3b1a First pass at expression evaluator complete
lost
parents: 17
diff changeset
94 /*
218aabbc3b1a First pass at expression evaluator complete
lost
parents: 17
diff changeset
95 Evaluate an expression. The result is an lwasm_expr_stack_t pointer. If the
218aabbc3b1a First pass at expression evaluator complete
lost
parents: 17
diff changeset
96 expression evaluates to a constant result, the stack will contain exactly one
218aabbc3b1a First pass at expression evaluator complete
lost
parents: 17
diff changeset
97 value which will be a constant. Otherwise, the stack will contain the
218aabbc3b1a First pass at expression evaluator complete
lost
parents: 17
diff changeset
98 expression with all operations that can be evaluated completely evaluated.
218aabbc3b1a First pass at expression evaluator complete
lost
parents: 17
diff changeset
99 You must call lwasm_expr_stack_free() on the result when you are finished
218aabbc3b1a First pass at expression evaluator complete
lost
parents: 17
diff changeset
100 with it.
218aabbc3b1a First pass at expression evaluator complete
lost
parents: 17
diff changeset
101 */
76
2fe5fd7d65a3 Checkpointing object target implementation
lost
parents: 67
diff changeset
102 __expr_E__ lwasm_expr_stack_t *lwasm_expr_eval(const char *inp, const char **outp, lwasm_expr_stack_t *(*sfunc)(char *sym, void *state), void *state);
18
218aabbc3b1a First pass at expression evaluator complete
lost
parents: 17
diff changeset
103
218aabbc3b1a First pass at expression evaluator complete
lost
parents: 17
diff changeset
104 // simplify expression
76
2fe5fd7d65a3 Checkpointing object target implementation
lost
parents: 67
diff changeset
105 __expr_E__ int lwasm_expr_reval(lwasm_expr_stack_t *s, lwasm_expr_stack_t *(*sfunc)(char *sym, void *state), void *state);
18
218aabbc3b1a First pass at expression evaluator complete
lost
parents: 17
diff changeset
106
218aabbc3b1a First pass at expression evaluator complete
lost
parents: 17
diff changeset
107 // useful macros
218aabbc3b1a First pass at expression evaluator complete
lost
parents: 17
diff changeset
108 // is the expression "simple" (one term)?
218aabbc3b1a First pass at expression evaluator complete
lost
parents: 17
diff changeset
109 #define lwasm_expr_is_simple(s) ((s) -> head == (s) -> tail)
218aabbc3b1a First pass at expression evaluator complete
lost
parents: 17
diff changeset
110
218aabbc3b1a First pass at expression evaluator complete
lost
parents: 17
diff changeset
111 // is the expression constant?
67
d5fe306f1ab1 Fixed numerous bugs in macro handling
lost
parents: 37
diff changeset
112 #define lwasm_expr_is_constant(s) (lwasm_expr_is_simple(s) && (!((s) -> head) || (s) -> head -> term -> term_type == LWASM_TERM_INT))
18
218aabbc3b1a First pass at expression evaluator complete
lost
parents: 17
diff changeset
113
218aabbc3b1a First pass at expression evaluator complete
lost
parents: 17
diff changeset
114 // get the constant value of an expression or 0 if not constant
67
d5fe306f1ab1 Fixed numerous bugs in macro handling
lost
parents: 37
diff changeset
115 #define lwasm_expr_get_value(s) (lwasm_expr_is_constant(s) ? ((s) -> head ? (s) -> head -> term -> value : 0) : 0)
18
218aabbc3b1a First pass at expression evaluator complete
lost
parents: 17
diff changeset
116
15
1f598d89b9b0 Started creating expression parser
lost
parents: 14
diff changeset
117 #undef __expr_E__
1f598d89b9b0 Started creating expression parser
lost
parents: 14
diff changeset
118
1f598d89b9b0 Started creating expression parser
lost
parents: 14
diff changeset
119 #endif // __expr_h_seen__