+ { // ([...
+ tok++;
+ AnEXTEN|=EXT_FULLWORD; //Definitely using full extension format, so set bit 8
+ // Check to see if base displacement is present
+ //WARNING("expr will return a bad expression error here but this is expected, it needs to be silenced!");
+ if (*tok!=CONST && *tok !=SYMBOL)
+ //if (expr(AnBEXPR, &AnBEXVAL, &AnBEXATTR, &AnESYM) != OK)
+ {
+ AnEXTEN|=EXT_BDSIZE0;
+ //tok++;
+ //tok--; //Rewind tok since expr advances it forward
+ }
+ else
+ {
+ expr(AnBEXPR, &AnBEXVAL, &AnBEXATTR, &AnESYM);
+ if (optim_flags[OPT_BASE_DISP] && AnBEXVAL==0 && AnEXATTR!=0)
+ {
+ // bd=0 so let's optimise it out
+ AnEXTEN|=EXT_BDSIZE0;
+ }
+ else if (*tok==DOTL)
+ { // ([bd.l,...
+ AnEXTEN|=EXT_BDSIZEL;
+ tok++;
+ }
+ else
+ { // ([bd[.w],... or ([bd,...
+ // Is .W forced here?
+ if (*tok == DOTW)
+ {
+ AnEXTEN|=EXT_BDSIZEW;
+ tok++;
+ }
+ else
+ {
+ // Defined, absolute values from $FFFF8000..$00007FFF get optimized
+ // to absolute short
+ if (optim_flags[OPT_ABS_SHORT]
+ && ((AnBEXATTR & (TDB | DEFINED)) == DEFINED)
+ && ((AnBEXVAL + 0x8000) < 0x10000))
+ {
+ AnEXTEN |= EXT_BDSIZEW;
+ warn("absolute value in base displacement ranging $FFFF8000..$00007FFF optimised to absolute short");
+ }
+ else
+ {
+ AnEXTEN |= EXT_BDSIZEL;
+ }
+ }
+ }
+
+ if (*tok == ',')
+ tok++;
+ //else
+ // return error("Comma expected after base displacement");
+ }
+
+ // Check for address register or PC, suppress base register
+ // otherwise
+
+ if (*tok == KW_PC)
+ { // ([bd,PC,...
+ AnREG = (7 << 3) | 3; // PC is special case - stuff 011 to register field and 111 to the mode field
+ tok++;
+ }
+ else if ((*tok >= KW_A0) && (*tok <= KW_A7))
+ { // ([bd,An,...
+ AnREG = (6<<3)|*tok & 7;
+ tok++;
+ }
+ else if ((*tok >= KW_D0) && (*tok <= KW_D7))
+ {
+ // ([bd,Dn,...
+ AnREG = (6 << 3);
+ AnEXTEN |= ((*tok & 7) << 12);
+ AnEXTEN |= EXT_D;
+ AnEXTEN |= EXT_BS; // Oh look, a data register! Which means that base register is suppressed
+ tok++;
+
+ // Check for size
+ {
+ // ([bd,An/PC],Xn.W/L...)
+ switch ((int)*tok)
+ {
+ // Index reg size: <empty> | .W | .L
+ case DOTW:
+ tok++;
+ break;
+ default:
+ break;
+ case DOTL:
+ AnEXTEN |= EXT_L;
+ tok++;
+ break;
+ case DOTB:
+ // .B not allowed here...
+ goto badmode;
+ }
+ }
+
+ // Check for scale
+ if (*tok == '*') // ([bd,An/PC],Xn*...)
+ {
+ 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++)
+ {
+ case 1:
+ break;
+ case 2:
+ AnEXTEN |= EXT_TIMES2;
+ break;
+ case 4:
+ AnEXTEN |= EXT_TIMES4;
+ break;
+ case 8:
+ AnEXTEN |= EXT_TIMES8;
+ break;
+ default:
+ goto badmode;
+ }
+ }
+
+ if (*tok == ']') // ([bd,Dn]...
+ {
+ tok++;
+ goto IS_SUPPRESSEDn;
+ }
+ }
+ else if (*tok == ']')
+ {
+ // PC and Xn is suppressed
+ AnREG = 6 << 3; // stuff 110 to mode field
+ //AnEXTEN|=EXT_BS|EXT_IS;
+ AnEXTEN |= EXT_BS;
+ }
+ else
+ {
+ goto badmode;
+ }
+
+ // At a crossroads here. We can accept either ([bd,An/PC],... or ([bd,An/PC,Xn*scale],...
+ if (*tok == ']')
+ {
+ //([bd,An/PC],Xn,od)
+ // Check for Xn
+ tok++;
+
+ if (*tok == ')')
+ {
+ //Xn and od are non existent, get out of jail free card
+ 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 != ',')
+ return error("comma expected after ]");
+ else
+ tok++; // eat the comma
+
+ if ((*tok >= KW_A0) && (*tok <= KW_A7))
+ {
+ AnIXREG = ((*tok & 7) << 12);
+ AnEXTEN |= EXT_A;
+ tok++;
+ }
+ else if ((*tok >= KW_D0) && (*tok <= KW_D7))
+ {
+ AnEXTEN |= ((*tok & 7) << 12);
+ AnEXTEN |= EXT_D;
+ tok++;
+ }
+ else
+ {
+ //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?
+ }
+
+ // Check for size
+ {
+ // ([bd,An/PC],Xn.W/L...)
+ switch ((int)*tok)
+ {
+ // Index reg size: <empty> | .W | .L
+ case DOTW:
+ tok++;
+ break;
+ default:
+ break;
+ case DOTL:
+ AnEXTEN |= EXT_L;
+ tok++;
+ break;
+ case DOTB:
+ // .B not allowed here...
+ goto badmode;
+ }
+ }
+
+ // Check for scale
+ if (*tok == '*')
+ {
+ // ([bd,An/PC],Xn*...)
+ 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++)
+ {
+ case 1:
+ break;
+ case 2:
+ AnEXTEN |= EXT_TIMES2;
+ break;
+ case 4:
+ AnEXTEN |= EXT_TIMES4;
+ break;
+ case 8:
+ AnEXTEN |= EXT_TIMES8;
+ break;
+ default:
+ goto badmode;
+ }
+ }
+
+ // Check for od
+ if (*tok == ')') // ([bd,An/PC],Xn)
+ {
+ //od is non existant, get out of jail free card
+ AMn = MEMPOST; // let's say it's ([bd,An],Xn,od) with od=0 then
+ AnEXTEN |= EXT_IISPOSN; // No outer displacement
+ tok++;
+ goto AnOK;
+ }
+ else if (*tok!=',')
+ return error("comma expected");
+ else
+ tok++; // eat the comma
+
+ CHECKODn:
+
+ if (expr(AnEXPR, &AnEXVAL, &AnEXATTR, &AnESYM) != OK)
+ goto badmode;
+
+ if (optim_flags[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
+ AnEXTEN |= EXT_IISPOSN; // No outer displacement
+ tok++;
+ goto AnOK;
+ }
+
+ // ([bd,An/PC],Xn,od)
+ if (*tok == DOTL)
+ {
+ // expr.L
+ AnEXTEN |= EXT_IISPOSL; // Long outer displacement
+ AMn = MEMPOST;
+
+ // Defined, absolute values from $FFFF8000..$00007FFF get
+ // optimized to absolute short
+ if (optim_flags[OPT_ABS_SHORT]
+ && ((AnEXATTR & (TDB | DEFINED)) == DEFINED)
+ && ((AnEXVAL + 0x8000) < 0x10000))
+ {
+ AnEXTEN |= EXT_IISPOSW; // Word outer displacement
+ AMn = MEMPOST;
+ warn("outer displacement absolute value from $FFFF8000..$00007FFF optimised to absolute short");
+ }
+
+ }
+ else
+ {
+ // expr[.W]
+ AnEXTEN |= EXT_IISPOSW; // Word outer displacement
+ AMn = MEMPOST;
+
+ // Is .W forced here?
+ if (*tok == DOTW)
+ {
+ tok++;
+ }
+ }
+
+ // Check for final closing parenthesis
+ if (*tok == ')')
+ {
+ tok++;
+ goto AnOK;
+ }
+ else
+ return error("Closing parenthesis missing on addressing mode");
+
+ IS_SUPPRESSEDn:
+
+ // Check for od
+ if (*tok == ')') // ([bd,An/PC],Xn)
+ {
+ //od is non existant, get out of jail free card
+ AMn = MEMPOST; // let's say it's ([bd,An],Xn,od) with od=0 then
+ AnEXTEN |= EXT_IISNOIN; // No outer displacement
+ tok++;
+ goto AnOK;
+ }
+ else if (*tok!=',')
+ return error("comma expected");
+ else
+ tok++; // eat the comma
+
+ if ((*tok != CONST) && (*tok != SYMBOL))
+ goto badmode;
+
+ expr(AnEXPR, &AnEXVAL, &AnEXATTR, &AnESYM);
+
+ if (optim_flags[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
+ AnEXTEN |= EXT_IISNOIN; // No outer displacement
+ tok++;
+ goto AnOK;
+ }
+
+ // ([bd,An/PC],Xn,od)
+ if (*tok == DOTL)
+ {
+ // expr.L
+ tok++;
+ AMn = MEMPOST;
+ AnEXTEN |= EXT_IISNOIL; // Long outer displacement with IS suppressed
+ }
+ else
+ {
+ // expr[.W][]
+ AnEXTEN |= EXT_IISNOIW; // Word outer displacement with IS suppressed
+ AMn = MEMPRE;
+
+ if (*tok == DOTW)
+ {
+ //AnEXTEN|=EXT_IISNOIW; // Word outer displacement
+ AMn = MEMPOST;
+ tok++;
+ }
+
+ // Defined, absolute values from $FFFF8000..$00007FFF get
+ // optimized to absolute short
+ else if (optim_flags[OPT_BASE_DISP]
+ && ((AnEXATTR & (TDB | DEFINED)) == DEFINED)
+ && ((AnEXVAL + 0x8000) < 0x10000))
+ {
+ //AnEXTEN|=EXT_IISNOIW; // Word outer displacement with IS suppressed
+ warn("outer displacement absolute value from $FFFF8000..$00007FFF optimised to absolute short");
+ }
+ }
+
+ // Check for final closing parenthesis
+ if (*tok == ')')
+ {
+ tok++;
+ goto AnOK;
+ }
+ else
+ return error("Closing parenthesis missing on addressing mode");
+ }
+ else if (*tok == ',')
+ {
+ *tok++; // ([bd,An,Xn.size*scale],od)
+
+ //Check for Xn
+ if ((*tok >= KW_A0) && (*tok <= KW_A7))
+ {
+ AnEXTEN |= ((*tok & 7) << 12);
+ AnEXTEN |= EXT_A;
+ tok++;
+ }
+ else if ((*tok >= KW_D0) && (*tok <= KW_D7))
+ {
+ AnEXTEN |= ((*tok & 7) << 12);
+ AnEXTEN |= EXT_D;
+ tok++;
+ }
+
+ // Check for size
+ {
+ // ([bd,An/PC],Xn.W/L...)
+ switch ((int)*tok)
+ {
+ // Index reg size: <empty> | .W | .L
+ case DOTW:
+ tok++;
+ break;
+ default:
+ break;
+ case DOTL:
+ tok++;
+ AnEXTEN |= EXT_L;
+ break;
+ case DOTB:
+ // .B not allowed here...
+ goto badmode;
+ }
+ }
+
+ // Check for scale
+ if (*tok == '*') // ([bd,An/PC],Xn*...)
+ {
+ 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++)
+ {
+ case 1:
+ break;
+ case 2:
+ AnEXTEN |= EXT_TIMES2;
+ break;
+ case 4:
+ AnEXTEN |= EXT_TIMES4;
+ break;
+ case 8:
+ AnEXTEN |= EXT_TIMES8;
+ break;
+ default:
+ goto badmode;
+ }
+ }
+
+ //Check for ]
+ if (*tok != ']')
+ return error("Expected closing bracket ]");
+
+ tok++; // Eat the bracket
+
+ //Check for od
+ if (*tok == ')') // ([bd,An/PC,Xn]...
+ {
+ //od is non existant, get out of jail free card
+ //AnEXVAL=0; // zero outer displacement
+ AMn = MEMPRE; // let's say it's ([bd,An,Xn],od) with od suppressed then
+ AnEXTEN |= EXT_IISPREN; // No outer displacement
+ tok++;
+ goto AnOK;
+ }
+ else if (*tok++!=',')
+ return error("comma expected after ]");
+
+ WARNING(Put symbol and constant checks here!)
+
+ if (expr(AnEXPR, &AnEXVAL, &AnEXATTR, &AnESYM) != OK)
+ goto badmode;
+
+ if (optim_flags[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
+ AnEXTEN |= EXT_IISPRE0; // No outer displacement
+ tok++;
+ goto AnOK;
+ }
+
+ // ([bd,An/PC,Xn],od)
+ if (*tok == DOTL)
+ {
+ // expr.L
+ AMn = MEMPRE;
+ tok++;
+ AnEXTEN |= EXT_IISPREL;
+ }
+ else
+ {
+ // expr.[W]
+ //tok++;
+
+ AnEXTEN |= EXT_IISPREW;
+ AMn = MEMPRE;
+
+ // Is .W forced here?
+ if (*tok == DOTW)
+ {
+ tok++;
+ }
+
+ // Defined, absolute values from $FFFF8000..$00007FFF get optimized
+ // to absolute short
+ else if (optim_flags[OPT_BASE_DISP]
+ && ((AnEXATTR & (TDB | DEFINED)) == DEFINED)
+ && ((AnEXVAL + 0x8000) < 0x10000))
+ {
+ AnEXTEN |= EXT_IISPREW;
+ warn("outer displacement absolute value from $FFFF8000..$00007FFF optimised to absolute short");
+ }
+ }
+
+ // Check for final closing parenthesis
+ if (*tok == ')')
+ {
+ tok++;
+ goto AnOK;
+ }
+ else
+ return error("Closing parenthesis missing on addressing mode");
+ }
+ else
+ goto badmode;
projects / rmac / blobdiff