X-Git-Url: http://shamusworld.gotdns.org/cgi-bin/gitweb.cgi?p=rmac;a=blobdiff_plain;f=parmode.h;h=54b584e0fc4f4c58bbbb510f4f1000acef2833d1;hp=5ad5da90e1240e21bcd37da69a889228af048082;hb=49eac9eff9d177e717de7bc8799a632c46b79237;hpb=03dd34951a331e0b8971195ccef1600fffaea2e6 diff --git a/parmode.h b/parmode.h index 5ad5da9..54b584e 100644 --- a/parmode.h +++ b/parmode.h @@ -92,16 +92,16 @@ else if (*tok == 'L') { // TODO: does DINDL gets used at all? - //AMn=DINDL; // (Dn.l) - //AnEXTEN = 1 << 1; // Long index size - //tok++; + AMn=DINDL; // (Dn.l) + AnEXTEN = 1 << 1; // Long index size + tok++; } else if (*tok == 'W') // (Dn.w) { // TODO: does DINDW gets used at all? - //AMn=DINDW; - //AnEXTEN = 1 << 1; // Word index size - //tok++; + AMn=DINDW; + AnEXTEN = 1 << 1; // Word index size + tok++; } else if (*tok == ',') { @@ -115,7 +115,58 @@ goto CHECKODn; } else + { return error("(Dn) error"); + } + + if (*tok == '*') + { // scale: *1, *2, *4, *8 + tok++; + + if (*tok == SYMBOL) + { + if (expr(AnEXPR, &AnEXVAL, &AnEXATTR, &AnESYM) != OK) + return error("scale factor expression must evaluate"); + + switch (AnEXVAL) + { + case 1: + break; + case 2: + AnIXSIZ |= TIMES2; + break; + case 4: + AnIXSIZ |= TIMES4; + break; + case 8: + AnIXSIZ |= TIMES8; + break; + default: + goto badmode; + } + } + else if (*tok++ != CONST || *tok > 8) + goto badmode; + else + { + switch ((int)*tok++) + { + case 1: + break; + case 2: + AnIXSIZ |= TIMES2; + break; + case 4: + AnIXSIZ |= TIMES4; + break; + case 8: + AnIXSIZ |= TIMES8; + break; + default: + goto badmode; + } + } + } if (*tok == ')') { @@ -128,6 +179,14 @@ AMn = MEMPOST; goto AnOK; } + else if (*tok==',') + { + tok++; // eat the comma + // It might be (Dn[.wl][*scale],od) + // Maybe this is wrong and we have to write some code here + // instead of reusing that path... + goto CHECKODn; + } else return error("unhandled so far"); } @@ -173,27 +232,56 @@ { // scale: *1, *2, *4, *8 tok++; - if (*tok++ != CONST || *tok > 8) - goto badmode; + if (*tok == SYMBOL) + { + if (expr(AnEXPR, &AnEXVAL, &AnEXATTR, &AnESYM) != OK) + return error("scale factor expression must evaluate"); - switch ((int)*tok++) - { - case 1: - break; - case 2: - AnIXSIZ |= TIMES2; - break; - case 4: - AnIXSIZ |= TIMES4; - break; - case 8: - AnIXSIZ |= TIMES8; - break; - default: + switch (AnEXVAL) + { + case 1: + break; + case 2: + AnIXSIZ |= TIMES2; + break; + case 4: + AnIXSIZ |= TIMES4; + break; + case 8: + AnIXSIZ |= TIMES8; + break; + default: + goto badmode; + } + } + else if (*tok++ != CONST || *tok > 8) goto badmode; + else + { + switch ((int)*tok++) + { + case 1: + break; + case 2: + AnIXSIZ |= TIMES2; + break; + case 4: + AnIXSIZ |= TIMES4; + break; + case 8: + AnIXSIZ |= TIMES8; + break; + default: + goto badmode; + } } } + if (*tok == ',') + { + tok++; + goto CHECKODn; + } if (*tok++ != ')') // final ")" goto badmode; @@ -215,18 +303,18 @@ else { expr(AnBEXPR, &AnBEXVAL, &AnBEXATTR, &AnESYM); - if (optim_flags[OPT_BASE_DISP] && AnBEXVAL==0 && AnEXATTR!=0) + if (CHECK_OPTS(OPT_BASE_DISP) && AnBEXVAL==0 && AnEXATTR!=0) { // bd=0 so let's optimise it out AnEXTEN|=EXT_BDSIZE0; } else if (*tok==DOTL) - { // ([bd.l,... + { // ([bd.l,... AnEXTEN|=EXT_BDSIZEL; tok++; } else - { // ([bd[.w],... or ([bd,... + { // ([bd[.w],... or ([bd,... // Is .W forced here? if (*tok == DOTW) { @@ -237,7 +325,7 @@ { // Defined, absolute values from $FFFF8000..$00007FFF get optimized // to absolute short - if (optim_flags[OPT_ABS_SHORT] + if (CHECK_OPTS(OPT_ABS_SHORT) && ((AnBEXATTR & (TDB | DEFINED)) == DEFINED) && ((AnBEXVAL + 0x8000) < 0x10000)) { @@ -302,30 +390,52 @@ // Check for scale if (*tok == '*') // ([bd,An/PC],Xn*...) - { + { // scale: *1, *2, *4, *8 tok++; - if (*tok == CONST) // TODO: I suppose the scale is stored as a CONST and nothing else? So prolly the if is not needed? - tok++; - - switch ((int)*tok++) + if (*tok == SYMBOL) { - case 1: - break; - case 2: - AnEXTEN |= EXT_TIMES2; - break; - case 4: - AnEXTEN |= EXT_TIMES4; - break; - case 8: - AnEXTEN |= EXT_TIMES8; - break; - default: + if (expr(AnEXPR, &AnEXVAL, &AnEXATTR, &AnESYM) != OK) + return error("scale factor expression must evaluate"); + switch (AnEXVAL) + { + case 1: + break; + case 2: + AnIXSIZ |= TIMES2; + break; + case 4: + AnIXSIZ |= TIMES4; + break; + case 8: + AnIXSIZ |= TIMES8; + break; + default: + goto badmode; + } + } + else if (*tok++ != CONST || *tok > 8) goto badmode; + else + { + switch ((int)*tok++) + { + case 1: + break; + case 2: + AnIXSIZ |= TIMES2; + break; + case 4: + AnIXSIZ |= TIMES4; + break; + case 8: + AnIXSIZ |= TIMES8; + break; + default: + goto badmode; + } } } - if (*tok == ']') // ([bd,Dn]... { tok++; @@ -354,9 +464,9 @@ if (*tok == ')') { //Xn and od are non existent, get out of jail free card + tok++; AMn = MEMPRE; // ([bc,An,Xn],od) with no Xn and od AnEXTEN |= EXT_IS | EXT_IISPREN; //Suppress Xn and od - tok++; goto AnOK; } else if (*tok != ',') @@ -380,8 +490,8 @@ { //No index found, suppress it AnEXTEN |= EXT_IS; - tok--; // Rewind tok to point to the comma - goto IS_SUPPRESSEDn; // https://xkcd.com/292/ - what does he know anyway? + tok--; // Rewind tok to point to the comma + goto IS_SUPPRESSEDn; // https://xkcd.com/292/ - what does he know anyway? } // Check for size @@ -406,29 +516,52 @@ } // Check for scale - if (*tok == '*') - { - // ([bd,An/PC],Xn*...) + if (*tok == '*') // ([bd,An/PC],Xn*...) + { // scale: *1, *2, *4, *8 tok++; - if (*tok == CONST) // TODO: I suppose the scale is stored as a CONST and nothing else? So prolly the if is not needed? - tok++; - - switch ((int)*tok++) + if (*tok == SYMBOL) { - case 1: - break; - case 2: - AnEXTEN |= EXT_TIMES2; - break; - case 4: - AnEXTEN |= EXT_TIMES4; - break; - case 8: - AnEXTEN |= EXT_TIMES8; - break; - default: + if (expr(AnEXPR, &AnEXVAL, &AnEXATTR, &AnESYM) != OK) + return error("scale factor expression must evaluate"); + + switch (AnEXVAL) + { + case 1: + break; + case 2: + AnIXSIZ |= TIMES2; + break; + case 4: + AnIXSIZ |= TIMES4; + break; + case 8: + AnIXSIZ |= TIMES8; + break; + default: + goto badmode; + } + } + else if (*tok++ != CONST || *tok > 8) goto badmode; + else + { + switch ((int)*tok++) + { + case 1: + break; + case 2: + AnIXSIZ |= TIMES2; + break; + case 4: + AnIXSIZ |= TIMES4; + break; + case 8: + AnIXSIZ |= TIMES8; + break; + default: + goto badmode; + } } } @@ -447,11 +580,10 @@ tok++; // eat the comma CHECKODn: - if (expr(AnEXPR, &AnEXVAL, &AnEXATTR, &AnESYM) != OK) goto badmode; - if (optim_flags[OPT_BASE_DISP] && (AnEXVAL == 0)) + if (CHECK_OPTS(OPT_BASE_DISP) && (AnEXVAL == 0)) { // od=0 so optimise it out AMn = MEMPOST; // let's say it's ([bd,An],Xn,od) with od=0 then @@ -459,17 +591,17 @@ tok++; goto AnOK; } - // ([bd,An/PC],Xn,od) if (*tok == DOTL) { // expr.L AnEXTEN |= EXT_IISPOSL; // Long outer displacement AMn = MEMPOST; + tok++; // Defined, absolute values from $FFFF8000..$00007FFF get // optimized to absolute short - if (optim_flags[OPT_ABS_SHORT] + if (CHECK_OPTS(OPT_ABS_SHORT) && ((AnEXATTR & (TDB | DEFINED)) == DEFINED) && ((AnEXVAL + 0x8000) < 0x10000)) { @@ -522,7 +654,7 @@ expr(AnEXPR, &AnEXVAL, &AnEXATTR, &AnESYM); - if (optim_flags[OPT_BASE_DISP] && (AnEXVAL == 0)) + if (CHECK_OPTS(OPT_BASE_DISP) && (AnEXVAL == 0)) { // od=0 so optimise it out AMn = MEMPOST; // let's say it's ([bd,An],Xn,od) with od=0 then @@ -544,7 +676,6 @@ // expr[.W][] AnEXTEN |= EXT_IISNOIW; // Word outer displacement with IS suppressed AMn = MEMPRE; - if (*tok == DOTW) { //AnEXTEN|=EXT_IISNOIW; // Word outer displacement @@ -554,7 +685,7 @@ // Defined, absolute values from $FFFF8000..$00007FFF get // optimized to absolute short - else if (optim_flags[OPT_BASE_DISP] + else if (CHECK_OPTS(OPT_BASE_DISP) && ((AnEXATTR & (TDB | DEFINED)) == DEFINED) && ((AnEXVAL + 0x8000) < 0x10000)) { @@ -613,34 +744,56 @@ // Check for scale if (*tok == '*') // ([bd,An/PC],Xn*...) - { + { // scale: *1, *2, *4, *8 tok++; - if (*tok == CONST) // TODO: I suppose the scale is stored as a CONST and nothing else? So prolly the if is not needed? - tok++; - - switch ((int)*tok++) + if (*tok == SYMBOL) { - case 1: - break; - case 2: - AnEXTEN |= EXT_TIMES2; - break; - case 4: - AnEXTEN |= EXT_TIMES4; - break; - case 8: - AnEXTEN |= EXT_TIMES8; - break; - default: + if (expr(AnEXPR, &AnEXVAL, &AnEXATTR, &AnESYM) != OK) + return error("scale factor expression must evaluate"); + switch (AnEXVAL) + { + case 1: + break; + case 2: + AnIXSIZ |= TIMES2; + break; + case 4: + AnIXSIZ |= TIMES4; + break; + case 8: + AnIXSIZ |= TIMES8; + break; + default: + goto badmode; + } + } + else if (*tok++ != CONST || *tok > 8) goto badmode; + else + { + switch ((int)*tok++) + { + case 1: + break; + case 2: + AnIXSIZ |= TIMES2; + break; + case 4: + AnIXSIZ |= TIMES4; + break; + case 8: + AnIXSIZ |= TIMES8; + break; + default: + goto badmode; + } } } //Check for ] if (*tok != ']') return error("Expected closing bracket ]"); - tok++; // Eat the bracket //Check for od @@ -661,7 +814,7 @@ if (expr(AnEXPR, &AnEXVAL, &AnEXATTR, &AnESYM) != OK) goto badmode; - if (optim_flags[OPT_BASE_DISP] && (AnEXVAL == 0)) + if (CHECK_OPTS(OPT_BASE_DISP) && (AnEXVAL == 0)) { // od=0 so optimise it out AMn = MEMPRE; // let's say it's ([bd,An],Xn,od) with od=0 then @@ -694,7 +847,7 @@ // Defined, absolute values from $FFFF8000..$00007FFF get optimized // to absolute short - else if (optim_flags[OPT_BASE_DISP] + else if (CHECK_OPTS(OPT_BASE_DISP) && ((AnEXATTR & (TDB | DEFINED)) == DEFINED) && ((AnEXVAL + 0x8000) < 0x10000)) { @@ -761,7 +914,7 @@ } else if (*tok == ')') { - AMn = PCDISP; // expr(PC) + AMn = PCDISP; // expr(PC) tok++; goto AnOK; } @@ -805,7 +958,6 @@ // After a cache keyword only a comma or EOL is allowed if ((*tok != ',') && (*tok != EOL)) return ERROR; - goto AnOK; } else if ((*tok >= KW_SFC) && (*tok <= KW_CRP)) @@ -855,7 +1007,7 @@ CHK_FOR_DISPn: // Defined, absolute values from $FFFF8000..$00007FFF get optimized // to absolute short - if (optim_flags[OPT_ABS_SHORT] + if (CHECK_OPTS(OPT_ABS_SHORT) && ((AnEXATTR & (TDB | DEFINED)) == DEFINED) && ((AnEXVAL + 0x8000) < 0x10000)) { @@ -903,6 +1055,7 @@ CHK_FOR_DISPn: AMn = PCINDEXED; goto AMn_IXN; } + goto badmode; }