X-Git-Url: http://shamusworld.gotdns.org/cgi-bin/gitweb.cgi?p=rmac;a=blobdiff_plain;f=parmode.h;h=b116427da7cff908d2a3269bdb58651de4ce8677;hp=521f787e9fe39897b4bfe5d7797fc79b3aabd7cd;hb=5f23454f7155f0c77ea1bede3f9e60b39da99fa8;hpb=66be644c3e5fbd7446d86c79e9e51b75c0442b49

diff --git a/parmode.h b/parmode.h
index 521f787..b116427 100644
--- a/parmode.h
+++ b/parmode.h
@@ -1,7 +1,7 @@
 //
 // RMAC - Reboot's Macro Assembler for the Atari Jaguar Console System
 // PARMODE.C - Addressing Modes Parser Include
-// Copyright (C) 199x Landon Dyer, 2011 Reboot and Friends
+// Copyright (C) 199x Landon Dyer, 2017 Reboot and Friends
 // RMAC derived from MADMAC v1.07 Written by Landon Dyer, 1986
 // Source utilised with the kind permission of Landon Dyer
 //
@@ -74,8 +74,65 @@
 			AMn = AINDEXED;
 			goto AMn_IX0;            // Handle ",Xn[.siz][*scale])"
 		}
+		else if ((*tok >= KW_D0) && (*tok <= KW_D7))
+		{
+			//Since index register isn't used here, store register number in this field
+			AnIXREG = *tok++ & 7;                                // (Dn)
+			if (*tok == ')')
+			{
+				tok++;
+				AnEXTEN |= EXT_FULLWORD;    // Definitely using full extension format, so set bit 8
+				AnEXTEN |= EXT_BS;          // Base register suppressed
+				AnEXTEN |= EXT_BDSIZE0;     // Base displacement null
+				AnEXTEN |= EXT_IISPOSN;     // Indirect Postindexed with Null Outer Displacement
+				AMn= MEMPOST;
+				AnREG = 6 << 3;		// stuff 110 to mode field
+				goto AnOK;
+			}
+			else if (*tok == 'L')
+			{
+				// TODO: does DINDL gets used at all?
+				//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++;
+			}
+			else if (*tok == ',')
+			{
+				// ([bd,An],Xn..) without bd, An
+				// Base displacement is suppressed
+				AnEXTEN |= EXT_FULLWORD;    // Definitely using full extension format, so set bit 8
+				AnEXTEN |= EXT_BS;          // Base register suppressed
+				AnEXTEN |= EXT_BDSIZE0;
+				AnREG = 6 << 3;		// stuff 110 to mode field
+				tok++;
+				goto CHECKODn;
+			}
+			else
+				return error("(Dn) error");
+
+			if (*tok == ')')
+			{
+				tok++;
+				AnEXTEN |= EXT_FULLWORD;    // Definitely using full extension format, so set bit 8
+				AnEXTEN |= EXT_BS;          // Base register suppressed
+				AnEXTEN |= EXT_BDSIZE0;     // Base displacement null
+				AnEXTEN |= EXT_IISPOSN;     // Indirect Postindexed with Null Outer Displacement
+				AnREG = 6 << 3;		// stuff 110 to mode field
+				AMn = MEMPOST;
+				goto AnOK;
+			}
+			else
+				return error("unhandled so far");
+		}
 		else if (*tok == KW_PC)
-		{                            // (PC,Xn[.siz][*scale]) 
+		{                            // (PC,Xn[.siz][*scale])
 			tok++;
 			AMn = PCINDEXED;
 
@@ -98,7 +155,7 @@
 			AnIXREG = *tok++ & 15;
 
 			switch ((int)*tok)
-			{                        // Index reg size: <empty> | .W | .L 
+			{                        // Index reg size: <empty> | .W | .L
 			case DOTW:
 				tok++;
 			default:
@@ -113,7 +170,7 @@
 			}
 
 			if (*tok == '*')
-			{                        // scale: *1, *2, *4, *8 
+			{                        // scale: *1, *2, *4, *8
 				tok++;
 
 				if (*tok++ != CONST || *tok > 8)
@@ -137,17 +194,530 @@
 				}
 			}
 
-			if (*tok++ != ')')         // final ")" 
+			if (*tok++ != ')')         // final ")"
 				goto badmode;
 
 			goto AnOK;
 		}
 		else if (*tok == '[')
-		{                              // ([... 
-			goto unmode;
+		{                              // ([...
+			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;
 		}
 		else
-		{                              // (expr... 
+		{
+			// (expr...
 			if (expr(AnEXPR, &AnEXVAL, &AnEXATTR, &AnESYM) != OK)
 				return ERROR;
 
@@ -191,7 +761,7 @@
 				}
 				else if (*tok == ')')
 				{
-					AMn = PCDISP;             // expr(PC) 
+					AMn = PCDISP;                                // expr(PC)
 					tok++;
 					goto AnOK;
 				}
@@ -224,8 +794,36 @@
 	{
 		AMn = AM_USP;
 		tok++;
+		AnREG = 2;	//Added this for the case of USP used in movec (see CREGlut in mach.c). Hopefully nothing gets broken!
+		goto AnOK;
+	}
+	else if ((*tok >= KW_IC40) && (*tok <= KW_BC40))
+	{
+		AMn = CACHES;
+		AnREG = *tok++ - KW_IC40;
+
+		// 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))
+	{
+		AMn = CREG;
+		AnREG = (*tok++) - KW_SFC;
+		goto AnOK;
+	}
+	else if ((*tok >= KW_FP0) && (*tok <= KW_FP7))
+	{
+		AMn = FREG;
+		AnREG = (*tok++ & 7);
+	}
+	else if ((*tok >= KW_FPIAR) && (*tok <= KW_FPCR))
+	{
+		AMn = FPSCR;
+		AnREG = (1 << ((*tok++) - KW_FPIAR + 10));
+	}
 	// expr
 	// expr.w
 	// expr.l
@@ -241,11 +839,11 @@
 CHK_FOR_DISPn:
 		if (*tok == DOTW)
 		{
-			// expr.W 
+			// expr.W
 			tok++;
 			AMn = ABSW;
 
-			if ((AnEXATTR & (TDB|DEFINED)) == DEFINED && (AnEXVAL < 0x10000))
+			if (((AnEXATTR & (TDB | DEFINED)) == DEFINED) && (AnEXVAL < 0x10000))
 				AnEXVAL = (int32_t)(int16_t)AnEXVAL;  // Sign extend value
 
 			goto AnOK;
@@ -257,7 +855,9 @@ CHK_FOR_DISPn:
 
 			// Defined, absolute values from $FFFF8000..$00007FFF get optimized
 			// to absolute short
-			if (optim_flag && (AnEXATTR & (TDB|DEFINED)) == DEFINED && (AnEXVAL + 0x8000) < 0x10000)
+			if (optim_flags[OPT_ABS_SHORT]
+				&& ((AnEXATTR & (TDB | DEFINED)) == DEFINED)
+				&& ((AnEXVAL + 0x8000) < 0x10000))
 			{
 				AMn = ABSW;
 
@@ -307,8 +907,7 @@ CHK_FOR_DISPn:
 	}
 
 	// Addressing mode OK
-
-	AnOK:
+AnOK:
 	;
 }
 
@@ -328,3 +927,11 @@ CHK_FOR_DISPn:
 #undef AMn_IX0
 #undef AMn_IXN
 #undef CHK_FOR_DISPn
+#undef AnBEXPR
+#undef AnBEXVAL
+#undef AnBEXATTR
+#undef AnBZISE
+#undef AnEXTEN
+#undef AMn_030
+#undef IS_SUPPRESSEDn
+#undef CHECKODn