X-Git-Url: http://shamusworld.gotdns.org/cgi-bin/gitweb.cgi?p=rmac;a=blobdiff_plain;f=procln.c;h=727b9dbb5f5cb630544c4c95435b4a3387248572;hp=61c9029ab095e186e0af0cc0bda75680bef7e66c;hb=bcd800a128cf43be03cf6a7ea54b4fc404b3ed8d;hpb=82307651be6db411532b317a5ebc6edd933eea8d diff --git a/procln.c b/procln.c index 61c9029..727b9db 100644 --- a/procln.c +++ b/procln.c @@ -39,11 +39,11 @@ VALUE pcloc; // Value of "PC" at beginning of line IFENT * ifent; // Current ifent SYM * lab_sym; // Label on line (or NULL) -char extra_stuff[] = "extra (unexpected) text found after addressing mode"; -char * comma_error = "missing comma"; -char * syntax_error = "syntax error"; -char * locgl_error = "cannot GLOBL local symbol"; -char * lab_ignored = "label ignored"; +const char extra_stuff[] = "extra (unexpected) text found after addressing mode"; +const char comma_error[] = "missing comma"; +const char syntax_error[] = "syntax error"; +const char locgl_error[] = "cannot GLOBL local symbol"; +const char lab_ignored[] = "label ignored"; // Table to convert an addressing-mode number to a bitmask. LONG amsktab[0112] = { @@ -89,10 +89,14 @@ LONG amsktab[0112] = { }; // 0112 length +// Function prototypes +int HandleLabel(char *, int); + + // // Initialize Line Processor // -void init_procln(void) +void InitLineProcessor(void) { disabled = 0; ifent = &ifent0; @@ -123,17 +127,16 @@ 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 +// int as68mode = 0; // 1: Handle multiple labels WORD rmask; // Register list, for REG int registerbank; // RISC register bank int riscreg; // RISC register - listflag = 0; // Initialise listing flag loop: // Line processing loop label // Get another line of tokens - if (tokln() == TKEOF) + if (TokenizeLine() == TKEOF) { if (verb_flag) printf("Assemble: Found TKEOF flag...\n"); if (list_flag && listflag) // Flush last line of source @@ -172,7 +175,8 @@ loop1: // Internal line processing loop // First token MUST be a symbol if (*tok != SYMBOL) { - error(syntax_error); +// error(syntax_error); + error("syntax error; expected symbol"); goto loop; } @@ -199,23 +203,31 @@ as68label: // and come back at `as68label' above. if (as68_flag) { - as68mode = 0; +// as68mode = 0; + // Looks like another label follows the previous one, so handle + // the previous one if (*tok == SYMBOL && tok[2] == ':') { - as68mode = 1; - goto do_label; +// as68mode = 1; +// goto do_label; + if (HandleLabel(label, labtyp) != 0) + goto loop; + + goto as68label; } } } - if (*tok == EOL) // EOL is legal here... + // EOL is legal here... + if (*tok == EOL) goto normal; // Next token MUST be a symbol if (*tok++ != SYMBOL) { - error(syntax_error); +// error(syntax_error); + error("syntax error; expected symbol"); goto loop; } @@ -260,11 +272,11 @@ as68label: siz = SIZN; if (*tok == DOTW) - siz = SIZW, ++tok; + siz = SIZW, tok++; else if (*tok == DOTL) - siz = SIZL, ++tok; + siz = SIZL, tok++; else if (*tok == DOTB) - siz = SIZB, ++tok; + siz = SIZB, tok++; // Do special directives (500..999) (These must be handled in "real time") if (state >= 500 && state < 1000) @@ -314,6 +326,7 @@ as68label: case MN_ENDM: // .endm --- same as .exitm if (!disabled) { + // Label on a macro definition is bad mojo... Warn the user if (label != NULL) warn(lab_ignored); @@ -324,8 +337,17 @@ as68label: case MN_REPT: if (!disabled) { +#if 0 if (label != NULL) warn(lab_ignored); +#else + // Handle labels on REPT directive lines... + if (label) + { + if (HandleLabel(label, labtyp) != 0) + goto loop; + } +#endif defrept(); } @@ -426,12 +448,20 @@ checking to see if it's already been equated, issue a warning. sy->sattre = EQUATEDREG | RISCSYM; // Mark as equated register riscreg = (*tok - KW_R0); //is there any reason to do this, since we're putting this in svalue? - sy->sattre |= (riscreg << 8); // Store register number - +//i'm thinking, no. Let's test that out! :-D +// sy->sattre |= (riscreg << 8); // Store register number +//everything seems to build fine without it... We'll leave it here Just In Case(tm) + +#define DEBODGE_REGBANK +#ifdef DEBODGE_REGBANK + // Default is current state of "regbank" + registerbank = regbank; +#else // Default is no register bank specified registerbank = BANK_N; +#endif - // Check for "," notation + // Check for "," override notation if ((tok[1] == ',') && (tok[2] == CONST)) { // Advance token pointer to the constant @@ -444,6 +474,9 @@ checking to see if it's already been equated, issue a warning. registerbank = BANK_1; } +#ifdef DEBODGE_REGBANK + sy->sattre |= registerbank; // Store register bank +#else // 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 !!!" @@ -452,6 +485,7 @@ checking to see if it's already been equated, issue a warning. // 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 eattr = ABS | DEFINED | GLOBAL; // & what does this $80000080 constant mean??? // eval = 0x80000080 + (riscreg) + (registerbank << 8); @@ -526,7 +560,8 @@ checking to see if it's already been equated, issue a warning. sy->stype = sy2->stype; sy->sattr = sy2->sattr; sy->sattre = sy2->sattre; - sy->svalue = (sy2->svalue & 0xFFFFF0FF); +//ICK sy->svalue = (sy2->svalue & 0xFFFFF0FF); + sy->svalue = sy2->svalue; goto loop; } else if (expr(exprbuf, &eval, &eattr, &esym) != OK) @@ -555,16 +590,9 @@ checking to see if it's already been equated, issue a warning. if (label != NULL) { do_label: - // Check for dot in front of label; means this is a local label if present #if 0 - j = 0; - - if (*label == '.') - j = curenv; -#else + // Check for dot in front of label; means this is a local label if present j = (*label == '.' ? curenv : 0); -#endif - sy = lookup(label, LABEL, j); if (sy == NULL) @@ -610,10 +638,14 @@ do_label: sy->sattr |= GLOBAL; } - +#else + // Non-zero == error occurred + if (HandleLabel(label, labtyp) != 0) + goto loop; +#endif // If we're in as68 mode, and there's another label, go back and handle it - if (as68_flag && as68mode) - goto as68label; +// if (as68_flag && as68mode) +// goto as68label; } // Punt on EOL @@ -727,6 +759,57 @@ 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 j = (*label == '.' ? curenv : 0); + SYM * sy = lookup(label, LABEL, j); + + if (sy == NULL) + { + sy = NewSymbol(label, LABEL, j); + sy->sattr = 0; + sy->sattre = RISCSYM; + } + else if (sy->sattr & DEFINED) + return errors("multiply-defined label '%s'", label); + + // 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 it has a double colon + if (labelType == DCOLON) + { + if (j) + return error(locgl_error); + + sy->sattr |= GLOBAL; + } + + return 0; +} + + // // .if, Start Conditional Assembly //