X-Git-Url: https://git.sur5r.net/?a=blobdiff_plain;f=src%2Fcc65%2Fcodegen.c;h=d3ec179c310af3779807ddfeedbbd7e26d4225b8;hb=6f52726647096c873b3be3cbbd048295c44e8019;hp=7b436256a6314b50022cd040c47673588a7fd81b;hpb=f24375b241ab9580226e299d5e5b65fe44e4aad9;p=cc65 diff --git a/src/cc65/codegen.c b/src/cc65/codegen.c index 7b436256a..d3ec179c3 100644 --- a/src/cc65/codegen.c +++ b/src/cc65/codegen.c @@ -1,57 +1,78 @@ -/* - * codegen.c - * - * Ullrich von Bassewitz, 08.06.1998 - */ +/*****************************************************************************/ +/* */ +/* codegen.c */ +/* */ +/* 6502 code generator */ +/* */ +/* */ +/* */ +/* (C) 1998-2003 Ullrich von Bassewitz */ +/* Römerstrasse 52 */ +/* D-70794 Filderstadt */ +/* EMail: uz@cc65.org */ +/* */ +/* */ +/* This software is provided 'as-is', without any expressed or implied */ +/* warranty. In no event will the authors be held liable for any damages */ +/* arising from the use of this software. */ +/* */ +/* Permission is granted to anyone to use this software for any purpose, */ +/* including commercial applications, and to alter it and redistribute it */ +/* freely, subject to the following restrictions: */ +/* */ +/* 1. The origin of this software must not be misrepresented; you must not */ +/* claim that you wrote the original software. If you use this software */ +/* in a product, an acknowledgment in the product documentation would be */ +/* appreciated but is not required. */ +/* 2. Altered source versions must be plainly marked as such, and must not */ +/* be misrepresented as being the original software. */ +/* 3. This notice may not be removed or altered from any source */ +/* distribution. */ +/* */ +/*****************************************************************************/ #include #include +#include -#include "../common/version.h" +/* common */ +#include "check.h" +#include "strbuf.h" +#include "version.h" +#include "xmalloc.h" +#include "xsprintf.h" +/* cc65 */ #include "asmcode.h" #include "asmlabel.h" -#include "check.h" +#include "casenode.h" +#include "codeseg.h" +#include "cpu.h" +#include "dataseg.h" #include "error.h" #include "global.h" -#include "io.h" -#include "litpool.h" -#include "mem.h" -#include "optimize.h" +#include "segments.h" +#include "textseg.h" #include "util.h" #include "codegen.h" /*****************************************************************************/ -/* Data */ +/* Data */ /*****************************************************************************/ -/* Compiler relative stk ptr */ -int oursp = 0; - -/* Current segment */ -static enum { - SEG_INV = -1, /* Invalid segment */ - SEG_CODE, - SEG_RODATA, - SEG_DATA, - SEG_BSS -} CurSeg = SEG_CODE; +/* Compiler relative stack pointer */ +int oursp = 0; -/* Segment names */ -static char* SegmentNames [4]; -static char* SegmentHints [4] = { - "seg:code", "seg:rodata", "seg:data", "seg:bss" -}; /*****************************************************************************/ -/* Helpers */ +/* Helpers */ /*****************************************************************************/ @@ -69,52 +90,59 @@ static void CheckLocalOffs (unsigned Offs) { if (Offs >= 256) { /* Too many local vars */ - AddCodeLine (";*** Too many locals"); - Error (ERR_TOO_MANY_LOCALS); + Error ("Too many local variables"); } } -static char* GetLabelName (unsigned flags, unsigned long label, unsigned offs) +static const char* GetLabelName (unsigned Flags, unsigned long Label, long Offs) { - static char lbuf [128]; /* Label name */ + static char Buf [256]; /* Label name */ /* Create the correct label name */ - switch (flags & CF_ADDRMASK) { + switch (Flags & CF_ADDRMASK) { case CF_STATIC: - /* Static memory cell */ - sprintf (lbuf, "L%04X+%u", (unsigned)(label & 0xFFFF), offs); + /* Static memory cell */ + if (Offs) { + xsprintf (Buf, sizeof (Buf), "%s%+ld", LocalLabelName (Label), Offs); + } else { + xsprintf (Buf, sizeof (Buf), "%s", LocalLabelName (Label)); + } break; case CF_EXTERNAL: /* External label */ - sprintf (lbuf, "_%s+%u", (char*) label, offs); + if (Offs) { + xsprintf (Buf, sizeof (Buf), "_%s%+ld", (char*) Label, Offs); + } else { + xsprintf (Buf, sizeof (Buf), "_%s", (char*) Label); + } break; case CF_ABSOLUTE: /* Absolute address */ - sprintf (lbuf, "$%04X", (unsigned)((label+offs) & 0xFFFF)); + xsprintf (Buf, sizeof (Buf), "$%04X", (int)((Label+Offs) & 0xFFFF)); break; case CF_REGVAR: /* Variable in register bank */ - sprintf (lbuf, "regbank+%u", (unsigned)((label+offs) & 0xFFFF)); + xsprintf (Buf, sizeof (Buf), "regbank+%u", (unsigned)((Label+Offs) & 0xFFFF)); break; default: - Internal ("Invalid address flags"); + Internal ("Invalid address flags: %04X", Flags); } /* Return a pointer to the static buffer */ - return lbuf; + return Buf; } /*****************************************************************************/ -/* Pre- and postamble */ +/* Pre- and postamble */ /*****************************************************************************/ @@ -122,87 +150,66 @@ static char* GetLabelName (unsigned flags, unsigned long label, unsigned offs) void g_preamble (void) /* Generate the assembler code preamble */ { - AddCodeLine ("; File generated by cc65 v %u.%u.%u", VER_MAJOR, VER_MINOR, VER_PATCH); - AddEmptyLine (); + /* Create a new (global) segment list and remember it */ + PushSegments (0); + GS = CS; + + /* Identify the compiler version */ + AddTextLine (";"); + AddTextLine ("; File generated by cc65 v %u.%u.%u", + VER_MAJOR, VER_MINOR, VER_PATCH); + AddTextLine (";"); /* Insert some object file options */ - AddCodeLine (".fopt\t\tcompiler,\"cc65 v %u.%u.%u\"", VER_MAJOR, VER_MINOR, VER_PATCH); - AddEmptyLine (); + AddTextLine ("\t.fopt\t\tcompiler,\"cc65 v %u.%u.%u\"", + VER_MAJOR, VER_MINOR, VER_PATCH); + + /* If we're producing code for some other CPU, switch the command set */ + if (CPU == CPU_65C02) { + AddTextLine ("\t.pc02"); + } /* Allow auto import for runtime library routines */ - AddCodeLine (".autoimport\ton"); + AddTextLine ("\t.autoimport\ton"); - /* Switch the assembler into case sensible mode */ - AddCodeLine (".case\t\ton"); + /* Switch the assembler into case sensitive mode */ + AddTextLine ("\t.case\t\ton"); /* Tell the assembler if we want to generate debug info */ - AddCodeLine (".debuginfo\t%s", (DebugInfo != 0)? "on" : "off"); + AddTextLine ("\t.debuginfo\t%s", (DebugInfo != 0)? "on" : "off"); /* Import the stack pointer for direct auto variable access */ - AddCodeLine (".importzp\tsp, sreg, regsave, regbank, tmp1, ptr1"); + AddTextLine ("\t.importzp\tsp, sreg, regsave, regbank, tmp1, ptr1, ptr2"); /* Define long branch macros */ - AddCodeLine (".macpack\tlongbranch"); - AddEmptyLine (); - - /* Define the ldax macro */ - AddCodeLine (".macro ldax Value"); - AddCodeLine (" lda #<(Value)"); - AddCodeLine (" ldx #>(Value)"); - AddCodeLine (".endmacro"); - AddEmptyLine (); - - /* Define the default names for the segments */ - SegmentNames [SEG_CODE] = xstrdup ("CODE"); - SegmentNames [SEG_RODATA] = xstrdup ("RODATA"); - SegmentNames [SEG_DATA] = xstrdup ("DATA"); - SegmentNames [SEG_BSS] = xstrdup ("BSS"); - - /* Tell the optimizer that this is the end of the preamble */ - AddCodeHint ("end_of_preamble"); + AddTextLine ("\t.macpack\tlongbranch"); } -void g_postamble (void) -/* Generate assembler code postamble */ -{ - /* Tell the optimizer that this is the start of the postamble */ - AddCodeHint ("start_of_postamble"); +void g_fileinfo (const char* Name, unsigned long Size, unsigned long MTime) +/* If debug info is enabled, place a file info into the source */ +{ + if (DebugInfo) { + /* We have to place this into the global text segment, so it will + * appear before all .dbg line statements. + */ + TS_AddLine (GS->Text, "\t.dbg\t\tfile, \"%s\", %lu, %lu", Name, Size, MTime); + } } /*****************************************************************************/ -/* Segment support */ +/* Segment support */ /*****************************************************************************/ -static void UseSeg (int NewSeg) -/* Switch to a specific segment */ -{ - if (CurSeg != NewSeg) { - CurSeg = NewSeg; - AddCodeLine (".segment\t\"%s\"", SegmentNames [CurSeg]); - AddCodeHint (SegmentHints [CurSeg]); - } -} - - - -void g_usecode (void) -/* Switch to the code segment */ -{ - UseSeg (SEG_CODE); -} - - - void g_userodata (void) /* Switch to the read only data segment */ { - UseSeg (SEG_RODATA); + UseDataSeg (SEG_RODATA); } @@ -210,7 +217,7 @@ void g_userodata (void) void g_usedata (void) /* Switch to the data segment */ { - UseSeg (SEG_DATA); + UseDataSeg (SEG_DATA); } @@ -218,63 +225,35 @@ void g_usedata (void) void g_usebss (void) /* Switch to the bss segment */ { - UseSeg (SEG_BSS); + UseDataSeg (SEG_BSS); } -static void SegName (int Seg, const char* Name) +void g_segname (segment_t Seg, const char* Name) /* Set the name of a segment */ { - /* Free the old name and set a new one */ - xfree (SegmentNames [Seg]); - SegmentNames [Seg] = xstrdup (Name); - - /* If the new segment is the current segment, emit a segment directive - * with the new name. - */ - if (Seg == CurSeg) { - CurSeg = SEG_INV; /* Invalidate */ - UseSeg (Seg); - } -} - - - -void g_codename (const char* Name) -/* Set the name of the CODE segment */ -{ - SegName (SEG_CODE, Name); -} - - - -void g_rodataname (const char* Name) -/* Set the name of the RODATA segment */ -{ - SegName (SEG_RODATA, Name); -} - - - -void g_dataname (const char* Name) -/* Set the name of the DATA segment */ -{ - SegName (SEG_DATA, Name); -} - + DataSeg* S; + /* Remember the new name */ + NewSegName (Seg, Name); -void g_bssname (const char* Name) -/* Set the name of the BSS segment */ -{ - SegName (SEG_BSS, Name); + /* Emit a segment directive for the data style segments */ + switch (Seg) { + case SEG_RODATA: S = CS->ROData; break; + case SEG_DATA: S = CS->Data; break; + case SEG_BSS: S = CS->BSS; break; + default: S = 0; break; + } + if (S) { + DS_AddLine (S, ".segment\t\"%s\"", Name); + } } /*****************************************************************************/ -/* Code */ +/* Code */ /*****************************************************************************/ @@ -353,16 +332,24 @@ static unsigned MakeByteOffs (unsigned Flags, unsigned Offs) -void g_defloclabel (unsigned label) -/* Define a local label */ +void g_defcodelabel (unsigned label) +/* Define a local code label */ +{ + CS_AddLabel (CS->Code, LocalLabelName (label)); +} + + + +void g_defdatalabel (unsigned label) +/* Define a local data label */ { - AddCodeLine ("L%04X:", label & 0xFFFF); + AddDataLine ("%s:", LocalLabelName (label)); } /*****************************************************************************/ -/* Functions handling global labels */ +/* Functions handling global labels */ /*****************************************************************************/ @@ -370,7 +357,8 @@ void g_defloclabel (unsigned label) void g_defgloblabel (const char* Name) /* Define a global label with the given name */ { - AddCodeLine ("_%s:", Name); + /* Global labels are always data labels */ + AddDataLine ("_%s:", Name); } @@ -379,9 +367,9 @@ void g_defexport (const char* Name, int ZP) /* Export the given label */ { if (ZP) { - AddCodeLine ("\t.exportzp\t_%s", Name); + AddTextLine ("\t.exportzp\t_%s", Name); } else { - AddCodeLine ("\t.export\t\t_%s", Name); + AddTextLine ("\t.export\t\t_%s", Name); } } @@ -391,14 +379,22 @@ void g_defimport (const char* Name, int ZP) /* Import the given label */ { if (ZP) { - AddCodeLine ("\t.importzp\t_%s", Name); + AddTextLine ("\t.importzp\t_%s", Name); } else { - AddCodeLine ("\t.import\t\t_%s", Name); + AddTextLine ("\t.import\t\t_%s", Name); } } +void g_importmainargs (void) +/* Forced import of a special symbol that handles arguments to main */ +{ + AddTextLine ("\t.forceimport\tinitmainargs"); +} + + + /*****************************************************************************/ /* Load functions for various registers */ /*****************************************************************************/ @@ -408,7 +404,7 @@ void g_defimport (const char* Name, int ZP) static void ldaconst (unsigned val) /* Load a with a constant */ { - AddCodeLine ("\tlda\t#$%02X", val & 0xFF); + AddCodeLine ("lda #$%02X", val & 0xFF); } @@ -416,7 +412,7 @@ static void ldaconst (unsigned val) static void ldxconst (unsigned val) /* Load x with a constant */ { - AddCodeLine ("\tldx\t#$%02X", val & 0xFF); + AddCodeLine ("ldx #$%02X", val & 0xFF); } @@ -424,7 +420,7 @@ static void ldxconst (unsigned val) static void ldyconst (unsigned val) /* Load y with a constant */ { - AddCodeLine ("\tldy\t#$%02X", val & 0xFF); + AddCodeLine ("ldy #$%02X", val & 0xFF); } @@ -451,113 +447,125 @@ void g_enter (unsigned flags, unsigned argsize) funcargs = argsize; } else { funcargs = -1; - AddCodeLine ("\tjsr\tenter"); + AddCodeLine ("jsr enter"); } } -void g_leave (int flags, int val) +void g_leave (void) /* Function epilogue */ { - int k; - char buf [40]; - /* How many bytes of locals do we have to drop? */ - k = -oursp; + int k = -oursp; /* If we didn't have a variable argument list, don't call leave */ if (funcargs >= 0) { - /* Load a function return code if needed */ - if ((flags & CF_CONST) != 0) { - g_getimmed (flags, val, 0); - } - - /* Drop stackframe or leave with rts */ + /* Drop stackframe if needed */ k += funcargs; - if (k == 0) { - AddCodeLine ("\trts"); - } else if (k <= 8) { - AddCodeLine ("\tjmp\tincsp%d", k); - } else { - CheckLocalOffs (k); - ldyconst (k); - AddCodeLine ("\tjmp\taddysp"); + if (k > 0) { + if (k <= 8) { + AddCodeLine ("jsr incsp%d", k); + } else { + CheckLocalOffs (k); + ldyconst (k); + AddCodeLine ("jsr addysp"); + } } } else { - strcpy (buf, "\tjmp\tleave"); - if (k) { + if (k == 0) { + /* Nothing to drop */ + AddCodeLine ("jsr leave"); + } else { /* We've a stack frame to drop */ ldyconst (k); - strcat (buf, "y"); - } - if (flags & CF_CONST) { - if ((flags & CF_TYPE) != CF_LONG) { - /* Constant int sized value given for return code */ - if (val == 0) { - /* Special case: return 0 */ - strcat (buf, "00"); - } else if (((val >> 8) & 0xFF) == 0) { - /* Special case: constant with high byte zero */ - ldaconst (val); /* Load low byte */ - strcat (buf, "0"); - } else { - /* Others: arbitrary constant value */ - g_getimmed (flags, val, 0); /* Load value */ - } - } else { - /* Constant long value: No shortcut possible */ - g_getimmed (flags, val, 0); - } - } - - /* Output the jump */ - AddCodeLine (buf); + AddCodeLine ("jsr leavey"); + } } - /* Add an empty line after a function to make the code more readable */ - AddEmptyLine (); + /* Add the final rts */ + AddCodeLine ("rts"); } /*****************************************************************************/ -/* Register variables */ +/* Register variables */ /*****************************************************************************/ +void g_swap_regvars (int StackOffs, int RegOffs, unsigned Bytes) +/* Swap a register variable with a location on the stack */ +{ + /* Calculate the actual stack offset and check it */ + StackOffs -= oursp; + CheckLocalOffs (StackOffs); + + /* Generate code */ + if (Bytes == 1) { + + if (CodeSizeFactor < 165) { + ldyconst (StackOffs); + ldxconst (RegOffs); + AddCodeLine ("jsr regswap1"); + } else { + ldyconst (StackOffs); + AddCodeLine ("lda (sp),y"); + AddCodeLine ("ldx regbank%+d", RegOffs); + AddCodeLine ("sta regbank%+d", RegOffs); + AddCodeLine ("txa"); + AddCodeLine ("sta (sp),y"); + } + + } else if (Bytes == 2) { + + ldyconst (StackOffs); + ldxconst (RegOffs); + AddCodeLine ("jsr regswap2"); + + } else { + + ldyconst (StackOffs); + ldxconst (RegOffs); + ldaconst (Bytes); + AddCodeLine ("jsr regswap"); + } +} + + + void g_save_regvars (int RegOffs, unsigned Bytes) /* Save register variables */ { /* Don't loop for up to two bytes */ if (Bytes == 1) { - AddCodeLine ("\tlda\tregbank%+d", RegOffs); - AddCodeLine ("\tjsr\tpusha"); + AddCodeLine ("lda regbank%+d", RegOffs); + AddCodeLine ("jsr pusha"); } else if (Bytes == 2) { - AddCodeLine ("\tlda\tregbank%+d", RegOffs); - AddCodeLine ("\tldx\tregbank%+d", RegOffs+1); - AddCodeLine ("\tjsr\tpushax"); + AddCodeLine ("lda regbank%+d", RegOffs); + AddCodeLine ("ldx regbank%+d", RegOffs+1); + AddCodeLine ("jsr pushax"); } else { /* More than two bytes - loop */ - unsigned Label = GetLabel (); + unsigned Label = GetLocalLabel (); g_space (Bytes); ldyconst (Bytes - 1); ldxconst (Bytes); - g_defloclabel (Label); - AddCodeLine ("\tlda\tregbank%+d,x", RegOffs-1); - AddCodeLine ("\tsta\t(sp),y"); - AddCodeLine ("\tdey"); - AddCodeLine ("\tdex"); - AddCodeLine ("\tbne\tL%04X", Label); + g_defcodelabel (Label); + AddCodeLine ("lda regbank%+d,x", RegOffs-1); + AddCodeLine ("sta (sp),y"); + AddCodeLine ("dey"); + AddCodeLine ("dex"); + AddCodeLine ("bne %s", LocalLabelName (Label)); } @@ -578,30 +586,30 @@ void g_restore_regvars (int StackOffs, int RegOffs, unsigned Bytes) if (Bytes == 1) { ldyconst (StackOffs); - AddCodeLine ("\tlda\t(sp),y"); - AddCodeLine ("\tsta\tregbank%+d", RegOffs); + AddCodeLine ("lda (sp),y"); + AddCodeLine ("sta regbank%+d", RegOffs); } else if (Bytes == 2) { ldyconst (StackOffs); - AddCodeLine ("\tlda\t(sp),y"); - AddCodeLine ("\tsta\tregbank%+d", RegOffs); - AddCodeLine ("\tiny"); - AddCodeLine ("\tlda\t(sp),y"); - AddCodeLine ("\tsta\tregbank%+d", RegOffs+1); + AddCodeLine ("lda (sp),y"); + AddCodeLine ("sta regbank%+d", RegOffs); + AddCodeLine ("iny"); + AddCodeLine ("lda (sp),y"); + AddCodeLine ("sta regbank%+d", RegOffs+1); } else { /* More than two bytes - loop */ - unsigned Label = GetLabel (); + unsigned Label = GetLocalLabel (); ldyconst (StackOffs+Bytes-1); ldxconst (Bytes); - g_defloclabel (Label); - AddCodeLine ("\tlda\t(sp),y"); - AddCodeLine ("\tsta\tregbank%+d,x", RegOffs-1); - AddCodeLine ("\tdey"); - AddCodeLine ("\tdex"); - AddCodeLine ("\tbne\tL%04X", Label); + g_defcodelabel (Label); + AddCodeLine ("lda (sp),y"); + AddCodeLine ("sta regbank%+d,x", RegOffs-1); + AddCodeLine ("dey"); + AddCodeLine ("dex"); + AddCodeLine ("bne %s", LocalLabelName (Label)); } } @@ -614,128 +622,139 @@ void g_restore_regvars (int StackOffs, int RegOffs, unsigned Bytes) -void g_getimmed (unsigned flags, unsigned long val, unsigned offs) +void g_getimmed (unsigned Flags, unsigned long Val, long Offs) /* Load a constant into the primary register */ { - if ((flags & CF_CONST) != 0) { + unsigned char B1, B2, B3, B4; + unsigned Done; - /* Numeric constant */ - switch (flags & CF_TYPE) { - case CF_CHAR: - if ((flags & CF_FORCECHAR) != 0) { - ldaconst (val); - break; - } - /* FALL THROUGH */ - case CF_INT: - ldxconst ((val >> 8) & 0xFF); - ldaconst (val & 0xFF); - break; + if ((Flags & CF_CONST) != 0) { - case CF_LONG: - if (val < 0x100) { - AddCodeLine ("\tldx\t#$00"); - AddCodeLine ("\tstx\tsreg+1"); - AddCodeLine ("\tstx\tsreg"); - AddCodeLine ("\tlda\t#$%02X", (unsigned char) val); - } else if ((val & 0xFFFF00FF) == 0) { - AddCodeLine ("\tlda\t#$00"); - AddCodeLine ("\tsta\tsreg+1"); - AddCodeLine ("\tsta\tsreg"); - AddCodeLine ("\tldx\t#$%02X", (unsigned char) (val >> 8)); - } else if ((val & 0xFFFF0000) == 0 && FavourSize == 0) { - AddCodeLine ("\tlda\t#$00"); - AddCodeLine ("\tsta\tsreg+1"); - AddCodeLine ("\tsta\tsreg"); - AddCodeLine ("\tlda\t#$%02X", (unsigned char) val); - AddCodeLine ("\tldx\t#$%02X", (unsigned char) (val >> 8)); - } else if ((val & 0xFFFFFF00) == 0xFFFFFF00) { - AddCodeLine ("\tldx\t#$FF"); - AddCodeLine ("\tstx\tsreg+1"); - AddCodeLine ("\tstx\tsreg"); - if ((val & 0xFF) == 0xFF) { - AddCodeLine ("\ttxa"); - } else { - AddCodeLine ("\tlda\t#$%02X", (unsigned char) val); - } - } else if ((val & 0xFFFF00FF) == 0xFFFF00FF) { - AddCodeLine ("\tlda\t#$FF"); - AddCodeLine ("\tsta\tsreg+1"); - AddCodeLine ("\tsta\tsreg"); - AddCodeLine ("\tldx\t#$%02X", (unsigned char) (val >> 8)); - } else { - /* Call a subroutine that will load following value */ - AddCodeLine ("\tjsr\tldeax"); - AddCodeLine ("\t.dword\t$%08lX", val & 0xFFFFFFFF); + /* Numeric constant */ + switch (Flags & CF_TYPE) { + + case CF_CHAR: + if ((Flags & CF_FORCECHAR) != 0) { + ldaconst (Val); + break; + } + /* FALL THROUGH */ + case CF_INT: + ldxconst ((Val >> 8) & 0xFF); + ldaconst (Val & 0xFF); + break; + + case CF_LONG: + /* Split the value into 4 bytes */ + B1 = (unsigned char) (Val >> 0); + B2 = (unsigned char) (Val >> 8); + B3 = (unsigned char) (Val >> 16); + B4 = (unsigned char) (Val >> 24); + + /* Remember which bytes are done */ + Done = 0; + + /* Load the value */ + AddCodeLine ("ldx #$%02X", B2); + Done |= 0x02; + if (B2 == B3) { + AddCodeLine ("stx sreg"); + Done |= 0x04; + } + if (B2 == B4) { + AddCodeLine ("stx sreg+1"); + Done |= 0x08; + } + if ((Done & 0x04) == 0 && B1 != B3) { + AddCodeLine ("lda #$%02X", B3); + AddCodeLine ("sta sreg"); + Done |= 0x04; } - break; + if ((Done & 0x08) == 0 && B1 != B4) { + AddCodeLine ("lda #$%02X", B4); + AddCodeLine ("sta sreg+1"); + Done |= 0x08; + } + AddCodeLine ("lda #$%02X", B1); + Done |= 0x01; + if ((Done & 0x04) == 0) { + CHECK (B1 == B3); + AddCodeLine ("sta sreg"); + } + if ((Done & 0x08) == 0) { + CHECK (B1 == B4); + AddCodeLine ("sta sreg+1"); + } + break; - default: - typeerror (flags); - break; + default: + typeerror (Flags); + break; - } + } } else { /* Some sort of label */ - const char* Label = GetLabelName (flags, val, offs); + const char* Label = GetLabelName (Flags, Val, Offs); /* Load the address into the primary */ - AddCodeLine ("\tldax\t%s", Label); + AddCodeLine ("lda #<(%s)", Label); + AddCodeLine ("ldx #>(%s)", Label); } } -void g_getstatic (unsigned flags, unsigned long label, unsigned offs) +void g_getstatic (unsigned flags, unsigned long label, long offs) /* Fetch an static memory cell into the primary register */ { /* Create the correct label name */ - char* lbuf = GetLabelName (flags, label, offs); + const char* lbuf = GetLabelName (flags, label, offs); /* Check the size and generate the correct load operation */ switch (flags & CF_TYPE) { case CF_CHAR: if ((flags & CF_FORCECHAR) || (flags & CF_TEST)) { - AddCodeLine ("\tlda\t%s", lbuf); /* load A from the label */ + AddCodeLine ("lda %s", lbuf); /* load A from the label */ } else { ldxconst (0); - AddCodeLine ("\tlda\t%s", lbuf); /* load A from the label */ + AddCodeLine ("lda %s", lbuf); /* load A from the label */ if (!(flags & CF_UNSIGNED)) { /* Must sign extend */ - AddCodeLine ("\tbpl\t*+3"); - AddCodeLine ("\tdex"); - AddCodeHint ("x:!"); /* X is invalid now */ + unsigned L = GetLocalLabel (); + AddCodeLine ("bpl %s", LocalLabelName (L)); + AddCodeLine ("dex"); + g_defcodelabel (L); } } break; case CF_INT: - AddCodeLine ("\tlda\t%s", lbuf); + AddCodeLine ("lda %s", lbuf); if (flags & CF_TEST) { - AddCodeLine ("\tora\t%s+1", lbuf); + AddCodeLine ("ora %s+1", lbuf); } else { - AddCodeLine ("\tldx\t%s+1", lbuf); + AddCodeLine ("ldx %s+1", lbuf); } break; case CF_LONG: if (flags & CF_TEST) { - AddCodeLine ("\tlda\t%s+3", lbuf); - AddCodeLine ("\tora\t%s+2", lbuf); - AddCodeLine ("\tora\t%s+1", lbuf); - AddCodeLine ("\tora\t%s+0", lbuf); + AddCodeLine ("lda %s+3", lbuf); + AddCodeLine ("ora %s+2", lbuf); + AddCodeLine ("ora %s+1", lbuf); + AddCodeLine ("ora %s+0", lbuf); } else { - AddCodeLine ("\tlda\t%s+3", lbuf); - AddCodeLine ("\tsta\tsreg+1"); - AddCodeLine ("\tlda\t%s+2", lbuf); - AddCodeLine ("\tsta\tsreg"); - AddCodeLine ("\tldx\t%s+1", lbuf); - AddCodeLine ("\tlda\t%s", lbuf); + AddCodeLine ("lda %s+3", lbuf); + AddCodeLine ("sta sreg+1"); + AddCodeLine ("lda %s+2", lbuf); + AddCodeLine ("sta sreg"); + AddCodeLine ("ldx %s+1", lbuf); + AddCodeLine ("lda %s", lbuf); } break; @@ -757,20 +776,16 @@ void g_getlocal (unsigned flags, int offs) case CF_CHAR: if ((flags & CF_FORCECHAR) || (flags & CF_TEST)) { ldyconst (offs); - AddCodeLine ("\tlda\t(sp),y"); + AddCodeLine ("lda (sp),y"); } else { - if (offs == 0) { - AddCodeLine ("\tldx\t#$00"); - AddCodeLine ("\tlda\t(sp,x)"); - } else { - ldyconst (offs); - AddCodeLine ("\tldx\t#$00"); - AddCodeLine ("\tlda\t(sp),y"); - } + ldyconst (offs); + AddCodeLine ("ldx #$00"); + AddCodeLine ("lda (sp),y"); if ((flags & CF_UNSIGNED) == 0) { - AddCodeLine ("\tbpl\t*+3"); - AddCodeLine ("\tdex"); - AddCodeHint ("x:!"); /* X is invalid now */ + unsigned L = GetLocalLabel(); + AddCodeLine ("bpl %s", LocalLabelName (L)); + AddCodeLine ("dex"); + g_defcodelabel (L); } } break; @@ -779,37 +794,21 @@ void g_getlocal (unsigned flags, int offs) CheckLocalOffs (offs + 1); if (flags & CF_TEST) { ldyconst (offs + 1); - AddCodeLine ("\tlda\t(sp),y"); - AddCodeLine ("\tdey"); - AddCodeLine ("\tora\t(sp),y"); + AddCodeLine ("lda (sp),y"); + AddCodeLine ("dey"); + AddCodeLine ("ora (sp),y"); } else { - if (FavourSize) { - if (offs) { - ldyconst (offs+1); - AddCodeLine ("\tjsr\tldaxysp"); - } else { - AddCodeLine ("\tjsr\tldax0sp"); - } - } else { - ldyconst (offs + 1); - AddCodeLine ("\tlda\t(sp),y"); - AddCodeLine ("\ttax"); - AddCodeLine ("\tdey"); - AddCodeLine ("\tlda\t(sp),y"); - } + ldyconst (offs+1); + AddCodeLine ("jsr ldaxysp"); } break; case CF_LONG: - if (offs) { - ldyconst (offs+3); - AddCodeLine ("\tjsr\tldeaxysp"); - } else { - AddCodeLine ("\tjsr\tldeax0sp"); - } - break; + ldyconst (offs+3); + AddCodeLine ("jsr ldeaxysp"); + break; - default: + default: typeerror (flags); } } @@ -832,56 +831,34 @@ void g_getind (unsigned flags, unsigned offs) case CF_CHAR: /* Character sized */ - if (offs) { - ldyconst (offs); - if (flags & CF_UNSIGNED) { - AddCodeLine ("\tjsr\tldauidx"); - } else { - AddCodeLine ("\tjsr\tldaidx"); - } - } else { - if (flags & CF_UNSIGNED) { - if (FavourSize) { - AddCodeLine ("\tjsr\tldaui"); - } else { - AddCodeLine ("\tsta\tptr1"); - AddCodeLine ("\tstx\tptr1+1"); - AddCodeLine ("\tldx\t#$00"); - AddCodeLine ("\tlda\t(ptr1,x)"); - } - } else { - AddCodeLine ("\tjsr\tldai"); - } - } + if (flags & CF_UNSIGNED) { + ldyconst (offs); + AddCodeLine ("jsr ldauidx"); + } else { + ldyconst (offs); + AddCodeLine ("jsr ldaidx"); + } break; case CF_INT: if (flags & CF_TEST) { - ldyconst (offs); - AddCodeLine ("\tsta\tptr1"); - AddCodeLine ("\tstx\tptr1+1"); - AddCodeLine ("\tlda\t(ptr1),y"); - AddCodeLine ("\tiny"); - AddCodeLine ("\tora\t(ptr1),y"); + ldyconst (offs); + AddCodeLine ("sta ptr1"); + AddCodeLine ("stx ptr1+1"); + AddCodeLine ("lda (ptr1),y"); + AddCodeLine ("iny"); + AddCodeLine ("ora (ptr1),y"); } else { - if (offs == 0) { - AddCodeLine ("\tjsr\tldaxi"); - } else { - ldyconst (offs+1); - AddCodeLine ("\tjsr\tldaxidx"); - } + ldyconst (offs+1); + AddCodeLine ("jsr ldaxidx"); } break; case CF_LONG: - if (offs == 0) { - AddCodeLine ("\tjsr\tldeaxi"); - } else { - ldyconst (offs+3); - AddCodeLine ("\tjsr\tldeaxidx"); - } + ldyconst (offs+3); + AddCodeLine ("jsr ldeaxidx"); if (flags & CF_TEST) { - AddCodeLine ("\tjsr\ttsteax"); + AddCodeLine ("jsr tsteax"); } break; @@ -901,21 +878,74 @@ void g_leasp (int offs) /* For value 0 we do direct code */ if (offs == 0) { - AddCodeLine ("\tlda\tsp"); - AddCodeLine ("\tldx\tsp+1"); + AddCodeLine ("lda sp"); + AddCodeLine ("ldx sp+1"); } else { - if (FavourSize) { - ldyconst (offs); /* Load Y with offset value */ - AddCodeLine ("\tjsr\tleaysp"); /* Load effective address */ - } else { - ldaconst (offs); - AddCodeLine ("\tclc"); - AddCodeLine ("\tldx\tsp+1"); - AddCodeLine ("\tadc\tsp"); - AddCodeLine ("\tbcc\t*+3"); - AddCodeLine ("\tinx"); - AddCodeHint ("x:!"); /* Invalidate X */ - } + if (CodeSizeFactor < 300) { + ldaconst (offs); /* Load A with offset value */ + AddCodeLine ("jsr leaasp"); /* Load effective address */ + } else { + unsigned L = GetLocalLabel (); + if (CPU == CPU_65C02 && offs == 1) { + AddCodeLine ("lda sp"); + AddCodeLine ("ldx sp+1"); + AddCodeLine ("ina"); + AddCodeLine ("bne %s", LocalLabelName (L)); + AddCodeLine ("inx"); + } else { + ldaconst (offs); + AddCodeLine ("clc"); + AddCodeLine ("ldx sp+1"); + AddCodeLine ("adc sp"); + AddCodeLine ("bcc %s", LocalLabelName (L)); + AddCodeLine ("inx"); + } + g_defcodelabel (L); + } + } +} + + + +void g_leavariadic (int Offs) +/* Fetch the address of a parameter in a variadic function into the primary + * register + */ +{ + unsigned ArgSizeOffs; + + /* Calculate the offset relative to sp */ + Offs -= oursp; + + /* Get the offset of the parameter which is stored at sp+0 on function + * entry and check if this offset is reachable with a byte offset. + */ + CHECK (oursp <= 0); + ArgSizeOffs = -oursp; + CheckLocalOffs (ArgSizeOffs); + + /* Get the size of all parameters. */ + ldyconst (ArgSizeOffs); + AddCodeLine ("lda (sp),y"); + + /* Add the value of the stackpointer */ + if (CodeSizeFactor > 250) { + unsigned L = GetLocalLabel(); + AddCodeLine ("ldx sp+1"); + AddCodeLine ("clc"); + AddCodeLine ("adc sp"); + AddCodeLine ("bcc %s", LocalLabelName (L)); + AddCodeLine ("inx"); + g_defcodelabel (L); + } else { + AddCodeLine ("jsr leaasp"); + } + + /* Add the offset to the primary */ + if (Offs > 0) { + g_inc (CF_INT | CF_CONST, Offs); + } else if (Offs < 0) { + g_dec (CF_INT | CF_CONST, -Offs); } } @@ -927,31 +957,31 @@ void g_leasp (int offs) -void g_putstatic (unsigned flags, unsigned long label, unsigned offs) +void g_putstatic (unsigned flags, unsigned long label, long offs) /* Store the primary register into the specified static memory cell */ { /* Create the correct label name */ - char* lbuf = GetLabelName (flags, label, offs); + const char* lbuf = GetLabelName (flags, label, offs); /* Check the size and generate the correct store operation */ switch (flags & CF_TYPE) { case CF_CHAR: - AddCodeLine ("\tsta\t%s", lbuf); + AddCodeLine ("sta %s", lbuf); break; case CF_INT: - AddCodeLine ("\tsta\t%s", lbuf); - AddCodeLine ("\tstx\t%s+1", lbuf); + AddCodeLine ("sta %s", lbuf); + AddCodeLine ("stx %s+1", lbuf); break; case CF_LONG: - AddCodeLine ("\tsta\t%s", lbuf); - AddCodeLine ("\tstx\t%s+1", lbuf); - AddCodeLine ("\tldy\tsreg"); - AddCodeLine ("\tsty\t%s+2", lbuf); - AddCodeLine ("\tldy\tsreg+1"); - AddCodeLine ("\tsty\t%s+3", lbuf); + AddCodeLine ("sta %s", lbuf); + AddCodeLine ("stx %s+1", lbuf); + AddCodeLine ("ldy sreg"); + AddCodeLine ("sty %s+2", lbuf); + AddCodeLine ("ldy sreg+1"); + AddCodeLine ("sty %s+3", lbuf); break; default: @@ -962,86 +992,132 @@ void g_putstatic (unsigned flags, unsigned long label, unsigned offs) -void g_putlocal (unsigned flags, int offs) +void g_putlocal (unsigned Flags, int Offs, long Val) /* Put data into local object. */ { - offs -= oursp; - CheckLocalOffs (offs); - switch (flags & CF_TYPE) { + Offs -= oursp; + CheckLocalOffs (Offs); + switch (Flags & CF_TYPE) { case CF_CHAR: - ldyconst (offs); - AddCodeLine ("\tsta\t(sp),y"); + if (Flags & CF_CONST) { + AddCodeLine ("lda #$%02X", (unsigned char) Val); + } + ldyconst (Offs); + AddCodeLine ("sta (sp),y"); break; case CF_INT: - if (offs) { - ldyconst (offs); - AddCodeLine ("\tjsr\tstaxysp"); - } else { - AddCodeLine ("\tjsr\tstax0sp"); - } + if (Flags & CF_CONST) { + ldyconst (Offs+1); + AddCodeLine ("lda #$%02X", (unsigned char) (Val >> 8)); + AddCodeLine ("sta (sp),y"); + if ((Flags & CF_NOKEEP) == 0) { + /* Place high byte into X */ + AddCodeLine ("tax"); + } + if ((Val & 0xFF) == Offs+1) { + /* The value we need is already in Y */ + AddCodeLine ("tya"); + AddCodeLine ("dey"); + } else { + AddCodeLine ("dey"); + AddCodeLine ("lda #$%02X", (unsigned char) Val); + } + AddCodeLine ("sta (sp),y"); + } else { + if ((Flags & CF_NOKEEP) == 0 || CodeSizeFactor < 160) { + ldyconst (Offs); + AddCodeLine ("jsr staxysp"); + } else { + ldyconst (Offs); + AddCodeLine ("sta (sp),y"); + AddCodeLine ("iny"); + AddCodeLine ("txa"); + AddCodeLine ("sta (sp),y"); + } + } break; case CF_LONG: - if (offs) { - ldyconst (offs); - AddCodeLine ("\tjsr\tsteaxysp"); - } else { - AddCodeLine ("\tjsr\tsteax0sp"); - } + if (Flags & CF_CONST) { + g_getimmed (Flags, Val, 0); + } + ldyconst (Offs); + AddCodeLine ("jsr steaxysp"); break; default: - typeerror (flags); + typeerror (Flags); } } -void g_putind (unsigned flags, unsigned offs) +void g_putind (unsigned Flags, unsigned Offs) /* Store the specified object type in the primary register at the address * on the top of the stack */ { - /* We cannot currently handle more than byte sized offsets */ - if (offs > 256 - sizeofarg (flags)) { - Internal ("g_putind: Large offsets not implemented"); + /* We can handle offsets below $100 directly, larger offsets must be added + * to the address. Since a/x is in use, best code is achieved by adding + * just the high byte. Be sure to check if the low byte will overflow while + * while storing. + */ + if ((Offs & 0xFF) > 256 - sizeofarg (Flags | CF_FORCECHAR)) { + + /* Overflow - we need to add the low byte also */ + AddCodeLine ("ldy #$00"); + AddCodeLine ("clc"); + AddCodeLine ("pha"); + AddCodeLine ("lda #$%02X", Offs & 0xFF); + AddCodeLine ("adc (sp),y"); + AddCodeLine ("sta (sp),y"); + AddCodeLine ("iny"); + AddCodeLine ("lda #$%02X", (Offs >> 8) & 0xFF); + AddCodeLine ("adc (sp),y"); + AddCodeLine ("sta (sp),y"); + AddCodeLine ("pla"); + + /* Complete address is on stack, new offset is zero */ + Offs = 0; + + } else if ((Offs & 0xFF00) != 0) { + + /* We can just add the high byte */ + AddCodeLine ("ldy #$01"); + AddCodeLine ("clc"); + AddCodeLine ("pha"); + AddCodeLine ("lda #$%02X", (Offs >> 8) & 0xFF); + AddCodeLine ("adc (sp),y"); + AddCodeLine ("sta (sp),y"); + AddCodeLine ("pla"); + + /* Offset is now just the low byte */ + Offs &= 0x00FF; } /* Check the size and determine operation */ - switch (flags & CF_TYPE) { + switch (Flags & CF_TYPE) { case CF_CHAR: - if (offs) { - ldyconst (offs); - AddCodeLine ("\tjsr\tstaspidx"); - } else { - AddCodeLine ("\tjsr\tstaspp"); - } + ldyconst (Offs); + AddCodeLine ("jsr staspidx"); break; case CF_INT: - if (offs) { - ldyconst (offs); - AddCodeLine ("\tjsr\tstaxspidx"); - } else { - AddCodeLine ("\tjsr\tstaxspp"); - } + ldyconst (Offs); + AddCodeLine ("jsr staxspidx"); break; case CF_LONG: - if (offs) { - ldyconst (offs); - AddCodeLine ("\tjsr\tsteaxspidx"); - } else { - AddCodeLine ("\tjsr\tsteaxspp"); - } + ldyconst (Offs); + AddCodeLine ("jsr steaxspidx"); break; default: - typeerror (flags); + typeerror (Flags); } @@ -1065,9 +1141,9 @@ void g_toslong (unsigned flags) case CF_CHAR: case CF_INT: if (flags & CF_UNSIGNED) { - AddCodeLine ("\tjsr\ttosulong"); + AddCodeLine ("jsr tosulong"); } else { - AddCodeLine ("\tjsr\ttoslong"); + AddCodeLine ("jsr toslong"); } push (CF_INT); break; @@ -1092,7 +1168,7 @@ void g_tosint (unsigned flags) break; case CF_LONG: - AddCodeLine ("\tjsr\ttosint"); + AddCodeLine ("jsr tosint"); pop (CF_INT); break; @@ -1103,23 +1179,86 @@ void g_tosint (unsigned flags) -void g_reglong (unsigned flags) +void g_regint (unsigned Flags) +/* Make sure, the value in the primary register an int. Convert if necessary */ +{ + unsigned L; + + switch (Flags & CF_TYPE) { + + case CF_CHAR: + if (Flags & CF_FORCECHAR) { + /* Conversion is from char */ + if (Flags & CF_UNSIGNED) { + AddCodeLine ("ldx #$00"); + } else { + L = GetLocalLabel(); + AddCodeLine ("ldx #$00"); + AddCodeLine ("cmp #$80"); + AddCodeLine ("bcc %s", LocalLabelName (L)); + AddCodeLine ("dex"); + g_defcodelabel (L); + } + } + /* FALLTHROUGH */ + + case CF_INT: + case CF_LONG: + break; + + default: + typeerror (Flags); + } +} + + + +void g_reglong (unsigned Flags) /* Make sure, the value in the primary register a long. Convert if necessary */ { - switch (flags & CF_TYPE) { + unsigned L; + + switch (Flags & CF_TYPE) { case CF_CHAR: + if (Flags & CF_FORCECHAR) { + /* Conversion is from char */ + if (Flags & CF_UNSIGNED) { + if (CodeSizeFactor >= 200) { + AddCodeLine ("ldx #$00"); + AddCodeLine ("stx sreg"); + AddCodeLine ("stx sreg+1"); + } else { + AddCodeLine ("jsr aulong"); + } + } else { + if (CodeSizeFactor >= 366) { + L = GetLocalLabel(); + AddCodeLine ("ldx #$00"); + AddCodeLine ("cmp #$80"); + AddCodeLine ("bcc %s", LocalLabelName (L)); + AddCodeLine ("dex"); + g_defcodelabel (L); + AddCodeLine ("stx sreg"); + AddCodeLine ("stx sreg+1"); + } else { + AddCodeLine ("jsr along"); + } + } + } + /* FALLTHROUGH */ + case CF_INT: - if (flags & CF_UNSIGNED) { - if (FavourSize) { - AddCodeLine ("\tjsr\taxulong"); - } else { + if (Flags & CF_UNSIGNED) { + if (CodeSizeFactor >= 200) { ldyconst (0); - AddCodeLine ("\tsty\tsreg"); - AddCodeLine ("\tsty\tsreg+1"); + AddCodeLine ("sty sreg"); + AddCodeLine ("sty sreg+1"); + } else { + AddCodeLine ("jsr axulong"); } } else { - AddCodeLine ("\tjsr\taxlong"); + AddCodeLine ("jsr axlong"); } break; @@ -1127,7 +1266,7 @@ void g_reglong (unsigned flags) break; default: - typeerror (flags); + typeerror (Flags); } } @@ -1195,9 +1334,14 @@ unsigned g_typecast (unsigned lhs, unsigned rhs) rtype = rhs & CF_TYPE; /* Check if a conversion is needed */ - if (ltype == CF_LONG && rtype != CF_LONG && (rhs & CF_CONST) == 0) { - /* We must promote the primary register to long */ - g_reglong (rhs); + if ((rhs & CF_CONST) == 0) { + if (ltype == CF_LONG && rtype != CF_LONG) { + /* We must promote the primary register to long */ + g_reglong (rhs); + } else if (ltype == CF_INT && rtype != CF_INT) { + /* We must promote the primary register to int */ + g_regint (rhs); + } } /* Do not need any other action. If the left type is int, and the primary @@ -1232,44 +1376,44 @@ void g_scale (unsigned flags, long val) } else if (val > 0) { /* Scale up */ - if ((p2 = powerof2 (val)) > 0 && p2 <= 3) { + if ((p2 = powerof2 (val)) > 0 && p2 <= 4) { - /* Factor is 2, 4 or 8, use special function */ + /* Factor is 2, 4, 8 and 16, use special function */ switch (flags & CF_TYPE) { case CF_CHAR: if (flags & CF_FORCECHAR) { while (p2--) { - AddCodeLine ("\tasl\ta"); - } - break; - } - /* FALLTHROUGH */ - - case CF_INT: - if (FavourSize || p2 >= 3) { - if (flags & CF_UNSIGNED) { - AddCodeLine ("\tjsr\tshlax%d", p2); - } else { - AddCodeLine ("\tjsr\taslax%d", p2); - } - } else { - AddCodeLine ("\tstx\ttmp1"); - while (p2--) { - AddCodeLine ("\tasl\ta"); - AddCodeLine ("\trol\ttmp1"); - } - AddCodeLine ("\tldx\ttmp1"); - } - break; - - case CF_LONG: - if (flags & CF_UNSIGNED) { - AddCodeLine ("\tjsr\tshleax%d", p2); - } else { - AddCodeLine ("\tjsr\tasleax%d", p2); - } - break; + AddCodeLine ("asl a"); + } + break; + } + /* FALLTHROUGH */ + + case CF_INT: + if (CodeSizeFactor >= (p2+1)*130U) { + AddCodeLine ("stx tmp1"); + while (p2--) { + AddCodeLine ("asl a"); + AddCodeLine ("rol tmp1"); + } + AddCodeLine ("ldx tmp1"); + } else { + if (flags & CF_UNSIGNED) { + AddCodeLine ("jsr shlax%d", p2); + } else { + AddCodeLine ("jsr aslax%d", p2); + } + } + break; + + case CF_LONG: + if (flags & CF_UNSIGNED) { + AddCodeLine ("jsr shleax%d", p2); + } else { + AddCodeLine ("jsr asleax%d", p2); + } + break; default: typeerror (flags); @@ -1287,21 +1431,21 @@ void g_scale (unsigned flags, long val) /* Scale down */ val = -val; - if ((p2 = powerof2 (val)) > 0 && p2 <= 3) { + if ((p2 = powerof2 (val)) > 0 && p2 <= 4) { - /* Factor is 2, 4 or 8, use special function */ + /* Factor is 2, 4, 8 and 16 use special function */ switch (flags & CF_TYPE) { case CF_CHAR: if (flags & CF_FORCECHAR) { if (flags & CF_UNSIGNED) { while (p2--) { - AddCodeLine ("\tlsr\ta"); + AddCodeLine ("lsr a"); } break; } else if (p2 <= 2) { - AddCodeLine ("\tcmp\t#$80"); - AddCodeLine ("\tror\ta"); + AddCodeLine ("cmp #$80"); + AddCodeLine ("ror a"); break; } } @@ -1309,36 +1453,36 @@ void g_scale (unsigned flags, long val) case CF_INT: if (flags & CF_UNSIGNED) { - if (FavourSize || p2 >= 3) { - AddCodeLine ("\tjsr\tlsrax%d", p2); - } else { - AddCodeLine ("\tstx\ttmp1"); + if (CodeSizeFactor >= (p2+1)*130U) { + AddCodeLine ("stx tmp1"); while (p2--) { - AddCodeLine ("\tlsr\ttmp1"); - AddCodeLine ("\tror\ta"); + AddCodeLine ("lsr tmp1"); + AddCodeLine ("ror a"); } - AddCodeLine ("\tldx\ttmp1"); + AddCodeLine ("ldx tmp1"); + } else { + AddCodeLine ("jsr lsrax%d", p2); } } else { - if (FavourSize || p2 >= 3) { - AddCodeLine ("\tjsr\tasrax%d", p2); - } else { - AddCodeLine ("\tstx\ttmp1"); + if (CodeSizeFactor >= (p2+1)*150U) { + AddCodeLine ("stx tmp1"); while (p2--) { - AddCodeLine ("\tcpx\t#$80"); - AddCodeLine ("\tror\ttmp1"); - AddCodeLine ("\tror\ta"); + AddCodeLine ("cpx #$80"); + AddCodeLine ("ror tmp1"); + AddCodeLine ("ror a"); } - AddCodeLine ("\tldx\ttmp1"); + AddCodeLine ("ldx tmp1"); + } else { + AddCodeLine ("jsr asrax%d", p2); } } break; case CF_LONG: if (flags & CF_UNSIGNED) { - AddCodeLine ("\tjsr\tlsreax%d", p2); + AddCodeLine ("jsr lsreax%d", p2); } else { - AddCodeLine ("\tjsr\tasreax%d", p2); + AddCodeLine ("jsr asreax%d", p2); } break; @@ -1359,7 +1503,7 @@ void g_scale (unsigned flags, long val) /*****************************************************************************/ -/* Adds and subs of variables fix a fixed address */ +/* Adds and subs of variables fix a fixed address */ /*****************************************************************************/ @@ -1367,6 +1511,8 @@ void g_scale (unsigned flags, long val) void g_addlocal (unsigned flags, int offs) /* Add a local variable to ax */ { + unsigned L; + /* Correct the offset and check it */ offs -= oursp; CheckLocalOffs (offs); @@ -1374,24 +1520,25 @@ void g_addlocal (unsigned flags, int offs) switch (flags & CF_TYPE) { case CF_CHAR: - AddCodeLine ("\tldy\t#$%02X", offs & 0xFF); - AddCodeLine ("\tclc"); - AddCodeLine ("\tadc\t(sp),y"); - AddCodeLine ("\tbcc\t*+3"); - AddCodeLine ("\tinx"); - AddCodeHint ("x:!"); + L = GetLocalLabel(); + AddCodeLine ("ldy #$%02X", offs & 0xFF); + AddCodeLine ("clc"); + AddCodeLine ("adc (sp),y"); + AddCodeLine ("bcc %s", LocalLabelName (L)); + AddCodeLine ("inx"); + g_defcodelabel (L); break; case CF_INT: - AddCodeLine ("\tldy\t#$%02X", offs & 0xFF); - AddCodeLine ("\tclc"); - AddCodeLine ("\tadc\t(sp),y"); - AddCodeLine ("\tpha"); - AddCodeLine ("\ttxa"); - AddCodeLine ("\tiny"); - AddCodeLine ("\tadc\t(sp),y"); - AddCodeLine ("\ttax"); - AddCodeLine ("\tpla"); + AddCodeLine ("ldy #$%02X", offs & 0xFF); + AddCodeLine ("clc"); + AddCodeLine ("adc (sp),y"); + AddCodeLine ("pha"); + AddCodeLine ("txa"); + AddCodeLine ("iny"); + AddCodeLine ("adc (sp),y"); + AddCodeLine ("tax"); + AddCodeLine ("pla"); break; case CF_LONG: @@ -1409,30 +1556,33 @@ void g_addlocal (unsigned flags, int offs) -void g_addstatic (unsigned flags, unsigned long label, unsigned offs) +void g_addstatic (unsigned flags, unsigned long label, long offs) /* Add a static variable to ax */ { + unsigned L; + /* Create the correct label name */ - char* lbuf = GetLabelName (flags, label, offs); + const char* lbuf = GetLabelName (flags, label, offs); switch (flags & CF_TYPE) { case CF_CHAR: - AddCodeLine ("\tclc"); - AddCodeLine ("\tadc\t%s", lbuf); - AddCodeLine ("\tbcc\t*+3"); - AddCodeLine ("\tinx"); - AddCodeHint ("x:!"); + L = GetLocalLabel(); + AddCodeLine ("clc"); + AddCodeLine ("adc %s", lbuf); + AddCodeLine ("bcc %s", LocalLabelName (L)); + AddCodeLine ("inx"); + g_defcodelabel (L); break; case CF_INT: - AddCodeLine ("\tclc"); - AddCodeLine ("\tadc\t%s", lbuf); - AddCodeLine ("\ttay"); - AddCodeLine ("\ttxa"); - AddCodeLine ("\tadc\t%s+1", lbuf); - AddCodeLine ("\ttax"); - AddCodeLine ("\ttya"); + AddCodeLine ("clc"); + AddCodeLine ("adc %s", lbuf); + AddCodeLine ("tay"); + AddCodeLine ("txa"); + AddCodeLine ("adc %s+1", lbuf); + AddCodeLine ("tax"); + AddCodeLine ("tya"); break; case CF_LONG: @@ -1451,65 +1601,44 @@ void g_addstatic (unsigned flags, unsigned long label, unsigned offs) /*****************************************************************************/ -/* Compares of ax with a variable with fixed address */ +/* Special op= functions */ /*****************************************************************************/ -void g_cmplocal (unsigned flags, int offs) -/* Compare a local variable to ax */ -{ - Internal ("g_cmplocal not implemented"); -} - - - -void g_cmpstatic (unsigned flags, unsigned label, unsigned offs) -/* Compare a static variable to ax */ -{ - Internal ("g_cmpstatic not implemented"); -} - - - -/*****************************************************************************/ -/* Special op= functions */ -/*****************************************************************************/ - - - -void g_addeqstatic (unsigned flags, unsigned long label, unsigned offs, +void g_addeqstatic (unsigned flags, unsigned long label, long offs, unsigned long val) /* Emit += for a static variable */ { /* Create the correct label name */ - char* lbuf = GetLabelName (flags, label, offs); + const char* lbuf = GetLabelName (flags, label, offs); /* Check the size and determine operation */ switch (flags & CF_TYPE) { case CF_CHAR: if (flags & CF_FORCECHAR) { - AddCodeLine ("\tldx\t#$00"); + AddCodeLine ("ldx #$00"); if (flags & CF_CONST) { if (val == 1) { - AddCodeLine ("\tinc\t%s", lbuf); - AddCodeLine ("\tlda\t%s", lbuf); - } else { - AddCodeLine ("\tlda\t#$%02X", val & 0xFF); - AddCodeLine ("\tclc"); - AddCodeLine ("\tadc\t%s", lbuf); - AddCodeLine ("\tsta\t%s", lbuf); - } + AddCodeLine ("inc %s", lbuf); + AddCodeLine ("lda %s", lbuf); + } else { + AddCodeLine ("lda #$%02X", (int)(val & 0xFF)); + AddCodeLine ("clc"); + AddCodeLine ("adc %s", lbuf); + AddCodeLine ("sta %s", lbuf); + } } else { - AddCodeLine ("\tclc"); - AddCodeLine ("\tadc\t%s", lbuf); - AddCodeLine ("\tsta\t%s", lbuf); - } + AddCodeLine ("clc"); + AddCodeLine ("adc %s", lbuf); + AddCodeLine ("sta %s", lbuf); + } if ((flags & CF_UNSIGNED) == 0) { - AddCodeLine ("\tbpl\t*+3"); - AddCodeLine ("\tdex"); - AddCodeHint ("x:!"); /* Invalidate X */ + unsigned L = GetLocalLabel(); + AddCodeLine ("bpl %s", LocalLabelName (L)); + AddCodeLine ("dex"); + g_defcodelabel (L); } break; } @@ -1518,55 +1647,55 @@ void g_addeqstatic (unsigned flags, unsigned long label, unsigned offs, case CF_INT: if (flags & CF_CONST) { if (val == 1) { - label = GetLabel (); - AddCodeLine ("\tinc\t%s", lbuf); - AddCodeLine ("\tbne\tL%04X", label); - AddCodeLine ("\tinc\t%s+1", lbuf); - g_defloclabel (label); - AddCodeLine ("\tlda\t%s", lbuf); /* Hmmm... */ - AddCodeLine ("\tldx\t%s+1", lbuf); + unsigned L = GetLocalLabel (); + AddCodeLine ("inc %s", lbuf); + AddCodeLine ("bne %s", LocalLabelName (L)); + AddCodeLine ("inc %s+1", lbuf); + g_defcodelabel (L); + AddCodeLine ("lda %s", lbuf); /* Hmmm... */ + AddCodeLine ("ldx %s+1", lbuf); } else { - AddCodeLine ("\tlda\t#$%02X", val & 0xFF); - AddCodeLine ("\tclc"); - AddCodeLine ("\tadc\t%s", lbuf); - AddCodeLine ("\tsta\t%s", lbuf); + AddCodeLine ("lda #$%02X", (int)(val & 0xFF)); + AddCodeLine ("clc"); + AddCodeLine ("adc %s", lbuf); + AddCodeLine ("sta %s", lbuf); if (val < 0x100) { - label = GetLabel (); - AddCodeLine ("\tbcc\tL%04X", label); - AddCodeLine ("\tinc\t%s+1", lbuf); - g_defloclabel (label); - AddCodeLine ("\tldx\t%s+1", lbuf); + unsigned L = GetLocalLabel (); + AddCodeLine ("bcc %s", LocalLabelName (L)); + AddCodeLine ("inc %s+1", lbuf); + g_defcodelabel (L); + AddCodeLine ("ldx %s+1", lbuf); } else { - AddCodeLine ("\tlda\t#$%02X", (val >> 8) & 0xFF); - AddCodeLine ("\tadc\t%s+1", lbuf); - AddCodeLine ("\tsta\t%s+1", lbuf); - AddCodeLine ("\ttax"); - AddCodeLine ("\tlda\t%s", lbuf); + AddCodeLine ("lda #$%02X", (unsigned char)(val >> 8)); + AddCodeLine ("adc %s+1", lbuf); + AddCodeLine ("sta %s+1", lbuf); + AddCodeLine ("tax"); + AddCodeLine ("lda %s", lbuf); } } } else { - AddCodeLine ("\tclc"); - AddCodeLine ("\tadc\t%s", lbuf); - AddCodeLine ("\tsta\t%s", lbuf); - AddCodeLine ("\ttxa"); - AddCodeLine ("\tadc\t%s+1", lbuf); - AddCodeLine ("\tsta\t%s+1", lbuf); - AddCodeLine ("\ttax"); - AddCodeLine ("\tlda\t%s", lbuf); + AddCodeLine ("clc"); + AddCodeLine ("adc %s", lbuf); + AddCodeLine ("sta %s", lbuf); + AddCodeLine ("txa"); + AddCodeLine ("adc %s+1", lbuf); + AddCodeLine ("sta %s+1", lbuf); + AddCodeLine ("tax"); + AddCodeLine ("lda %s", lbuf); } break; case CF_LONG: if (flags & CF_CONST) { if (val < 0x100) { - AddCodeLine ("\tldy\t#<(%s)", lbuf); - AddCodeLine ("\tsty\tptr1"); - AddCodeLine ("\tldy\t#>(%s+1)", lbuf); + AddCodeLine ("ldy #<(%s)", lbuf); + AddCodeLine ("sty ptr1"); + AddCodeLine ("ldy #>(%s)", lbuf); if (val == 1) { - AddCodeLine ("\tjsr\tladdeq1"); + AddCodeLine ("jsr laddeq1"); } else { - AddCodeLine ("\tlda\t#$%02X", val & 0xFF); - AddCodeLine ("\tjsr\tladdeqa"); + AddCodeLine ("lda #$%02X", (int)(val & 0xFF)); + AddCodeLine ("jsr laddeqa"); } } else { g_getstatic (flags, label, offs); @@ -1574,10 +1703,10 @@ void g_addeqstatic (unsigned flags, unsigned long label, unsigned offs, g_putstatic (flags, label, offs); } } else { - AddCodeLine ("\tldy\t#<(%s)", lbuf); - AddCodeLine ("\tsty\tptr1"); - AddCodeLine ("\tldy\t#>(%s+1)", lbuf); - AddCodeLine ("\tjsr\tladdeq"); + AddCodeLine ("ldy #<(%s)", lbuf); + AddCodeLine ("sty ptr1"); + AddCodeLine ("ldy #>(%s)", lbuf); + AddCodeLine ("jsr laddeq"); } break; @@ -1600,63 +1729,58 @@ void g_addeqlocal (unsigned flags, int offs, unsigned long val) case CF_CHAR: if (flags & CF_FORCECHAR) { - if (offs == 0) { - AddCodeLine ("\tldx\t#$00"); - if (flags & CF_CONST) { - AddCodeLine ("\tclc"); - AddCodeLine ("\tlda\t#$%02X", val & 0xFF); - AddCodeLine ("\tadc\t(sp,x)"); - AddCodeLine ("\tsta\t(sp,x)"); - } else { - AddCodeLine ("\tclc"); - AddCodeLine ("\tadc\t(sp,x)"); - AddCodeLine ("\tsta\t(sp,x)"); - } - } else { - ldyconst (offs); - AddCodeLine ("\tldx\t#$00"); - if (flags & CF_CONST) { - AddCodeLine ("\tclc"); - AddCodeLine ("\tlda\t#$%02X", val & 0xFF); - AddCodeLine ("\tadc\t(sp),y"); - AddCodeLine ("\tsta\t(sp),y"); - } else { - AddCodeLine ("\tclc"); - AddCodeLine ("\tadc\t(sp),y"); - AddCodeLine ("\tsta\t(sp),y"); - } - } - if ((flags & CF_UNSIGNED) == 0) { - AddCodeLine ("\tbpl\t*+3"); - AddCodeLine ("\tdex"); - AddCodeHint ("x:!"); /* Invalidate X */ - } - break; + ldyconst (offs); + AddCodeLine ("ldx #$00"); + if (flags & CF_CONST) { + AddCodeLine ("clc"); + AddCodeLine ("lda #$%02X", (int)(val & 0xFF)); + AddCodeLine ("adc (sp),y"); + AddCodeLine ("sta (sp),y"); + } else { + AddCodeLine ("clc"); + AddCodeLine ("adc (sp),y"); + AddCodeLine ("sta (sp),y"); + } + if ((flags & CF_UNSIGNED) == 0) { + unsigned L = GetLocalLabel(); + AddCodeLine ("bpl %s", LocalLabelName (L)); + AddCodeLine ("dex"); + g_defcodelabel (L); + } + break; } /* FALLTHROUGH */ case CF_INT: + ldyconst (offs); if (flags & CF_CONST) { - g_getimmed (flags, val, 0); - } - if (offs == 0) { - AddCodeLine ("\tjsr\taddeq0sp"); + if (CodeSizeFactor >= 400) { + AddCodeLine ("clc"); + AddCodeLine ("lda #$%02X", (int)(val & 0xFF)); + AddCodeLine ("adc (sp),y"); + AddCodeLine ("sta (sp),y"); + AddCodeLine ("iny"); + AddCodeLine ("lda #$%02X", (int) ((val >> 8) & 0xFF)); + AddCodeLine ("adc (sp),y"); + AddCodeLine ("sta (sp),y"); + AddCodeLine ("tax"); + AddCodeLine ("dey"); + AddCodeLine ("lda (sp),y"); + } else { + g_getimmed (flags, val, 0); + AddCodeLine ("jsr addeqysp"); + } } else { - ldyconst (offs); - AddCodeLine ("\tjsr\taddeqysp"); - } + AddCodeLine ("jsr addeqysp"); + } break; case CF_LONG: if (flags & CF_CONST) { g_getimmed (flags, val, 0); } - if (offs == 0) { - AddCodeLine ("\tjsr\tladdeq0sp"); - } else { - ldyconst (offs); - AddCodeLine ("\tjsr\tladdeqysp"); - } + ldyconst (offs); + AddCodeLine ("jsr laddeqysp"); break; default: @@ -1679,50 +1803,42 @@ void g_addeqind (unsigned flags, unsigned offs, unsigned long val) switch (flags & CF_TYPE) { case CF_CHAR: - AddCodeLine ("\tsta\tptr1"); - AddCodeLine ("\tstx\tptr1+1"); - if (offs == 0) { - AddCodeLine ("\tldx\t#$00"); - AddCodeLine ("\tlda\t#$%02X", val & 0xFF); - AddCodeLine ("\tclc"); - AddCodeLine ("\tadc\t(ptr1,x)"); - AddCodeLine ("\tsta\t(ptr1,x)"); - } else { - AddCodeLine ("\tldy\t#$%02X", offs); - AddCodeLine ("\tldx\t#$00"); - AddCodeLine ("\tlda\t#$%02X", val & 0xFF); - AddCodeLine ("\tclc"); - AddCodeLine ("\tadc\t(ptr1),y"); - AddCodeLine ("\tsta\t(ptr1),y"); - } + AddCodeLine ("sta ptr1"); + AddCodeLine ("stx ptr1+1"); + AddCodeLine ("ldy #$%02X", offs); + AddCodeLine ("ldx #$00"); + AddCodeLine ("lda #$%02X", (int)(val & 0xFF)); + AddCodeLine ("clc"); + AddCodeLine ("adc (ptr1),y"); + AddCodeLine ("sta (ptr1),y"); break; case CF_INT: - if (!FavourSize) { + if (CodeSizeFactor >= 200) { /* Lots of code, use only if size is not important */ - AddCodeLine ("\tsta\tptr1"); - AddCodeLine ("\tstx\tptr1+1"); - AddCodeLine ("\tldy\t#$%02X", offs); - AddCodeLine ("\tlda\t#$%02X", val & 0xFF); - AddCodeLine ("\tclc"); - AddCodeLine ("\tadc\t(ptr1),y"); - AddCodeLine ("\tsta\t(ptr1),y"); - AddCodeLine ("\tpha"); - AddCodeLine ("\tiny"); - AddCodeLine ("\tlda\t#$%02X", (val >> 8) & 0xFF); - AddCodeLine ("\tadc\t(ptr1),y"); - AddCodeLine ("\tsta\t(ptr1),y"); - AddCodeLine ("\ttax"); - AddCodeLine ("\tpla"); + AddCodeLine ("sta ptr1"); + AddCodeLine ("stx ptr1+1"); + AddCodeLine ("ldy #$%02X", offs); + AddCodeLine ("lda #$%02X", (int)(val & 0xFF)); + AddCodeLine ("clc"); + AddCodeLine ("adc (ptr1),y"); + AddCodeLine ("sta (ptr1),y"); + AddCodeLine ("pha"); + AddCodeLine ("iny"); + AddCodeLine ("lda #$%02X", (unsigned char)(val >> 8)); + AddCodeLine ("adc (ptr1),y"); + AddCodeLine ("sta (ptr1),y"); + AddCodeLine ("tax"); + AddCodeLine ("pla"); break; } /* FALL THROUGH */ case CF_LONG: - AddCodeLine ("\tjsr\tpushax"); /* Push the address */ - push (flags); /* Correct the internal sp */ + AddCodeLine ("jsr pushax"); /* Push the address */ + push (CF_PTR); /* Correct the internal sp */ g_getind (flags, offs); /* Fetch the value */ - g_inc (flags, val); /* Increment value in primary */ + g_inc (flags, val); /* Increment value in primary */ g_putind (flags, offs); /* Store the value back */ break; @@ -1733,100 +1849,95 @@ void g_addeqind (unsigned flags, unsigned offs, unsigned long val) -void g_subeqstatic (unsigned flags, unsigned long label, unsigned offs, +void g_subeqstatic (unsigned flags, unsigned long label, long offs, unsigned long val) /* Emit -= for a static variable */ { /* Create the correct label name */ - char* lbuf = GetLabelName (flags, label, offs); + const char* lbuf = GetLabelName (flags, label, offs); /* Check the size and determine operation */ switch (flags & CF_TYPE) { case CF_CHAR: if (flags & CF_FORCECHAR) { - AddCodeLine ("\tldx\t#$00"); + AddCodeLine ("ldx #$00"); if (flags & CF_CONST) { if (val == 1) { - AddCodeLine ("\tdec\t%s", lbuf); - AddCodeLine ("\tlda\t%s", lbuf); + AddCodeLine ("dec %s", lbuf); + AddCodeLine ("lda %s", lbuf); } else { - AddCodeLine ("\tsec"); - AddCodeLine ("\tlda\t%s", lbuf); - AddCodeLine ("\tsbc\t#$%02X", val & 0xFF); - AddCodeLine ("\tsta\t%s", lbuf); + AddCodeLine ("sec"); + AddCodeLine ("lda %s", lbuf); + AddCodeLine ("sbc #$%02X", (int)(val & 0xFF)); + AddCodeLine ("sta %s", lbuf); } } else { - AddCodeLine ("\tsec"); - AddCodeLine ("\tsta\ttmp1"); - AddCodeLine ("\tlda\t%s", lbuf); - AddCodeLine ("\tsbc\ttmp1"); - AddCodeLine ("\tsta\t%s", lbuf); + AddCodeLine ("eor #$FF"); + AddCodeLine ("sec"); + AddCodeLine ("adc %s", lbuf); + AddCodeLine ("sta %s", lbuf); } if ((flags & CF_UNSIGNED) == 0) { - AddCodeLine ("\tbpl\t*+3"); - AddCodeLine ("\tdex"); - AddCodeHint ("x:!"); /* Invalidate X */ - } + unsigned L = GetLocalLabel(); + AddCodeLine ("bpl %s", LocalLabelName (L)); + AddCodeLine ("dex"); + g_defcodelabel (L); + } break; } /* FALLTHROUGH */ case CF_INT: - AddCodeLine ("\tsec"); - if (flags & CF_CONST) { - AddCodeLine ("\tlda\t%s", lbuf); - AddCodeLine ("\tsbc\t#$%02X", val & 0xFF); - AddCodeLine ("\tsta\t%s", lbuf); + AddCodeLine ("sec"); + if (flags & CF_CONST) { + AddCodeLine ("lda %s", lbuf); + AddCodeLine ("sbc #$%02X", (unsigned char)val); + AddCodeLine ("sta %s", lbuf); if (val < 0x100) { - label = GetLabel (); - AddCodeLine ("\tbcs\tL%04X", label); - AddCodeLine ("\tdec\t%s+1", lbuf); - g_defloclabel (label); - AddCodeLine ("\tldx\t%s+1", lbuf); + unsigned L = GetLocalLabel (); + AddCodeLine ("bcs %s", LocalLabelName (L)); + AddCodeLine ("dec %s+1", lbuf); + g_defcodelabel (L); + AddCodeLine ("ldx %s+1", lbuf); } else { - AddCodeLine ("\tlda\t%s+1", lbuf); - AddCodeLine ("\tsbc\t#$%02X", (val >> 8) & 0xFF); - AddCodeLine ("\tsta\t%s+1", lbuf); - AddCodeLine ("\ttax"); - AddCodeLine ("\tlda\t%s", lbuf); + AddCodeLine ("lda %s+1", lbuf); + AddCodeLine ("sbc #$%02X", (unsigned char)(val >> 8)); + AddCodeLine ("sta %s+1", lbuf); + AddCodeLine ("tax"); + AddCodeLine ("lda %s", lbuf); } } else { - AddCodeLine ("\tsta\ttmp1"); - AddCodeLine ("\tlda\t%s", lbuf); - AddCodeLine ("\tsbc\ttmp1"); - AddCodeLine ("\tsta\t%s", lbuf); - AddCodeLine ("\tstx\ttmp1"); - AddCodeLine ("\tlda\t%s+1", lbuf); - AddCodeLine ("\tsbc\ttmp1"); - AddCodeLine ("\tsta\t%s+1", lbuf); - AddCodeLine ("\ttax"); - AddCodeLine ("\tlda\t%s", lbuf); + AddCodeLine ("eor #$FF"); + AddCodeLine ("adc %s", lbuf); + AddCodeLine ("sta %s", lbuf); + AddCodeLine ("txa"); + AddCodeLine ("eor #$FF"); + AddCodeLine ("adc %s+1", lbuf); + AddCodeLine ("sta %s+1", lbuf); + AddCodeLine ("tax"); + AddCodeLine ("lda %s", lbuf); } break; case CF_LONG: if (flags & CF_CONST) { if (val < 0x100) { - AddCodeLine ("\tldy\t#<(%s)", lbuf); - AddCodeLine ("\tsty\tptr1"); - AddCodeLine ("\tldy\t#>(%s+1)", lbuf); - if (val == 1) { - AddCodeLine ("\tjsr\tlsubeq1"); - } else { - AddCodeLine ("\tlda\t#$%02X", val & 0xFF); - AddCodeLine ("\tjsr\tlsubeqa"); - } - } else { + AddCodeLine ("ldy #<(%s)", lbuf); + AddCodeLine ("sty ptr1"); + AddCodeLine ("ldy #>(%s)", lbuf); + AddCodeLine ("lda #$%02X", (unsigned char)val); + AddCodeLine ("jsr lsubeqa"); + } else { g_getstatic (flags, label, offs); g_dec (flags, val); g_putstatic (flags, label, offs); } } else { - AddCodeLine ("\tldy\t#<(%s)", lbuf); - AddCodeLine ("\tsty\tptr1"); - AddCodeLine ("\tldy\t#>(%s+1)", lbuf); - AddCodeLine ("\tjsr\tlsubeq"); + AddCodeLine ("ldy #<(%s)", lbuf); + AddCodeLine ("sty ptr1"); + AddCodeLine ("ldy #>(%s)", lbuf); + AddCodeLine ("jsr lsubeq"); } break; @@ -1850,23 +1961,23 @@ void g_subeqlocal (unsigned flags, int offs, unsigned long val) case CF_CHAR: if (flags & CF_FORCECHAR) { ldyconst (offs); - AddCodeLine ("\tldx\t#$00"); - AddCodeLine ("\tsec"); + AddCodeLine ("ldx #$00"); + AddCodeLine ("sec"); if (flags & CF_CONST) { - AddCodeLine ("\tlda\t(sp),y"); - AddCodeLine ("\tsbc\t#$%02X", val & 0xFF); + AddCodeLine ("lda (sp),y"); + AddCodeLine ("sbc #$%02X", (unsigned char)val); } else { - AddCodeLine ("\tsta\ttmp1"); - AddCodeLine ("\tlda\t(sp),y"); - AddCodeLine ("\tsbc\ttmp1"); + AddCodeLine ("eor #$FF"); + AddCodeLine ("adc (sp),y"); } - AddCodeLine ("\tsta\t(sp),y"); + AddCodeLine ("sta (sp),y"); if ((flags & CF_UNSIGNED) == 0) { - AddCodeLine ("\tbpl\t*+3"); - AddCodeLine ("\tdex"); - AddCodeHint ("x:!"); /* Invalidate X */ - } - break; + unsigned L = GetLocalLabel(); + AddCodeLine ("bpl %s", LocalLabelName (L)); + AddCodeLine ("dex"); + g_defcodelabel (L); + } + break; } /* FALLTHROUGH */ @@ -1874,24 +1985,16 @@ void g_subeqlocal (unsigned flags, int offs, unsigned long val) if (flags & CF_CONST) { g_getimmed (flags, val, 0); } - if (offs == 0) { - AddCodeLine ("\tjsr\tsubeq0sp"); - } else { - ldyconst (offs); - AddCodeLine ("\tjsr\tsubeqysp"); - } + ldyconst (offs); + AddCodeLine ("jsr subeqysp"); break; case CF_LONG: if (flags & CF_CONST) { g_getimmed (flags, val, 0); } - if (offs == 0) { - AddCodeLine ("\tjsr\tlsubeq0sp"); - } else { - ldyconst (offs); - AddCodeLine ("\tjsr\tlsubeqysp"); - } + ldyconst (offs); + AddCodeLine ("jsr lsubeqysp"); break; default: @@ -1914,48 +2017,40 @@ void g_subeqind (unsigned flags, unsigned offs, unsigned long val) switch (flags & CF_TYPE) { case CF_CHAR: - AddCodeLine ("\tsta\tptr1"); - AddCodeLine ("\tstx\tptr1+1"); - if (offs == 0) { - AddCodeLine ("\tldx\t#$00"); - AddCodeLine ("\tlda\t(ptr1,x)"); - AddCodeLine ("\tsec"); - AddCodeLine ("\tsbc\t#$%02X", val & 0xFF); - AddCodeLine ("\tsta\t(ptr1,x)"); - } else { - AddCodeLine ("\tldy\t#$%02X", offs); - AddCodeLine ("\tldx\t#$00"); - AddCodeLine ("\tlda\t(ptr1),y"); - AddCodeLine ("\tsec"); - AddCodeLine ("\tsbc\t#$%02X", val & 0xFF); - AddCodeLine ("\tsta\t(ptr1),y"); - } + AddCodeLine ("sta ptr1"); + AddCodeLine ("stx ptr1+1"); + AddCodeLine ("ldy #$%02X", offs); + AddCodeLine ("ldx #$00"); + AddCodeLine ("lda (ptr1),y"); + AddCodeLine ("sec"); + AddCodeLine ("sbc #$%02X", (unsigned char)val); + AddCodeLine ("sta (ptr1),y"); break; case CF_INT: - if (!FavourSize) { + if (CodeSizeFactor >= 200) { /* Lots of code, use only if size is not important */ - AddCodeLine ("\tsta\tptr1"); - AddCodeLine ("\tstx\tptr1+1"); - AddCodeLine ("\tldy\t#$%02X", offs); - AddCodeLine ("\tlda\t(ptr1),y"); - AddCodeLine ("\tsec"); - AddCodeLine ("\tsbc\t#$%02X", val & 0xFF); - AddCodeLine ("\tsta\t(ptr1),y"); - AddCodeLine ("\tpha"); - AddCodeLine ("\tiny"); - AddCodeLine ("\tlda\t(ptr1),y"); - AddCodeLine ("\tsbc\t#$%02X", (val >> 8) & 0xFF); - AddCodeLine ("\tsta\t(ptr1),y"); - AddCodeLine ("\ttax"); - AddCodeLine ("\tpla"); + AddCodeLine ("sta ptr1"); + AddCodeLine ("stx ptr1+1"); + AddCodeLine ("ldy #$%02X", offs); + AddCodeLine ("lda (ptr1),y"); + AddCodeLine ("sec"); + AddCodeLine ("sbc #$%02X", (unsigned char)val); + AddCodeLine ("sta (ptr1),y"); + AddCodeLine ("pha"); + AddCodeLine ("iny"); + AddCodeLine ("lda (ptr1),y"); + AddCodeLine ("sbc #$%02X", (unsigned char)(val >> 8)); + AddCodeLine ("sta (ptr1),y"); + AddCodeLine ("tax"); + AddCodeLine ("pla"); break; } /* FALL THROUGH */ case CF_LONG: - AddCodeLine ("\tjsr\tpushax"); /* Push the address */ - push (flags); /* Correct the internal sp */ + AddCodeLine ("jsr pushax"); /* Push the address */ + push (CF_PTR); /* Correct the internal sp */ g_getind (flags, offs); /* Fetch the value */ g_dec (flags, val); /* Increment value in primary */ g_putind (flags, offs); /* Store the value back */ @@ -1974,47 +2069,54 @@ void g_subeqind (unsigned flags, unsigned offs, unsigned long val) -void g_addaddr_local (unsigned flags, int offs) +void g_addaddr_local (unsigned flags attribute ((unused)), int offs) /* Add the address of a local variable to ax */ { + unsigned L = 0; + /* Add the offset */ offs -= oursp; if (offs != 0) { /* We cannot address more then 256 bytes of locals anyway */ + L = GetLocalLabel(); CheckLocalOffs (offs); - AddCodeLine ("\tclc"); - AddCodeLine ("\tadc\t#$%02X", offs & 0xFF); - AddCodeLine ("\tbcc\t*+4"); /* Do also skip the CLC insn below */ - AddCodeLine ("\tinx"); - AddCodeHint ("x:!"); /* Invalidate X */ + AddCodeLine ("clc"); + AddCodeLine ("adc #$%02X", offs & 0xFF); + /* Do also skip the CLC insn below */ + AddCodeLine ("bcc %s", LocalLabelName (L)); + AddCodeLine ("inx"); } /* Add the current stackpointer value */ - AddCodeLine ("\tclc"); - AddCodeLine ("\tadc\tsp"); - AddCodeLine ("\ttay"); - AddCodeLine ("\ttxa"); - AddCodeLine ("\tadc\tsp+1"); - AddCodeLine ("\ttax"); - AddCodeLine ("\ttya"); + AddCodeLine ("clc"); + if (L != 0) { + /* Label was used above */ + g_defcodelabel (L); + } + AddCodeLine ("adc sp"); + AddCodeLine ("tay"); + AddCodeLine ("txa"); + AddCodeLine ("adc sp+1"); + AddCodeLine ("tax"); + AddCodeLine ("tya"); } -void g_addaddr_static (unsigned flags, unsigned long label, unsigned offs) +void g_addaddr_static (unsigned flags, unsigned long label, long offs) /* Add the address of a static variable to ax */ { /* Create the correct label name */ - char* lbuf = GetLabelName (flags, label, offs); + const char* lbuf = GetLabelName (flags, label, offs); /* Add the address to the current ax value */ - AddCodeLine ("\tclc"); - AddCodeLine ("\tadc\t#<(%s)", lbuf); - AddCodeLine ("\ttay"); - AddCodeLine ("\ttxa"); - AddCodeLine ("\tadc\t#>(%s)", lbuf); - AddCodeLine ("\ttax"); - AddCodeLine ("\ttya"); + AddCodeLine ("clc"); + AddCodeLine ("adc #<(%s)", lbuf); + AddCodeLine ("tay"); + AddCodeLine ("txa"); + AddCodeLine ("adc #>(%s)", lbuf); + AddCodeLine ("tax"); + AddCodeLine ("tya"); } @@ -2032,19 +2134,19 @@ void g_save (unsigned flags) switch (flags & CF_TYPE) { case CF_CHAR: - if (flags & CF_FORCECHAR) { - AddCodeLine ("\tpha"); + if (flags & CF_FORCECHAR) { + AddCodeLine ("pha"); break; } /* FALLTHROUGH */ case CF_INT: - AddCodeLine ("\tsta\tregsave"); - AddCodeLine ("\tstx\tregsave+1"); + AddCodeLine ("sta regsave"); + AddCodeLine ("stx regsave+1"); break; case CF_LONG: - AddCodeLine ("\tjsr\tsaveeax"); + AddCodeLine ("jsr saveeax"); break; default: @@ -2055,25 +2157,25 @@ void g_save (unsigned flags) void g_restore (unsigned flags) -/* Copy hold register to P. */ +/* Copy hold register to primary. */ { /* Check the size and determine operation */ switch (flags & CF_TYPE) { case CF_CHAR: if (flags & CF_FORCECHAR) { - AddCodeLine ("\tpla"); + AddCodeLine ("pla"); break; } /* FALLTHROUGH */ case CF_INT: - AddCodeLine ("\tlda\tregsave"); - AddCodeLine ("\tldx\tregsave+1"); + AddCodeLine ("lda regsave"); + AddCodeLine ("ldx regsave+1"); break; case CF_LONG: - AddCodeLine ("\tjsr\tresteax"); + AddCodeLine ("jsr resteax"); break; default: @@ -2088,20 +2190,24 @@ void g_cmp (unsigned flags, unsigned long val) * will be set. */ { + unsigned L; + /* Check the size and determine operation */ switch (flags & CF_TYPE) { case CF_CHAR: if (flags & CF_FORCECHAR) { - AddCodeLine ("\tcmp\t#$%02X", val & 0xFF); - break; + AddCodeLine ("cmp #$%02X", (unsigned char)val); + break; } /* FALLTHROUGH */ case CF_INT: - AddCodeLine ("\tcmp\t#$%02X", val & 0xFF); - AddCodeLine ("\tbne\t*+4"); - AddCodeLine ("\tcpx\t#$%02X", (val >> 8) & 0xFF); + L = GetLocalLabel(); + AddCodeLine ("cmp #$%02X", (unsigned char)val); + AddCodeLine ("bne %s", LocalLabelName (L)); + AddCodeLine ("cpx #$%02X", (unsigned char)(val >> 8)); + g_defcodelabel (L); break; case CF_LONG: @@ -2118,7 +2224,7 @@ void g_cmp (unsigned flags, unsigned long val) static void oper (unsigned flags, unsigned long val, char** subs) /* Encode a binary operation. subs is a pointer to four groups of three * strings: - * 0-2 --> Operate on ints + * 0-2 --> Operate on ints * 3-5 --> Operate on unsigneds * 6-8 --> Operate on longs * 9-11 --> Operate on unsigned longs @@ -2150,19 +2256,19 @@ static void oper (unsigned flags, unsigned long val, char** subs) /* Constant value given */ if (val == 0 && subs [offs+0]) { /* Special case: constant with value zero */ - AddCodeLine ("\tjsr\t%s", subs [offs+0]); + AddCodeLine ("jsr %s", subs [offs+0]); } else if (val < 0x100 && subs [offs+1]) { /* Special case: constant with high byte zero */ ldaconst (val); /* Load low byte */ - AddCodeLine ("\tjsr\t%s", subs [offs+1]); + AddCodeLine ("jsr %s", subs [offs+1]); } else { /* Others: arbitrary constant value */ g_getimmed (flags, val, 0); /* Load value */ - AddCodeLine ("\tjsr\t%s", subs [offs+2]); + AddCodeLine ("jsr %s", subs [offs+2]); } } else { - /* Value not constant (is already in (e)ax) */ - AddCodeLine ("\tjsr\t%s", subs [offs+2]); + /* Value not constant (is already in (e)ax) */ + AddCodeLine ("jsr %s", subs [offs+2]); } /* The operation will pop it's argument */ @@ -2172,27 +2278,27 @@ static void oper (unsigned flags, unsigned long val, char** subs) void g_test (unsigned flags) -/* Force a test to set cond codes right */ +/* Test the value in the primary and set the condition codes */ { switch (flags & CF_TYPE) { case CF_CHAR: if (flags & CF_FORCECHAR) { - AddCodeLine ("\ttax"); + AddCodeLine ("tax"); break; } /* FALLTHROUGH */ case CF_INT: - AddCodeLine ("\tstx\ttmp1"); - AddCodeLine ("\tora\ttmp1"); + AddCodeLine ("stx tmp1"); + AddCodeLine ("ora tmp1"); break; case CF_LONG: if (flags & CF_UNSIGNED) { - AddCodeLine ("\tjsr\tutsteax"); + AddCodeLine ("jsr utsteax"); } else { - AddCodeLine ("\tjsr\ttsteax"); + AddCodeLine ("jsr tsteax"); } break; @@ -2207,36 +2313,20 @@ void g_test (unsigned flags) void g_push (unsigned flags, unsigned long val) /* Push the primary register or a constant value onto the stack */ { - unsigned char hi; - if (flags & CF_CONST && (flags & CF_TYPE) != CF_LONG) { /* We have a constant 8 or 16 bit value */ if ((flags & CF_TYPE) == CF_CHAR && (flags & CF_FORCECHAR)) { /* Handle as 8 bit value */ - if (FavourSize && val <= 2) { - AddCodeLine ("\tjsr\tpushc%d", (int) val); - } else { - ldaconst (val); - AddCodeLine ("\tjsr\tpusha"); - } + ldaconst (val); + AddCodeLine ("jsr pusha"); } else { /* Handle as 16 bit value */ - hi = (unsigned char) (val >> 8); - if (val <= 7) { - AddCodeLine ("\tjsr\tpush%u", (unsigned) val); - } else if (hi == 0 || hi == 0xFF) { - /* Use special function */ - ldaconst (val); - AddCodeLine ("\tjsr\t%s", (hi == 0)? "pusha0" : "pushaFF"); - } else { - /* Long way ... */ - g_getimmed (flags, val, 0); - AddCodeLine ("\tjsr\tpushax"); - } + g_getimmed (flags, val, 0); + AddCodeLine ("jsr pushax"); } } else { @@ -2253,16 +2343,16 @@ void g_push (unsigned flags, unsigned long val) case CF_CHAR: if (flags & CF_FORCECHAR) { /* Handle as char */ - AddCodeLine ("\tjsr\tpusha"); + AddCodeLine ("jsr pusha"); break; } /* FALL THROUGH */ case CF_INT: - AddCodeLine ("\tjsr\tpushax"); + AddCodeLine ("jsr pushax"); break; case CF_LONG: - AddCodeLine ("\tjsr\tpusheax"); + AddCodeLine ("jsr pusheax"); break; default: @@ -2287,11 +2377,11 @@ void g_swap (unsigned flags) case CF_CHAR: case CF_INT: - AddCodeLine ("\tjsr\tswapstk"); + AddCodeLine ("jsr swapstk"); break; case CF_LONG: - AddCodeLine ("\tjsr\tswapestk"); + AddCodeLine ("jsr swapestk"); break; default: @@ -2302,105 +2392,70 @@ void g_swap (unsigned flags) -void g_call (unsigned flags, char* lbl, unsigned argsize) +void g_call (unsigned Flags, const char* Label, unsigned ArgSize) /* Call the specified subroutine name */ { - if ((flags & CF_FIXARGC) == 0) { - /* Pass arg count */ - ldyconst (argsize); + if ((Flags & CF_FIXARGC) == 0) { + /* Pass the argument count */ + ldyconst (ArgSize); } - AddCodeLine ("\tjsr\t_%s", lbl); - oursp += argsize; /* callee pops args */ + AddCodeLine ("jsr _%s", Label); + oursp += ArgSize; /* callee pops args */ } -void g_callind (unsigned flags, unsigned argsize) -/* Call subroutine with address in AX */ +void g_callind (unsigned Flags, unsigned ArgSize, int Offs) +/* Call subroutine indirect */ { - if ((flags & CF_FIXARGC) == 0) { - /* Pass arg count */ - ldyconst (argsize); + if ((Flags & CF_LOCAL) == 0) { + /* Address is in a/x */ + if ((Flags & CF_FIXARGC) == 0) { + /* Pass arg count */ + ldyconst (ArgSize); + } + AddCodeLine ("jsr callax"); + } else { + /* The address is on stack, offset is on Val */ + Offs -= oursp; + CheckLocalOffs (Offs); + AddCodeLine ("pha"); + AddCodeLine ("ldy #$%02X", Offs); + AddCodeLine ("lda (sp),y"); + AddCodeLine ("sta jmpvec+1"); + AddCodeLine ("iny"); + AddCodeLine ("lda (sp),y"); + AddCodeLine ("sta jmpvec+2"); + AddCodeLine ("pla"); + AddCodeLine ("jsr jmpvec"); } - AddCodeLine ("\tjsr\tcallax"); /* do the call */ - oursp += argsize; /* callee pops args */ -} - - -void g_jump (unsigned label) -/* Jump to specified internal label number */ -{ - AddCodeLine ("\tjmp\tL%04X", label); + /* Callee pops args */ + oursp += ArgSize; } -void g_switch (unsigned flags) -/* Output switch statement preample */ +void g_jump (unsigned Label) +/* Jump to specified internal label number */ { - switch (flags & CF_TYPE) { - - case CF_CHAR: - case CF_INT: - AddCodeLine ("\tjsr\tswitch"); - break; - - case CF_LONG: - AddCodeLine ("\tjsr\tlswitch"); - break; - - default: - typeerror (flags); - - } + AddCodeLine ("jmp %s", LocalLabelName (Label)); } -void g_case (unsigned flags, unsigned label, unsigned long val) -/* Create table code for one case selector */ -{ - switch (flags & CF_TYPE) { - - case CF_CHAR: - case CF_INT: - AddCodeLine ("\t.word\t$%04X, L%04X", val & 0xFFFF, label & 0xFFFF); - break; - - case CF_LONG: - AddCodeLine ("\t.dword\t$%08X", val); - AddCodeLine ("\t.word\tL%04X", label & 0xFFFF); - break; - - default: - typeerror (flags); - - } -} - - - -void g_truejump (unsigned flags, unsigned label) +void g_truejump (unsigned flags attribute ((unused)), unsigned label) /* Jump to label if zero flag clear */ { - if (flags & CF_SHORT) { - AddCodeLine ("\tbne\tL%04X", label); - } else { - AddCodeLine ("\tjne\tL%04X", label); - } + AddCodeLine ("jne %s", LocalLabelName (label)); } -void g_falsejump (unsigned flags, unsigned label) +void g_falsejump (unsigned flags attribute ((unused)), unsigned label) /* Jump to label if zero flag set */ { - if (flags & CF_SHORT) { - AddCodeLine ("\tbeq\tL%04X", label); - } else { - AddCodeLine ("\tjeq\tL%04X", label); - } + AddCodeLine ("jeq %s", LocalLabelName (label)); } @@ -2408,11 +2463,11 @@ void g_falsejump (unsigned flags, unsigned label) static void mod_internal (int k, char* verb1, char* verb2) { if (k <= 8) { - AddCodeLine ("\tjsr\t%ssp%c", verb1, k + '0'); + AddCodeLine ("jsr %ssp%c", verb1, k + '0'); } else { CheckLocalOffs (k); ldyconst (k); - AddCodeLine ("\tjsr\t%ssp", verb2); + AddCodeLine ("jsr %ssp", verb2); } } @@ -2422,14 +2477,30 @@ void g_space (int space) /* Create or drop space on the stack */ { if (space < 0) { - mod_internal (-space, "inc", "addy"); + mod_internal (-space, "inc", "addy"); } else if (space > 0) { - mod_internal (space, "dec", "suby"); + mod_internal (space, "dec", "suby"); } } +void g_cstackcheck (void) +/* Check for a C stack overflow */ +{ + AddCodeLine ("jsr cstkchk"); +} + + + +void g_stackcheck (void) +/* Check for a stack overflow */ +{ + AddCodeLine ("jsr stkchk"); +} + + + void g_add (unsigned flags, unsigned long val) /* Primary = TOS + Primary */ { @@ -2441,7 +2512,7 @@ void g_add (unsigned flags, unsigned long val) }; if (flags & CF_CONST) { - flags &= ~CF_FORCECHAR; // Handle chars as ints + flags &= ~CF_FORCECHAR; /* Handle chars as ints */ g_push (flags & ~CF_CONST, 0); } oper (flags, val, ops); @@ -2460,7 +2531,7 @@ void g_sub (unsigned flags, unsigned long val) }; if (flags & CF_CONST) { - flags &= ~CF_FORCECHAR; // Handle chars as ints + flags &= ~CF_FORCECHAR; /* Handle chars as ints */ g_push (flags & ~CF_CONST, 0); } oper (flags, val, ops); @@ -2487,7 +2558,7 @@ void g_mul (unsigned flags, unsigned long val) { static char* ops [12] = { 0, "tosmula0", "tosmulax", - 0, "tosumula0", "tosumulax", + 0, "tosumula0", "tosumulax", 0, 0, "tosmuleax", 0, 0, "tosumuleax", }; @@ -2498,7 +2569,7 @@ void g_mul (unsigned flags, unsigned long val) if (flags & CF_CONST && (p2 = powerof2 (val)) >= 0) { /* Generate a shift instead */ g_asl (flags, p2); - return; + return; } /* If the right hand side is const, the lhs is not on stack but still @@ -2510,50 +2581,78 @@ void g_mul (unsigned flags, unsigned long val) case CF_CHAR: if (flags & CF_FORCECHAR) { - /* Handle some special cases */ - switch (val) { - - case 3: - AddCodeLine ("\tsta\ttmp1"); - AddCodeLine ("\tasl\ta"); - AddCodeLine ("\tclc"); - AddCodeLine ("\tadc\ttmp1"); - return; - - case 5: - AddCodeLine ("\tsta\ttmp1"); - AddCodeLine ("\tasl\ta"); - AddCodeLine ("\tasl\ta"); - AddCodeLine ("\tclc"); - AddCodeLine ("\tadc\ttmp1"); - return; - - case 10: - AddCodeLine ("\tsta\ttmp1"); - AddCodeLine ("\tasl\ta"); - AddCodeLine ("\tasl\ta"); - AddCodeLine ("\tclc"); - AddCodeLine ("\tadc\ttmp1"); - AddCodeLine ("\tasl\ta"); - return; - } + /* Handle some special cases */ + switch (val) { + + case 3: + AddCodeLine ("sta tmp1"); + AddCodeLine ("asl a"); + AddCodeLine ("clc"); + AddCodeLine ("adc tmp1"); + return; + + case 5: + AddCodeLine ("sta tmp1"); + AddCodeLine ("asl a"); + AddCodeLine ("asl a"); + AddCodeLine ("clc"); + AddCodeLine ("adc tmp1"); + return; + + case 6: + AddCodeLine ("sta tmp1"); + AddCodeLine ("asl a"); + AddCodeLine ("clc"); + AddCodeLine ("adc tmp1"); + AddCodeLine ("asl a"); + return; + + case 10: + AddCodeLine ("sta tmp1"); + AddCodeLine ("asl a"); + AddCodeLine ("asl a"); + AddCodeLine ("clc"); + AddCodeLine ("adc tmp1"); + AddCodeLine ("asl a"); + return; + } } /* FALLTHROUGH */ - case CF_INT: - break; + case CF_INT: + switch (val) { + case 3: + AddCodeLine ("jsr mulax3"); + return; + case 5: + AddCodeLine ("jsr mulax5"); + return; + case 6: + AddCodeLine ("jsr mulax6"); + return; + case 7: + AddCodeLine ("jsr mulax7"); + return; + case 9: + AddCodeLine ("jsr mulax9"); + return; + case 10: + AddCodeLine ("jsr mulax10"); + return; + } + break; - case CF_LONG: - break; + case CF_LONG: + break; - default: - typeerror (flags); - } + default: + typeerror (flags); + } - /* If we go here, we didn't emit code. Push the lhs on stack and fall - * into the normal, non-optimized stuff. - */ - flags &= ~CF_FORCECHAR; // Handle chars as ints + /* If we go here, we didn't emit code. Push the lhs on stack and fall + * into the normal, non-optimized stuff. + */ + flags &= ~CF_FORCECHAR; /* Handle chars as ints */ g_push (flags & ~CF_CONST, 0); } @@ -2583,7 +2682,7 @@ void g_div (unsigned flags, unsigned long val) /* Generate a division */ if (flags & CF_CONST) { /* lhs is not on stack */ - flags &= ~CF_FORCECHAR; // Handle chars as ints + flags &= ~CF_FORCECHAR; /* Handle chars as ints */ g_push (flags & ~CF_CONST, 0); } oper (flags, val, ops); @@ -2611,7 +2710,7 @@ void g_mod (unsigned flags, unsigned long val) /* Do it the hard way... */ if (flags & CF_CONST) { /* lhs is not on stack */ - flags &= ~CF_FORCECHAR; // Handle chars as ints + flags &= ~CF_FORCECHAR; /* Handle chars as ints */ g_push (flags & ~CF_CONST, 0); } oper (flags, val, ops); @@ -2640,7 +2739,7 @@ void g_or (unsigned flags, unsigned long val) case CF_CHAR: if (flags & CF_FORCECHAR) { if ((val & 0xFF) != 0xFF) { - AddCodeLine ("\tora\t#$%02X", val & 0xFF); + AddCodeLine ("ora #$%02X", (unsigned char)val); } return; } @@ -2648,14 +2747,14 @@ void g_or (unsigned flags, unsigned long val) case CF_INT: if (val <= 0xFF) { - AddCodeLine ("\tora\t#$%02X", val & 0xFF); + AddCodeLine ("ora #$%02X", (unsigned char)val); return; } break; case CF_LONG: if (val <= 0xFF) { - AddCodeLine ("\tora\t#$%02X", val & 0xFF); + AddCodeLine ("ora #$%02X", (unsigned char)val); return; } break; @@ -2698,7 +2797,7 @@ void g_xor (unsigned flags, unsigned long val) case CF_CHAR: if (flags & CF_FORCECHAR) { if ((val & 0xFF) != 0) { - AddCodeLine ("\teor\t#$%02X", val & 0xFF); + AddCodeLine ("eor #$%02X", (unsigned char)val); } return; } @@ -2707,15 +2806,15 @@ void g_xor (unsigned flags, unsigned long val) case CF_INT: if (val <= 0xFF) { if (val != 0) { - AddCodeLine ("\teor\t#$%02X", val); + AddCodeLine ("eor #$%02X", (unsigned char)val); } return; } else if ((val & 0xFF) == 0) { - AddCodeLine ("\tpha"); - AddCodeLine ("\ttxa"); - AddCodeLine ("\teor\t#$%02X", (val >> 8) & 0xFF); - AddCodeLine ("\ttax"); - AddCodeLine ("\tpla"); + AddCodeLine ("pha"); + AddCodeLine ("txa"); + AddCodeLine ("eor #$%02X", (unsigned char)(val >> 8)); + AddCodeLine ("tax"); + AddCodeLine ("pla"); return; } break; @@ -2723,7 +2822,7 @@ void g_xor (unsigned flags, unsigned long val) case CF_LONG: if (val <= 0xFF) { if (val != 0) { - AddCodeLine ("\teor\t#$%02X", val & 0xFF); + AddCodeLine ("eor #$%02X", (unsigned char)val); } return; } @@ -2765,7 +2864,7 @@ void g_and (unsigned flags, unsigned long val) case CF_CHAR: if (flags & CF_FORCECHAR) { - AddCodeLine ("\tand\t#$%02X", val & 0xFF); + AddCodeLine ("and #$%02X", (unsigned char)val); return; } /* FALLTHROUGH */ @@ -2776,23 +2875,23 @@ void g_and (unsigned flags, unsigned long val) if (val == 0) { ldaconst (0); } else if (val != 0xFF) { - AddCodeLine ("\tand\t#$%02X", val & 0xFF); + AddCodeLine ("and #$%02X", (unsigned char)val); } } else if ((val & 0xFF00) == 0xFF00) { - AddCodeLine ("\tand\t#$%02X", val & 0xFF); + AddCodeLine ("and #$%02X", (unsigned char)val); } else if ((val & 0x00FF) == 0x0000) { - AddCodeLine ("\ttxa"); - AddCodeLine ("\tand\t#$%02X", (val >> 8) & 0xFF); - AddCodeLine ("\ttax"); + AddCodeLine ("txa"); + AddCodeLine ("and #$%02X", (unsigned char)(val >> 8)); + AddCodeLine ("tax"); ldaconst (0); - } else { - AddCodeLine ("\ttay"); - AddCodeLine ("\ttxa"); - AddCodeLine ("\tand\t#$%02X", (val >> 8) & 0xFF); - AddCodeLine ("\ttax"); - AddCodeLine ("\ttya"); + } else { + AddCodeLine ("tay"); + AddCodeLine ("txa"); + AddCodeLine ("and #$%02X", (unsigned char)(val >> 8)); + AddCodeLine ("tax"); + AddCodeLine ("tya"); if ((val & 0x00FF) != 0x00FF) { - AddCodeLine ("\tand\t#$%02X", val & 0xFF); + AddCodeLine ("and #$%02X", (unsigned char)val); } } } @@ -2801,16 +2900,16 @@ void g_and (unsigned flags, unsigned long val) case CF_LONG: if (val <= 0xFF) { ldxconst (0); - AddCodeLine ("\tstx\tsreg+1"); - AddCodeLine ("\tstx\tsreg"); + AddCodeLine ("stx sreg+1"); + AddCodeLine ("stx sreg"); if ((val & 0xFF) != 0xFF) { - AddCodeLine ("\tand\t#$%02X", val & 0xFF); + AddCodeLine ("and #$%02X", (unsigned char)val); } return; } else if (val == 0xFF00) { ldaconst (0); - AddCodeLine ("\tsta\tsreg+1"); - AddCodeLine ("\tsta\tsreg"); + AddCodeLine ("sta sreg+1"); + AddCodeLine ("sta sreg"); return; } break; @@ -2836,10 +2935,10 @@ void g_asr (unsigned flags, unsigned long val) /* Primary = TOS >> Primary */ { static char* ops [12] = { - 0, "tosasra0", "tosasrax", - 0, "tosshra0", "tosshrax", - 0, 0, "tosasreax", - 0, 0, "tosshreax", + 0, "tosasra0", "tosasrax", + 0, "tosshra0", "tosshrax", + 0, 0, "tosasreax", + 0, 0, "tosshreax", }; /* If the right hand side is const, the lhs is not on stack but still @@ -2851,59 +2950,67 @@ void g_asr (unsigned flags, unsigned long val) case CF_CHAR: case CF_INT: - if (val >= 1 && val <= 3) { - if (flags & CF_UNSIGNED) { - AddCodeLine ("\tjsr\tshrax%ld", val); - } else { - AddCodeLine ("\tjsr\tasrax%ld", val); - } - return; - } else if (val == 8 && (flags & CF_UNSIGNED)) { - AddCodeLine ("\ttxa"); + if (val >= 8 && (flags & CF_UNSIGNED)) { + AddCodeLine ("txa"); ldxconst (0); + val -= 8; + } + if (val == 0) { + /* Done */ return; - } - break; + } else if (val >= 1 && val <= 4) { + if (flags & CF_UNSIGNED) { + AddCodeLine ("jsr shrax%ld", val); + } else { + AddCodeLine ("jsr asrax%ld", val); + } + return; + } + break; - case CF_LONG: - if (val >= 1 && val <= 3) { - if (flags & CF_UNSIGNED) { - AddCodeLine ("\tjsr\tshreax%ld", val); - } else { - AddCodeLine ("\tjsr\tasreax%ld", val); - } - return; - } else if (val == 8 && (flags & CF_UNSIGNED)) { - AddCodeLine ("\ttxa"); - AddCodeLine ("\tldx\tsreg"); - AddCodeLine ("\tldy\tsreg+1"); - AddCodeLine ("\tsty\tsreg"); - AddCodeLine ("\tldy\t#$00"); - AddCodeLine ("\tsty\tsreg+1"); + case CF_LONG: + if (val == 0) { + /* Nothing to do */ return; + } else if (val >= 1 && val <= 4) { + if (flags & CF_UNSIGNED) { + AddCodeLine ("jsr shreax%ld", val); + } else { + AddCodeLine ("jsr asreax%ld", val); + } + return; + } else if (val == 8 && (flags & CF_UNSIGNED)) { + AddCodeLine ("txa"); + AddCodeLine ("ldx sreg"); + AddCodeLine ("ldy sreg+1"); + AddCodeLine ("sty sreg"); + AddCodeLine ("ldy #$00"); + AddCodeLine ("sty sreg+1"); + return; } else if (val == 16) { - AddCodeLine ("\tldy\t#$00"); - AddCodeLine ("\tldx\tsreg+1"); - if ((flags & CF_UNSIGNED) == 0) { - AddCodeLine ("\tbpl\t*+3"); - AddCodeLine ("\tdey"); - AddCodeHint ("y:!"); - } - AddCodeLine ("\tlda\tsreg"); - AddCodeLine ("\tsty\tsreg+1"); - AddCodeLine ("\tsty\tsreg"); - return; - } - break; + AddCodeLine ("ldy #$00"); + AddCodeLine ("ldx sreg+1"); + if ((flags & CF_UNSIGNED) == 0) { + unsigned L = GetLocalLabel(); + AddCodeLine ("bpl %s", LocalLabelName (L)); + AddCodeLine ("dey"); + g_defcodelabel (L); + } + AddCodeLine ("lda sreg"); + AddCodeLine ("sty sreg+1"); + AddCodeLine ("sty sreg"); + return; + } + break; - default: - typeerror (flags); - } + default: + typeerror (flags); + } - /* If we go here, we didn't emit code. Push the lhs on stack and fall + /* If we go here, we didn't emit code. Push the lhs on stack and fall * into the normal, non-optimized stuff. - */ - g_push (flags & ~CF_CONST, 0); + */ + g_push (flags & ~CF_CONST, 0); } @@ -2917,10 +3024,10 @@ void g_asl (unsigned flags, unsigned long val) /* Primary = TOS << Primary */ { static char* ops [12] = { - 0, "tosasla0", "tosaslax", - 0, "tosshla0", "tosshlax", - 0, 0, "tosasleax", - 0, 0, "tosshleax", + 0, "tosasla0", "tosaslax", + 0, "tosshla0", "tosshlax", + 0, 0, "tosasleax", + 0, 0, "tosshleax", }; @@ -2933,40 +3040,47 @@ void g_asl (unsigned flags, unsigned long val) case CF_CHAR: case CF_INT: - if (val >= 1 && val <= 3) { + if (val >= 8) { + AddCodeLine ("tax"); + AddCodeLine ("lda #$00"); + val -= 8; + } + if (val == 0) { + /* Done */ + return; + } else if (val >= 1 && val <= 4) { if (flags & CF_UNSIGNED) { - AddCodeLine ("\tjsr\tshlax%ld", val); + AddCodeLine ("jsr shlax%ld", val); } else { - AddCodeLine ("\tjsr\taslax%ld", val); + AddCodeLine ("jsr aslax%ld", val); } return; - } else if (val == 8) { - AddCodeLine ("\ttax"); - AddCodeLine ("\tlda\t#$00"); - return; - } + } break; case CF_LONG: - if (val >= 1 && val <= 3) { + if (val == 0) { + /* Nothing to do */ + return; + } else if (val >= 1 && val <= 4) { if (flags & CF_UNSIGNED) { - AddCodeLine ("\tjsr\tshleax%ld", val); + AddCodeLine ("jsr shleax%ld", val); } else { - AddCodeLine ("\tjsr\tasleax%ld", val); + AddCodeLine ("jsr asleax%ld", val); } return; } else if (val == 8) { - AddCodeLine ("\tldy\tsreg"); - AddCodeLine ("\tsty\tsreg+1"); - AddCodeLine ("\tstx\tsreg"); - AddCodeLine ("\ttax"); - AddCodeLine ("\tlda\t#$00"); + AddCodeLine ("ldy sreg"); + AddCodeLine ("sty sreg+1"); + AddCodeLine ("stx sreg"); + AddCodeLine ("tax"); + AddCodeLine ("lda #$00"); return; } else if (val == 16) { - AddCodeLine ("\tstx\tsreg+1"); - AddCodeLine ("\tsta\tsreg"); - AddCodeLine ("\tlda\t#$00"); - AddCodeLine ("\ttax"); + AddCodeLine ("stx sreg+1"); + AddCodeLine ("sta sreg"); + AddCodeLine ("lda #$00"); + AddCodeLine ("tax"); return; } break; @@ -2995,11 +3109,11 @@ void g_neg (unsigned flags) case CF_CHAR: case CF_INT: - AddCodeLine ("\tjsr\tnegax"); + AddCodeLine ("jsr negax"); break; case CF_LONG: - AddCodeLine ("\tjsr\tnegeax"); + AddCodeLine ("jsr negeax"); break; default: @@ -3015,15 +3129,15 @@ void g_bneg (unsigned flags) switch (flags & CF_TYPE) { case CF_CHAR: - AddCodeLine ("\tjsr\tbnega"); + AddCodeLine ("jsr bnega"); break; case CF_INT: - AddCodeLine ("\tjsr\tbnegax"); + AddCodeLine ("jsr bnegax"); break; case CF_LONG: - AddCodeLine ("\tjsr\tbnegeax"); + AddCodeLine ("jsr bnegeax"); break; default: @@ -3040,11 +3154,11 @@ void g_com (unsigned flags) case CF_CHAR: case CF_INT: - AddCodeLine ("\tjsr\tcomplax"); + AddCodeLine ("jsr complax"); break; case CF_LONG: - AddCodeLine ("\tjsr\tcompleax"); + AddCodeLine ("jsr compleax"); break; default: @@ -3068,52 +3182,65 @@ void g_inc (unsigned flags, unsigned long val) case CF_CHAR: if (flags & CF_FORCECHAR) { - AddCodeLine ("\tclc"); - AddCodeLine ("\tadc\t#$%02X", val & 0xFF); + if (CPU == CPU_65C02 && val <= 2) { + while (val--) { + AddCodeLine ("ina"); + } + } else { + AddCodeLine ("clc"); + AddCodeLine ("adc #$%02X", (unsigned char)val); + } break; } /* FALLTHROUGH */ case CF_INT: - if (FavourSize) { + if (CPU == CPU_65C02 && val == 1) { + unsigned L = GetLocalLabel(); + AddCodeLine ("ina"); + AddCodeLine ("bne %s", LocalLabelName (L)); + AddCodeLine ("inx"); + g_defcodelabel (L); + } else if (CodeSizeFactor < 200) { /* Use jsr calls */ if (val <= 8) { - AddCodeLine ("\tjsr\tincax%u", val); + AddCodeLine ("jsr incax%lu", val); } else if (val <= 255) { ldyconst (val); - AddCodeLine ("\tjsr\tincaxy"); + AddCodeLine ("jsr incaxy"); } else { g_add (flags | CF_CONST, val); } } else { /* Inline the code */ - if (val < 0x300) { + if (val <= 0x300) { if ((val & 0xFF) != 0) { - AddCodeLine ("\tclc"); - AddCodeLine ("\tadc\t#$%02X", (unsigned char) val); - AddCodeLine ("\tbcc\t*+3"); - AddCodeLine ("\tinx"); - /* Tell the optimizer that the X register may be invalid */ - AddCodeHint ("x:!"); + unsigned L = GetLocalLabel(); + AddCodeLine ("clc"); + AddCodeLine ("adc #$%02X", (unsigned char) val); + AddCodeLine ("bcc %s", LocalLabelName (L)); + AddCodeLine ("inx"); + g_defcodelabel (L); } if (val >= 0x100) { - AddCodeLine ("\tinx"); + AddCodeLine ("inx"); } if (val >= 0x200) { - AddCodeLine ("\tinx"); + AddCodeLine ("inx"); + } + if (val >= 0x300) { + AddCodeLine ("inx"); } } else { - AddCodeLine ("\tclc"); + AddCodeLine ("clc"); if ((val & 0xFF) != 0) { - AddCodeLine ("\tadc\t#$%02X", (unsigned char) val); - /* Tell the optimizer that the X register may be invalid */ - AddCodeHint ("x:!"); + AddCodeLine ("adc #$%02X", (unsigned char) val); } - AddCodeLine ("\tpha"); - AddCodeLine ("\ttxa"); - AddCodeLine ("\tadc\t#$%02X", (unsigned char) (val >> 8)); - AddCodeLine ("\ttax"); - AddCodeLine ("\tpla"); + AddCodeLine ("pha"); + AddCodeLine ("txa"); + AddCodeLine ("adc #$%02X", (unsigned char) (val >> 8)); + AddCodeLine ("tax"); + AddCodeLine ("pla"); } } break; @@ -3121,7 +3248,7 @@ void g_inc (unsigned flags, unsigned long val) case CF_LONG: if (val <= 255) { ldyconst (val); - AddCodeLine ("\tjsr\tinceaxy"); + AddCodeLine ("jsr inceaxy"); } else { g_add (flags | CF_CONST, val); } @@ -3138,33 +3265,75 @@ void g_inc (unsigned flags, unsigned long val) void g_dec (unsigned flags, unsigned long val) /* Decrement the primary register by a given number */ { + /* Don't dec by zero */ + if (val == 0) { + return; + } + /* Generate code for the supported types */ flags &= ~CF_CONST; switch (flags & CF_TYPE) { case CF_CHAR: if (flags & CF_FORCECHAR) { - AddCodeLine ("\tsec"); - AddCodeLine ("\tsbc\t#$%02X", val & 0xFF); + if (CPU == CPU_65C02 && val <= 2) { + while (val--) { + AddCodeLine ("dea"); + } + } else { + AddCodeLine ("sec"); + AddCodeLine ("sbc #$%02X", (unsigned char)val); + } break; } /* FALLTHROUGH */ case CF_INT: - if (val <= 2) { - AddCodeLine ("\tjsr\tdecax%d", (int) val); - } else if (val <= 255) { - ldyconst (val); - AddCodeLine ("\tjsr\tdecaxy"); + if (CodeSizeFactor < 200) { + /* Use subroutines */ + if (val <= 8) { + AddCodeLine ("jsr decax%d", (int) val); + } else if (val <= 255) { + ldyconst (val); + AddCodeLine ("jsr decaxy"); + } else { + g_sub (flags | CF_CONST, val); + } } else { - g_sub (flags | CF_CONST, val); - } + /* Inline the code */ + if (val < 0x300) { + if ((val & 0xFF) != 0) { + unsigned L = GetLocalLabel(); + AddCodeLine ("sec"); + AddCodeLine ("sbc #$%02X", (unsigned char) val); + AddCodeLine ("bcs %s", LocalLabelName (L)); + AddCodeLine ("dex"); + g_defcodelabel (L); + } + if (val >= 0x100) { + AddCodeLine ("dex"); + } + if (val >= 0x200) { + AddCodeLine ("dex"); + } + } else { + AddCodeLine ("sec"); + if ((val & 0xFF) != 0) { + AddCodeLine ("sbc #$%02X", (unsigned char) val); + } + AddCodeLine ("pha"); + AddCodeLine ("txa"); + AddCodeLine ("sbc #$%02X", (unsigned char) (val >> 8)); + AddCodeLine ("tax"); + AddCodeLine ("pla"); + } + } break; case CF_LONG: if (val <= 255) { ldyconst (val); - AddCodeLine ("\tjsr\tdeceaxy"); + AddCodeLine ("jsr deceaxy"); } else { g_sub (flags | CF_CONST, val); } @@ -3191,11 +3360,13 @@ void g_eq (unsigned flags, unsigned long val) { static char* ops [12] = { "toseq00", "toseqa0", "toseqax", - "toseq00", "toseqa0", "toseqax", - 0, 0, "toseqeax", - 0, 0, "toseqeax", + "toseq00", "toseqa0", "toseqax", + 0, 0, "toseqeax", + 0, 0, "toseqeax", }; + unsigned L; + /* If the right hand side is const, the lhs is not on stack but still * in the primary register. */ @@ -3205,17 +3376,19 @@ void g_eq (unsigned flags, unsigned long val) case CF_CHAR: if (flags & CF_FORCECHAR) { - AddCodeLine ("\tcmp\t#$%02X", val & 0xFF); - AddCodeLine ("\tjsr\tbooleq"); + AddCodeLine ("cmp #$%02X", (unsigned char)val); + AddCodeLine ("jsr booleq"); return; } /* FALLTHROUGH */ case CF_INT: - AddCodeLine ("\tcpx\t#$%02X", (val >> 8) & 0xFF); - AddCodeLine ("\tbne\t*+4"); - AddCodeLine ("\tcmp\t#$%02X", val & 0xFF); - AddCodeLine ("\tjsr\tbooleq"); + L = GetLocalLabel(); + AddCodeLine ("cpx #$%02X", (unsigned char)(val >> 8)); + AddCodeLine ("bne %s", LocalLabelName (L)); + AddCodeLine ("cmp #$%02X", (unsigned char)val); + g_defcodelabel (L); + AddCodeLine ("jsr booleq"); return; case CF_LONG: @@ -3248,6 +3421,7 @@ void g_ne (unsigned flags, unsigned long val) 0, 0, "tosneeax", }; + unsigned L; /* If the right hand side is const, the lhs is not on stack but still * in the primary register. @@ -3258,17 +3432,19 @@ void g_ne (unsigned flags, unsigned long val) case CF_CHAR: if (flags & CF_FORCECHAR) { - AddCodeLine ("\tcmp\t#$%02X", val & 0xFF); - AddCodeLine ("\tjsr\tboolne"); + AddCodeLine ("cmp #$%02X", (unsigned char)val); + AddCodeLine ("jsr boolne"); return; } /* FALLTHROUGH */ case CF_INT: - AddCodeLine ("\tcpx\t#$%02X", (val >> 8) & 0xFF); - AddCodeLine ("\tbne\t*+4"); - AddCodeLine ("\tcmp\t#$%02X", val & 0xFF); - AddCodeLine ("\tjsr\tboolne"); + L = GetLocalLabel(); + AddCodeLine ("cpx #$%02X", (unsigned char)(val >> 8)); + AddCodeLine ("bne %s", LocalLabelName (L)); + AddCodeLine ("cmp #$%02X", (unsigned char)val); + g_defcodelabel (L); + AddCodeLine ("jsr boolne"); return; case CF_LONG: @@ -3295,10 +3471,10 @@ void g_lt (unsigned flags, unsigned long val) /* Test for less than */ { static char* ops [12] = { - "toslt00", "toslta0", "tosltax", - "tosult00", "tosulta0", "tosultax", - 0, 0, "toslteax", - 0, 0, "tosulteax", + "toslt00", "toslta0", "tosltax", + "tosult00", "tosulta0", "tosultax", + 0, 0, "toslteax", + 0, 0, "tosulteax", }; /* If the right hand side is const, the lhs is not on stack but still @@ -3308,45 +3484,78 @@ void g_lt (unsigned flags, unsigned long val) /* Give a warning in some special cases */ if ((flags & CF_UNSIGNED) && val == 0) { - Warning (WARN_COND_NEVER_TRUE); + Warning ("Condition is never true"); + AddCodeLine ("jsr return0"); + return; } /* Look at the type */ switch (flags & CF_TYPE) { case CF_CHAR: - if (flags & CF_FORCECHAR) { - AddCodeLine ("\tcmp\t#$%02X", val & 0xFF); - if (flags & CF_UNSIGNED) { - AddCodeLine ("\tjsr\tboolult"); - } else { - AddCodeLine ("\tjsr\tboollt"); - } - return; - } - /* FALLTHROUGH */ + if (flags & CF_FORCECHAR) { + AddCodeLine ("cmp #$%02X", (unsigned char)val); + if (flags & CF_UNSIGNED) { + AddCodeLine ("jsr boolult"); + } else { + AddCodeLine ("jsr boollt"); + } + return; + } + /* FALLTHROUGH */ case CF_INT: + if (flags & CF_UNSIGNED) { + /* Unsigned compare */ + /* If the low byte is zero, we must only test the high byte */ + AddCodeLine ("cpx #$%02X", (unsigned char)(val >> 8)); + if ((val & 0xFF) != 0) { + unsigned L = GetLocalLabel(); + AddCodeLine ("bne %s", LocalLabelName (L)); + AddCodeLine ("cmp #$%02X", (unsigned char)val); + g_defcodelabel (L); + } + AddCodeLine ("jsr boolult"); + } else { + /* Signed compare */ + if ((val & 0xFF) == 0) { + /* Low byte is zero, just look at the high byte */ + AddCodeLine ("cpx #$%02X", (unsigned char)(val >> 8)); + } else { + /* Subtract the two values */ + AddCodeLine ("cmp #$%02X", (unsigned char)val); + AddCodeLine ("txa"); + AddCodeLine ("sbc #$%02X", (unsigned char)(val >> 8)); + } + AddCodeLine ("jsr boollt"); + } + return; + + case CF_LONG: if ((flags & CF_UNSIGNED) == 0 && val == 0) { /* If we have a signed compare against zero, we only need to * test the high byte. */ - AddCodeLine ("\ttxa"); - AddCodeLine ("\tjsr\tboollt"); - return; + AddCodeLine ("lda sreg+1"); + } else { + /* Do a subtraction */ + AddCodeLine ("cmp #$%02X", (unsigned char)val); + AddCodeLine ("txa"); + AddCodeLine ("sbc #$%02X", (unsigned char)(val >> 8)); + AddCodeLine ("lda sreg"); + AddCodeLine ("sbc #$%02X", (unsigned char)(val >> 16)); + AddCodeLine ("lda sreg+1"); + AddCodeLine ("sbc #$%02X", (unsigned char)(val >> 24)); } - /* Direct code only for unsigned data types */ - if (flags & CF_UNSIGNED) { - AddCodeLine ("\tcpx\t#$%02X", (val >> 8) & 0xFF); - AddCodeLine ("\tbne\t*+4"); - AddCodeLine ("\tcmp\t#$%02X", val & 0xFF); - AddCodeLine ("\tjsr\tboolult"); - return; - } - break; - - case CF_LONG: - break; + /* Emit the proper makebool routine */ + if (flags & CF_UNSIGNED) { + /* Unsigned compare */ + AddCodeLine ("jsr boolult"); + } else { + /* Signed compare */ + AddCodeLine ("jsr boollt"); + } + return; default: typeerror (flags); @@ -3384,13 +3593,32 @@ void g_le (unsigned flags, unsigned long val) /* Look at the type */ switch (flags & CF_TYPE) { - case CF_CHAR: - if (flags & CF_FORCECHAR) { - AddCodeLine ("\tcmp\t#$%02X", val & 0xFF); - if (flags & CF_UNSIGNED) { - AddCodeLine ("\tjsr\tboolule"); - } else { - AddCodeLine ("\tjsr\tboolle"); + case CF_CHAR: + if (flags & CF_FORCECHAR) { + if (flags & CF_UNSIGNED) { + /* Unsigned compare */ + if (val < 0xFF) { + /* Use < instead of <= because the former gives + * better code on the 6502 than the latter. + */ + g_lt (flags, val+1); + } else { + /* Always true */ + Warning ("Condition is always true"); + AddCodeLine ("jsr return1"); + } + } else { + /* Signed compare */ + if ((long) val < 0x7F) { + /* Use < instead of <= because the former gives + * better code on the 6502 than the latter. + */ + g_lt (flags, val+1); + } else { + /* Always true */ + Warning ("Condition is always true"); + AddCodeLine ("jsr return1"); + } } return; } @@ -3398,16 +3626,53 @@ void g_le (unsigned flags, unsigned long val) case CF_INT: if (flags & CF_UNSIGNED) { - AddCodeLine ("\tcpx\t#$%02X", (val >> 8) & 0xFF); - AddCodeLine ("\tbne\t*+4"); - AddCodeLine ("\tcmp\t#$%02X", val & 0xFF); - AddCodeLine ("\tjsr\tboolule"); - return; + /* Unsigned compare */ + if (val < 0xFFFF) { + /* Use < instead of <= because the former gives + * better code on the 6502 than the latter. + */ + g_lt (flags, val+1); + } else { + /* Always true */ + Warning ("Condition is always true"); + AddCodeLine ("jsr return1"); + } + } else { + /* Signed compare */ + if ((long) val < 0x7FFF) { + g_lt (flags, val+1); + } else { + /* Always true */ + Warning ("Condition is always true"); + AddCodeLine ("jsr return1"); + } } - break; + return; case CF_LONG: - break; + if (flags & CF_UNSIGNED) { + /* Unsigned compare */ + if (val < 0xFFFFFFFF) { + /* Use < instead of <= because the former gives + * better code on the 6502 than the latter. + */ + g_lt (flags, val+1); + } else { + /* Always true */ + Warning ("Condition is always true"); + AddCodeLine ("jsr return1"); + } + } else { + /* Signed compare */ + if ((long) val < 0x7FFFFFFF) { + g_lt (flags, val+1); + } else { + /* Always true */ + Warning ("Condition is always true"); + AddCodeLine ("jsr return1"); + } + } + return; default: typeerror (flags); @@ -3430,10 +3695,10 @@ void g_gt (unsigned flags, unsigned long val) /* Test for greater than */ { static char* ops [12] = { - "tosgt00", "tosgta0", "tosgtax", - "tosugt00", "tosugta0", "tosugtax", - 0, 0, "tosgteax", - 0, 0, "tosugteax", + "tosgt00", "tosgta0", "tosgtax", + "tosugt00", "tosugta0", "tosugtax", + 0, 0, "tosgteax", + 0, 0, "tosugteax", }; @@ -3445,51 +3710,105 @@ void g_gt (unsigned flags, unsigned long val) /* Look at the type */ switch (flags & CF_TYPE) { - case CF_CHAR: - if (flags & CF_FORCECHAR) { - AddCodeLine ("\tcmp\t#$%02X", val & 0xFF); - if (flags & CF_UNSIGNED) { - /* If we have a compare > 0, we will replace it by - * != 0 here, since both are identical but the latter - * is easier to optimize. - */ - if (val & 0xFF) { - AddCodeLine ("\tjsr\tboolugt"); - } else { - AddCodeLine ("\tjsr\tboolne"); - } - } else { - AddCodeLine ("\tjsr\tboolgt"); - } - return; - } - /* FALLTHROUGH */ + case CF_CHAR: + if (flags & CF_FORCECHAR) { + if (flags & CF_UNSIGNED) { + if (val == 0) { + /* If we have a compare > 0, we will replace it by + * != 0 here, since both are identical but the + * latter is easier to optimize. + */ + g_ne (flags, val); + } else if (val < 0xFF) { + /* Use >= instead of > because the former gives + * better code on the 6502 than the latter. + */ + g_ge (flags, val+1); + } else { + /* Never true */ + Warning ("Condition is never true"); + AddCodeLine ("jsr return0"); + } + } else { + if ((long) val < 0x7F) { + /* Use >= instead of > because the former gives + * better code on the 6502 than the latter. + */ + g_ge (flags, val+1); + } else { + /* Never true */ + Warning ("Condition is never true"); + AddCodeLine ("jsr return0"); + } + } + return; + } + /* FALLTHROUGH */ - case CF_INT: - if (flags & CF_UNSIGNED) { - /* If we have a compare > 0, we will replace it by - * != 0 here, since both are identical but the latter - * is easier to optimize. - */ - if ((val & 0xFFFF) == 0) { - AddCodeLine ("\tstx\ttmp1"); - AddCodeLine ("\tora\ttmp1"); - AddCodeLine ("\tjsr\tboolne"); + case CF_INT: + if (flags & CF_UNSIGNED) { + /* Unsigned compare */ + if (val == 0) { + /* If we have a compare > 0, we will replace it by + * != 0 here, since both are identical but the latter + * is easier to optimize. + */ + g_ne (flags, val); + } else if (val < 0xFFFF) { + /* Use >= instead of > because the former gives better + * code on the 6502 than the latter. + */ + g_ge (flags, val+1); } else { - AddCodeLine ("\tcpx\t#$%02X", (val >> 8) & 0xFF); - AddCodeLine ("\tbne\t*+4"); - AddCodeLine ("\tcmp\t#$%02X", val & 0xFF); - AddCodeLine ("\tjsr\tboolugt"); - } - return; - } - break; + /* Never true */ + Warning ("Condition is never true"); + AddCodeLine ("jsr return0"); + } + } else { + /* Signed compare */ + if ((long) val < 0x7FFF) { + g_ge (flags, val+1); + } else { + /* Never true */ + Warning ("Condition is never true"); + AddCodeLine ("jsr return0"); + } + } + return; case CF_LONG: - break; + if (flags & CF_UNSIGNED) { + /* Unsigned compare */ + if (val == 0) { + /* If we have a compare > 0, we will replace it by + * != 0 here, since both are identical but the latter + * is easier to optimize. + */ + g_ne (flags, val); + } else if (val < 0xFFFFFFFF) { + /* Use >= instead of > because the former gives better + * code on the 6502 than the latter. + */ + g_ge (flags, val+1); + } else { + /* Never true */ + Warning ("Condition is never true"); + AddCodeLine ("jsr return0"); + } + } else { + /* Signed compare */ + if ((long) val < 0x7FFFFFFF) { + g_ge (flags, val+1); + } else { + /* Never true */ + Warning ("Condition is never true"); + AddCodeLine ("jsr return0"); + } + } + return; default: - typeerror (flags); + typeerror (flags); } /* If we go here, we didn't emit code. Push the lhs on stack and fall @@ -3523,7 +3842,9 @@ void g_ge (unsigned flags, unsigned long val) /* Give a warning in some special cases */ if ((flags & CF_UNSIGNED) && val == 0) { - Warning (WARN_COND_ALWAYS_TRUE); + Warning ("Condition is always true"); + AddCodeLine ("jsr return1"); + return; } /* Look at the type */ @@ -3531,11 +3852,11 @@ void g_ge (unsigned flags, unsigned long val) case CF_CHAR: if (flags & CF_FORCECHAR) { - AddCodeLine ("\tcmp\t#$%02X", val & 0xFF); + AddCodeLine ("cmp #$%02X", (unsigned char)val); if (flags & CF_UNSIGNED) { - AddCodeLine ("\tjsr\tbooluge"); + AddCodeLine ("jsr booluge"); } else { - AddCodeLine ("\tjsr\tboolge"); + AddCodeLine ("jsr boolge"); } return; } @@ -3543,19 +3864,59 @@ void g_ge (unsigned flags, unsigned long val) case CF_INT: if (flags & CF_UNSIGNED) { - AddCodeLine ("\tcpx\t#$%02X", (val >> 8) & 0xFF); - AddCodeLine ("\tbne\t*+4"); - AddCodeLine ("\tcmp\t#$%02X", val & 0xFF); - AddCodeLine ("\tjsr\tbooluge"); - return; + /* Unsigned compare */ + /* If the low byte is zero, we must only test the high byte */ + AddCodeLine ("cpx #$%02X", (unsigned char)(val >> 8)); + if ((val & 0xFF) != 0) { + unsigned L = GetLocalLabel(); + AddCodeLine ("bne %s", LocalLabelName (L)); + AddCodeLine ("cmp #$%02X", (unsigned char)val); + g_defcodelabel (L); + } + AddCodeLine ("jsr booluge"); + } else { + /* Signed compare */ + if ((val & 0xFF) == 0) { + /* Low byte is zero, just look at the high byte */ + AddCodeLine ("cpx #$%02X", (unsigned char)(val >> 8)); + } else { + /* Subtract the two values */ + AddCodeLine ("cmp #$%02X", (unsigned char)val); + AddCodeLine ("txa"); + AddCodeLine ("sbc #$%02X", (unsigned char)(val >> 8)); + } + AddCodeLine ("jsr boolge"); } - break; + return; case CF_LONG: - break; + if ((flags & CF_UNSIGNED) == 0 && val == 0) { + /* If we have a signed compare against zero, we only need to + * test the high byte. + */ + AddCodeLine ("lda sreg+1"); + } else { + /* Do a subtraction */ + AddCodeLine ("cmp #$%02X", (unsigned char)val); + AddCodeLine ("txa"); + AddCodeLine ("sbc #$%02X", (unsigned char)(val >> 8)); + AddCodeLine ("lda sreg"); + AddCodeLine ("sbc #$%02X", (unsigned char)(val >> 16)); + AddCodeLine ("lda sreg+1"); + AddCodeLine ("sbc #$%02X", (unsigned char)(val >> 24)); + } + /* Emit the proper makebool routine */ + if (flags & CF_UNSIGNED) { + /* Unsigned compare */ + AddCodeLine ("jsr booluge"); + } else { + /* Signed compare */ + AddCodeLine ("jsr boolge"); + } + return; default: - typeerror (flags); + typeerror (flags); } /* If we go here, we didn't emit code. Push the lhs on stack and fall @@ -3572,20 +3933,20 @@ void g_ge (unsigned flags, unsigned long val) /*****************************************************************************/ -/* Allocating static storage */ +/* Allocating static storage */ /*****************************************************************************/ void g_res (unsigned n) -/* reserve static storage, n bytes */ +/* Reserve static storage, n bytes */ { - AddCodeLine ("\t.res\t%u", n); + AddDataLine ("\t.res\t%u,$00", n); } -void g_defdata (unsigned flags, unsigned long val, unsigned offs) +void g_defdata (unsigned flags, unsigned long val, long offs) /* Define data with the size given in flags */ { if (flags & CF_CONST) { @@ -3594,15 +3955,15 @@ void g_defdata (unsigned flags, unsigned long val, unsigned offs) switch (flags & CF_TYPE) { case CF_CHAR: - AddCodeLine ("\t.byte\t$%02lX", val & 0xFF); + AddDataLine ("\t.byte\t$%02lX", val & 0xFF); break; case CF_INT: - AddCodeLine ("\t.word\t$%04lX", val & 0xFFFF); + AddDataLine ("\t.word\t$%04lX", val & 0xFFFF); break; case CF_LONG: - AddCodeLine ("\t.dword\t$%08lX", val & 0xFFFFFFFF); + AddDataLine ("\t.dword\t$%08lX", val & 0xFFFFFFFF); break; default: @@ -3617,20 +3978,23 @@ void g_defdata (unsigned flags, unsigned long val, unsigned offs) const char* Label = GetLabelName (flags, val, offs); /* Labels are always 16 bit */ - AddCodeLine ("\t.word\t%s", Label); + AddDataLine ("\t.addr\t%s", Label); } } -void g_defbytes (const unsigned char* Bytes, unsigned Count) -/* output a row of bytes as a constant */ +void g_defbytes (const void* Bytes, unsigned Count) +/* Output a row of bytes as a constant */ { unsigned Chunk; char Buf [128]; char* B; + /* Cast the buffer pointer */ + const unsigned char* Data = (const unsigned char*) Bytes; + /* Output the stuff */ while (Count) { @@ -3644,71 +4008,239 @@ void g_defbytes (const unsigned char* Bytes, unsigned Count) strcpy (Buf, "\t.byte\t"); B = Buf + 7; do { - B += sprintf (B, "$%02X", *Bytes++ & 0xFF); + B += sprintf (B, "$%02X", *Data++); if (--Chunk) { *B++ = ','; } } while (Chunk); /* Output the line */ - AddCodeLine (Buf); + AddDataLine (Buf); + } +} + + + +void g_zerobytes (unsigned Count) +/* Output Count bytes of data initialized with zero */ +{ + if (Count > 0) { + AddDataLine ("\t.res\t%u,$00", Count); } } -void g_zerobytes (unsigned n) -/* Output n bytes of data initialized with zero */ +void g_initregister (unsigned Label, unsigned Reg, unsigned Size) +/* Initialize a register variable from static initialization data */ +{ + /* Register variables do always have less than 128 bytes */ + unsigned CodeLabel = GetLocalLabel (); + ldxconst (Size-1); + g_defcodelabel (CodeLabel); + AddCodeLine ("lda %s,x", GetLabelName (CF_STATIC, Label, 0)); + AddCodeLine ("sta %s,x", GetLabelName (CF_REGVAR, Reg, 0)); + AddCodeLine ("dex"); + AddCodeLine ("bpl %s", LocalLabelName (CodeLabel)); +} + + + +void g_initauto (unsigned Label, unsigned Size) +/* Initialize a local variable at stack offset zero from static data */ +{ + unsigned CodeLabel = GetLocalLabel (); + + CheckLocalOffs (Size); + if (Size <= 128) { + ldyconst (Size-1); + g_defcodelabel (CodeLabel); + AddCodeLine ("lda %s,y", GetLabelName (CF_STATIC, Label, 0)); + AddCodeLine ("sta (sp),y"); + AddCodeLine ("dey"); + AddCodeLine ("bpl %s", LocalLabelName (CodeLabel)); + } else if (Size <= 256) { + ldyconst (0); + g_defcodelabel (CodeLabel); + AddCodeLine ("lda %s,y", GetLabelName (CF_STATIC, Label, 0)); + AddCodeLine ("sta (sp),y"); + AddCodeLine ("iny"); + AddCodeLine ("cpy #$%02X", (unsigned char) Size); + AddCodeLine ("bne %s", LocalLabelName (CodeLabel)); + } +} + + + +void g_initstatic (unsigned InitLabel, unsigned VarLabel, unsigned Size) +/* Initialize a static local variable from static initialization data */ +{ + if (Size <= 128) { + unsigned CodeLabel = GetLocalLabel (); + ldyconst (Size-1); + g_defcodelabel (CodeLabel); + AddCodeLine ("lda %s,y", GetLabelName (CF_STATIC, InitLabel, 0)); + AddCodeLine ("sta %s,y", GetLabelName (CF_STATIC, VarLabel, 0)); + AddCodeLine ("dey"); + AddCodeLine ("bpl %s", LocalLabelName (CodeLabel)); + } else if (Size <= 256) { + unsigned CodeLabel = GetLocalLabel (); + ldyconst (0); + g_defcodelabel (CodeLabel); + AddCodeLine ("lda %s,y", GetLabelName (CF_STATIC, InitLabel, 0)); + AddCodeLine ("sta %s,y", GetLabelName (CF_STATIC, VarLabel, 0)); + AddCodeLine ("iny"); + AddCodeLine ("cpy #$%02X", (unsigned char) Size); + AddCodeLine ("bne %s", LocalLabelName (CodeLabel)); + } else { + /* Use the easy way here: memcpy */ + g_getimmed (CF_STATIC, VarLabel, 0); + AddCodeLine ("jsr pushax"); + g_getimmed (CF_STATIC, InitLabel, 0); + AddCodeLine ("jsr pushax"); + g_getimmed (CF_INT | CF_UNSIGNED | CF_CONST, Size, 0); + AddCodeLine ("jsr %s", GetLabelName (CF_EXTERNAL, (unsigned long) "memcpy", 0)); + } +} + + + +/*****************************************************************************/ +/* Switch statement */ +/*****************************************************************************/ + + + +void g_switch (Collection* Nodes, unsigned DefaultLabel, unsigned Depth) +/* Generate code for a switch statement */ +{ + unsigned NextLabel = 0; + unsigned I; + + /* Setup registers and determine which compare insn to use */ + const char* Compare; + switch (Depth) { + case 1: + Compare = "cmp #$%02X"; + break; + case 2: + Compare = "cpx #$%02X"; + break; + case 3: + AddCodeLine ("ldy sreg"); + Compare = "cpy #$%02X"; + break; + case 4: + AddCodeLine ("ldy sreg+1"); + Compare = "cpy #$%02X"; + break; + default: + Internal ("Invalid depth in g_switch: %u", Depth); + } + + /* Walk over all nodes */ + for (I = 0; I < CollCount (Nodes); ++I) { + + /* Get the next case node */ + CaseNode* N = CollAtUnchecked (Nodes, I); + + /* If we have a next label, define it */ + if (NextLabel) { + g_defcodelabel (NextLabel); + NextLabel = 0; + } + + /* Do the compare */ + AddCodeLine (Compare, CN_GetValue (N)); + + /* If this is the last level, jump directly to the case code if found */ + if (Depth == 1) { + + /* Branch if equal */ + g_falsejump (0, CN_GetLabel (N)); + + } else { + + /* Determine the next label */ + if (I == CollCount (Nodes) - 1) { + /* Last node means not found */ + g_truejump (0, DefaultLabel); + } else { + /* Jump to the next check */ + NextLabel = GetLocalLabel (); + g_truejump (0, NextLabel); + } + + /* Check the next level */ + g_switch (N->Nodes, DefaultLabel, Depth-1); + + } + } + + /* If we go here, we haven't found the label */ + g_jump (DefaultLabel); +} + + + +/*****************************************************************************/ +/* User supplied assembler code */ +/*****************************************************************************/ + + + +void g_asmcode (struct StrBuf* B) +/* Output one line of assembler code. */ { - AddCodeLine ("\t.res\t%u", n); + AddCodeLine ("%.*s", SB_GetLen (B), SB_GetConstBuf (B)); } /*****************************************************************************/ -/* Inlined known functions */ +/* Inlined known functions */ /*****************************************************************************/ -void g_strlen (unsigned flags, unsigned long val, unsigned offs) +void g_strlen (unsigned flags, unsigned long val, long offs) /* Inline the strlen() function */ { /* We need a label in both cases */ - unsigned label = GetLabel (); + unsigned label = GetLocalLabel (); /* Two different encodings */ if (flags & CF_CONST) { /* The address of the string is constant. Create the correct label name */ - char* lbuf = GetLabelName (flags, val, offs); + const char* lbuf = GetLabelName (flags, val, offs); /* Generate the strlen code */ - AddCodeLine ("\tldy\t#$FF"); - g_defloclabel (label); - AddCodeLine ("\tiny"); - AddCodeLine ("\tlda\t%s,y", lbuf); - AddCodeLine ("\tbne\tL%04X", label); - AddCodeLine ("\ttya"); - AddCodeLine ("\tldx\t#$00"); + AddCodeLine ("ldy #$FF"); + g_defcodelabel (label); + AddCodeLine ("iny"); + AddCodeLine ("lda %s,y", lbuf); + AddCodeLine ("bne %s", LocalLabelName (label)); + AddCodeLine ("tax"); + AddCodeLine ("tya"); } else { /* Address not constant but in primary */ - if (FavourSize) { + if (CodeSizeFactor < 400) { /* This is too much code, so call strlen instead of inlining */ - AddCodeLine ("\tjsr\t_strlen"); + AddCodeLine ("jsr _strlen"); } else { /* Inline the function */ - AddCodeLine ("\tsta\tptr1"); - AddCodeLine ("\tstx\tptr1+1"); - AddCodeLine ("\tldy\t#$FF"); - g_defloclabel (label); - AddCodeLine ("\tiny"); - AddCodeLine ("\tlda\t(ptr1),y"); - AddCodeLine ("\tbne\tL%04X", label); - AddCodeLine ("\ttya"); - AddCodeLine ("\tldx\t#$00"); + AddCodeLine ("sta ptr1"); + AddCodeLine ("stx ptr1+1"); + AddCodeLine ("ldy #$FF"); + g_defcodelabel (label); + AddCodeLine ("iny"); + AddCodeLine ("lda (ptr1),y"); + AddCodeLine ("bne %s", LocalLabelName (label)); + AddCodeLine ("tax"); + AddCodeLine ("tya"); } } }