annotate lwasm/lwasm.c @ 275:97630727000e 2.5

fixed expression 'slots' to not store null on a pass 1 store
author lost
date Mon, 31 Aug 2009 08:37:15 +0000
parents 1106ec189e4f
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
57495da01900 Initial checking of LWASM
lost
parents:
diff changeset
1 /*
4
34568fab6058 Fixed package to include all required files; also added copyright preamble to all source files
lost
parents: 0
diff changeset
2 lwasm.c
55
8e32696380f3 added expression evaluation and checking function
lost
parents: 52
diff changeset
3 Copyright © 2009 William Astle
4
34568fab6058 Fixed package to include all required files; also added copyright preamble to all source files
lost
parents: 0
diff changeset
4
34568fab6058 Fixed package to include all required files; also added copyright preamble to all source files
lost
parents: 0
diff changeset
5 This file is part of LWASM.
34568fab6058 Fixed package to include all required files; also added copyright preamble to all source files
lost
parents: 0
diff changeset
6
34568fab6058 Fixed package to include all required files; also added copyright preamble to all source files
lost
parents: 0
diff changeset
7 LWASM is free software: you can redistribute it and/or modify it under the
34568fab6058 Fixed package to include all required files; also added copyright preamble to all source files
lost
parents: 0
diff changeset
8 terms of the GNU General Public License as published by the Free Software
34568fab6058 Fixed package to include all required files; also added copyright preamble to all source files
lost
parents: 0
diff changeset
9 Foundation, either version 3 of the License, or (at your option) any later
34568fab6058 Fixed package to include all required files; also added copyright preamble to all source files
lost
parents: 0
diff changeset
10 version.
34568fab6058 Fixed package to include all required files; also added copyright preamble to all source files
lost
parents: 0
diff changeset
11
34568fab6058 Fixed package to include all required files; also added copyright preamble to all source files
lost
parents: 0
diff changeset
12 This program is distributed in the hope that it will be useful, but WITHOUT
34568fab6058 Fixed package to include all required files; also added copyright preamble to all source files
lost
parents: 0
diff changeset
13 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
34568fab6058 Fixed package to include all required files; also added copyright preamble to all source files
lost
parents: 0
diff changeset
14 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for
34568fab6058 Fixed package to include all required files; also added copyright preamble to all source files
lost
parents: 0
diff changeset
15 more details.
34568fab6058 Fixed package to include all required files; also added copyright preamble to all source files
lost
parents: 0
diff changeset
16
34568fab6058 Fixed package to include all required files; also added copyright preamble to all source files
lost
parents: 0
diff changeset
17 You should have received a copy of the GNU General Public License along with
34568fab6058 Fixed package to include all required files; also added copyright preamble to all source files
lost
parents: 0
diff changeset
18 this program. If not, see <http://www.gnu.org/licenses/>.
34568fab6058 Fixed package to include all required files; also added copyright preamble to all source files
lost
parents: 0
diff changeset
19
26
d2e86babd958 Added error tracking infrastructure
lost
parents: 13
diff changeset
20
d2e86babd958 Added error tracking infrastructure
lost
parents: 13
diff changeset
21 Contains random functions used by the assembler
4
34568fab6058 Fixed package to include all required files; also added copyright preamble to all source files
lost
parents: 0
diff changeset
22 */
0
57495da01900 Initial checking of LWASM
lost
parents:
diff changeset
23
26
d2e86babd958 Added error tracking infrastructure
lost
parents: 13
diff changeset
24 #define __lwasm_c_seen__
212
bae1e3ecdce1 More preparation for gnulib integration
lost
parents: 151
diff changeset
25 #include <config.h>
26
d2e86babd958 Added error tracking infrastructure
lost
parents: 13
diff changeset
26
d2e86babd958 Added error tracking infrastructure
lost
parents: 13
diff changeset
27 #include <stdarg.h>
0
57495da01900 Initial checking of LWASM
lost
parents:
diff changeset
28 #include <stdlib.h>
26
d2e86babd958 Added error tracking infrastructure
lost
parents: 13
diff changeset
29 #include <stdio.h>
d2e86babd958 Added error tracking infrastructure
lost
parents: 13
diff changeset
30
0
57495da01900 Initial checking of LWASM
lost
parents:
diff changeset
31 #include "lwasm.h"
26
d2e86babd958 Added error tracking infrastructure
lost
parents: 13
diff changeset
32 #include "util.h"
37
538e15927776 Added symbol handling to expression subsystem; adpated instruction handlers to the new scheme; misc fixes
lost
parents: 32
diff changeset
33 #include "expr.h"
0
57495da01900 Initial checking of LWASM
lost
parents:
diff changeset
34
38
9bd584bb6296 Added debugging message infrastructure
lost
parents: 37
diff changeset
35 int debug_level = 0;
9bd584bb6296 Added debugging message infrastructure
lost
parents: 37
diff changeset
36
26
d2e86babd958 Added error tracking infrastructure
lost
parents: 13
diff changeset
37 int register_error(asmstate_t *as, lwasm_line_t *l, int pass, const char *fmt, ...)
0
57495da01900 Initial checking of LWASM
lost
parents:
diff changeset
38 {
26
d2e86babd958 Added error tracking infrastructure
lost
parents: 13
diff changeset
39 lwasm_error_t *e;
d2e86babd958 Added error tracking infrastructure
lost
parents: 13
diff changeset
40 va_list args;
d2e86babd958 Added error tracking infrastructure
lost
parents: 13
diff changeset
41 char errbuff[1024];
d2e86babd958 Added error tracking infrastructure
lost
parents: 13
diff changeset
42 int r;
0
57495da01900 Initial checking of LWASM
lost
parents:
diff changeset
43
143
0ee5f65bccf9 Added pragma to allow all undefined symbols to be considered external and also added a --pragma command line option
lost
parents: 101
diff changeset
44 if (!l)
0ee5f65bccf9 Added pragma to allow all undefined symbols to be considered external and also added a --pragma command line option
lost
parents: 101
diff changeset
45 return;
0ee5f65bccf9 Added pragma to allow all undefined symbols to be considered external and also added a --pragma command line option
lost
parents: 101
diff changeset
46
26
d2e86babd958 Added error tracking infrastructure
lost
parents: 13
diff changeset
47 if (as -> passnum != pass)
d2e86babd958 Added error tracking infrastructure
lost
parents: 13
diff changeset
48 return;
d2e86babd958 Added error tracking infrastructure
lost
parents: 13
diff changeset
49
d2e86babd958 Added error tracking infrastructure
lost
parents: 13
diff changeset
50 va_start(args, fmt);
0
57495da01900 Initial checking of LWASM
lost
parents:
diff changeset
51
26
d2e86babd958 Added error tracking infrastructure
lost
parents: 13
diff changeset
52 e = lwasm_alloc(sizeof(lwasm_error_t));
d2e86babd958 Added error tracking infrastructure
lost
parents: 13
diff changeset
53
d2e86babd958 Added error tracking infrastructure
lost
parents: 13
diff changeset
54 e -> next = l -> err;
d2e86babd958 Added error tracking infrastructure
lost
parents: 13
diff changeset
55 l -> err = e;
0
57495da01900 Initial checking of LWASM
lost
parents:
diff changeset
56
57495da01900 Initial checking of LWASM
lost
parents:
diff changeset
57 as -> errorcount++;
57495da01900 Initial checking of LWASM
lost
parents:
diff changeset
58
26
d2e86babd958 Added error tracking infrastructure
lost
parents: 13
diff changeset
59 r = vsnprintf(errbuff, 1024, fmt, args);
d2e86babd958 Added error tracking infrastructure
lost
parents: 13
diff changeset
60 e -> mess = lwasm_strdup(errbuff);
0
57495da01900 Initial checking of LWASM
lost
parents:
diff changeset
61
26
d2e86babd958 Added error tracking infrastructure
lost
parents: 13
diff changeset
62 va_end(args);
0
57495da01900 Initial checking of LWASM
lost
parents:
diff changeset
63
26
d2e86babd958 Added error tracking infrastructure
lost
parents: 13
diff changeset
64 return r;
0
57495da01900 Initial checking of LWASM
lost
parents:
diff changeset
65 }
27
f736579569b4 Added handlers for inherent and register to register instructions
lost
parents: 26
diff changeset
66
f736579569b4 Added handlers for inherent and register to register instructions
lost
parents: 26
diff changeset
67 void lwasm_emit(asmstate_t *as, lwasm_line_t *l, int b)
f736579569b4 Added handlers for inherent and register to register instructions
lost
parents: 26
diff changeset
68 {
f736579569b4 Added handlers for inherent and register to register instructions
lost
parents: 26
diff changeset
69 as -> addr += 1;
58
b1d81800bc91 Added symbol listing to list file; various fixes
lost
parents: 57
diff changeset
70 as -> addr &= 0xffff;
b1d81800bc91 Added symbol listing to list file; various fixes
lost
parents: 57
diff changeset
71
74
c8c772ef5df9 Checkpointing object target implementation
lost
parents: 60
diff changeset
72 if (as -> outformat == OUTPUT_OBJ && !(as -> csect))
c8c772ef5df9 Checkpointing object target implementation
lost
parents: 60
diff changeset
73 {
c8c772ef5df9 Checkpointing object target implementation
lost
parents: 60
diff changeset
74 register_error(as, l, 1, "Output not allowed outside sections with obj target");
c8c772ef5df9 Checkpointing object target implementation
lost
parents: 60
diff changeset
75 return;
c8c772ef5df9 Checkpointing object target implementation
lost
parents: 60
diff changeset
76 }
c8c772ef5df9 Checkpointing object target implementation
lost
parents: 60
diff changeset
77 if (as -> outformat == OUTPUT_OBJ && as -> csect -> flags & SECTION_BSS)
c8c772ef5df9 Checkpointing object target implementation
lost
parents: 60
diff changeset
78 {
c8c772ef5df9 Checkpointing object target implementation
lost
parents: 60
diff changeset
79 register_error(as, l, 1, "Output not allowed inside BSS sections");
c8c772ef5df9 Checkpointing object target implementation
lost
parents: 60
diff changeset
80 return;
c8c772ef5df9 Checkpointing object target implementation
lost
parents: 60
diff changeset
81 }
236
a58f49a77441 Added os9 target, pragma to control whether $ localizes a symbol, and fixed some condition nesting bugs
lost
parents: 212
diff changeset
82
a58f49a77441 Added os9 target, pragma to control whether $ localizes a symbol, and fixed some condition nesting bugs
lost
parents: 212
diff changeset
83 if (as -> outformat == OUTPUT_OS9 && as -> inmod == 0)
a58f49a77441 Added os9 target, pragma to control whether $ localizes a symbol, and fixed some condition nesting bugs
lost
parents: 212
diff changeset
84 {
a58f49a77441 Added os9 target, pragma to control whether $ localizes a symbol, and fixed some condition nesting bugs
lost
parents: 212
diff changeset
85 register_error(as, l, 1, "Output not allowed outside of module in OS9 mode");
a58f49a77441 Added os9 target, pragma to control whether $ localizes a symbol, and fixed some condition nesting bugs
lost
parents: 212
diff changeset
86 return;
a58f49a77441 Added os9 target, pragma to control whether $ localizes a symbol, and fixed some condition nesting bugs
lost
parents: 212
diff changeset
87 }
a58f49a77441 Added os9 target, pragma to control whether $ localizes a symbol, and fixed some condition nesting bugs
lost
parents: 212
diff changeset
88
27
f736579569b4 Added handlers for inherent and register to register instructions
lost
parents: 26
diff changeset
89 if (as -> passnum == 1)
f736579569b4 Added handlers for inherent and register to register instructions
lost
parents: 26
diff changeset
90 return;
f736579569b4 Added handlers for inherent and register to register instructions
lost
parents: 26
diff changeset
91
42
4bb7b723e5b7 Added pass2 code generation to lwasm_emit()
lost
parents: 39
diff changeset
92
4bb7b723e5b7 Added pass2 code generation to lwasm_emit()
lost
parents: 39
diff changeset
93 if (l -> codelen >= l -> codesize)
4bb7b723e5b7 Added pass2 code generation to lwasm_emit()
lost
parents: 39
diff changeset
94 {
4bb7b723e5b7 Added pass2 code generation to lwasm_emit()
lost
parents: 39
diff changeset
95 l -> bytes = realloc(l -> bytes, l -> codesize + 16);
4bb7b723e5b7 Added pass2 code generation to lwasm_emit()
lost
parents: 39
diff changeset
96 l -> codesize += 16;
4bb7b723e5b7 Added pass2 code generation to lwasm_emit()
lost
parents: 39
diff changeset
97 }
4bb7b723e5b7 Added pass2 code generation to lwasm_emit()
lost
parents: 39
diff changeset
98 l -> bytes[l -> codelen] = b & 0xff;
4bb7b723e5b7 Added pass2 code generation to lwasm_emit()
lost
parents: 39
diff changeset
99 l -> codelen += 1;
236
a58f49a77441 Added os9 target, pragma to control whether $ localizes a symbol, and fixed some condition nesting bugs
lost
parents: 212
diff changeset
100
a58f49a77441 Added os9 target, pragma to control whether $ localizes a symbol, and fixed some condition nesting bugs
lost
parents: 212
diff changeset
101 if (as -> outformat == OUTPUT_OS9 && as -> inmod)
a58f49a77441 Added os9 target, pragma to control whether $ localizes a symbol, and fixed some condition nesting bugs
lost
parents: 212
diff changeset
102 {
a58f49a77441 Added os9 target, pragma to control whether $ localizes a symbol, and fixed some condition nesting bugs
lost
parents: 212
diff changeset
103 // calc the CRC
239
1106ec189e4f Acknowledge the source of the crc calc for os9
lost
parents: 238
diff changeset
104 // this is a direct transliteration from the nitros9 asm source
1106ec189e4f Acknowledge the source of the crc calc for os9
lost
parents: 238
diff changeset
105 // to C; it can, no doubt, be optimized for 32 bit processing
236
a58f49a77441 Added os9 target, pragma to control whether $ localizes a symbol, and fixed some condition nesting bugs
lost
parents: 212
diff changeset
106 b &= 0xff;
a58f49a77441 Added os9 target, pragma to control whether $ localizes a symbol, and fixed some condition nesting bugs
lost
parents: 212
diff changeset
107
238
a9a14e6b4bc8 Fixed os9 module CRC calculation
lost
parents: 236
diff changeset
108 b ^= (as -> crc)[0];
a9a14e6b4bc8 Fixed os9 module CRC calculation
lost
parents: 236
diff changeset
109 (as -> crc)[0] = (as -> crc)[1];
a9a14e6b4bc8 Fixed os9 module CRC calculation
lost
parents: 236
diff changeset
110 (as -> crc)[1] = (as -> crc)[2];
a9a14e6b4bc8 Fixed os9 module CRC calculation
lost
parents: 236
diff changeset
111 (as -> crc)[1] ^= (b >> 7);
a9a14e6b4bc8 Fixed os9 module CRC calculation
lost
parents: 236
diff changeset
112 (as -> crc)[2] = (b << 1);
a9a14e6b4bc8 Fixed os9 module CRC calculation
lost
parents: 236
diff changeset
113 (as -> crc)[1] ^= (b >> 2);
a9a14e6b4bc8 Fixed os9 module CRC calculation
lost
parents: 236
diff changeset
114 (as -> crc)[2] ^= (b << 6);
a9a14e6b4bc8 Fixed os9 module CRC calculation
lost
parents: 236
diff changeset
115 b ^= (b << 1);
a9a14e6b4bc8 Fixed os9 module CRC calculation
lost
parents: 236
diff changeset
116 b ^= (b << 2);
a9a14e6b4bc8 Fixed os9 module CRC calculation
lost
parents: 236
diff changeset
117 b ^= (b << 4);
236
a58f49a77441 Added os9 target, pragma to control whether $ localizes a symbol, and fixed some condition nesting bugs
lost
parents: 212
diff changeset
118 if (b & 0x80)
238
a9a14e6b4bc8 Fixed os9 module CRC calculation
lost
parents: 236
diff changeset
119 {
a9a14e6b4bc8 Fixed os9 module CRC calculation
lost
parents: 236
diff changeset
120 (as -> crc)[0] ^= 0x80;
a9a14e6b4bc8 Fixed os9 module CRC calculation
lost
parents: 236
diff changeset
121 (as -> crc)[2] ^= 0x21;
a9a14e6b4bc8 Fixed os9 module CRC calculation
lost
parents: 236
diff changeset
122 }
236
a58f49a77441 Added os9 target, pragma to control whether $ localizes a symbol, and fixed some condition nesting bugs
lost
parents: 212
diff changeset
123 }
27
f736579569b4 Added handlers for inherent and register to register instructions
lost
parents: 26
diff changeset
124 }
f736579569b4 Added handlers for inherent and register to register instructions
lost
parents: 26
diff changeset
125
f736579569b4 Added handlers for inherent and register to register instructions
lost
parents: 26
diff changeset
126 void lwasm_emitop(asmstate_t *as, lwasm_line_t *l, int o)
f736579569b4 Added handlers for inherent and register to register instructions
lost
parents: 26
diff changeset
127 {
f736579569b4 Added handlers for inherent and register to register instructions
lost
parents: 26
diff changeset
128 if (o >= 0x100)
f736579569b4 Added handlers for inherent and register to register instructions
lost
parents: 26
diff changeset
129 lwasm_emit(as, l, o >> 8);
f736579569b4 Added handlers for inherent and register to register instructions
lost
parents: 26
diff changeset
130 lwasm_emit(as, l, o & 0xff);
f736579569b4 Added handlers for inherent and register to register instructions
lost
parents: 26
diff changeset
131 }
f736579569b4 Added handlers for inherent and register to register instructions
lost
parents: 26
diff changeset
132
f736579569b4 Added handlers for inherent and register to register instructions
lost
parents: 26
diff changeset
133 int lwasm_lookupreg2(const char *reglist, char **str)
f736579569b4 Added handlers for inherent and register to register instructions
lost
parents: 26
diff changeset
134 {
f736579569b4 Added handlers for inherent and register to register instructions
lost
parents: 26
diff changeset
135 int rval = 0;
f736579569b4 Added handlers for inherent and register to register instructions
lost
parents: 26
diff changeset
136
f736579569b4 Added handlers for inherent and register to register instructions
lost
parents: 26
diff changeset
137 while (*reglist)
f736579569b4 Added handlers for inherent and register to register instructions
lost
parents: 26
diff changeset
138 {
f736579569b4 Added handlers for inherent and register to register instructions
lost
parents: 26
diff changeset
139 if (toupper(**str) == *reglist)
f736579569b4 Added handlers for inherent and register to register instructions
lost
parents: 26
diff changeset
140 {
f736579569b4 Added handlers for inherent and register to register instructions
lost
parents: 26
diff changeset
141 // first char matches
f736579569b4 Added handlers for inherent and register to register instructions
lost
parents: 26
diff changeset
142 if (reglist[1] == ' ' && !isalpha(*(*str + 1)))
f736579569b4 Added handlers for inherent and register to register instructions
lost
parents: 26
diff changeset
143 break;
f736579569b4 Added handlers for inherent and register to register instructions
lost
parents: 26
diff changeset
144 if (toupper(*(*str + 1)) == reglist[1])
f736579569b4 Added handlers for inherent and register to register instructions
lost
parents: 26
diff changeset
145 break;
f736579569b4 Added handlers for inherent and register to register instructions
lost
parents: 26
diff changeset
146 }
f736579569b4 Added handlers for inherent and register to register instructions
lost
parents: 26
diff changeset
147 reglist += 2;
f736579569b4 Added handlers for inherent and register to register instructions
lost
parents: 26
diff changeset
148 rval++;
f736579569b4 Added handlers for inherent and register to register instructions
lost
parents: 26
diff changeset
149 }
f736579569b4 Added handlers for inherent and register to register instructions
lost
parents: 26
diff changeset
150 if (!*reglist)
f736579569b4 Added handlers for inherent and register to register instructions
lost
parents: 26
diff changeset
151 return -1;
f736579569b4 Added handlers for inherent and register to register instructions
lost
parents: 26
diff changeset
152 if (reglist[1] == ' ')
f736579569b4 Added handlers for inherent and register to register instructions
lost
parents: 26
diff changeset
153 (*str)++;
f736579569b4 Added handlers for inherent and register to register instructions
lost
parents: 26
diff changeset
154 else
f736579569b4 Added handlers for inherent and register to register instructions
lost
parents: 26
diff changeset
155 (*str) += 2;
f736579569b4 Added handlers for inherent and register to register instructions
lost
parents: 26
diff changeset
156 return rval;
f736579569b4 Added handlers for inherent and register to register instructions
lost
parents: 26
diff changeset
157 }
32
9bd0fbfe7405 Added basic indexed mode handling
lost
parents: 27
diff changeset
158
9bd0fbfe7405 Added basic indexed mode handling
lost
parents: 27
diff changeset
159 int lwasm_lookupreg3(const char *rlist, const char **str)
9bd0fbfe7405 Added basic indexed mode handling
lost
parents: 27
diff changeset
160 {
9bd0fbfe7405 Added basic indexed mode handling
lost
parents: 27
diff changeset
161 int rval = 0;
9bd0fbfe7405 Added basic indexed mode handling
lost
parents: 27
diff changeset
162 int f = 0;
9bd0fbfe7405 Added basic indexed mode handling
lost
parents: 27
diff changeset
163 const char *reglist = rlist;
9bd0fbfe7405 Added basic indexed mode handling
lost
parents: 27
diff changeset
164
9bd0fbfe7405 Added basic indexed mode handling
lost
parents: 27
diff changeset
165 while (*reglist)
9bd0fbfe7405 Added basic indexed mode handling
lost
parents: 27
diff changeset
166 {
9bd0fbfe7405 Added basic indexed mode handling
lost
parents: 27
diff changeset
167 if (toupper(**str) == *reglist)
9bd0fbfe7405 Added basic indexed mode handling
lost
parents: 27
diff changeset
168 {
9bd0fbfe7405 Added basic indexed mode handling
lost
parents: 27
diff changeset
169 // first char matches
9bd0fbfe7405 Added basic indexed mode handling
lost
parents: 27
diff changeset
170 if (reglist[1] == ' ')
9bd0fbfe7405 Added basic indexed mode handling
lost
parents: 27
diff changeset
171 {
9bd0fbfe7405 Added basic indexed mode handling
lost
parents: 27
diff changeset
172 f = 1;
9bd0fbfe7405 Added basic indexed mode handling
lost
parents: 27
diff changeset
173 break;
9bd0fbfe7405 Added basic indexed mode handling
lost
parents: 27
diff changeset
174 }
9bd0fbfe7405 Added basic indexed mode handling
lost
parents: 27
diff changeset
175 if (toupper(*(*str + 1)) == reglist[1])
9bd0fbfe7405 Added basic indexed mode handling
lost
parents: 27
diff changeset
176 {
9bd0fbfe7405 Added basic indexed mode handling
lost
parents: 27
diff changeset
177 // second char matches
9bd0fbfe7405 Added basic indexed mode handling
lost
parents: 27
diff changeset
178 if (reglist[2] == ' ')
9bd0fbfe7405 Added basic indexed mode handling
lost
parents: 27
diff changeset
179 {
9bd0fbfe7405 Added basic indexed mode handling
lost
parents: 27
diff changeset
180 f = 1;
9bd0fbfe7405 Added basic indexed mode handling
lost
parents: 27
diff changeset
181 break;
9bd0fbfe7405 Added basic indexed mode handling
lost
parents: 27
diff changeset
182 }
9bd0fbfe7405 Added basic indexed mode handling
lost
parents: 27
diff changeset
183 if (toupper(*(*str + 2)) == reglist[2])
9bd0fbfe7405 Added basic indexed mode handling
lost
parents: 27
diff changeset
184 {
9bd0fbfe7405 Added basic indexed mode handling
lost
parents: 27
diff changeset
185 f = 1;
9bd0fbfe7405 Added basic indexed mode handling
lost
parents: 27
diff changeset
186 break;
9bd0fbfe7405 Added basic indexed mode handling
lost
parents: 27
diff changeset
187 }
9bd0fbfe7405 Added basic indexed mode handling
lost
parents: 27
diff changeset
188 }
9bd0fbfe7405 Added basic indexed mode handling
lost
parents: 27
diff changeset
189 }
9bd0fbfe7405 Added basic indexed mode handling
lost
parents: 27
diff changeset
190 reglist += 3;
9bd0fbfe7405 Added basic indexed mode handling
lost
parents: 27
diff changeset
191 rval++;
9bd0fbfe7405 Added basic indexed mode handling
lost
parents: 27
diff changeset
192 }
9bd0fbfe7405 Added basic indexed mode handling
lost
parents: 27
diff changeset
193 if (f == 0)
9bd0fbfe7405 Added basic indexed mode handling
lost
parents: 27
diff changeset
194 return -1;
9bd0fbfe7405 Added basic indexed mode handling
lost
parents: 27
diff changeset
195
9bd0fbfe7405 Added basic indexed mode handling
lost
parents: 27
diff changeset
196
9bd0fbfe7405 Added basic indexed mode handling
lost
parents: 27
diff changeset
197 reglist = rval * 3 + rlist;
9bd0fbfe7405 Added basic indexed mode handling
lost
parents: 27
diff changeset
198 if (reglist[1] == ' ')
9bd0fbfe7405 Added basic indexed mode handling
lost
parents: 27
diff changeset
199 (*str) += 1;
9bd0fbfe7405 Added basic indexed mode handling
lost
parents: 27
diff changeset
200 else if (reglist[2] == ' ')
9bd0fbfe7405 Added basic indexed mode handling
lost
parents: 27
diff changeset
201 (*str) += 2;
9bd0fbfe7405 Added basic indexed mode handling
lost
parents: 27
diff changeset
202 else
9bd0fbfe7405 Added basic indexed mode handling
lost
parents: 27
diff changeset
203 (*str)+=3;
9bd0fbfe7405 Added basic indexed mode handling
lost
parents: 27
diff changeset
204 return rval;
9bd0fbfe7405 Added basic indexed mode handling
lost
parents: 27
diff changeset
205 }
37
538e15927776 Added symbol handling to expression subsystem; adpated instruction handlers to the new scheme; misc fixes
lost
parents: 32
diff changeset
206
538e15927776 Added symbol handling to expression subsystem; adpated instruction handlers to the new scheme; misc fixes
lost
parents: 32
diff changeset
207 struct symstateinfo
538e15927776 Added symbol handling to expression subsystem; adpated instruction handlers to the new scheme; misc fixes
lost
parents: 32
diff changeset
208 {
538e15927776 Added symbol handling to expression subsystem; adpated instruction handlers to the new scheme; misc fixes
lost
parents: 32
diff changeset
209 asmstate_t *as;
538e15927776 Added symbol handling to expression subsystem; adpated instruction handlers to the new scheme; misc fixes
lost
parents: 32
diff changeset
210 lwasm_line_t *l;
101
f59c0916753d Fixed relative branches and PCR addressing to handle constant intra-section references properly
lost
parents: 98
diff changeset
211 int flags;
37
538e15927776 Added symbol handling to expression subsystem; adpated instruction handlers to the new scheme; misc fixes
lost
parents: 32
diff changeset
212 };
538e15927776 Added symbol handling to expression subsystem; adpated instruction handlers to the new scheme; misc fixes
lost
parents: 32
diff changeset
213
76
2fe5fd7d65a3 Checkpointing object target implementation
lost
parents: 74
diff changeset
214 lwasm_expr_stack_t *lwasm_expr_lookup_symbol(char *sym, void *state)
37
538e15927776 Added symbol handling to expression subsystem; adpated instruction handlers to the new scheme; misc fixes
lost
parents: 32
diff changeset
215 {
538e15927776 Added symbol handling to expression subsystem; adpated instruction handlers to the new scheme; misc fixes
lost
parents: 32
diff changeset
216 lwasm_symbol_ent_t *se;
538e15927776 Added symbol handling to expression subsystem; adpated instruction handlers to the new scheme; misc fixes
lost
parents: 32
diff changeset
217 struct symstateinfo *st;
76
2fe5fd7d65a3 Checkpointing object target implementation
lost
parents: 74
diff changeset
218 lwasm_expr_stack_t *rs;
2fe5fd7d65a3 Checkpointing object target implementation
lost
parents: 74
diff changeset
219 lwasm_expr_term_t *t;
2fe5fd7d65a3 Checkpointing object target implementation
lost
parents: 74
diff changeset
220 lwasm_expr_stack_node_t *n;
2fe5fd7d65a3 Checkpointing object target implementation
lost
parents: 74
diff changeset
221
2fe5fd7d65a3 Checkpointing object target implementation
lost
parents: 74
diff changeset
222 int val;
37
538e15927776 Added symbol handling to expression subsystem; adpated instruction handlers to the new scheme; misc fixes
lost
parents: 32
diff changeset
223
538e15927776 Added symbol handling to expression subsystem; adpated instruction handlers to the new scheme; misc fixes
lost
parents: 32
diff changeset
224 st = state;
52
b9856da2674a Added file inclusion
lost
parents: 42
diff changeset
225 debug_message(3, "lwasm_expr_lookup_symbol(): find '%s' (context=%d)", sym, st -> as -> context);
b9856da2674a Added file inclusion
lost
parents: 42
diff changeset
226
60
309810f39ab7 Implemented the * and . special symbols
lost
parents: 58
diff changeset
227 // check for special symbols first...
309810f39ab7 Implemented the * and . special symbols
lost
parents: 58
diff changeset
228 if (sym[1] == '\0')
309810f39ab7 Implemented the * and . special symbols
lost
parents: 58
diff changeset
229 {
309810f39ab7 Implemented the * and . special symbols
lost
parents: 58
diff changeset
230 switch (sym[0])
309810f39ab7 Implemented the * and . special symbols
lost
parents: 58
diff changeset
231 {
309810f39ab7 Implemented the * and . special symbols
lost
parents: 58
diff changeset
232 // current line address
309810f39ab7 Implemented the * and . special symbols
lost
parents: 58
diff changeset
233 case '*':
309810f39ab7 Implemented the * and . special symbols
lost
parents: 58
diff changeset
234 case '.':
76
2fe5fd7d65a3 Checkpointing object target implementation
lost
parents: 74
diff changeset
235 val = st -> l -> codeaddr;
2fe5fd7d65a3 Checkpointing object target implementation
lost
parents: 74
diff changeset
236 goto retconst;
60
309810f39ab7 Implemented the * and . special symbols
lost
parents: 58
diff changeset
237
309810f39ab7 Implemented the * and . special symbols
lost
parents: 58
diff changeset
238 case '<':
309810f39ab7 Implemented the * and . special symbols
lost
parents: 58
diff changeset
239 // previous branch point
309810f39ab7 Implemented the * and . special symbols
lost
parents: 58
diff changeset
240 // not implemented
309810f39ab7 Implemented the * and . special symbols
lost
parents: 58
diff changeset
241 break;
309810f39ab7 Implemented the * and . special symbols
lost
parents: 58
diff changeset
242 case '>':
309810f39ab7 Implemented the * and . special symbols
lost
parents: 58
diff changeset
243 // next branch point
309810f39ab7 Implemented the * and . special symbols
lost
parents: 58
diff changeset
244 // not implemented
309810f39ab7 Implemented the * and . special symbols
lost
parents: 58
diff changeset
245 break;
309810f39ab7 Implemented the * and . special symbols
lost
parents: 58
diff changeset
246 }
309810f39ab7 Implemented the * and . special symbols
lost
parents: 58
diff changeset
247 }
309810f39ab7 Implemented the * and . special symbols
lost
parents: 58
diff changeset
248
37
538e15927776 Added symbol handling to expression subsystem; adpated instruction handlers to the new scheme; misc fixes
lost
parents: 32
diff changeset
249 // look for local symbol first then global symbol
538e15927776 Added symbol handling to expression subsystem; adpated instruction handlers to the new scheme; misc fixes
lost
parents: 32
diff changeset
250 se = lwasm_find_symbol(st -> as, sym, st -> as -> context);
538e15927776 Added symbol handling to expression subsystem; adpated instruction handlers to the new scheme; misc fixes
lost
parents: 32
diff changeset
251 if (!se)
538e15927776 Added symbol handling to expression subsystem; adpated instruction handlers to the new scheme; misc fixes
lost
parents: 32
diff changeset
252 se = lwasm_find_symbol(st -> as, sym, -1);
52
b9856da2674a Added file inclusion
lost
parents: 42
diff changeset
253 debug_message(3, "lwasm_expr_lookup_symbol(): got '%p'", se);
37
538e15927776 Added symbol handling to expression subsystem; adpated instruction handlers to the new scheme; misc fixes
lost
parents: 32
diff changeset
254 if (!se)
77
a338d496350e Checkpointing conversion to allow object target
lost
parents: 76
diff changeset
255 {
a338d496350e Checkpointing conversion to allow object target
lost
parents: 76
diff changeset
256 register_error(st -> as, st -> l, 2, "Undefined symbol '%s'", sym);
76
2fe5fd7d65a3 Checkpointing object target implementation
lost
parents: 74
diff changeset
257 return NULL;
77
a338d496350e Checkpointing conversion to allow object target
lost
parents: 76
diff changeset
258 }
92
ea2cfebef5d0 Make external symbols remain unresolved in expressions and also flag them in the symbol list
lost
parents: 84
diff changeset
259 // external reference - can not resolve it
ea2cfebef5d0 Make external symbols remain unresolved in expressions and also flag them in the symbol list
lost
parents: 84
diff changeset
260 if (se -> flags & SYMBOL_EXTERN)
ea2cfebef5d0 Make external symbols remain unresolved in expressions and also flag them in the symbol list
lost
parents: 84
diff changeset
261 {
ea2cfebef5d0 Make external symbols remain unresolved in expressions and also flag them in the symbol list
lost
parents: 84
diff changeset
262 return NULL;
ea2cfebef5d0 Make external symbols remain unresolved in expressions and also flag them in the symbol list
lost
parents: 84
diff changeset
263 }
101
f59c0916753d Fixed relative branches and PCR addressing to handle constant intra-section references properly
lost
parents: 98
diff changeset
264 if (st -> flags & EXPR_SECTCONST)
f59c0916753d Fixed relative branches and PCR addressing to handle constant intra-section references properly
lost
parents: 98
diff changeset
265 {
f59c0916753d Fixed relative branches and PCR addressing to handle constant intra-section references properly
lost
parents: 98
diff changeset
266 if (se -> sect == st -> l -> sect)
f59c0916753d Fixed relative branches and PCR addressing to handle constant intra-section references properly
lost
parents: 98
diff changeset
267 {
f59c0916753d Fixed relative branches and PCR addressing to handle constant intra-section references properly
lost
parents: 98
diff changeset
268 if (se -> expr)
f59c0916753d Fixed relative branches and PCR addressing to handle constant intra-section references properly
lost
parents: 98
diff changeset
269 goto retsym;
f59c0916753d Fixed relative branches and PCR addressing to handle constant intra-section references properly
lost
parents: 98
diff changeset
270 val = se -> value;
f59c0916753d Fixed relative branches and PCR addressing to handle constant intra-section references properly
lost
parents: 98
diff changeset
271 goto retconst;
f59c0916753d Fixed relative branches and PCR addressing to handle constant intra-section references properly
lost
parents: 98
diff changeset
272 }
f59c0916753d Fixed relative branches and PCR addressing to handle constant intra-section references properly
lost
parents: 98
diff changeset
273 }
93
34ca1c6e9550 Fixed symbol resolution to not resolve intra-section references to constants by default
lost
parents: 92
diff changeset
274 if (st -> as -> outformat == OUTPUT_OBJ && se -> sect != NULL)
34ca1c6e9550 Fixed symbol resolution to not resolve intra-section references to constants by default
lost
parents: 92
diff changeset
275 {
34ca1c6e9550 Fixed symbol resolution to not resolve intra-section references to constants by default
lost
parents: 92
diff changeset
276 return NULL;
34ca1c6e9550 Fixed symbol resolution to not resolve intra-section references to constants by default
lost
parents: 92
diff changeset
277 }
34ca1c6e9550 Fixed symbol resolution to not resolve intra-section references to constants by default
lost
parents: 92
diff changeset
278 if (st -> as -> outformat != OUTPUT_OBJ || se -> sect == NULL)
76
2fe5fd7d65a3 Checkpointing object target implementation
lost
parents: 74
diff changeset
279 {
2fe5fd7d65a3 Checkpointing object target implementation
lost
parents: 74
diff changeset
280 // global symbol, intrasegment reference, or not an object target
2fe5fd7d65a3 Checkpointing object target implementation
lost
parents: 74
diff changeset
281 val = se -> value;
2fe5fd7d65a3 Checkpointing object target implementation
lost
parents: 74
diff changeset
282 goto retconst;
2fe5fd7d65a3 Checkpointing object target implementation
lost
parents: 74
diff changeset
283 }
101
f59c0916753d Fixed relative branches and PCR addressing to handle constant intra-section references properly
lost
parents: 98
diff changeset
284
76
2fe5fd7d65a3 Checkpointing object target implementation
lost
parents: 74
diff changeset
285 // an intersegment reference will return as NULL (to be resolved at output/link time)
2fe5fd7d65a3 Checkpointing object target implementation
lost
parents: 74
diff changeset
286 // if se -> expr is NULL, it has to be an intersegment reference here
2fe5fd7d65a3 Checkpointing object target implementation
lost
parents: 74
diff changeset
287 if (se -> expr == NULL)
2fe5fd7d65a3 Checkpointing object target implementation
lost
parents: 74
diff changeset
288 {
2fe5fd7d65a3 Checkpointing object target implementation
lost
parents: 74
diff changeset
289 return NULL;
2fe5fd7d65a3 Checkpointing object target implementation
lost
parents: 74
diff changeset
290 }
2fe5fd7d65a3 Checkpointing object target implementation
lost
parents: 74
diff changeset
291
101
f59c0916753d Fixed relative branches and PCR addressing to handle constant intra-section references properly
lost
parents: 98
diff changeset
292 retsym:
76
2fe5fd7d65a3 Checkpointing object target implementation
lost
parents: 74
diff changeset
293 // duplicate the expression for return
2fe5fd7d65a3 Checkpointing object target implementation
lost
parents: 74
diff changeset
294 rs = lwasm_expr_stack_create();
2fe5fd7d65a3 Checkpointing object target implementation
lost
parents: 74
diff changeset
295 for (n = se -> expr -> head; n; n = n -> next)
2fe5fd7d65a3 Checkpointing object target implementation
lost
parents: 74
diff changeset
296 {
2fe5fd7d65a3 Checkpointing object target implementation
lost
parents: 74
diff changeset
297 lwasm_expr_stack_push(rs, n -> term);
2fe5fd7d65a3 Checkpointing object target implementation
lost
parents: 74
diff changeset
298 }
2fe5fd7d65a3 Checkpointing object target implementation
lost
parents: 74
diff changeset
299 return rs;
2fe5fd7d65a3 Checkpointing object target implementation
lost
parents: 74
diff changeset
300
2fe5fd7d65a3 Checkpointing object target implementation
lost
parents: 74
diff changeset
301 retconst:
2fe5fd7d65a3 Checkpointing object target implementation
lost
parents: 74
diff changeset
302 rs = lwasm_expr_stack_create();
2fe5fd7d65a3 Checkpointing object target implementation
lost
parents: 74
diff changeset
303 t = lwasm_expr_term_create_int(val);
2fe5fd7d65a3 Checkpointing object target implementation
lost
parents: 74
diff changeset
304 lwasm_expr_stack_push(rs, t);
2fe5fd7d65a3 Checkpointing object target implementation
lost
parents: 74
diff changeset
305 lwasm_expr_term_free(t);
2fe5fd7d65a3 Checkpointing object target implementation
lost
parents: 74
diff changeset
306 return rs;
37
538e15927776 Added symbol handling to expression subsystem; adpated instruction handlers to the new scheme; misc fixes
lost
parents: 32
diff changeset
307 }
538e15927776 Added symbol handling to expression subsystem; adpated instruction handlers to the new scheme; misc fixes
lost
parents: 32
diff changeset
308
101
f59c0916753d Fixed relative branches and PCR addressing to handle constant intra-section references properly
lost
parents: 98
diff changeset
309 lwasm_expr_stack_t *lwasm_evaluate_expr(asmstate_t *as, lwasm_line_t *l, const char *inp, const char **outp, int flags)
37
538e15927776 Added symbol handling to expression subsystem; adpated instruction handlers to the new scheme; misc fixes
lost
parents: 32
diff changeset
310 {
538e15927776 Added symbol handling to expression subsystem; adpated instruction handlers to the new scheme; misc fixes
lost
parents: 32
diff changeset
311 struct symstateinfo st;
538e15927776 Added symbol handling to expression subsystem; adpated instruction handlers to the new scheme; misc fixes
lost
parents: 32
diff changeset
312
538e15927776 Added symbol handling to expression subsystem; adpated instruction handlers to the new scheme; misc fixes
lost
parents: 32
diff changeset
313 st.as = as;
538e15927776 Added symbol handling to expression subsystem; adpated instruction handlers to the new scheme; misc fixes
lost
parents: 32
diff changeset
314 st.l = l;
101
f59c0916753d Fixed relative branches and PCR addressing to handle constant intra-section references properly
lost
parents: 98
diff changeset
315 st.flags = flags;
37
538e15927776 Added symbol handling to expression subsystem; adpated instruction handlers to the new scheme; misc fixes
lost
parents: 32
diff changeset
316
38
9bd584bb6296 Added debugging message infrastructure
lost
parents: 37
diff changeset
317 debug_message(2, "Evaluate expression: %s", inp);
9bd584bb6296 Added debugging message infrastructure
lost
parents: 37
diff changeset
318
37
538e15927776 Added symbol handling to expression subsystem; adpated instruction handlers to the new scheme; misc fixes
lost
parents: 32
diff changeset
319 return(lwasm_expr_eval(inp, outp, lwasm_expr_lookup_symbol, &st));
538e15927776 Added symbol handling to expression subsystem; adpated instruction handlers to the new scheme; misc fixes
lost
parents: 32
diff changeset
320 }
38
9bd584bb6296 Added debugging message infrastructure
lost
parents: 37
diff changeset
321
77
a338d496350e Checkpointing conversion to allow object target
lost
parents: 76
diff changeset
322
101
f59c0916753d Fixed relative branches and PCR addressing to handle constant intra-section references properly
lost
parents: 98
diff changeset
323 int lwasm_reevaluate_expr(asmstate_t *as, lwasm_line_t *l, lwasm_expr_stack_t *s, int flags)
77
a338d496350e Checkpointing conversion to allow object target
lost
parents: 76
diff changeset
324 {
a338d496350e Checkpointing conversion to allow object target
lost
parents: 76
diff changeset
325 struct symstateinfo st;
a338d496350e Checkpointing conversion to allow object target
lost
parents: 76
diff changeset
326
a338d496350e Checkpointing conversion to allow object target
lost
parents: 76
diff changeset
327 st.as = as;
a338d496350e Checkpointing conversion to allow object target
lost
parents: 76
diff changeset
328 st.l = l;
101
f59c0916753d Fixed relative branches and PCR addressing to handle constant intra-section references properly
lost
parents: 98
diff changeset
329 st.flags = flags;
77
a338d496350e Checkpointing conversion to allow object target
lost
parents: 76
diff changeset
330 return(lwasm_expr_reval(s, lwasm_expr_lookup_symbol, &st));
a338d496350e Checkpointing conversion to allow object target
lost
parents: 76
diff changeset
331 }
a338d496350e Checkpointing conversion to allow object target
lost
parents: 76
diff changeset
332
76
2fe5fd7d65a3 Checkpointing object target implementation
lost
parents: 74
diff changeset
333 // return 1 if no undefined symbols (externals and incompletes are okay)
2fe5fd7d65a3 Checkpointing object target implementation
lost
parents: 74
diff changeset
334 // return 0 if there are undefined symbols
2fe5fd7d65a3 Checkpointing object target implementation
lost
parents: 74
diff changeset
335 int lwasm_expr_result_ckconst(asmstate_t *as, lwasm_expr_stack_t *s)
2fe5fd7d65a3 Checkpointing object target implementation
lost
parents: 74
diff changeset
336 {
2fe5fd7d65a3 Checkpointing object target implementation
lost
parents: 74
diff changeset
337 lwasm_expr_stack_node_t *n;
2fe5fd7d65a3 Checkpointing object target implementation
lost
parents: 74
diff changeset
338 lwasm_symbol_ent_t *se;
2fe5fd7d65a3 Checkpointing object target implementation
lost
parents: 74
diff changeset
339
77
a338d496350e Checkpointing conversion to allow object target
lost
parents: 76
diff changeset
340 if (as -> outformat != OUTPUT_OBJ)
a338d496350e Checkpointing conversion to allow object target
lost
parents: 76
diff changeset
341 {
a338d496350e Checkpointing conversion to allow object target
lost
parents: 76
diff changeset
342 if (lwasm_expr_is_constant(s))
a338d496350e Checkpointing conversion to allow object target
lost
parents: 76
diff changeset
343 return 1;
a338d496350e Checkpointing conversion to allow object target
lost
parents: 76
diff changeset
344 else
a338d496350e Checkpointing conversion to allow object target
lost
parents: 76
diff changeset
345 return 0;
a338d496350e Checkpointing conversion to allow object target
lost
parents: 76
diff changeset
346 }
a338d496350e Checkpointing conversion to allow object target
lost
parents: 76
diff changeset
347
76
2fe5fd7d65a3 Checkpointing object target implementation
lost
parents: 74
diff changeset
348 for (n = s -> head; n; n = n -> next)
2fe5fd7d65a3 Checkpointing object target implementation
lost
parents: 74
diff changeset
349 {
2fe5fd7d65a3 Checkpointing object target implementation
lost
parents: 74
diff changeset
350 if (n -> term -> term_type == LWASM_TERM_SYM)
2fe5fd7d65a3 Checkpointing object target implementation
lost
parents: 74
diff changeset
351 {
2fe5fd7d65a3 Checkpointing object target implementation
lost
parents: 74
diff changeset
352 se = lwasm_find_symbol(as, n -> term -> symbol, as -> context);
2fe5fd7d65a3 Checkpointing object target implementation
lost
parents: 74
diff changeset
353 if (!se)
2fe5fd7d65a3 Checkpointing object target implementation
lost
parents: 74
diff changeset
354 se = lwasm_find_symbol(as, n -> term -> symbol, -1);
2fe5fd7d65a3 Checkpointing object target implementation
lost
parents: 74
diff changeset
355 if (!se)
2fe5fd7d65a3 Checkpointing object target implementation
lost
parents: 74
diff changeset
356 return 0;
2fe5fd7d65a3 Checkpointing object target implementation
lost
parents: 74
diff changeset
357 }
2fe5fd7d65a3 Checkpointing object target implementation
lost
parents: 74
diff changeset
358 }
2fe5fd7d65a3 Checkpointing object target implementation
lost
parents: 74
diff changeset
359 return 1;
2fe5fd7d65a3 Checkpointing object target implementation
lost
parents: 74
diff changeset
360 }
2fe5fd7d65a3 Checkpointing object target implementation
lost
parents: 74
diff changeset
361
2fe5fd7d65a3 Checkpointing object target implementation
lost
parents: 74
diff changeset
362 /*
2fe5fd7d65a3 Checkpointing object target implementation
lost
parents: 74
diff changeset
363 Evaluate an expression according to the flag value. Return 0 if a constant result was
2fe5fd7d65a3 Checkpointing object target implementation
lost
parents: 74
diff changeset
364 obtained, 1 if an incomplete result was obtained, and -1 if an error was flagged.
2fe5fd7d65a3 Checkpointing object target implementation
lost
parents: 74
diff changeset
365
77
a338d496350e Checkpointing conversion to allow object target
lost
parents: 76
diff changeset
366 */
a338d496350e Checkpointing conversion to allow object target
lost
parents: 76
diff changeset
367 int lwasm_expr_result2(asmstate_t *as, lwasm_line_t *l, char **inp, int flag, int *val, int slot)
a338d496350e Checkpointing conversion to allow object target
lost
parents: 76
diff changeset
368 {
79
d0ce3f5f6797 Checkpointing deployment of non-constant expression handling
lost
parents: 78
diff changeset
369 lwasm_expr_stack_t *s = NULL;
77
a338d496350e Checkpointing conversion to allow object target
lost
parents: 76
diff changeset
370 const char *ep;
a338d496350e Checkpointing conversion to allow object target
lost
parents: 76
diff changeset
371 int rval;
a338d496350e Checkpointing conversion to allow object target
lost
parents: 76
diff changeset
372
101
f59c0916753d Fixed relative branches and PCR addressing to handle constant intra-section references properly
lost
parents: 98
diff changeset
373 if ((as -> passnum == 1 && !(flag & EXPR_REEVAL)) || slot < 0)
77
a338d496350e Checkpointing conversion to allow object target
lost
parents: 76
diff changeset
374 {
101
f59c0916753d Fixed relative branches and PCR addressing to handle constant intra-section references properly
lost
parents: 98
diff changeset
375 s = lwasm_evaluate_expr(as, l, *inp, &ep, flag);
275
97630727000e fixed expression 'slots' to not store null on a pass 1 store
lost
parents: 239
diff changeset
376 // if (!ep)
97630727000e fixed expression 'slots' to not store null on a pass 1 store
lost
parents: 239
diff changeset
377 // ep = *inp;
79
d0ce3f5f6797 Checkpointing deployment of non-constant expression handling
lost
parents: 78
diff changeset
378 if (slot >= 0)
275
97630727000e fixed expression 'slots' to not store null on a pass 1 store
lost
parents: 239
diff changeset
379 {
79
d0ce3f5f6797 Checkpointing deployment of non-constant expression handling
lost
parents: 78
diff changeset
380 l -> exprs[slot] = s;
275
97630727000e fixed expression 'slots' to not store null on a pass 1 store
lost
parents: 239
diff changeset
381 l -> exprends[slot] = ep;
97630727000e fixed expression 'slots' to not store null on a pass 1 store
lost
parents: 239
diff changeset
382 }
77
a338d496350e Checkpointing conversion to allow object target
lost
parents: 76
diff changeset
383 if (!s)
a338d496350e Checkpointing conversion to allow object target
lost
parents: 76
diff changeset
384 {
a338d496350e Checkpointing conversion to allow object target
lost
parents: 76
diff changeset
385 register_error(as, l, 1, "Bad expression");
a338d496350e Checkpointing conversion to allow object target
lost
parents: 76
diff changeset
386 *val = 0;
a338d496350e Checkpointing conversion to allow object target
lost
parents: 76
diff changeset
387 return -1;
a338d496350e Checkpointing conversion to allow object target
lost
parents: 76
diff changeset
388 }
a338d496350e Checkpointing conversion to allow object target
lost
parents: 76
diff changeset
389 *inp = (char *)ep;
79
d0ce3f5f6797 Checkpointing deployment of non-constant expression handling
lost
parents: 78
diff changeset
390 if (slot >= 0)
d0ce3f5f6797 Checkpointing deployment of non-constant expression handling
lost
parents: 78
diff changeset
391 {
275
97630727000e fixed expression 'slots' to not store null on a pass 1 store
lost
parents: 239
diff changeset
392 // l -> exprends[slot] = (char *)ep;
79
d0ce3f5f6797 Checkpointing deployment of non-constant expression handling
lost
parents: 78
diff changeset
393 l -> exprvals[slot] = lwasm_expr_get_value(s);
d0ce3f5f6797 Checkpointing deployment of non-constant expression handling
lost
parents: 78
diff changeset
394 }
77
a338d496350e Checkpointing conversion to allow object target
lost
parents: 76
diff changeset
395 }
a338d496350e Checkpointing conversion to allow object target
lost
parents: 76
diff changeset
396 else if (l -> exprs[slot])
a338d496350e Checkpointing conversion to allow object target
lost
parents: 76
diff changeset
397 {
a338d496350e Checkpointing conversion to allow object target
lost
parents: 76
diff changeset
398 s = l -> exprs[slot];
101
f59c0916753d Fixed relative branches and PCR addressing to handle constant intra-section references properly
lost
parents: 98
diff changeset
399 lwasm_reevaluate_expr(as, l, s, flag);
77
a338d496350e Checkpointing conversion to allow object target
lost
parents: 76
diff changeset
400 l -> exprvals[slot] = lwasm_expr_get_value(s);
a338d496350e Checkpointing conversion to allow object target
lost
parents: 76
diff changeset
401 }
84
e12edcfbebd5 Fixed problem with expression evaluation infrastructure not advancing input pointer on pass 2
lost
parents: 79
diff changeset
402 if (as -> passnum == 2 && slot >= 0)
e12edcfbebd5 Fixed problem with expression evaluation infrastructure not advancing input pointer on pass 2
lost
parents: 79
diff changeset
403 *inp = l -> exprends[slot];
77
a338d496350e Checkpointing conversion to allow object target
lost
parents: 76
diff changeset
404
a338d496350e Checkpointing conversion to allow object target
lost
parents: 76
diff changeset
405 if (s && lwasm_expr_is_constant(s))
a338d496350e Checkpointing conversion to allow object target
lost
parents: 76
diff changeset
406 {
94
83ba34ed11b3 Fixed problem with constant expressions evaluating to 0 when they shouldn't
lost
parents: 93
diff changeset
407 *val = lwasm_expr_get_value(s);
77
a338d496350e Checkpointing conversion to allow object target
lost
parents: 76
diff changeset
408 lwasm_expr_stack_free(s);
a338d496350e Checkpointing conversion to allow object target
lost
parents: 76
diff changeset
409 l -> exprs[slot] = NULL;
a338d496350e Checkpointing conversion to allow object target
lost
parents: 76
diff changeset
410 s = NULL;
94
83ba34ed11b3 Fixed problem with constant expressions evaluating to 0 when they shouldn't
lost
parents: 93
diff changeset
411 return 0;
77
a338d496350e Checkpointing conversion to allow object target
lost
parents: 76
diff changeset
412 }
a338d496350e Checkpointing conversion to allow object target
lost
parents: 76
diff changeset
413
79
d0ce3f5f6797 Checkpointing deployment of non-constant expression handling
lost
parents: 78
diff changeset
414 if (!s && slot >= 0)
77
a338d496350e Checkpointing conversion to allow object target
lost
parents: 76
diff changeset
415 {
a338d496350e Checkpointing conversion to allow object target
lost
parents: 76
diff changeset
416 *val = l -> exprvals[slot];
a338d496350e Checkpointing conversion to allow object target
lost
parents: 76
diff changeset
417 return 0;
a338d496350e Checkpointing conversion to allow object target
lost
parents: 76
diff changeset
418 }
79
d0ce3f5f6797 Checkpointing deployment of non-constant expression handling
lost
parents: 78
diff changeset
419 else if (!s)
d0ce3f5f6797 Checkpointing deployment of non-constant expression handling
lost
parents: 78
diff changeset
420 {
d0ce3f5f6797 Checkpointing deployment of non-constant expression handling
lost
parents: 78
diff changeset
421 *val = 0;
d0ce3f5f6797 Checkpointing deployment of non-constant expression handling
lost
parents: 78
diff changeset
422 return 0;
d0ce3f5f6797 Checkpointing deployment of non-constant expression handling
lost
parents: 78
diff changeset
423 }
78
121bf4a588ea Checkpointing deployment of non-constant expression handling
lost
parents: 77
diff changeset
424
121bf4a588ea Checkpointing deployment of non-constant expression handling
lost
parents: 77
diff changeset
425 // was a constant result on pass 1 requested?
121bf4a588ea Checkpointing deployment of non-constant expression handling
lost
parents: 77
diff changeset
426 // that means we must have a constant on either pass
121bf4a588ea Checkpointing deployment of non-constant expression handling
lost
parents: 77
diff changeset
427 if (flag & EXPR_PASS1CONST)
121bf4a588ea Checkpointing deployment of non-constant expression handling
lost
parents: 77
diff changeset
428 {
121bf4a588ea Checkpointing deployment of non-constant expression handling
lost
parents: 77
diff changeset
429 *val = 0;
79
d0ce3f5f6797 Checkpointing deployment of non-constant expression handling
lost
parents: 78
diff changeset
430 if (slot >= 0)
d0ce3f5f6797 Checkpointing deployment of non-constant expression handling
lost
parents: 78
diff changeset
431 l -> exprvals[slot] = 0;
78
121bf4a588ea Checkpointing deployment of non-constant expression handling
lost
parents: 77
diff changeset
432 register_error(as, l, 1, "Illegal forward, external, or inter-section reference");
121bf4a588ea Checkpointing deployment of non-constant expression handling
lost
parents: 77
diff changeset
433 lwasm_expr_stack_free(s);
79
d0ce3f5f6797 Checkpointing deployment of non-constant expression handling
lost
parents: 78
diff changeset
434 if (slot >= 0)
d0ce3f5f6797 Checkpointing deployment of non-constant expression handling
lost
parents: 78
diff changeset
435 l -> exprs[slot] = NULL;
78
121bf4a588ea Checkpointing deployment of non-constant expression handling
lost
parents: 77
diff changeset
436 return -1;
121bf4a588ea Checkpointing deployment of non-constant expression handling
lost
parents: 77
diff changeset
437 }
77
a338d496350e Checkpointing conversion to allow object target
lost
parents: 76
diff changeset
438
a338d496350e Checkpointing conversion to allow object target
lost
parents: 76
diff changeset
439 return 1;
a338d496350e Checkpointing conversion to allow object target
lost
parents: 76
diff changeset
440 }
55
8e32696380f3 added expression evaluation and checking function
lost
parents: 52
diff changeset
441
38
9bd584bb6296 Added debugging message infrastructure
lost
parents: 37
diff changeset
442 void debug_message(int level, const char *fmt, ...)
9bd584bb6296 Added debugging message infrastructure
lost
parents: 37
diff changeset
443 {
9bd584bb6296 Added debugging message infrastructure
lost
parents: 37
diff changeset
444 va_list args;
9bd584bb6296 Added debugging message infrastructure
lost
parents: 37
diff changeset
445
9bd584bb6296 Added debugging message infrastructure
lost
parents: 37
diff changeset
446 va_start(args, fmt);
9bd584bb6296 Added debugging message infrastructure
lost
parents: 37
diff changeset
447 if (debug_level >= level)
9bd584bb6296 Added debugging message infrastructure
lost
parents: 37
diff changeset
448 {
39
efa19ec69df9 tweaked debugging system for expression handler
lost
parents: 38
diff changeset
449 if (level > 0)
efa19ec69df9 tweaked debugging system for expression handler
lost
parents: 38
diff changeset
450 fprintf(stderr, "DEBUG %d: ", level);
38
9bd584bb6296 Added debugging message infrastructure
lost
parents: 37
diff changeset
451 vfprintf(stderr, fmt, args);
9bd584bb6296 Added debugging message infrastructure
lost
parents: 37
diff changeset
452 fputc('\n', stderr);
9bd584bb6296 Added debugging message infrastructure
lost
parents: 37
diff changeset
453 }
9bd584bb6296 Added debugging message infrastructure
lost
parents: 37
diff changeset
454 va_end(args);
9bd584bb6296 Added debugging message infrastructure
lost
parents: 37
diff changeset
455 }
57
035b95a3690f Added conditional assembly and macros
lost
parents: 55
diff changeset
456
035b95a3690f Added conditional assembly and macros
lost
parents: 55
diff changeset
457 int lwasm_next_context(asmstate_t *as)
035b95a3690f Added conditional assembly and macros
lost
parents: 55
diff changeset
458 {
58
b1d81800bc91 Added symbol listing to list file; various fixes
lost
parents: 57
diff changeset
459 int r;
b1d81800bc91 Added symbol listing to list file; various fixes
lost
parents: 57
diff changeset
460 r = as -> nextcontext;
b1d81800bc91 Added symbol listing to list file; various fixes
lost
parents: 57
diff changeset
461 as -> nextcontext += 1;
b1d81800bc91 Added symbol listing to list file; various fixes
lost
parents: 57
diff changeset
462 debug_message(3, "lwasm_next_context(): %d (%d) pass %d", r, as -> nextcontext, as -> passnum);
b1d81800bc91 Added symbol listing to list file; various fixes
lost
parents: 57
diff changeset
463 return r;
57
035b95a3690f Added conditional assembly and macros
lost
parents: 55
diff changeset
464 }
035b95a3690f Added conditional assembly and macros
lost
parents: 55
diff changeset
465