Mercurial > hg-old > index.cgi
annotate src/macro.c @ 57:035b95a3690f
Added conditional assembly and macros
| author | lost |
|---|---|
| date | Mon, 05 Jan 2009 00:01:21 +0000 |
| parents | 34568fab6058 |
| children | d5fe306f1ab1 |
| rev | line source |
|---|---|
| 0 | 1 /* |
|
4
34568fab6058
Fixed package to include all required files; also added copyright preamble to all source files
lost
parents:
0
diff
changeset
|
2 macro.c |
|
34568fab6058
Fixed package to include all required files; also added copyright preamble to all source files
lost
parents:
0
diff
changeset
|
3 Copyright © 2008 William Astle |
|
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 |
|
34568fab6058
Fixed package to include all required files; also added copyright preamble to all source files
lost
parents:
0
diff
changeset
|
20 Contains stuff associated with macro processing |
|
34568fab6058
Fixed package to include all required files; also added copyright preamble to all source files
lost
parents:
0
diff
changeset
|
21 */ |
| 0 | 22 |
| 23 #include <ctype.h> | |
| 24 #include <stdlib.h> | |
| 25 #include <string.h> | |
| 26 #include "lwasm.h" | |
| 57 | 27 #include "instab.h" |
| 28 #include "util.h" | |
| 0 | 29 |
| 57 | 30 OPFUNC(pseudo_macro) |
| 0 | 31 { |
| 32 macrotab_t *m; | |
| 33 | |
| 57 | 34 // if skipping a condition, flag in a macro |
| 35 if (as -> skipcond) | |
| 36 { | |
| 37 as -> skipmacro = 1; | |
| 38 return; | |
| 39 } | |
| 40 | |
| 41 // actually define a macro | |
| 0 | 42 if (as -> inmacro) |
| 43 { | |
| 57 | 44 register_error(as, l, 1, "Attempt to define a macro inside a macro"); |
| 0 | 45 return; |
| 46 } | |
| 57 | 47 |
| 0 | 48 as -> inmacro = 1; |
| 57 | 49 |
| 50 // don't actually do anything if not pass 1 | |
| 0 | 51 if (as -> passnum != 1) |
| 52 return; | |
| 57 | 53 |
| 54 | |
| 55 if (!l -> sym) | |
| 56 { | |
| 57 register_error(as, l, 1, "Macro definition with no effect - no symbol"); | |
| 58 return; | |
| 59 } | |
| 0 | 60 |
| 57 | 61 // search for macro by same name... |
| 0 | 62 for (m = as -> macros; m; m = m -> next) |
| 63 { | |
| 57 | 64 if (!strcmp(m -> name, l -> sym)) |
| 0 | 65 break; |
| 66 } | |
| 67 if (m) | |
| 68 { | |
| 57 | 69 register_error(as, l, 1, "Duplicate macro definition"); |
| 0 | 70 return; |
| 71 } | |
| 57 | 72 |
| 73 m = lwasm_alloc(sizeof(macrotab_t)); | |
| 74 m -> name = lwasm_strdup(l -> sym); | |
| 0 | 75 m -> next = as -> macros; |
| 57 | 76 m -> lines = NULL; |
| 77 m -> numlines = 0; | |
| 0 | 78 as -> macros = m; |
| 57 | 79 |
| 80 while (**p && !isspace(**p)) | |
| 81 (*p)++; | |
| 0 | 82 } |
| 83 | |
| 57 | 84 OPFUNC(pseudo_endm) |
| 0 | 85 { |
| 57 | 86 if (as -> skipcond) |
| 87 { | |
| 88 as -> skipmacro = 0; | |
| 89 return; | |
| 90 } | |
| 91 | |
| 0 | 92 if (!as -> inmacro) |
| 93 { | |
| 57 | 94 register_error(as, l, 1, "ENDM without MACRO"); |
| 0 | 95 return; |
| 96 } | |
| 97 | |
| 98 as -> inmacro = 0; | |
| 57 | 99 |
| 100 // a macro definition counts as a context break for local symbols | |
| 101 as -> context = lwasm_next_context(as); | |
| 0 | 102 } |
| 103 | |
| 57 | 104 // the current macro will ALWAYS be the first one in the table |
| 105 int add_macro_line(asmstate_t *as, char *optr) | |
| 0 | 106 { |
| 107 if (!as -> inmacro) | |
| 108 return 0; | |
| 109 | |
| 110 if (as -> passnum == 2) | |
| 111 return 1; | |
| 112 | |
| 57 | 113 as -> macros -> lines = lwasm_realloc(as -> macros -> lines, sizeof(char *) * as -> macros -> numlines + 1); |
| 114 as -> macros -> lines[as -> macros -> numlines] = lwasm_strdup(optr); | |
| 115 as -> macros -> numlines += 1; | |
| 0 | 116 return 1; |
| 117 } | |
| 118 | |
| 119 void macro_add_to_buff(char **buff, int *loc, int *len, char c) | |
| 120 { | |
| 121 if (*loc == *len) | |
| 122 { | |
| 123 *buff = realloc(*buff, *len + 32); | |
| 124 *len += 32; | |
| 125 } | |
| 126 (*buff)[(*loc)++] = c; | |
| 127 } | |
| 128 | |
| 129 // this is just like a regular operation function | |
| 130 /* | |
| 57 | 131 macro args are referenced by "\n" where 1 <= n <= 9 |
| 0 | 132 or by "\{n}"; a \ can be included by writing \\ |
| 57 | 133 a comma separates argument but one can be included with "\," |
| 134 whitespace ends argument list but can be included with "\ " or the like | |
| 135 | |
| 136 In pass 1, actually add the lines to the system, in pass 2, do not | |
| 137 In pass 2, track the number of lines to skip because they already will be | |
| 138 processed by this function - this will be in as -> skiplines | |
| 139 | |
| 0 | 140 */ |
| 57 | 141 int expand_macro(asmstate_t *as, lwasm_line_t *l, char **p, char *opc) |
| 0 | 142 { |
| 57 | 143 int lc; |
| 144 lwasm_line_t *cl, *nl; | |
| 145 int oldcontext; | |
| 0 | 146 macrotab_t *m; |
| 57 | 147 |
| 148 char **args = NULL; // macro arguments | |
| 149 int nargs; // number of arguments | |
| 150 | |
| 151 char *p2, *p3; | |
| 0 | 152 |
| 57 | 153 int bloc, blen; |
| 154 char *linebuff; | |
| 155 | |
| 156 for (m = as -> macros; m; m = m -> next) | |
| 157 { | |
| 158 if (!strcmp(opc, m -> name)) | |
| 159 break; | |
| 160 } | |
| 161 // signal no macro expansion | |
| 162 if (!m) | |
| 163 return -1; | |
| 0 | 164 |
| 57 | 165 |
| 166 // save current symbol context for after macro expansion | |
| 167 oldcontext = as -> context; | |
| 168 | |
| 169 cl = l; | |
| 170 | |
| 171 as -> context = lwasm_next_context(as); | |
| 172 | |
| 173 // step 1: parse arguments (pass 1 only) | |
| 174 if (as -> passnum == 1) | |
| 0 | 175 { |
| 57 | 176 while (**p && !isspace(**p) && **p != ',') |
| 0 | 177 { |
| 57 | 178 p2 = *p; |
| 179 while (*p2 && !isspace(*p2) && *p2 != ',') | |
| 180 { | |
| 181 if (*p2 == '\\') | |
| 182 { | |
| 183 if (p2[1]) | |
| 184 p2++; | |
| 185 } | |
| 186 } | |
| 187 | |
| 188 // have arg here | |
| 189 args = lwasm_realloc(args, nargs + 1); | |
| 190 args[nargs] = lwasm_alloc(p2 - *p + 1); | |
| 191 args[nargs][p2 - *p] = '\0'; | |
| 192 memcpy(args[nargs], *p, p2 - *p); | |
| 193 *p = p2; | |
| 194 | |
| 195 // now collapse out "\" characters | |
| 196 for (p3 = p2 = args[nargs]; *p2; p2++, p3++) | |
| 197 { | |
| 198 if (*p2 == '\\' && p2[1]) | |
| 199 { | |
| 200 p2++; | |
| 201 } | |
| 202 *p3 = *p2; | |
| 203 } | |
| 204 *p3 = '\0'; | |
| 205 | |
| 206 nargs++; | |
| 0 | 207 } |
| 208 } | |
| 209 | |
| 57 | 210 // step 2: iterate over the lines |
| 211 if (as -> passnum == 2) | |
| 212 { | |
| 213 // pass 2 only - parse the lines and count them | |
| 214 for (lc = 0; lc < m -> numlines; lc++) | |
| 215 { | |
| 216 cl = cl -> next; | |
| 217 as -> skiplines++; | |
| 218 lwasm_parse_line(as, cl); | |
| 219 } | |
| 220 } | |
| 221 else | |
| 0 | 222 { |
| 57 | 223 // pass 1 only - construct the lines and parse them |
| 224 for (lc = 0; lc < m -> numlines; lc++) | |
| 225 { | |
| 226 nl = lwasm_alloc(sizeof(lwasm_line_t)); | |
| 227 nl -> text = lwasm_strdup(linebuff); | |
| 228 nl -> lineno = lc + 1; | |
| 229 nl -> filename = m -> name; | |
| 230 nl -> next = NULL; | |
| 231 nl -> prev = as -> linestail; | |
| 232 nl -> err = NULL; | |
| 233 nl -> fsize = 0; | |
| 234 nl -> sym = NULL; | |
| 235 nl -> bytes = NULL; | |
| 236 nl -> codelen = 0; | |
| 237 nl -> codesize = 0; | |
| 238 nl -> nocodelen = 0; | |
| 239 nl -> addrset = 0; | |
| 240 nl -> symaddr = -1; | |
| 241 if (as -> linestail) | |
| 242 as -> linestail -> next = nl; | |
| 243 as -> linestail = nl; | |
| 244 if (!(as -> lineshead)) | |
| 245 as -> lineshead = nl; | |
| 0 | 246 |
| 57 | 247 bloc = blen = 0; |
| 248 linebuff = NULL; | |
| 249 for (p2 = m -> lines[lc]; *p2; p2++) | |
| 0 | 250 { |
| 57 | 251 if (*p2 == '\\' && isdigit(p2[1])) |
| 0 | 252 { |
| 57 | 253 int n; |
| 254 | |
| 255 p2++; | |
| 256 n = *p2 - '0'; | |
| 257 if (n == 0) | |
| 258 { | |
| 259 for (p3 = m -> name; p3; p3++) | |
| 260 macro_add_to_buff(&linebuff, &bloc, &blen, *p3); | |
| 261 continue; | |
| 262 } | |
| 263 if (n < 1 || n > nargs) | |
| 264 continue; | |
| 265 for (p3 = args[n]; p3; p3++) | |
| 266 macro_add_to_buff(&linebuff, &bloc, &blen, *p3); | |
| 0 | 267 continue; |
| 268 } | |
| 57 | 269 else if (*p2 == '{') |
| 0 | 270 { |
| 57 | 271 int n = 0, n2; |
| 272 p2++; | |
| 273 while (*p2 && isdigit(*p2)) | |
| 0 | 274 { |
| 57 | 275 n2 = *p2 - '0'; |
| 276 if (n2 < 0 || n2 > 9) | |
| 277 n2 = 0; | |
| 278 n = n * 10 + n2; | |
| 279 p2++; | |
| 0 | 280 } |
| 57 | 281 if (*p2 == '}') |
| 282 p2++; | |
| 283 | |
| 284 if (n == 0) | |
| 285 { | |
| 286 for (p3 = m -> name; p3; p3++) | |
| 287 macro_add_to_buff(&linebuff, &bloc, &blen, *p3); | |
| 288 continue; | |
| 289 } | |
| 290 if (n < 1 || n > nargs) | |
| 291 continue; | |
| 292 for (p3 = args[n]; p3; p3++) | |
| 293 macro_add_to_buff(&linebuff, &bloc, &blen, *p3); | |
| 0 | 294 continue; |
| 295 } | |
| 296 else | |
| 297 { | |
| 57 | 298 macro_add_to_buff(&linebuff, &bloc, &blen, *p2); |
| 0 | 299 } |
| 300 } | |
| 57 | 301 |
| 302 nl -> text = linebuff; | |
| 303 | |
| 304 lwasm_parse_line(as, nl); | |
| 305 if (as -> endseen) | |
| 306 break; | |
| 307 | |
| 0 | 308 } |
| 57 | 309 } |
| 310 | |
| 311 // restore context from before the macro was called | |
| 312 as -> context = oldcontext; | |
| 0 | 313 |
| 57 | 314 // clean up |
| 315 while (nargs) | |
| 316 { | |
| 317 lwasm_free(args[--nargs]); | |
| 0 | 318 } |
| 57 | 319 lwasm_free(args); |
| 320 | |
| 321 // indicate a macro was expanded | |
| 322 return 0; | |
| 0 | 323 } |