From c1bbf69d720354ffb37280027b3be7d9da567e66 Mon Sep 17 00:00:00 2001
From: uz <uz@b7a2c559-68d2-44c3-8de9-860c34a00d81>
Date: Mon, 20 Aug 2012 20:07:05 +0000
Subject: [PATCH] New option --relax-checks that disable the check for a match
 beween size oif an expression and the address size. Will allow short branches
 between segments among other things. Suggested by Spiro Trikaliotis.

git-svn-id: svn://svn.cc65.org/cc65/trunk@5810 b7a2c559-68d2-44c3-8de9-860c34a00d81
---
 doc/ca65.sgml      | 15 +++++++++++++++
 src/ca65/global.c  |  3 ++-
 src/ca65/global.h  |  1 +
 src/ca65/main.c    | 13 ++++++++++++-
 src/ca65/segment.c | 18 ++++++++----------
 5 files changed, 38 insertions(+), 12 deletions(-)

diff --git a/doc/ca65.sgml b/doc/ca65.sgml
index a698b701b..b29912de2 100644
--- a/doc/ca65.sgml
+++ b/doc/ca65.sgml
@@ -120,6 +120,7 @@ Long options:
   --macpack-dir dir             Set a macro package directory
   --memory-model model          Set the memory model
   --pagelength n                Set the page length for the listing
+  --relax-checks                Relax some checks (see docs)
   --smart                       Enable smart mode
   --target sys                  Set the target system
   --verbose                     Increase verbosity
@@ -276,6 +277,20 @@ Here is a description of all the command line options:
   id=".PAGELENGTH" name=".PAGELENGTH"></tt> directive for more information.
 
 
+  <label id="option--relax-checks">
+  <tag><tt>--relax-checks</tt></tag>
+
+  Relax some checks done by the assembler. This will allow code that is an
+  error in most cases and flagged as such by the assembler, but can be valid
+  in special situations.
+
+  Examples are:
+<itemize>
+<item>Short branches between two different segments.
+<item>Byte sized address loads where the address is not a zeropage address.
+</itemize>
+
+
   <label id="option-s">
   <tag><tt>-s, --smart-mode</tt></tag>
 
diff --git a/src/ca65/global.c b/src/ca65/global.c
index faecfc26c..90f6c43c7 100644
--- a/src/ca65/global.c
+++ b/src/ca65/global.c
@@ -65,6 +65,7 @@ unsigned char SmartMode	         = 0;   /* Smart mode */
 unsigned char DbgSyms	         = 0;   /* Add debug symbols */
 unsigned char LineCont	         = 0;   /* Allow line continuation */
 unsigned char LargeAlignment     = 0;   /* Don't warn about large alignments */
+unsigned char RelaxChecks        = 0;   /* Relax a few assembler checks */
 
 /* Emulation features */
 unsigned char DollarIsPC         = 0;   /* Allow the $ symbol as current PC */
@@ -80,7 +81,7 @@ unsigned char UbiquitousIdents   = 0;   /* Allow ubiquitous identifiers */
 unsigned char OrgPerSeg          = 0;   /* Make .org local to current seg */
 unsigned char CComments          = 0;   /* Allow C like comments */
 unsigned char ForceRange         = 0;   /* Force values into expected range */
-                
+
 /* Misc stuff */
 const char Copyright[]           = "(C) Copyright 1998-2011 Ullrich von Bassewitz";
 
diff --git a/src/ca65/global.h b/src/ca65/global.h
index 3bd302bda..8d03c01a7 100644
--- a/src/ca65/global.h
+++ b/src/ca65/global.h
@@ -67,6 +67,7 @@ extern unsigned char   	SmartMode;     	    /* Smart mode */
 extern unsigned char   	DbgSyms;       	    /* Add debug symbols */
 extern unsigned char   	LineCont;      	    /* Allow line continuation */
 extern unsigned char    LargeAlignment;     /* Don't warn about large alignments */
+extern unsigned char    RelaxChecks;        /* Relax a few assembler checks */
 
 /* Emulation features */
 extern unsigned char   	DollarIsPC;    	    /* Allow the $ symbol as current PC */
diff --git a/src/ca65/main.c b/src/ca65/main.c
index f6fa1ecc2..f4aa4087c 100644
--- a/src/ca65/main.c
+++ b/src/ca65/main.c
@@ -6,7 +6,7 @@
 /*                                                                           */
 /*                                                                           */
 /*                                                                           */
-/* (C) 1998-2011, Ullrich von Bassewitz                                      */
+/* (C) 1998-2012, Ullrich von Bassewitz                                      */
 /*                Roemerstrasse 52                                           */
 /*                D-70794 Filderstadt                                        */
 /* EMail:         uz@cc65.org                                                */
@@ -125,6 +125,7 @@ static void Usage (void)
             "  --macpack-dir dir\t\tSet a macro package directory\n"
             "  --memory-model model\t\tSet the memory model\n"
             "  --pagelength n\t\tSet the page length for the listing\n"
+            "  --relax-checks\t\tRelax some checks (see docs)\n"
             "  --smart\t\t\tEnable smart mode\n"
             "  --target sys\t\t\tSet the target system\n"
             "  --verbose\t\t\tIncrease verbosity\n"
@@ -561,6 +562,15 @@ static void OptPageLength (const char* Opt attribute ((unused)), const char* Arg
 
 
 
+static void OptRelaxChecks (const char* Opt attribute ((unused)),
+		            const char* Arg attribute ((unused)))
+/* Handle the --relax-checks options */
+{
+    RelaxChecks = 1;
+}
+
+
+
 static void OptSmart (const char* Opt attribute ((unused)),
 		      const char* Arg attribute ((unused)))
 /* Handle the -s/--smart options */
@@ -871,6 +881,7 @@ int main (int argc, char* argv [])
         { "--macpack-dir",      1,      OptMacPackDir           },
         { "--memory-model",     1,      OptMemoryModel          },
 	{ "--pagelength",      	1,	OptPageLength		},
+        { "--relax-checks",     0,      OptRelaxChecks          },
     	{ "--smart",   	       	0,	OptSmart		},
 	{ "--target",  		1,	OptTarget		},
 	{ "--verbose", 	       	0,	OptVerbose		},
diff --git a/src/ca65/segment.c b/src/ca65/segment.c
index d0367ce32..5482681c6 100644
--- a/src/ca65/segment.c
+++ b/src/ca65/segment.c
@@ -407,20 +407,18 @@ void SegDone (void)
      	     	    }
      	     	    F->Type = FRAG_LITERAL;
 
-     	     	} else {
+      	     	} else if (RelaxChecks == 0) {
 
-                    /* Simplify the expression */
-                    /* ### F->V.Expr = SimplifyExpr (F->V.Expr, &ED); */
-
-     	     	    /* We cannot evaluate the expression now, leave the job for
-     	     	     * the linker. However, we can check if the address size
-                     * matches the fragment size, and we will do so.
-     	    	     */
+      	     	    /* We cannot evaluate the expression now, leave the job for
+      	     	     * the linker. However, we can check if the address size
+                     * matches the fragment size. Mismatches are errors in 
+                     * most situations.
+      	    	     */
                     if ((F->Len == 1 && ED.AddrSize > ADDR_SIZE_ZP)  ||
                         (F->Len == 2 && ED.AddrSize > ADDR_SIZE_ABS) ||
                         (F->Len == 3 && ED.AddrSize > ADDR_SIZE_FAR)) {
-     	       	        LIError (&F->LI, "Range error");
-     	     	    }
+      	       	        LIError (&F->LI, "Range error");
+      	     	    }
      	    	}
 
                 /* Release memory allocated for the expression decriptor */
-- 
2.39.5