X-Git-Url: http://shamusworld.gotdns.org/cgi-bin/gitweb.cgi?p=rmac;a=blobdiff_plain;f=direct.c;h=4e9cffd350cb1603bb01a34b58e2bf18cb55c676;hp=b7dfb853791d4e236d8803c2ec4ca576b20312d0;hb=HEAD;hpb=2161b198b7b333147c89ef0346d8e9bb6ab9ffd9 diff --git a/direct.c b/direct.c index b7dfb85..c403b48 100644 --- a/direct.c +++ b/direct.c @@ -1,15 +1,18 @@ // -// RMAC - Reboot's Macro Assembler for the Atari Jaguar Console System +// RMAC - Renamed Macro Assembler for all Atari computers // DIRECT.C - Directive Handling -// Copyright (C) 199x Landon Dyer, 2017 Reboot and Friends +// Copyright (C) 199x Landon Dyer, 2011-2021 Reboot and Friends // RMAC derived from MADMAC v1.07 Written by Landon Dyer, 1986 // Source utilised with the kind permission of Landon Dyer // #include "direct.h" #include "6502.h" +#include "amode.h" +#include "dsp56k.h" #include "error.h" #include "expr.h" +#include "fltpoint.h" #include "listing.h" #include "mach.h" #include "macro.h" @@ -22,16 +25,33 @@ #define DEF_KW #include "kwtab.h" +#define DEF_REG56 +#define DECL_REG56 +#include "56kregs.h" +#define DEF_REG68 +#define DECL_REG68 +#include "68kregs.h" +#define DEF_REGRISC +#define DECL_REGRISC +#include "riscregs.h" TOKEN exprbuf[128]; // Expression buffer SYM * symbolPtr[1000000]; // Symbol pointers table static long unused; // For supressing 'write' warnings char buffer[256]; // Scratch buffer for messages -int stringtype; // Non-zero if we need any special string conversions +int largestAlign[3] = { 2, 2, 2 }; // Largest alignment value seen per section // Function prototypes int d_unimpl(void); int d_68000(void); +int d_68020(void); +int d_68030(void); +int d_68040(void); +int d_68060(void); +int d_68881(void); +int d_68882(void); +int d_56001(void); +int d_nofpu(void); int d_bss(void); int d_data(void); int d_text(void); @@ -39,6 +59,7 @@ int d_abs(void); int d_comm(void); int d_dc(WORD); int d_ds(WORD); +int d_dsm(WORD); int d_dcb(WORD); int d_globl(void); int d_gpu(void); @@ -67,6 +88,10 @@ int d_fail(void); int d_cstruct(void); int d_prgflags(void); int d_opt(void); +int d_dsp(void); +int d_objproc(void); +int d_align(void); +void SetLargestAlignment(int); // Directive handler table int (*dirtab[])() = { @@ -128,10 +153,35 @@ int (*dirtab[])() = { d_nojpad, // 55 .nojpad (deprecated) d_gpumain, // 56 .gpumain (deprecated) d_prgflags, // 57 .prgflags - d_opt, // 58 .opt + d_68020, // 58 .68020 + d_68030, // 59 .68030 + d_68040, // 60 .68040 + d_68060, // 61 .68060 + d_68881, // 62 .68881 + d_68882, // 63 .68882 + d_56001, // 64 .56001 + d_nofpu, // 65 nofpu + d_opt, // 66 .opt + d_objproc, // 67 .objproc + (void *)d_dsm, // 68 .dsm + d_align // 69 .align }; +// +// Set the largest alignment seen in the current section +// +void SetLargestAlignment(int size) +{ + if ((scattr & TEXT) && (largestAlign[0] < size)) + largestAlign[0] = size; + else if ((scattr & DATA) && (largestAlign[1] < size)) + largestAlign[1] = size; + else if ((scattr & BSS) && (largestAlign[2] < size)) + largestAlign[2] = size; +} + + // // .error - Abort compilation, printing an error message // @@ -147,7 +197,7 @@ int d_error(char *str) return error(string[tok[1]]); break; default: - return error("error directive encountered - aborting assembling"); + return error("error directive encountered--aborting assembly"); } } } @@ -179,25 +229,28 @@ int d_warn(char *str) // int d_org(void) { - VALUE address; + uint64_t address; - if (!rgpu && !rdsp && !m6502) - return error(".org permitted only in gpu/dsp and 6502 sections"); + if (!rgpu && !rdsp && !robjproc && !m6502 && !dsp56001 && !(obj_format == RAW)) + return error(".org permitted only in GPU/DSP/OP, 56001, 6502 and 68k (with -fr switch) sections"); - if (abs_expr(&address) == ERROR) + // M56K can leave the expression off the org for some reason :-/ + // (It's because the expression is non-standard, and so we have to look at + // it in isolation) + if (!dsp56001 && (abs_expr(&address) == ERROR)) { error("cannot determine org'd address"); return ERROR; } - if (rgpu | rdsp) + if (rgpu | rdsp | robjproc) { orgaddr = address; orgactive = 1; } - else + else if (m6502) { - // 6502. We also kludge `lsloc' so the listing generator doesn't try + // 6502. We also kludge 'lsloc' so the listing generator doesn't try // to spew out megabytes. if (address > 0xFFFF) return error(range_error); @@ -214,9 +267,108 @@ int d_org(void) chptr = scode->chptr + address; orgaddr = address; orgactive = 1; - at_eol(); } + else if (dsp56001) + { + // Only mark segments we actually wrote something + if (chptr != dsp_currentorg->start && dsp_written_data_in_current_org) + { + dsp_currentorg->end = chptr; + dsp_currentorg++; + } + + // Maybe we switched from a non-DSP section (TEXT, DATA, etc) and + // scode isn't initialised yet. Not that it's going to be a valid + // scenario, but if we try it anyhow it's going to lead to a crash. So + // let's fudge a value of 0 and get on with it. + orgaddr = (scode != NULL ? sloc : 0); + SaveSection(); + + if (tok[1] != ':') + return error(syntax_error); + + int sectionToSwitch = 0; + + switch (tok[0]) + { + case REG56_X: + dsp_currentorg->memtype = ORG_X; + sectionToSwitch = M56001X; + break; + + case REG56_Y: + dsp_currentorg->memtype = ORG_Y; + sectionToSwitch = M56001Y; + break; + + case REG56_P: + dsp_currentorg->memtype = ORG_P; + sectionToSwitch = M56001P; + break; + + case REG56_L: + dsp_currentorg->memtype = ORG_L; + sectionToSwitch = M56001L; + break; + + default: + return error("unknown type in ORG"); + } + + if ((obj_format == LOD) || (obj_format == P56)) + SwitchSection(sectionToSwitch); + + tok += 2; + chcheck(3); // Ensure we got a valid address to write + dsp_currentorg->chunk = scode; // Mark down which chunk this org starts from (will be needed when outputting) + + if (*tok == EOL) + { + // Well, the user didn't specify an address at all so we'll have to + // use the last used address of that section (or 0 if there wasn't one) + address = orgaddr; + dsp_currentorg->start = chptr; + dsp_currentorg->orgadr = orgaddr; + } + else + { + if (abs_expr(&address) == ERROR) + { + error("cannot determine org'd address"); + return ERROR; + } + + dsp_currentorg->start = chptr; + dsp_currentorg->orgadr = (uint32_t)address; + sect[cursect].orgaddr = (uint32_t)address; + } + + if (address > DSP_MAX_RAM) + { + return error(range_error); + } + + dsp_written_data_in_current_org = 0; + // Copied from 6502 above: kludge `lsloc' so the listing generator + // doesn't try to spew out megabytes. + lsloc = sloc = (int32_t)address; +// N.B.: It seems that by enabling this, even though it works elsewhere, will cause symbols to royally fuck up. Will have to do some digging to figure out why. +// orgactive = 1; + } + else + { + // If we get here we assume it's 68k with RAW output, so this is allowed + if (orgactive) + { + return error("In 68k mode only one .org statement is allowed"); + } + + org68k_address = address; + org68k_active = 1; + } + + ErrorIfNotAtEOL(); return 0; } @@ -232,14 +384,14 @@ int d_print(void) int wordlong = 0; // WORD = 0, LONG = 1 int outtype = 0; // 0:hex, 1:decimal, 2:unsigned - VALUE eval; // Expression value + uint64_t eval; // Expression value WORD eattr; // Expression attributes SYM * esym; // External symbol involved in expr. TOKEN r_expr[EXPRSIZE]; while (*tok != EOL) { - switch(*tok) + switch (*tok) { case STRING: sprintf(prntstr, "%s", string[tok[1]]); @@ -253,25 +405,40 @@ int d_print(void) case '/': formatting = 1; - if (tok[1] != SYMBOL) + // "X" & "L" get tokenized now... :-/ Probably should look into preventing this kind of thing from happening (was added with DSP56K code) + // Note (ggn): This is now much less severe as it's localised for 56k only + if ((tok[1] != SYMBOL) && (tok[1] != REG56_L) && (tok[1] != REG56_X)) goto token_err; -// strcpy(prntstr, (char *)tok[2]); - strcpy(prntstr, string[tok[2]]); - - switch(prntstr[0]) + if (tok[1] == REG56_L) { - case 'l': case 'L': wordlong = 1; break; - case 'w': case 'W': wordlong = 0; break; - case 'x': case 'X': outtype = 0; break; - case 'd': case 'D': outtype = 1; break; - case 'u': case 'U': outtype = 2; break; - default: - error("unknown print format flag"); - return ERROR; + wordlong = 1; + tok += 2; + } + else if (tok[1] == REG56_X) + { + outtype = 0; + tok += 2; + } + else + { + strcpy(prntstr, string[tok[2]]); + + switch (prntstr[0]) + { + case 'l': case 'L': wordlong = 1; break; + case 'w': case 'W': wordlong = 0; break; + case 'x': case 'X': outtype = 0; break; + case 'd': case 'D': outtype = 1; break; + case 'u': case 'U': outtype = 2; break; + default: + error("unknown print format flag"); + return ERROR; + } + + tok += 3; } - tok += 3; break; case ',': tok++; @@ -312,7 +479,7 @@ int d_print(void) return 0; token_err: - error("illegal print token"); + error("illegal print token [@ '%s']", prntstr); return ERROR; } @@ -380,7 +547,7 @@ int d_equrundef(void) { // Reset the attributes of this symbol... regname->sattr = 0; - regname->sattre &= ~(EQUATEDREG | BANK_0 | BANK_1); + regname->sattre &= ~EQUATEDREG; regname->sattre |= UNDEF_EQUR; } @@ -403,34 +570,35 @@ int d_noclear(void) // -// Include binary file +// Include binary file (can add addition size & position params, comma separated) // int d_incbin(void) { int fd; int bytes = 0; - long pos, size, bytesRead; - char msg[256]; + uint64_t pos, size, bytesRead; char buf1[256]; int i; // Check to see if we're in BSS, and, if so, throw an error if (scattr & SBSS) { - errors("cannot include binary file \"%s\" in BSS section", string[tok[1]]); + error("cannot include binary file \"%s\" in BSS section", string[tok[1]]); return ERROR; } if (*tok != STRING) { - error("syntax error; string missing"); + error("syntax error; file to include missing"); return ERROR; } // Attempt to open the include file in the current directory, then (if that // failed) try list of include files passed in the enviroment string or by - // the "-d" option. - if ((fd = open(string[tok[1]], _OPEN_INC)) < 0) + // the "-i" option. + TOKEN filename = tok[1]; + + if ((fd = open(string[filename], _OPEN_INC)) < 0) { for(i=0; nthpath("RMACPATH", i, buf1)!=0; i++) { @@ -440,30 +608,109 @@ int d_incbin(void) if (fd > 0 && buf1[fd - 1] != SLASHCHAR) strcat(buf1, SLASHSTRING); - strcat(buf1, string[tok[1]]); + strcat(buf1, string[filename]); if ((fd = open(buf1, _OPEN_INC)) >= 0) goto allright; } - return errors("cannot open: \"%s\"", string[tok[1]]); + return error("cannot open: \"%s\"", string[filename]); } allright: + tok += 2; + size = lseek(fd, 0L, SEEK_END); pos = lseek(fd, 0L, SEEK_SET); + + if (*tok != EOL) + { + // Parse size and position parameters + uint64_t requested_size = -1; // -1 means "not set" for these two + + if (*tok++ != ',') + { + close(fd); + return error("expected comma after incbin filename"); + } + + if (*tok != EOL) + { + if (*tok != ',') + { + if (abs_expr(&requested_size) != OK) + { + close(fd); + return ERROR; + } + + if ((int64_t)requested_size <= 0 || requested_size > size) + { + close(fd); + return error("invalid incbin size requested"); + } + } + + if (*tok != EOL) + { + if (*tok++ != ',') + { + close(fd); + return error("expected comma after size parameter"); + } + + if (*tok != EOL) + { + if (abs_expr(&pos) != OK) + { + close(fd); + return ERROR; + } + + if ((int64_t)pos <= 0 || pos > size) + { + close(fd); + return error("invalid incbin position requested"); + } + } + } + + if (*tok != EOL) + { + close(fd); + return error("extra characters following incbin"); + } + } + + // Adjust size if the user didn't specify it via the parameter + if (requested_size == -1) + { + requested_size = size - pos; + } + + // Are we going to read past the end of the file? + if (pos + requested_size > size) + { + close(fd); + return error("invalid combination of incbin position and size"); + } + size = requested_size; + + // All checks passed, let's seek to where the user requested, otherwise at file start + lseek(fd, pos, SEEK_SET); + } + chcheck(size); - DEBUG { printf("INCBIN: File '%s' is %li bytes.\n", string[tok[1]], size); } + DEBUG { printf("INCBIN: File '%s' is %li bytes.\n", string[filename], size); } char * fileBuffer = (char *)malloc(size); bytesRead = read(fd, fileBuffer, size); if (bytesRead != size) { - sprintf(msg, "was only able to read %li bytes from binary file (%s, %li bytes)", bytesRead, string[tok[1]], size); - error(msg); + error("was only able to read %li bytes from binary file (%s, %li bytes)", bytesRead, string[filename], size); return ERROR; } @@ -486,16 +733,16 @@ allright: // int d_regbank0(void) { - // Set active register bank zero - regbank = BANK_0; + // Deprecated, it's not as if this did anything useful, ever + warn("regbank0 ignored"); return 0; } int d_regbank1(void) { - // Set active register bank one - regbank = BANK_1; + // Deprecated, it's not as if this did anything useful, ever + warn("regbank1 ignored"); return 0; } @@ -561,6 +808,7 @@ int d_long(void) unsigned lower2Bits = (rgpu || rdsp ? orgaddr : sloc) & 0x03; unsigned bytesToSkip = (0x04 - lower2Bits) & 0x03; SkipBytes(bytesToSkip); + SetLargestAlignment(4); return 0; } @@ -583,6 +831,7 @@ int d_phrase(void) unsigned lower3Bits = (rgpu || rdsp ? orgaddr : sloc) & 0x07; unsigned bytesToSkip = (0x08 - lower3Bits) & 0x07; SkipBytes(bytesToSkip); + SetLargestAlignment(8); return 0; } @@ -596,6 +845,7 @@ int d_dphrase(void) unsigned lower4Bits = (rgpu || rdsp ? orgaddr : sloc) & 0x0F; unsigned bytesToSkip = (0x10 - lower4Bits) & 0x0F; SkipBytes(bytesToSkip); + SetLargestAlignment(16); return 0; } @@ -609,11 +859,54 @@ int d_qphrase(void) unsigned lower5Bits = (rgpu || rdsp ? orgaddr : sloc) & 0x1F; unsigned bytesToSkip = (0x20 - lower5Bits) & 0x1F; SkipBytes(bytesToSkip); + SetLargestAlignment(32); return 0; } +// +// Adjust location to bytes +// +int d_align(void) +{ + unsigned bytesToSkip; + uint64_t eval; + + if (abs_expr(&eval) != OK) + return 0; + + if (eval < 2) + { + return error("Invalid .align value specified"); + } + + if (dsp56001) + { + bytesToSkip = eval - sloc % eval; + D_ZEROFILL(bytesToSkip*3); + return 0; + } + + bytesToSkip = eval - (rgpu || rdsp ? orgaddr : sloc) % eval; + if ( bytesToSkip != eval ) + { + if ((scattr & SBSS) == 0) + { + D_ZEROFILL(bytesToSkip); + } + else + { + sloc += bytesToSkip; + + if (orgactive) + orgaddr += bytesToSkip; + } + } + return 0; +} + + // // Do auto-even. This must be called ONLY if 'sloc' is odd. // @@ -651,7 +944,7 @@ int d_unimpl(void) // // Return absolute (not TDB) and defined expression or return an error // -int abs_expr(VALUE * a_eval) +int abs_expr(uint64_t * a_eval) { WORD eattr; @@ -723,7 +1016,7 @@ int d_include(void) // Make sure the user didn't try anything like: // .include equates.s if (*++tok != EOL) - return error("extra stuff after filename -- enclose it in quotes"); + return error("extra stuff after filename--enclose it in quotes"); // Attempt to open the include file in the current directory, then (if that // failed) try list of include files passed in the enviroment string or by @@ -744,7 +1037,7 @@ int d_include(void) goto allright; } - return errors("cannot open: \"%s\"", fn); + return error("cannot open: \"%s\"", fn); } allright: @@ -759,7 +1052,7 @@ allright: int d_assert(void) { WORD eattr; - VALUE eval; + uint64_t eval; for(; expr(exprbuf, &eval, &eattr, NULL)==OK; ++tok) { @@ -773,7 +1066,7 @@ int d_assert(void) break; } - at_eol(); + ErrorIfNotAtEOL(); return 0; } @@ -817,13 +1110,13 @@ int d_globl(void) // int d_prgflags(void) { - VALUE eval; + uint64_t eval; if (*tok == EOL) return error("PRGFLAGS requires value"); else if (abs_expr(&eval) == OK) { - PRGFLAGS=eval; + PRGFLAGS = (uint32_t)eval; return 0; } else @@ -838,7 +1131,7 @@ int d_prgflags(void) // int d_abs(void) { - VALUE eval; + uint64_t eval; if (m6502) return error(in_6502mode); @@ -851,7 +1144,7 @@ int d_abs(void) return 0; SwitchSection(ABS); - sloc = eval; + sloc = (uint32_t)eval; return 0; } @@ -917,60 +1210,133 @@ int d_ds(WORD siz) { DEBUG { printf("Directive: .ds.[size] = %u, sloc = $%X\n", siz, sloc); } - VALUE eval; + uint64_t eval; + WORD eattr; - if (cursect != M6502) + if ((cursect & (M6502 | M56KPXYL)) == 0) { if ((siz != SIZB) && (sloc & 1)) // Automatic .even auto_even(); } - if (abs_expr(&eval) != OK) - return 0; + if (expr(exprbuf, &eval, &eattr, NULL) < 0) + return ERROR; // Check to see if the value being passed in is negative (who the hell does - // that?--nobody does; it's the code gremlins, or rum, that does it) - if (eval < 0) - return error("negative sizes not allowed"); + // that?--nobody does; it's the code gremlins, or rum, what does it) + // N.B.: Since 'eval' is of type uint64_t, if it goes negative, it will + // have its high bit set. + if (eval & 0x8000000000000000) + return error("negative sizes not allowed in DS"); // In non-TDB section (BSS, ABS and M6502) just advance the location // counter appropriately. In TDB sections, deposit (possibly large) chunks // of zeroed memory.... if ((scattr & SBSS) || cursect == M6502) { - listvalue(eval); + listvalue((uint32_t)eval); eval *= siz; - sloc += eval; + sloc += (uint32_t)eval; if (cursect == M6502) chptr += eval; just_bss = 1; // No data deposited (8-bit CPU mode) } + else if (cursect & M56KPXYL) + { + // Change segment instead of marking blanks. + // Only mark segments we actually wrote something + if (chptr != dsp_currentorg->start && dsp_written_data_in_current_org) + { + dsp_currentorg->end = chptr; + dsp_currentorg++; + dsp_currentorg->memtype = dsp_currentorg[-1].memtype; + } + + listvalue((uint32_t)eval); + sloc += (uint32_t)eval; + + // And now let's create a new segment + dsp_currentorg->start = chptr; + dsp_currentorg->chunk = scode; // Mark down which chunk this org starts from (will be needed when outputting) + sect[cursect].orgaddr = sloc; + dsp_currentorg->orgadr = sloc; + dsp_written_data_in_current_org = 0; + + just_bss = 1; // No data deposited + } else { - dep_block(eval, siz, (VALUE)0, (WORD)(DEFINED | ABS), NULL); + dep_block(eval, siz, 0, (DEFINED | ABS), NULL); } - at_eol(); - return 0; + ErrorIfNotAtEOL(); + return OK; } // -// dc.b, dc.w / dc, dc.l, dc.i +// dsm[.siz] expression +// Define modulo storage +// Quoting the Motorola assembler manual: +// "The DSM directive reserves a block of memory the length of which in words is equal to +// the value of .If the runtime location counter is not zero, this directive first +// advances the runtime location counter to a base address that is a multiple of 2k, where +// 2k >= ." +// The kicker of course is written a few sentences after: +// "