]> git.sur5r.net Git - cc65/blobdiff - src/cc65/codegen.c
Fixed a bug
[cc65] / src / cc65 / codegen.c
index 6b3fc32a9c2a22048054bcc47a16c7592152b93f..6e05351d0d22d1d335214ae46b601f774f0fde6c 100644 (file)
@@ -6,10 +6,10 @@
 /*                                                                           */
 /*                                                                           */
 /*                                                                           */
-/* (C) 1998     Ullrich von Bassewitz                                        */
-/*              Wacholderweg 14                                              */
-/*              D-70597 Stuttgart                                            */
-/* EMail:       uz@musoftware.de                                             */
+/* (C) 1998-2002 Ullrich von Bassewitz                                       */
+/*               Wacholderweg 14                                             */
+/*               D-70597 Stuttgart                                           */
+/* EMail:        uz@cc65.org                                                 */
 /*                                                                           */
 /*                                                                           */
 /* This software is provided 'as-is', without any expressed or implied       */
 
 #include <stdio.h>
 #include <string.h>
+#include <stdarg.h>
 
-#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;
-
-/* Segment names */
-static char* SegmentNames [4];
-static char* SegmentHints [4] = {
-    "seg:code", "seg:rodata", "seg:data", "seg:bss"
-};
+/* Compiler relative stack pointer */
+int oursp      = 0;
 
 
 
 /*****************************************************************************/
-/*                                 Helpers                                  */
+/*                                         Helpers                                  */
 /*****************************************************************************/
 
 
@@ -97,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");
     }
-
+                   
     /* Return a pointer to the static buffer */
-    return lbuf;
+    return Buf;
 }
 
 
 
 /*****************************************************************************/
-/*                           Pre- and postamble                             */
+/*                           Pre- and postamble                             */
 /*****************************************************************************/
 
 
@@ -150,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 */
+void g_fileinfo (const char* Name, unsigned long Size, unsigned long MTime)
+/* If debug info is enabled, place a file info into the source */
 {
-    /* Tell the optimizer that this is the start of the postamble */
-    AddCodeHint ("start_of_postamble");
+    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);
 }
 
 
@@ -238,7 +217,7 @@ void g_userodata (void)
 void g_usedata (void)
 /* Switch to the data segment */
 {
-    UseSeg (SEG_DATA);
+    UseDataSeg (SEG_DATA);
 }
 
 
@@ -246,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                                    */
 /*****************************************************************************/
 
 
@@ -381,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                      */
 /*****************************************************************************/
 
 
@@ -398,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);
 }
 
 
@@ -407,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);
     }
 }
 
@@ -419,9 +379,9 @@ 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);
     }
 }
 
@@ -436,7 +396,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);
 }
 
 
@@ -444,7 +404,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);
 }
 
 
@@ -452,7 +412,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);
 }
 
 
@@ -479,75 +439,47 @@ 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");
 }
 
 
@@ -564,28 +496,28 @@ void g_save_regvars (int RegOffs, unsigned Bytes)
     /* 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));
 
     }
 
@@ -606,30 +538,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));
 
     }
 }
@@ -642,128 +574,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;
 
@@ -785,20 +728,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;
@@ -807,37 +746,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);
     }
 }
@@ -860,56 +783,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;
 
@@ -920,7 +821,7 @@ void g_getind (unsigned flags, unsigned offs)
 }
 
 
-                                                        
+
 void g_leasp (int offs)
 /* Fetch the address of the specified symbol into the primary register */
 {
@@ -929,21 +830,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) {
-           ldaconst (offs);                    /* Load A with offset value */
-           AddCodeLine ("\tjsr\tleaasp");      /* 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);
     }
 }
 
@@ -955,31 +909,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:
@@ -990,86 +944,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);
 
     }
 
@@ -1093,9 +1093,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;
@@ -1120,7 +1120,7 @@ void g_tosint (unsigned flags)
            break;
 
        case CF_LONG:
-           AddCodeLine ("\tjsr\ttosint");
+           AddCodeLine ("jsr tosint");
            pop (CF_INT);
            break;
 
@@ -1131,23 +1131,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;
 
@@ -1155,7 +1218,7 @@ void g_reglong (unsigned flags)
            break;
 
        default:
-           typeerror (flags);
+           typeerror (Flags);
     }
 }
 
@@ -1223,9 +1286,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
@@ -1260,44 +1328,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);
@@ -1315,21 +1383,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;
                        }
                    }
@@ -1337,36 +1405,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;
 
@@ -1387,7 +1455,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               */
 /*****************************************************************************/
 
 
@@ -1395,6 +1463,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);
@@ -1402,24 +1472,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:
@@ -1437,30 +1508,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:
@@ -1478,66 +1552,45 @@ void g_addstatic (unsigned flags, unsigned long label, unsigned offs)
 
 
 
-/*****************************************************************************/
-/*            Compares of ax with a variable with fixed address             */
-/*****************************************************************************/
-
-
-
-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;
                    }
@@ -1546,55 +1599,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);
@@ -1602,10 +1655,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;
 
@@ -1628,63 +1681,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:
@@ -1707,50 +1755,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;
 
@@ -1761,100 +1801,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;
 
@@ -1878,23 +1913,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 */
 
@@ -1902,24 +1937,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:
@@ -1942,48 +1969,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 */
@@ -2002,47 +2021,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");
 }
 
 
@@ -2060,19 +2086,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:
@@ -2083,25 +2109,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:
@@ -2116,20 +2142,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:
@@ -2146,7 +2176,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
@@ -2178,19 +2208,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 */
@@ -2200,27 +2230,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;
 
@@ -2235,36 +2265,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 {
@@ -2281,16 +2295,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:
@@ -2315,11 +2329,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:
@@ -2330,105 +2344,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);
-}
-
-
-
-void g_switch (unsigned flags)
-/* Output switch statement preample */
-{
-    switch (flags & CF_TYPE) {
-
-       case CF_CHAR:
-       case CF_INT:
-           AddCodeLine ("\tjsr\tswitch");
-           break;
-
-       case CF_LONG:
-           AddCodeLine ("\tjsr\tlswitch");
-           break;
-
-       default:
-           typeerror (flags);
 
-    }
+    /* Callee pops args */
+    oursp += ArgSize;
 }
 
 
 
-void g_case (unsigned flags, unsigned label, unsigned long val)
-/* Create table code for one case selector */
+void g_jump (unsigned Label)
+/* Jump to specified internal label number */
 {
-    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);
-
-    }
+    AddCodeLine ("jmp %s", LocalLabelName (Label));
 }
 
 
 
-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));
 }
 
 
@@ -2436,11 +2415,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);
     }
 }
 
@@ -2450,14 +2429,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 */
 {
@@ -2469,7 +2464,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);
@@ -2488,7 +2483,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);
@@ -2515,7 +2510,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",
     };
@@ -2526,7 +2521,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
@@ -2538,50 +2533,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);
 
     }
@@ -2611,7 +2634,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);
@@ -2639,7 +2662,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);
@@ -2668,7 +2691,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;
                }
@@ -2676,14 +2699,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;
@@ -2726,7 +2749,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;
                }
@@ -2735,15 +2758,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;
@@ -2751,7 +2774,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;
                }
@@ -2793,7 +2816,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 */
@@ -2804,23 +2827,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);
                        }
                    }
                }
@@ -2829,16 +2852,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;
@@ -2864,10 +2887,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
@@ -2879,59 +2902,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);
 
     }
 
@@ -2945,10 +2976,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",
     };
 
 
@@ -2961,40 +2992,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;
@@ -3023,11 +3061,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:
@@ -3043,15 +3081,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:
@@ -3068,11 +3106,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:
@@ -3096,52 +3134,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;
@@ -3149,7 +3200,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);
            }
@@ -3166,33 +3217,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);
            }
@@ -3219,11 +3312,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.
      */
@@ -3233,17 +3328,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:
@@ -3276,6 +3373,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.
@@ -3286,17 +3384,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:
@@ -3323,10 +3423,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
@@ -3336,45 +3436,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);
@@ -3412,13 +3545,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;
                }
@@ -3426,16 +3578,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);
@@ -3458,10 +3647,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",
     };
 
 
@@ -3473,51 +3662,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
@@ -3551,7 +3794,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 */
@@ -3559,11 +3804,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;
                }
@@ -3571,19 +3816,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
@@ -3600,7 +3885,7 @@ void g_ge (unsigned flags, unsigned long val)
 
 
 /*****************************************************************************/
-/*                        Allocating static storage                         */
+/*                        Allocating static storage                         */
 /*****************************************************************************/
 
 
@@ -3608,12 +3893,12 @@ void g_ge (unsigned flags, unsigned long val)
 void g_res (unsigned n)
 /* Reserve static storage, n bytes */
 {
-    AddCodeLine ("\t.res\t%u,$00", 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) {
@@ -3622,15 +3907,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:
@@ -3645,20 +3930,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)
+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) {
 
@@ -3672,14 +3960,14 @@ 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);
     }
 }
 
@@ -3688,55 +3976,221 @@ void g_defbytes (const unsigned char* Bytes, unsigned Count)
 void g_zerobytes (unsigned n)
 /* Output n bytes of data initialized with zero */
 {
-    AddCodeLine ("\t.res\t%u,$00", n);
+    AddDataLine ("\t.res\t%u,$00", n);
+}
+
+
+
+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 ("%.*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");
        }
     }
 }