Mercurial > hg-old > index.cgi
annotate lwasm/insn_indexed.c @ 448:5cccf90bf838 3.0 tip
Fixed bug with complex external references generating invalid relocations in the object file
| author | lost@l-w.ca |
|---|---|
| date | Fri, 05 Nov 2010 22:27:00 -0600 |
| parents | a9521955554f |
| children |
| rev | line source |
|---|---|
| 339 | 1 /* |
| 2 insn_indexed.c | |
| 3 Copyright © 2009 William Astle | |
| 4 | |
| 5 This file is part of LWASM. | |
| 6 | |
| 7 LWASM is free software: you can redistribute it and/or modify it under the | |
| 8 terms of the GNU General Public License as published by the Free Software | |
| 9 Foundation, either version 3 of the License, or (at your option) any later | |
| 10 version. | |
| 11 | |
| 12 This program is distributed in the hope that it will be useful, but WITHOUT | |
| 13 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or | |
| 14 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for | |
| 15 more details. | |
| 16 | |
| 17 You should have received a copy of the GNU General Public License along with | |
| 18 this program. If not, see <http://www.gnu.org/licenses/>. | |
| 19 */ | |
| 20 | |
| 21 /* | |
| 22 for handling indexed mode instructions | |
| 23 */ | |
| 24 | |
| 25 #include <config.h> | |
| 26 | |
| 27 #include <ctype.h> | |
| 28 #include <string.h> | |
| 29 | |
| 359 | 30 #include <lw_expr.h> |
| 31 | |
| 339 | 32 #include "lwasm.h" |
| 33 #include "instab.h" | |
| 34 | |
| 359 | 35 /* |
| 36 l -> lint: size of operand (0, 1, 2, -1 if not determined) | |
| 37 l -> pb: actual post byte (from "resolve" stage) or info passed | |
| 38 forward to the resolve stage (if l -> line is -1); 0x80 is indir | |
| 39 bits 0-2 are register number | |
| 40 */ | |
| 41 void insn_parse_indexed_aux(asmstate_t *as, line_t *l, char **p) | |
| 339 | 42 { |
| 43 struct opvals { char *opstr; int pb; }; | |
| 44 | |
| 45 static const char *regs = "X Y U S W PCRPC "; | |
| 46 static const struct opvals simpleindex[] = | |
| 47 { | |
| 48 {",x", 0x84}, {",y", 0xa4}, {",u", 0xc4}, {",s", 0xe4}, | |
| 49 {",x+", 0x80}, {",y+", 0xa0}, {",u+", 0xc0}, {",s+", 0xe0}, | |
| 50 {",x++", 0x81}, {",y++", 0xa1}, {",u++", 0xc1}, {",s++", 0xe1}, | |
| 51 {",-x", 0x82}, {",-y", 0xa2}, {",-u", 0xc2}, {",-s", 0xe2}, | |
| 52 {",--x", 0x83}, {",--y", 0xa3}, {",--u", 0xc3}, {",--s", 0xe3}, | |
| 53 {"a,x", 0x86}, {"a,y", 0xa6}, {"a,u", 0xc6}, {"a,s", 0xe6}, | |
| 54 {"b,x", 0x85}, {"b,y", 0xa5}, {"b,u", 0xc5}, {"b,s", 0xe5}, | |
| 55 {"e,x", 0x87}, {"e,y", 0xa7}, {"e,u", 0xc7}, {"e,s", 0xe7}, | |
| 56 {"f,x", 0x8a}, {"f,y", 0xaa}, {"f,u", 0xca}, {"f,s", 0xea}, | |
| 57 {"d,x", 0x8b}, {"d,y", 0xab}, {"d,u", 0xcb}, {"d,s", 0xed}, | |
| 58 {"w,x", 0x8e}, {"w,y", 0xae}, {"w,u", 0xce}, {"w,s", 0xee}, | |
| 59 {",w", 0x8f}, {",w++", 0xcf}, {",--w", 0xef}, | |
| 60 | |
| 61 {"[,x]", 0x94}, {"[,y]", 0xb4}, {"[,u", 0xd4}, {"[,s]", 0xf4}, | |
| 62 {"[,x++]", 0x91}, {"[,y++]", 0xb1}, {"[,u++]", 0xd1}, {"[,s++]", 0xf1}, | |
| 63 {"[,--x]", 0x93}, {"[,--y]", 0xb3}, {"[,--u]", 0xd3}, {"[,--s]", 0xf3}, | |
| 64 {"[a,x]", 0x96}, {"[a,y]", 0xb6}, {"[a,u]", 0xd6}, {"[a,s]", 0xf6}, | |
| 65 {"[b,x]", 0x95}, {"[b,y]", 0xb5}, {"[b,u]", 0xd5}, {"[b,s]", 0xf5}, | |
| 66 {"[e,x]", 0x97}, {"[e,y]", 0xb7}, {"[e,u]", 0xd7}, {"[e,s]", 0xf7}, | |
| 67 {"[f,x]", 0x9a}, {"[f,y]", 0xba}, {"[f,u]", 0xda}, {"[f,s]", 0xfa}, | |
| 68 {"[d,x]", 0x9b}, {"[d,y]", 0xbb}, {"[d,u]", 0xdb}, {"[d,s]", 0xfd}, | |
| 69 {"[w,x]", 0x9e}, {"[w,y]", 0xbe}, {"[w,u]", 0xde}, {"[w,s]", 0xfe}, | |
| 70 {"[,w]", 0x90}, {"[,w++]", 0xd0}, {"[,--w]", 0xf0}, | |
| 71 | |
| 72 { "", -1 } | |
| 73 }; | |
| 74 | |
| 75 static const char *regs9 = "X Y U S PCRPC "; | |
| 76 static const struct opvals simpleindex9[] = | |
| 77 { | |
| 78 {",x", 0x84}, {",y", 0xa4}, {",u", 0xc4}, {",s", 0xe4}, | |
| 79 {",x+", 0x80}, {",y+", 0xa0}, {",u+", 0xc0}, {",s+", 0xe0}, | |
| 80 {",x++", 0x81}, {",y++", 0xa1}, {",u++", 0xc1}, {",s++", 0xe1}, | |
| 81 {",-x", 0x82}, {",-y", 0xa2}, {",-u", 0xc2}, {",-s", 0xe2}, | |
| 82 {",--x", 0x83}, {",--y", 0xa3}, {",--u", 0xc3}, {",--s", 0xe3}, | |
| 83 {"a,x", 0x86}, {"a,y", 0xa6}, {"a,u", 0xc6}, {"a,s", 0xe6}, | |
| 84 {"b,x", 0x85}, {"b,y", 0xa5}, {"b,u", 0xc5}, {"b,s", 0xe5}, | |
| 85 {"d,x", 0x8b}, {"d,y", 0xab}, {"d,u", 0xcb}, {"d,s", 0xed}, | |
| 86 | |
| 87 {"[,x]", 0x94}, {"[,y]", 0xb4}, {"[,u", 0xd4}, {"[,s]", 0xf4}, | |
| 88 {"[,x++]", 0x91}, {"[,y++]", 0xb1}, {"[,u++]", 0xd1}, {"[,s++]", 0xf1}, | |
| 89 {"[,--x]", 0x93}, {"[,--y]", 0xb3}, {"[,--u]", 0xd3}, {"[,--s]", 0xf3}, | |
| 90 {"[a,x]", 0x96}, {"[a,y]", 0xb6}, {"[a,u]", 0xd6}, {"[a,s]", 0xf6}, | |
| 91 {"[b,x]", 0x95}, {"[b,y]", 0xb5}, {"[b,u]", 0xd5}, {"[b,s]", 0xf5}, | |
| 92 {"[d,x]", 0x9b}, {"[d,y]", 0xbb}, {"[d,u]", 0xdb}, {"[d,s]", 0xfd}, | |
| 93 | |
| 94 { "", -1 } | |
| 95 }; | |
| 96 char stbuf[25]; | |
| 97 int i, j, rn; | |
| 98 int indir = 0; | |
| 359 | 99 int f0 = 1; |
| 339 | 100 const struct opvals *simples; |
| 101 const char *reglist; | |
| 359 | 102 lw_expr_t e; |
| 103 | |
| 104 if (as -> target == TARGET_6809) | |
| 339 | 105 { |
| 106 simples = simpleindex9; | |
| 107 reglist = regs9; | |
| 108 } | |
| 109 else | |
| 110 { | |
| 111 simples = simpleindex; | |
| 112 reglist = regs; | |
| 113 } | |
| 114 | |
| 115 // fetch out operand for lookup | |
| 116 for (i = 0; i < 24; i++) | |
| 117 { | |
| 118 if (*((*p) + i) && !isspace(*((*p) + i))) | |
| 119 stbuf[i] = *((*p) + i); | |
| 120 else | |
| 121 break; | |
| 122 } | |
| 123 stbuf[i] = '\0'; | |
| 124 | |
| 125 // now look up operand in "simple" table | |
| 126 if (!*((*p) + i) || isspace(*((*p) + i))) | |
| 127 { | |
| 128 // do simple lookup | |
| 129 for (j = 0; simples[j].opstr[0]; j++) | |
| 130 { | |
| 131 if (!strcasecmp(stbuf, simples[j].opstr)) | |
| 132 break; | |
| 133 } | |
| 134 if (simples[j].opstr[0]) | |
| 135 { | |
| 359 | 136 l -> pb = simples[j].pb; |
| 137 l -> lint = 0; | |
| 339 | 138 (*p) += i; |
| 139 return; | |
| 140 } | |
| 141 } | |
| 142 | |
| 143 // now do the "hard" ones | |
| 144 | |
| 145 // is it indirect? | |
| 146 if (**p == '[') | |
| 147 { | |
| 148 indir = 1; | |
| 149 (*p)++; | |
| 150 } | |
| 151 | |
| 152 // look for a "," - all indexed modes have a "," except extended indir | |
| 153 rn = 0; | |
| 154 for (i = 0; (*p)[i] && !isspace((*p)[i]); i++) | |
| 155 { | |
| 156 if ((*p)[i] == ',') | |
| 157 { | |
| 158 rn = 1; | |
| 159 break; | |
| 160 } | |
| 161 } | |
| 162 | |
| 163 // if no "," and indirect, do extended indir | |
| 164 if (!rn && indir) | |
| 165 { | |
| 166 // extended indir | |
| 359 | 167 l -> pb = 0x9f; |
| 168 e = lwasm_parse_expr(as, p); | |
| 169 if (!e || **p != ']') | |
| 339 | 170 { |
| 359 | 171 lwasm_register_error(as, l, "Bad operand"); |
| 339 | 172 return; |
| 173 } | |
| 382 | 174 lwasm_save_expr(l, 0, e); |
| 339 | 175 |
| 176 (*p)++; | |
| 359 | 177 l -> lint = 2; |
| 339 | 178 return; |
| 179 } | |
| 180 | |
| 181 if (**p == '<') | |
| 182 { | |
| 359 | 183 l -> lint = 1; |
| 339 | 184 (*p)++; |
| 185 } | |
| 186 else if (**p == '>') | |
| 187 { | |
| 359 | 188 l -> lint = 2; |
| 339 | 189 (*p)++; |
| 190 } | |
| 191 | |
| 192 if (**p == '0' && *(*p+1) == ',') | |
| 193 { | |
| 194 f0 = 1; | |
| 195 } | |
| 196 | |
| 197 // now we have to evaluate the expression | |
| 359 | 198 e = lwasm_parse_expr(as, p); |
| 199 if (!e) | |
| 339 | 200 { |
| 359 | 201 lwasm_register_error(as, l, "Bad operand"); |
| 339 | 202 return; |
| 203 } | |
| 359 | 204 lwasm_save_expr(l, 0, e); |
| 205 | |
| 339 | 206 // now look for a comma; if not present, explode |
| 207 if (*(*p)++ != ',') | |
| 208 { | |
| 359 | 209 lwasm_register_error(as, l, "Bad operand"); |
| 339 | 210 return; |
| 211 } | |
| 212 | |
| 213 // now get the register | |
| 214 rn = lwasm_lookupreg3(reglist, p); | |
| 215 if (rn < 0) | |
| 216 { | |
| 359 | 217 lwasm_register_error(as, l, "Bad register"); |
| 339 | 218 return; |
| 219 } | |
| 220 | |
| 221 if (indir) | |
| 222 { | |
| 223 if (**p != ']') | |
| 224 { | |
| 359 | 225 lwasm_register_error(as, l, "Bad operand"); |
| 339 | 226 return; |
| 227 } | |
| 228 else | |
| 229 (*p)++; | |
| 230 } | |
| 231 | |
| 232 // nnnn,W is only 16 bit (or 0 bit) | |
| 233 if (rn == 4) | |
| 234 { | |
| 359 | 235 if (l -> lint == 1) |
| 339 | 236 { |
| 359 | 237 lwasm_register_error(as, l, "n,W cannot be 8 bit"); |
| 339 | 238 return; |
| 239 } | |
| 359 | 240 |
| 241 if (l -> lint == 2) | |
| 339 | 242 { |
| 359 | 243 l -> pb = indir ? 0xb0 : 0xcf; |
| 244 l -> lint = 2; | |
| 245 return; | |
| 246 } | |
| 247 | |
| 248 l -> pb = (0x80 * indir) | rn; | |
| 249 | |
| 250 /* [,w] and ,w | |
| 339 | 251 if (indir) |
| 252 *b1 = 0x90; | |
| 253 else | |
| 254 *b1 = 0x8f; | |
| 359 | 255 */ |
| 339 | 256 return; |
| 257 } | |
| 258 | |
| 259 // PCR? then we have PC relative addressing (like B??, LB??) | |
|
442
a9521955554f
Added pragma pcaspcr to treat PC as PCR; additional fixes for PCR addressing modes
lost@l-w.ca
parents:
441
diff
changeset
|
260 if (rn == 5 || (rn == 6 && CURPRAGMA(l, PRAGMA_PCASPCR))) |
| 339 | 261 { |
| 359 | 262 lw_expr_t e1, e2; |
| 339 | 263 // external references are handled exactly the same as for |
| 264 // relative addressing modes | |
| 265 // on pass 1, adjust the expression for a subtraction of the | |
| 266 // current address | |
| 371 | 267 // e - (addr + linelen) => e - addr - linelen |
| 339 | 268 |
| 371 | 269 e2 = lw_expr_build(lw_expr_type_special, lwasm_expr_linelen, l); |
| 270 e1 = lw_expr_build(lw_expr_type_oper, lw_expr_oper_minus, e, e2); | |
| 271 lw_expr_destroy(e2); | |
| 272 e2 = lw_expr_build(lw_expr_type_oper, lw_expr_oper_minus, e1, l -> addr); | |
| 359 | 273 lw_expr_destroy(e1); |
| 371 | 274 lwasm_save_expr(l, 0, e2); |
| 441 | 275 if (l -> lint == 1) |
| 276 { | |
|
442
a9521955554f
Added pragma pcaspcr to treat PC as PCR; additional fixes for PCR addressing modes
lost@l-w.ca
parents:
441
diff
changeset
|
277 l -> pb = indir ? 0x9C : 0x8C; |
| 441 | 278 return; |
| 279 } | |
| 280 if (l -> lint == 2) | |
| 281 { | |
|
442
a9521955554f
Added pragma pcaspcr to treat PC as PCR; additional fixes for PCR addressing modes
lost@l-w.ca
parents:
441
diff
changeset
|
282 l -> pb = indir ? 0x9D : 0x8D; |
|
a9521955554f
Added pragma pcaspcr to treat PC as PCR; additional fixes for PCR addressing modes
lost@l-w.ca
parents:
441
diff
changeset
|
283 return; |
|
a9521955554f
Added pragma pcaspcr to treat PC as PCR; additional fixes for PCR addressing modes
lost@l-w.ca
parents:
441
diff
changeset
|
284 } |
|
a9521955554f
Added pragma pcaspcr to treat PC as PCR; additional fixes for PCR addressing modes
lost@l-w.ca
parents:
441
diff
changeset
|
285 } |
|
a9521955554f
Added pragma pcaspcr to treat PC as PCR; additional fixes for PCR addressing modes
lost@l-w.ca
parents:
441
diff
changeset
|
286 |
|
a9521955554f
Added pragma pcaspcr to treat PC as PCR; additional fixes for PCR addressing modes
lost@l-w.ca
parents:
441
diff
changeset
|
287 if (rn == 6) |
|
a9521955554f
Added pragma pcaspcr to treat PC as PCR; additional fixes for PCR addressing modes
lost@l-w.ca
parents:
441
diff
changeset
|
288 { |
|
a9521955554f
Added pragma pcaspcr to treat PC as PCR; additional fixes for PCR addressing modes
lost@l-w.ca
parents:
441
diff
changeset
|
289 if (l -> lint == 1) |
|
a9521955554f
Added pragma pcaspcr to treat PC as PCR; additional fixes for PCR addressing modes
lost@l-w.ca
parents:
441
diff
changeset
|
290 { |
|
a9521955554f
Added pragma pcaspcr to treat PC as PCR; additional fixes for PCR addressing modes
lost@l-w.ca
parents:
441
diff
changeset
|
291 l -> pb = indir ? 0x9C : 0x8C; |
|
a9521955554f
Added pragma pcaspcr to treat PC as PCR; additional fixes for PCR addressing modes
lost@l-w.ca
parents:
441
diff
changeset
|
292 return; |
|
a9521955554f
Added pragma pcaspcr to treat PC as PCR; additional fixes for PCR addressing modes
lost@l-w.ca
parents:
441
diff
changeset
|
293 } |
|
a9521955554f
Added pragma pcaspcr to treat PC as PCR; additional fixes for PCR addressing modes
lost@l-w.ca
parents:
441
diff
changeset
|
294 if (l -> lint == 2) |
|
a9521955554f
Added pragma pcaspcr to treat PC as PCR; additional fixes for PCR addressing modes
lost@l-w.ca
parents:
441
diff
changeset
|
295 { |
|
a9521955554f
Added pragma pcaspcr to treat PC as PCR; additional fixes for PCR addressing modes
lost@l-w.ca
parents:
441
diff
changeset
|
296 l -> pb = indir ? 0x9D : 0x8D; |
| 441 | 297 return; |
| 298 } | |
| 339 | 299 } |
| 300 | |
| 359 | 301 l -> pb = (indir * 0x80) | rn | (f0 * 0x40); |
| 302 } | |
| 339 | 303 |
| 359 | 304 PARSEFUNC(insn_parse_indexed) |
| 305 { | |
| 306 l -> lint = -1; | |
| 307 insn_parse_indexed_aux(as, l, p); | |
| 308 | |
| 309 if (l -> lint != -1) | |
| 339 | 310 { |
| 359 | 311 l -> len = OPLEN(instab[l -> insn].ops[0]) + l -> lint + 1; |
| 339 | 312 } |
| 359 | 313 } |
| 339 | 314 |
| 382 | 315 void insn_resolve_indexed_aux(asmstate_t *as, line_t *l, int force, int elen) |
| 359 | 316 { |
|
360
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
317 // here, we have an expression which needs to be |
|
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
318 // resolved; the post byte is determined here as well |
| 382 | 319 lw_expr_t e, e2, e3; |
| 373 | 320 int pb = -1; |
| 321 int v; | |
| 382 | 322 |
| 323 if (l -> len != -1) | |
| 324 return; | |
| 325 | |
|
360
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
326 e = lwasm_fetch_expr(l, 0); |
| 382 | 327 if (!lw_expr_istype(e, lw_expr_type_int)) |
| 328 { | |
| 329 // temporarily set the instruction length to see if we get a | |
| 330 // constant for our expression; if so, we can select an instruction | |
| 331 // size | |
| 332 e2 = lw_expr_copy(e); | |
| 333 // magic 2 for 8 bit (post byte + offset) | |
| 334 l -> len = OPLEN(instab[l -> insn].ops[0]) + elen + 2; | |
| 335 lwasm_reduce_expr(as, e2); | |
| 336 // l -> len += 1; | |
| 337 // e3 = lw_expr_copy(e); | |
| 338 // lwasm_reduce_expr(as, e3); | |
| 339 l -> len = -1; | |
| 340 if (lw_expr_istype(e2, lw_expr_type_int)) | |
| 341 { | |
| 342 v = lw_expr_intval(e2); | |
| 343 // we have a reducible expression here which depends on | |
| 344 // the size of this instruction | |
| 345 if (v < -128 || v > 127) | |
| 346 { | |
| 347 l -> lint = 2; | |
| 348 switch (l -> pb & 0x07) | |
| 349 { | |
| 350 case 0: | |
| 351 case 1: | |
| 352 case 2: | |
| 353 case 3: | |
| 415 | 354 pb = 0x89 | ((l -> pb & 0x03) << 5) | (0x10 * (l -> pb & 0x80)); |
| 382 | 355 break; |
| 356 | |
| 357 case 4: // W | |
| 358 pb = (l -> pb & 0x80) ? 0xD0 : 0xCF; | |
| 359 break; | |
| 360 | |
| 361 case 5: // PCR | |
| 362 case 6: // PC | |
| 363 pb = (l -> pb & 0x80) ? 0x9D : 0x8D; | |
| 364 break; | |
| 365 } | |
| 366 | |
| 367 l -> pb = pb; | |
| 368 lw_expr_destroy(e2); | |
| 369 // lw_expr_destroy(e3); | |
| 370 return; | |
| 371 } | |
| 372 else if ((l -> pb & 0x80) || ((l -> pb & 0x07) > 3) || v < -16 || v > 15) | |
| 373 { | |
| 374 // if not a 5 bit value, is indirect, or is not X,Y,U,S | |
| 375 l -> lint = 1; | |
| 376 switch (l -> pb & 0x07) | |
| 377 { | |
| 378 case 0: | |
| 379 case 1: | |
| 380 case 2: | |
| 381 case 3: | |
| 415 | 382 pb = 0x88 | ((l -> pb & 0x03) << 5) | (0x10 * (l -> pb & 0x80)); |
| 382 | 383 break; |
| 384 | |
| 385 case 4: // W | |
| 386 // use 16 bit because W doesn't have 8 bit, unless 0 | |
| 387 if (v == 0 && !(CURPRAGMA(l, PRAGMA_NOINDEX0TONONE) || l -> pb & 0x40)) | |
| 388 { | |
| 389 pb = (l -> pb & 0x80) ? 0x90 : 0x8F; | |
| 390 l -> lint = 0; | |
| 391 } | |
| 392 else | |
| 393 { | |
| 394 pb = (l -> pb & 0x80) ? 0xD0 : 0xCF; | |
| 395 l -> lint = 2; | |
| 396 } | |
| 397 break; | |
| 398 | |
| 399 case 5: // PCR | |
| 400 case 6: // PC | |
| 401 pb = (l -> pb & 0x80) ? 0x9C : 0x8C; | |
| 402 break; | |
| 403 } | |
| 404 | |
| 405 l -> pb = pb; | |
| 406 return; | |
| 407 } | |
| 408 else | |
| 409 { | |
| 410 // we have X,Y,U,S and a possible 16 bit here | |
| 411 l -> lint = 0; | |
| 412 | |
| 413 if (v == 0 && !(CURPRAGMA(l, PRAGMA_NOINDEX0TONONE) || l -> pb & 0x40)) | |
| 414 { | |
| 415 pb = (l -> pb & 0x03) << 5 | 0x84; | |
| 416 } | |
| 417 else | |
| 418 { | |
| 419 pb = (l -> pb & 0x03) << 5 | v & 0x1F; | |
| 420 } | |
| 421 l -> pb = pb; | |
| 422 return; | |
| 423 } | |
| 424 } | |
| 425 } | |
| 426 | |
|
360
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
427 if (lw_expr_istype(e, lw_expr_type_int)) |
|
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
428 { |
|
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
429 // we know how big it is |
|
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
430 v = lw_expr_intval(e); |
|
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
431 if (v < -128 || v > 127) |
|
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
432 { |
| 373 | 433 do16bit: |
|
360
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
434 l -> lint = 2; |
|
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
435 switch (l -> pb & 0x07) |
|
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
436 { |
|
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
437 case 0: |
|
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
438 case 1: |
|
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
439 case 2: |
|
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
440 case 3: |
| 415 | 441 pb = 0x89 | (l -> pb & 0x03) << 5 | (0x10 * (l -> pb & 0x80)); |
|
360
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
442 break; |
|
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
443 |
|
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
444 case 4: // W |
| 373 | 445 pb = (l -> pb & 0x80) ? 0xD0 : 0xCF; |
|
360
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
446 break; |
|
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
447 |
|
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
448 case 5: // PCR |
|
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
449 case 6: // PC |
| 373 | 450 pb = (l -> pb & 0x80) ? 0x9D : 0x8D; |
|
360
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
451 break; |
|
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
452 } |
|
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
453 |
| 373 | 454 l -> pb = pb; |
|
360
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
455 return; |
|
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
456 } |
|
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
457 else if ((l -> pb & 0x80) || ((l -> pb & 0x07) > 3) || v < -16 || v > 15) |
|
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
458 { |
|
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
459 // if not a 5 bit value, is indirect, or is not X,Y,U,S |
|
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
460 l -> lint = 1; |
|
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
461 switch (l -> pb & 0x07) |
|
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
462 { |
|
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
463 case 0: |
|
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
464 case 1: |
|
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
465 case 2: |
|
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
466 case 3: |
| 415 | 467 pb = 0x88 | (l -> pb & 0x03) << 5 | (0x10 * (l -> pb & 0x80)); |
|
360
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
468 break; |
|
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
469 |
|
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
470 case 4: // W |
|
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
471 // use 16 bit because W doesn't have 8 bit, unless 0 |
|
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
472 if (v == 0 && !(CURPRAGMA(l, PRAGMA_NOINDEX0TONONE) || l -> pb & 0x40)) |
|
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
473 { |
| 373 | 474 pb = (l -> pb & 0x80) ? 0x90 : 0x8F; |
|
360
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
475 l -> lint = 0; |
|
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
476 } |
|
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
477 else |
|
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
478 { |
| 373 | 479 pb = (l -> pb & 0x80) ? 0xD0 : 0xCF; |
|
360
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
480 l -> lint = 2; |
|
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
481 } |
|
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
482 break; |
|
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
483 |
|
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
484 case 5: // PCR |
|
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
485 case 6: // PC |
| 373 | 486 pb = (l -> pb & 0x80) ? 0x9C : 0x8C; |
|
360
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
487 break; |
|
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
488 } |
|
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
489 |
| 373 | 490 l -> pb = pb; |
|
360
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
491 return; |
|
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
492 } |
|
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
493 else |
|
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
494 { |
| 382 | 495 // we have X,Y,U,S and a possible 16 bit here |
|
360
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
496 l -> lint = 0; |
|
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
497 |
|
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
498 if (v == 0 && !(CURPRAGMA(l, PRAGMA_NOINDEX0TONONE) || l -> pb & 0x40)) |
|
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
499 { |
| 382 | 500 pb = (l -> pb & 0x03) << 5 | 0x84; |
| 501 } | |
| 502 else | |
| 503 { | |
| 373 | 504 pb = (l -> pb & 0x03) << 5 | v & 0x1F; |
|
360
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
505 } |
| 373 | 506 l -> pb = pb; |
|
360
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
507 return; |
|
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
508 } |
|
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
509 } |
|
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
510 else |
|
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
511 { |
|
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
512 // we don't know how big it is |
|
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
513 if (!force) |
|
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
514 return; |
|
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
515 // force 16 bit if we don't know |
|
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
516 l -> lint = 2; |
| 373 | 517 goto do16bit; |
|
360
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
518 } |
| 339 | 519 } |
| 520 | |
| 359 | 521 RESOLVEFUNC(insn_resolve_indexed) |
| 339 | 522 { |
|
360
7d91ab7ac7d6
Indexed stage 2; set line structure to track pragmas in effect for that line
lost@starbug
parents:
359
diff
changeset
|
523 if (l -> lint == -1) |
| 382 | 524 insn_resolve_indexed_aux(as, l, force, 0); |
| 339 | 525 |
| 359 | 526 if (l -> lint != -1 && l -> pb != -1) |
| 527 { | |
| 528 l -> len = OPLEN(instab[l -> insn].ops[0]) + l -> lint + 1; | |
| 529 } | |
| 530 } | |
| 339 | 531 |
| 359 | 532 void insn_emit_indexed_aux(asmstate_t *as, line_t *l) |
| 533 { | |
| 534 lw_expr_t e; | |
| 535 | |
| 536 lwasm_emitop(l, instab[l -> insn].ops[0]); | |
| 537 lwasm_emitop(l, l -> pb); | |
| 538 if (l -> lint > 0) | |
| 539 { | |
| 540 e = lwasm_fetch_expr(l, 0); | |
| 541 lwasm_emitexpr(l, e, l -> lint); | |
| 542 } | |
| 339 | 543 } |
| 359 | 544 |
| 545 EMITFUNC(insn_emit_indexed) | |
| 546 { | |
| 547 insn_emit_indexed_aux(as, l); | |
| 548 } |