X-Git-Url: http://shamusworld.gotdns.org/cgi-bin/gitweb.cgi?p=rmac;a=blobdiff_plain;f=procln.c;h=8739ce6db05630d2a1726efb0efdae67f9042c12;hp=5ae5c5e080e501f7f0801220e6407306ef65ae83;hb=d0c28c349ddfb8393568037f68bddbe8979ce0df;hpb=75969398d9b8a9f82ea76fc4e4cbfb97b11160a4

diff --git a/procln.c b/procln.c
index 5ae5c5e..8739ce6 100644
--- a/procln.c
+++ b/procln.c
@@ -3,7 +3,7 @@
 // PROCLN.C - Line Processing
 // Copyright (C) 199x Landon Dyer, 2011 Reboot and Friends
 // RMAC derived from MADMAC v1.07 Written by Landon Dyer, 1986
-// Source Utilised with the Kind Permission of Landon Dyer
+// Source utilised with the kind permission of Landon Dyer
 //
 
 #include "procln.h"
@@ -89,8 +89,12 @@ LONG amsktab[0112] = {
 };													// 0112 length
 
 
+// Function prototypes
+int HandleLabel(char *, int);
+
+
 //
-// Initialize Line Processor
+// Initialize line processor
 //
 void InitLineProcessor(void)
 {
@@ -102,7 +106,7 @@ void InitLineProcessor(void)
 
 
 //
-// Line Processor
+// Line processor
 //
 void Assemble(void)
 {
@@ -123,7 +127,6 @@ void Assemble(void)
 	SYM * sy, * sy2;			// Symbol (temp usage)
 	char * opname = NULL;		// Name of dirctve/mnemonic/macro
 	int listflag;				// 0: Don't call listeol()
-	int as68mode = 0;			// 1: Handle multiple labels
 	WORD rmask;					// Register list, for REG
 	int registerbank;			// RISC register bank
 	int riscreg;				// RISC register
@@ -168,10 +171,9 @@ loop1:										// Internal line processing loop
 	if (*tok == EOL)						// Restart loop if end-of-line
 		goto loop;
 
-	// First token MUST be a symbol
+	// First token MUST be a symbol (Shamus: not sure why :-/)
 	if (*tok != SYMBOL)
 	{
-//		error(syntax_error);
 		error("syntax error; expected symbol");
 		goto loop;
 	}
@@ -190,22 +192,19 @@ loop1:										// Internal line processing loop
 	if (j == ':' || j == DCOLON)
 	{
 as68label:
-//		label = (char *)tok[1];				// Get label name
 		label = string[tok[1]];				// Get label name
 		labtyp = tok[2];					// Get label type
 		tok += 3;							// Go to next line token
 
-		// Handle multiple labels; if there's another label, go process it, 
-		// and come back at `as68label' above.
-		if (as68_flag)
+		// AS68 MODE:
+		// Looks like another label follows the previous one, so handle
+		// the previous one until there aren't any more
+		if (as68_flag && (*tok == SYMBOL && tok[2] == ':'))
 		{
-			as68mode = 0;
+			if (HandleLabel(label, labtyp) != 0)
+				goto loop;
 
-			if (*tok == SYMBOL && tok[2] == ':')
-			{
-				as68mode = 1;
-				goto do_label;
-			}
+			goto as68label;
 		}
 	}
 
@@ -216,19 +215,11 @@ as68label:
 	// Next token MUST be a symbol
 	if (*tok++ != SYMBOL)
 	{
-//		error(syntax_error);
 		error("syntax error; expected symbol");
 		goto loop;
 	}
 
-// This is the problem here: On 64-bit platforms, this cuts the native pointer
-// in half. We need to figure out how to fix this.
-//#warning "!!! Bad pointer !!!"
-#if 0
-	opname = p = (char *)*tok++;			// Store opcode name here
-#else
 	opname = p = string[*tok++];
-#endif
 
 	// Check to see if the SYMBOL is a keyword (a mnemonic or directive).
 	// On output, `state' will have one of the values:
@@ -305,6 +296,7 @@ as68label:
 		case MN_MACRO:						// .macro --- macro definition
 			if (!disabled)
 			{
+				// Label on a macro definition is bad mojo... Warn the user
 				if (label != NULL)
 					warn(lab_ignored);
 
@@ -326,8 +318,12 @@ as68label:
 		case MN_REPT:
 			if (!disabled)
 			{
-				if (label != NULL)
-					warn(lab_ignored);
+				// Handle labels on REPT directive lines...
+				if (label)
+				{
+					if (HandleLabel(label, labtyp) != 0)
+						goto loop;
+				}
 
 				defrept();
 			}
@@ -349,14 +345,7 @@ normal:
 	if (equate != NULL)
 	{
 		// Pick global or local symbol enviroment
-#if 0
-		j = 0;
-
-		if (*equate == '.')
-			j = curenv;
-#else
 		j = (*equate == '.' ? curenv : 0);
-#endif
 		sy = lookup(equate, LABEL, j);
 
 		if (sy == NULL)
@@ -382,7 +371,7 @@ normal:
 			{
 //REALLY?				sy->sattre |= ~UNDEF_EQUR; 
 				sy->sattre &= ~UNDEF_EQUR; 
-				sy->svalue  = 0;
+				sy->svalue = 0;
 			}
 			else if ((equtyp == CCDEF) && (sy->sattre & UNDEF_CC))
 			{
@@ -397,9 +386,8 @@ normal:
 			}
 		}
 
-		// Put symbol in "order of definition" list
-		if (!(sy->sattr & SDECLLIST))
-			sym_decl(sy);
+		// Put symbol in "order of definition" list if it's not already there
+		AddToSymbolDeclarationList(sy);
 
 		// Parse value to equate symbol to;
 		// o  .equr
@@ -425,7 +413,8 @@ checking to see if it's already been equated, issue a warning.
 			// Check for register to equate to
 			if ((*tok >= KW_R0) && (*tok <= KW_R31))
 			{
-				sy->sattre  = EQUATEDREG | RISCSYM;	// Mark as equated register
+//				sy->sattre  = EQUATEDREG | RISCSYM;	// Mark as equated register
+				sy->sattre  = EQUATEDREG;	// Mark as equated register
 				riscreg = (*tok - KW_R0);
 //is there any reason to do this, since we're putting this in svalue?
 //i'm thinking, no. Let's test that out! :-D
@@ -460,9 +449,9 @@ checking to see if it's already been equated, issue a warning.
 // What needs to happen here is to prime registerbank with regbank, then use
 // registerbank down below for the bank marking.
 #warning "!!! regbank <-> registerbank confusion here !!!"
-// The question here is why, if we're allowed to override the ".regbankN" rules above,
-// then why is it using the one set by the directive in the extended attributes and
-// not in what ends up in symbol->svalue?
+// The question here is why, if we're allowed to override the ".regbankN" rules
+// above, then why is it using the one set by the directive in the extended
+// attributes and not in what ends up in symbol->svalue?
 // ".regbankN" is not an original Madmac directive, so it's suspect
 				sy->sattre |= regbank;		// Store register bank
 #endif
@@ -556,71 +545,22 @@ checking to see if it's already been equated, issue a warning.
 			goto loop;
 		}
 
-		sy->sattr |= eattr | EQUATED;		// Symbol inherits value and attributes
+		sy->sattr |= eattr | EQUATED;	// Symbol inherits value and attributes
 		sy->svalue = eval;
 
-		if (list_flag)						// Put value in listing
+		if (list_flag)					// Put value in listing
 			listvalue(eval);
 
-		at_eol();							// Must be at EOL now
+		at_eol();						// Must be at EOL now
 		goto loop;
 	}
 
 	// Do labels
 	if (label != NULL)
 	{
-do_label:
-		// Check for dot in front of label; means this is a local label if present
-		j = (*label == '.' ? curenv : 0);
-		sy = lookup(label, LABEL, j);
-
-		if (sy == NULL)
-		{
-			sy = NewSymbol(label, LABEL, j);
-			sy->sattr = 0;
-			sy->sattre = RISCSYM;
-		}
-		else if (sy->sattr & DEFINED)
-		{
-			errors("multiply-defined label '%s'", label);
+		// Non-zero == error occurred
+		if (HandleLabel(label, labtyp) != 0)
 			goto loop;
-		}
-
-		// Put symbol in "order of definition" list
-		if (!(sy->sattr & SDECLLIST))
-			sym_decl(sy);
-
-		if (orgactive)
-		{
-			sy->svalue = orgaddr;
-			sy->sattr |= ABS | DEFINED | EQUATED;
-		}
-		else
-		{
-			sy->svalue = sloc;
-			sy->sattr |= DEFINED | cursect;
-		}
-
-		lab_sym = sy;
-
-		if (!j)
-			curenv++;
-
-		// Make label global
-		if (labtyp == DCOLON)
-		{
-			if (j)
-			{
-				error(locgl_error);
-				goto loop;
-			}
-
-			sy->sattr |= GLOBAL;
-		}
-
-		// If we're in as68 mode, and there's another label, go back and handle it
-		if (as68_flag && as68mode)
-			goto as68label;
 	}
 
 	// Punt on EOL
@@ -689,10 +629,10 @@ do_label:
 		goto loop;
 	}
 
-	if (sloc & 1)							// Automatic .even
+	if (sloc & 1)					// Automatic .even
 		auto_even();
 
-	if (challoc - ch_size < 18)				// Make sure have space in current chunk
+	if (challoc - ch_size < 18)		// Make sure have space in current chunk
 		chcheck(0);
 
 	m = &machtab[state - 1000];
@@ -704,7 +644,7 @@ do_label:
 		goto loop;
 	}
 
-	if (amode(1) < 0)						// Parse 0, 1 or 2 addr modes
+	if (amode(1) < 0)				// Parse 0, 1 or 2 addr modes
 		goto loop;
 
 	if (*tok != EOL)
@@ -734,8 +674,59 @@ do_label:
 }
 
 
+//
+// Handle the creation of labels
+//
+int HandleLabel(char * label, int labelType)
+{
+	// Check for dot in front of label; means this is a local label if present
+	int environment = (*label == '.' ? curenv : 0);
+	SYM * symbol = lookup(label, LABEL, environment);
+
+	if (symbol == NULL)
+	{
+		symbol = NewSymbol(label, LABEL, environment);
+		symbol->sattr = 0;
+//		symbol->sattre = RISCSYM;
+		symbol->sattre = 0;
+	}
+	else if (symbol->sattr & DEFINED)
+		return errors("multiply-defined label '%s'", label);
+
+	// Put symbol in "order of definition" list if it's not already in it
+	AddToSymbolDeclarationList(symbol);
+
+	if (orgactive)
+	{
+		symbol->svalue = orgaddr;
+		symbol->sattr |= ABS | DEFINED | EQUATED;
+	}
+	else
+	{
+		symbol->svalue = sloc;
+		symbol->sattr |= DEFINED | cursect;
+	}
+
+	lab_sym = symbol;
+
+	if (0 == environment)
+		curenv++;
+
+	// Make label global if it has a double colon
+	if (labelType == DCOLON)
+	{
+		if (environment != 0)
+			return error(locgl_error);
+
+		symbol->sattr |= GLOBAL;
+	}
+
+	return 0;
+}
+
+
 // 
-// .if, Start Conditional Assembly
+// .if, Start conditional assembly
 //
 int d_if(void)
 {
@@ -770,7 +761,7 @@ int d_if(void)
 
 
 // 
-// .else, Do Alternate Case For .if
+// .else, Do alternate case for .if
 //
 int d_else(void)
 {
@@ -807,3 +798,4 @@ int d_endif (void)
 	f_ifent = rif;
 	return 0;
 }
+