]> git.sur5r.net Git - cc65/blob - src/cc65/codegen.c
Working on the optimizations
[cc65] / src / cc65 / codegen.c
1 /*****************************************************************************/
2 /*                                                                           */
3 /*                                 codegen.c                                 */
4 /*                                                                           */
5 /*                            6502 code generator                            */
6 /*                                                                           */
7 /*                                                                           */
8 /*                                                                           */
9 /* (C) 1998-2001 Ullrich von Bassewitz                                       */
10 /*               Wacholderweg 14                                             */
11 /*               D-70597 Stuttgart                                           */
12 /* EMail:        uz@cc65.org                                                 */
13 /*                                                                           */
14 /*                                                                           */
15 /* This software is provided 'as-is', without any expressed or implied       */
16 /* warranty.  In no event will the authors be held liable for any damages    */
17 /* arising from the use of this software.                                    */
18 /*                                                                           */
19 /* Permission is granted to anyone to use this software for any purpose,     */
20 /* including commercial applications, and to alter it and redistribute it    */
21 /* freely, subject to the following restrictions:                            */
22 /*                                                                           */
23 /* 1. The origin of this software must not be misrepresented; you must not   */
24 /*    claim that you wrote the original software. If you use this software   */
25 /*    in a product, an acknowledgment in the product documentation would be  */
26 /*    appreciated but is not required.                                       */
27 /* 2. Altered source versions must be plainly marked as such, and must not   */
28 /*    be misrepresented as being the original software.                      */
29 /* 3. This notice may not be removed or altered from any source              */
30 /*    distribution.                                                          */
31 /*                                                                           */
32 /*****************************************************************************/
33
34
35
36 #include <stdio.h>
37 #include <string.h>
38 #include <stdarg.h>
39
40 /* common */
41 #include "check.h"
42 #include "strbuf.h"
43 #include "version.h"
44 #include "xmalloc.h"
45 #include "xsprintf.h"
46
47 /* cc65 */
48 #include "asmcode.h"
49 #include "asmlabel.h"
50 #include "casenode.h"
51 #include "codeseg.h"
52 #include "cpu.h"
53 #include "dataseg.h"
54 #include "error.h"
55 #include "global.h"
56 #include "segments.h"
57 #include "textseg.h"
58 #include "util.h"
59 #include "codegen.h"
60
61
62
63 /*****************************************************************************/
64 /*                                   Data                                    */
65 /*****************************************************************************/
66
67
68
69 /* Compiler relative stack pointer */
70 int oursp       = 0;
71
72
73
74 /*****************************************************************************/
75 /*                                  Helpers                                  */
76 /*****************************************************************************/
77
78
79
80 static void typeerror (unsigned type)
81 /* Print an error message about an invalid operand type */
82 {
83     Internal ("Invalid type in CF flags: %04X, type = %u", type, type & CF_TYPE);
84 }
85
86
87
88 static void CheckLocalOffs (unsigned Offs)
89 /* Check the offset into the stack for 8bit range */
90 {
91     if (Offs >= 256) {
92         /* Too many local vars */
93         Error ("Too many local variables");
94     }
95 }
96
97
98
99 static char* GetLabelName (unsigned flags, unsigned long label, unsigned offs)
100 {
101     static char lbuf [128];             /* Label name */
102
103     /* Create the correct label name */
104     switch (flags & CF_ADDRMASK) {
105
106         case CF_STATIC:
107             /* Static memory cell */
108             sprintf (lbuf, "%s+%u", LocalLabelName (label), offs);
109             break;
110
111         case CF_EXTERNAL:
112             /* External label */
113             sprintf (lbuf, "_%s+%u", (char*) label, offs);
114             break;
115
116         case CF_ABSOLUTE:
117             /* Absolute address */
118             sprintf (lbuf, "$%04X", (unsigned)((label+offs) & 0xFFFF));
119             break;
120
121         case CF_REGVAR:
122             /* Variable in register bank */
123             sprintf (lbuf, "regbank+%u", (unsigned)((label+offs) & 0xFFFF));
124             break;
125
126         default:
127             Internal ("Invalid address flags");
128     }
129
130     /* Return a pointer to the static buffer */
131     return lbuf;
132 }
133
134
135
136 /*****************************************************************************/
137 /*                            Pre- and postamble                             */
138 /*****************************************************************************/
139
140
141
142 void g_preamble (void)
143 /* Generate the assembler code preamble */
144 {
145     /* Create a new (global) segment list and remember it */
146     PushSegments (0);
147     GS = CS;
148
149     /* Identify the compiler version */
150     AddTextLine (";");
151     AddTextLine ("; File generated by cc65 v %u.%u.%u",
152                  VER_MAJOR, VER_MINOR, VER_PATCH);
153     AddTextLine (";");
154
155     /* Insert some object file options */
156     AddTextLine ("\t.fopt\t\tcompiler,\"cc65 v %u.%u.%u\"",
157                     VER_MAJOR, VER_MINOR, VER_PATCH);
158
159     /* If we're producing code for some other CPU, switch the command set */
160     if (CPU == CPU_65C02) {
161         AddTextLine ("\t.pc02");
162     }
163
164     /* Allow auto import for runtime library routines */
165     AddTextLine ("\t.autoimport\ton");
166
167     /* Switch the assembler into case sensitive mode */
168     AddTextLine ("\t.case\t\ton");
169
170     /* Tell the assembler if we want to generate debug info */
171     AddTextLine ("\t.debuginfo\t%s", (DebugInfo != 0)? "on" : "off");
172
173     /* Import the stack pointer for direct auto variable access */
174     AddTextLine ("\t.importzp\tsp, sreg, regsave, regbank, tmp1, ptr1, ptr2");
175
176     /* Define long branch macros */
177     AddTextLine ("\t.macpack\tlongbranch");
178 }
179
180
181
182 void g_fileinfo (const char* Name, unsigned long Size, unsigned long MTime)
183 /* If debug info is enabled, place a file info into the source */
184 {
185     if (DebugInfo) {
186         /* We have to place this into the global text segment, so it will
187          * appear before all .dbg line statements.
188          */
189         TS_AddLine (GS->Text, "\t.dbg\t\tfile, \"%s\", %lu, %lu", Name, Size, MTime);
190     }
191 }
192
193
194
195 /*****************************************************************************/
196 /*                              Segment support                              */
197 /*****************************************************************************/
198
199
200
201 void g_userodata (void)
202 /* Switch to the read only data segment */
203 {
204     UseDataSeg (SEG_RODATA);
205 }
206
207
208
209 void g_usedata (void)
210 /* Switch to the data segment */
211 {
212     UseDataSeg (SEG_DATA);
213 }
214
215
216
217 void g_usebss (void)
218 /* Switch to the bss segment */
219 {
220     UseDataSeg (SEG_BSS);
221 }
222
223
224
225 void g_segname (segment_t Seg, const char* Name)
226 /* Set the name of a segment */
227 {
228     DataSeg* S;
229
230     /* Remember the new name */
231     NewSegName (Seg, Name);
232
233     /* Emit a segment directive for the data style segments */
234     switch (Seg) {
235         case SEG_RODATA: S = CS->ROData; break;
236         case SEG_DATA:   S = CS->Data;   break;
237         case SEG_BSS:    S = CS->BSS;    break;
238         default:         S = 0;          break;
239     }
240     if (S) {
241         DS_AddLine (S, ".segment\t\"%s\"", Name);
242     }
243 }
244
245
246
247 /*****************************************************************************/
248 /*                                   Code                                    */
249 /*****************************************************************************/
250
251
252
253 unsigned sizeofarg (unsigned flags)
254 /* Return the size of a function argument type that is encoded in flags */
255 {
256     switch (flags & CF_TYPE) {
257
258         case CF_CHAR:
259             return (flags & CF_FORCECHAR)? 1 : 2;
260
261         case CF_INT:
262             return 2;
263
264         case CF_LONG:
265             return 4;
266
267         default:
268             typeerror (flags);
269             /* NOTREACHED */
270             return 2;
271     }
272 }
273
274
275
276 int pop (unsigned flags)
277 /* Pop an argument of the given size */
278 {
279     return oursp += sizeofarg (flags);
280 }
281
282
283
284 int push (unsigned flags)
285 /* Push an argument of the given size */
286 {
287     return oursp -= sizeofarg (flags);
288 }
289
290
291
292 static unsigned MakeByteOffs (unsigned Flags, unsigned Offs)
293 /* The value in Offs is an offset to an address in a/x. Make sure, an object
294  * of the type given in Flags can be loaded or stored into this address by
295  * adding part of the offset to the address in ax, so that the remaining
296  * offset fits into an index register. Return the remaining offset.
297  */
298 {
299     /* If the offset is too large for a byte register, add the high byte
300      * of the offset to the primary. Beware: We need a special correction
301      * if the offset in the low byte will overflow in the operation.
302      */
303     unsigned O = Offs & ~0xFFU;
304     if ((Offs & 0xFF) > 256 - sizeofarg (Flags)) {
305         /* We need to add the low byte also */
306         O += Offs & 0xFF;
307     }
308
309     /* Do the correction if we need one */
310     if (O != 0) {
311         g_inc (CF_INT | CF_CONST, O);
312         Offs -= O;
313     }
314
315     /* Return the new offset */
316     return Offs;
317 }
318
319
320
321 /*****************************************************************************/
322 /*                      Functions handling local labels                      */
323 /*****************************************************************************/
324
325
326
327 void g_defcodelabel (unsigned label)
328 /* Define a local code label */
329 {
330     CS_AddLabel (CS->Code, LocalLabelName (label));
331 }
332
333
334
335 void g_defdatalabel (unsigned label)
336 /* Define a local data label */
337 {
338     AddDataLine ("%s:", LocalLabelName (label));
339 }
340
341
342
343 /*****************************************************************************/
344 /*                     Functions handling global labels                      */
345 /*****************************************************************************/
346
347
348
349 void g_defgloblabel (const char* Name)
350 /* Define a global label with the given name */
351 {
352     /* Global labels are always data labels */
353     AddDataLine ("_%s:", Name);
354 }
355
356
357
358 void g_defexport (const char* Name, int ZP)
359 /* Export the given label */
360 {
361     if (ZP) {
362         AddTextLine ("\t.exportzp\t_%s", Name);
363     } else {
364         AddTextLine ("\t.export\t\t_%s", Name);
365     }
366 }
367
368
369
370 void g_defimport (const char* Name, int ZP)
371 /* Import the given label */
372 {
373     if (ZP) {
374         AddTextLine ("\t.importzp\t_%s", Name);
375     } else {
376         AddTextLine ("\t.import\t\t_%s", Name);
377     }
378 }
379
380
381
382 /*****************************************************************************/
383 /*                   Load functions for various registers                    */
384 /*****************************************************************************/
385
386
387
388 static void ldaconst (unsigned val)
389 /* Load a with a constant */
390 {
391     AddCodeLine ("lda #$%02X", val & 0xFF);
392 }
393
394
395
396 static void ldxconst (unsigned val)
397 /* Load x with a constant */
398 {
399     AddCodeLine ("ldx #$%02X", val & 0xFF);
400 }
401
402
403
404 static void ldyconst (unsigned val)
405 /* Load y with a constant */
406 {
407     AddCodeLine ("ldy #$%02X", val & 0xFF);
408 }
409
410
411
412 /*****************************************************************************/
413 /*                          Function entry and exit                          */
414 /*****************************************************************************/
415
416
417
418 /* Remember the argument size of a function. The variable is set by g_enter
419  * and used by g_leave. If the functions gets its argument size by the caller
420  * (variable param list or function without prototype), g_enter will set the
421  * value to -1.
422  */
423 static int funcargs;
424
425
426 void g_enter (unsigned flags, unsigned argsize)
427 /* Function prologue */
428 {
429     if ((flags & CF_FIXARGC) != 0) {
430         /* Just remember the argument size for the leave */
431         funcargs = argsize;
432     } else {
433         funcargs = -1;
434         AddCodeLine ("jsr enter");
435     }
436 }
437
438
439
440 void g_leave (void)
441 /* Function epilogue */
442 {
443     /* How many bytes of locals do we have to drop? */
444     int k = -oursp;
445
446     /* If we didn't have a variable argument list, don't call leave */
447     if (funcargs >= 0) {
448
449         /* Drop stackframe if needed */
450         k += funcargs;
451         if (k > 0) {
452             if (k <= 8) {
453             AddCodeLine ("jsr incsp%d", k);
454             } else {
455                 CheckLocalOffs (k);
456                 ldyconst (k);
457                 AddCodeLine ("jsr addysp");
458             }
459         }
460
461     } else {
462
463         if (k == 0) {
464             /* Nothing to drop */
465             AddCodeLine ("jsr leave");
466         } else {
467             /* We've a stack frame to drop */
468             ldyconst (k);
469             AddCodeLine ("jsr leavey");
470         }
471     }
472
473     /* Add the final rts */
474     AddCodeLine ("rts");
475 }
476
477
478
479 /*****************************************************************************/
480 /*                            Register variables                             */
481 /*****************************************************************************/
482
483
484
485 void g_save_regvars (int RegOffs, unsigned Bytes)
486 /* Save register variables */
487 {
488     /* Don't loop for up to two bytes */
489     if (Bytes == 1) {
490
491         AddCodeLine ("lda regbank%+d", RegOffs);
492         AddCodeLine ("jsr pusha");
493
494     } else if (Bytes == 2) {
495
496         AddCodeLine ("lda regbank%+d", RegOffs);
497         AddCodeLine ("ldx regbank%+d", RegOffs+1);
498         AddCodeLine ("jsr pushax");
499
500     } else {
501
502         /* More than two bytes - loop */
503         unsigned Label = GetLocalLabel ();
504         g_space (Bytes);
505         ldyconst (Bytes - 1);
506         ldxconst (Bytes);
507         g_defcodelabel (Label);
508         AddCodeLine ("lda regbank%+d,x", RegOffs-1);
509         AddCodeLine ("sta (sp),y");
510         AddCodeLine ("dey");
511         AddCodeLine ("dex");
512         AddCodeLine ("bne %s", LocalLabelName (Label));
513
514     }
515
516     /* We pushed stuff, correct the stack pointer */
517     oursp -= Bytes;
518 }
519
520
521
522 void g_restore_regvars (int StackOffs, int RegOffs, unsigned Bytes)
523 /* Restore register variables */
524 {
525     /* Calculate the actual stack offset and check it */
526     StackOffs -= oursp;
527     CheckLocalOffs (StackOffs);
528
529     /* Don't loop for up to two bytes */
530     if (Bytes == 1) {
531
532         ldyconst (StackOffs);
533         AddCodeLine ("lda (sp),y");
534         AddCodeLine ("sta regbank%+d", RegOffs);
535
536     } else if (Bytes == 2) {
537
538         ldyconst (StackOffs);
539         AddCodeLine ("lda (sp),y");
540         AddCodeLine ("sta regbank%+d", RegOffs);
541         AddCodeLine ("iny");
542         AddCodeLine ("lda (sp),y");
543         AddCodeLine ("sta regbank%+d", RegOffs+1);
544
545     } else {
546
547         /* More than two bytes - loop */
548         unsigned Label = GetLocalLabel ();
549         ldyconst (StackOffs+Bytes-1);
550         ldxconst (Bytes);
551         g_defcodelabel (Label);
552         AddCodeLine ("lda (sp),y");
553         AddCodeLine ("sta regbank%+d,x", RegOffs-1);
554         AddCodeLine ("dey");
555         AddCodeLine ("dex");
556         AddCodeLine ("bne %s", LocalLabelName (Label));
557
558     }
559 }
560
561
562
563 /*****************************************************************************/
564 /*                           Fetching memory cells                           */
565 /*****************************************************************************/
566
567
568
569 void g_getimmed (unsigned Flags, unsigned long Val, unsigned Offs)
570 /* Load a constant into the primary register */
571 {
572     unsigned char B1, B2, B3, B4;
573     unsigned      Done;
574
575
576     if ((Flags & CF_CONST) != 0) {
577
578         /* Numeric constant */
579         switch (Flags & CF_TYPE) {
580
581             case CF_CHAR:
582                 if ((Flags & CF_FORCECHAR) != 0) {
583                     ldaconst (Val);
584                     break;
585                 }
586                 /* FALL THROUGH */
587             case CF_INT:
588                 ldxconst ((Val >> 8) & 0xFF);
589                 ldaconst (Val & 0xFF);
590                 break;
591
592             case CF_LONG:
593                 /* Split the value into 4 bytes */
594                 B1 = (unsigned char) (Val >>  0);
595                 B2 = (unsigned char) (Val >>  8);
596                 B3 = (unsigned char) (Val >> 16);
597                 B4 = (unsigned char) (Val >> 24);
598
599                 /* Remember which bytes are done */
600                 Done = 0;
601
602                 /* Load the value */
603                 AddCodeLine ("ldx #$%02X", B2);
604                 Done |= 0x02;
605                 if (B2 == B3) {
606                     AddCodeLine ("stx sreg");
607                     Done |= 0x04;
608                 }
609                 if (B2 == B4) {
610                     AddCodeLine ("stx sreg+1");
611                     Done |= 0x08;
612                 }
613                 if ((Done & 0x04) == 0 && B1 != B3) {
614                     AddCodeLine ("lda #$%02X", B3);
615                     AddCodeLine ("sta sreg");
616                     Done |= 0x04;
617                 }
618                 if ((Done & 0x08) == 0 && B1 != B4) {
619                     AddCodeLine ("lda #$%02X", B4);
620                     AddCodeLine ("sta sreg+1");
621                     Done |= 0x08;
622                 }
623                 AddCodeLine ("lda #$%02X", B1);
624                 Done |= 0x01;
625                 if ((Done & 0x04) == 0) {
626                     CHECK (B1 == B3);
627                     AddCodeLine ("sta sreg");
628                 }
629                 if ((Done & 0x08) == 0) {
630                     CHECK (B1 == B4);
631                     AddCodeLine ("sta sreg+1");
632                 }
633                 break;
634
635             default:
636                 typeerror (Flags);
637                 break;
638
639         }
640
641     } else {
642
643         /* Some sort of label */
644         const char* Label = GetLabelName (Flags, Val, Offs);
645
646         /* Load the address into the primary */
647         AddCodeLine ("lda #<(%s)", Label);
648         AddCodeLine ("ldx #>(%s)", Label);
649
650     }
651 }
652
653
654
655 void g_getstatic (unsigned flags, unsigned long label, unsigned offs)
656 /* Fetch an static memory cell into the primary register */
657 {
658     /* Create the correct label name */
659     char* lbuf = GetLabelName (flags, label, offs);
660
661     /* Check the size and generate the correct load operation */
662     switch (flags & CF_TYPE) {
663
664         case CF_CHAR:
665             if ((flags & CF_FORCECHAR) || (flags & CF_TEST)) {
666                 AddCodeLine ("lda %s", lbuf);   /* load A from the label */
667             } else {
668                 ldxconst (0);
669                 AddCodeLine ("lda %s", lbuf);   /* load A from the label */
670                 if (!(flags & CF_UNSIGNED)) {
671                     /* Must sign extend */
672                     unsigned L = GetLocalLabel ();
673                     AddCodeLine ("bpl %s", LocalLabelName (L));
674                     AddCodeLine ("dex");
675                     g_defcodelabel (L);
676                 }
677             }
678             break;
679
680         case CF_INT:
681             AddCodeLine ("lda %s", lbuf);
682             if (flags & CF_TEST) {
683                 AddCodeLine ("ora %s+1", lbuf);
684             } else {
685                 AddCodeLine ("ldx %s+1", lbuf);
686             }
687             break;
688
689         case CF_LONG:
690             if (flags & CF_TEST) {
691                 AddCodeLine ("lda %s+3", lbuf);
692                 AddCodeLine ("ora %s+2", lbuf);
693                 AddCodeLine ("ora %s+1", lbuf);
694                 AddCodeLine ("ora %s+0", lbuf);
695             } else {
696                 AddCodeLine ("lda %s+3", lbuf);
697                 AddCodeLine ("sta sreg+1");
698                 AddCodeLine ("lda %s+2", lbuf);
699                 AddCodeLine ("sta sreg");
700                 AddCodeLine ("ldx %s+1", lbuf);
701                 AddCodeLine ("lda %s", lbuf);
702             }
703             break;
704
705         default:
706             typeerror (flags);
707
708     }
709 }
710
711
712
713 void g_getlocal (unsigned flags, int offs)
714 /* Fetch specified local object (local var). */
715 {
716     offs -= oursp;
717     CheckLocalOffs (offs);
718     switch (flags & CF_TYPE) {
719
720         case CF_CHAR:
721             if ((flags & CF_FORCECHAR) || (flags & CF_TEST)) {
722                 ldyconst (offs);
723                 AddCodeLine ("lda (sp),y");
724             } else {
725                 ldyconst (offs);
726                 AddCodeLine ("ldx #$00");
727                 AddCodeLine ("lda (sp),y");
728                 if ((flags & CF_UNSIGNED) == 0) {
729                     unsigned L = GetLocalLabel();
730                     AddCodeLine ("bpl %s", LocalLabelName (L));
731                     AddCodeLine ("dex");
732                     g_defcodelabel (L);
733                 }
734             }
735             break;
736
737         case CF_INT:
738             CheckLocalOffs (offs + 1);
739             if (flags & CF_TEST) {
740                 ldyconst (offs + 1);
741                 AddCodeLine ("lda (sp),y");
742                 AddCodeLine ("dey");
743                 AddCodeLine ("ora (sp),y");
744             } else {
745                 ldyconst (offs+1);
746                 AddCodeLine ("jsr ldaxysp");
747             }
748             break;
749
750         case CF_LONG:
751             ldyconst (offs+3);
752             AddCodeLine ("jsr ldeaxysp");
753             break;
754
755         default:
756             typeerror (flags);
757     }
758 }
759
760
761
762 void g_getind (unsigned flags, unsigned offs)
763 /* Fetch the specified object type indirect through the primary register
764  * into the primary register
765  */
766 {
767     /* If the offset is greater than 255, add the part that is > 255 to
768      * the primary. This way we get an easy addition and use the low byte
769      * as the offset
770      */
771     offs = MakeByteOffs (flags, offs);
772
773     /* Handle the indirect fetch */
774     switch (flags & CF_TYPE) {
775
776         case CF_CHAR:
777             /* Character sized */
778             if (flags & CF_UNSIGNED) {
779                 ldyconst (offs);
780                 AddCodeLine ("jsr ldauidx");
781             } else {
782                 ldyconst (offs);
783                 AddCodeLine ("jsr ldaidx");
784             }
785             break;
786
787         case CF_INT:
788             if (flags & CF_TEST) {
789                 ldyconst (offs);
790                 AddCodeLine ("sta ptr1");
791                 AddCodeLine ("stx ptr1+1");
792                 AddCodeLine ("lda (ptr1),y");
793                 AddCodeLine ("iny");
794                 AddCodeLine ("ora (ptr1),y");
795             } else {
796                 ldyconst (offs+1);
797                 AddCodeLine ("jsr ldaxidx");
798             }
799             break;
800
801         case CF_LONG:
802             ldyconst (offs+3);
803             AddCodeLine ("jsr ldeaxidx");
804             if (flags & CF_TEST) {
805                 AddCodeLine ("jsr tsteax");
806             }
807             break;
808
809         default:
810             typeerror (flags);
811
812     }
813 }
814
815
816
817 void g_leasp (int offs)
818 /* Fetch the address of the specified symbol into the primary register */
819 {
820     /* Calculate the offset relative to sp */
821     offs -= oursp;
822
823     /* For value 0 we do direct code */
824     if (offs == 0) {
825         AddCodeLine ("lda sp");
826         AddCodeLine ("ldx sp+1");
827     } else {
828         if (CodeSizeFactor < 300) {
829             ldaconst (offs);                    /* Load A with offset value */
830             AddCodeLine ("jsr leaasp"); /* Load effective address */
831         } else {
832             unsigned L = GetLocalLabel ();
833             if (CPU == CPU_65C02 && offs == 1) {
834                 AddCodeLine ("lda sp");
835                 AddCodeLine ("ldx sp+1");
836                 AddCodeLine ("ina");
837                 AddCodeLine ("bne %s", LocalLabelName (L));
838                 AddCodeLine ("inx");
839             } else {
840                 ldaconst (offs);
841                 AddCodeLine ("clc");
842                 AddCodeLine ("ldx sp+1");
843                 AddCodeLine ("adc sp");
844                 AddCodeLine ("bcc %s", LocalLabelName (L));
845                 AddCodeLine ("inx");
846             }
847             g_defcodelabel (L);
848         }
849     }
850 }
851
852
853
854 void g_leavariadic (int Offs)
855 /* Fetch the address of a parameter in a variadic function into the primary
856  * register
857  */
858 {
859     unsigned ArgSizeOffs;
860
861     /* Calculate the offset relative to sp */
862     Offs -= oursp;
863
864     /* Get the offset of the parameter which is stored at sp+0 on function
865      * entry and check if this offset is reachable with a byte offset.
866      */
867     CHECK (oursp <= 0);
868     ArgSizeOffs = -oursp;
869     CheckLocalOffs (ArgSizeOffs);
870
871     /* Get the size of all parameters. */
872     ldyconst (ArgSizeOffs);
873     AddCodeLine ("lda (sp),y");
874
875     /* Add the value of the stackpointer */
876     if (CodeSizeFactor > 250) {
877         unsigned L = GetLocalLabel();
878         AddCodeLine ("ldx sp+1");
879         AddCodeLine ("clc");
880         AddCodeLine ("adc sp");
881         AddCodeLine ("bcc %s", LocalLabelName (L));
882         AddCodeLine ("inx");
883         g_defcodelabel (L);
884     } else {
885         AddCodeLine ("jsr leaasp");
886     }
887
888     /* Add the offset to the primary */
889     if (Offs > 0) {
890         g_inc (CF_INT | CF_CONST, Offs);
891     } else if (Offs < 0) {
892         g_dec (CF_INT | CF_CONST, -Offs);
893     }
894 }
895
896
897
898 /*****************************************************************************/
899 /*                             Store into memory                             */
900 /*****************************************************************************/
901
902
903
904 void g_putstatic (unsigned flags, unsigned long label, unsigned offs)
905 /* Store the primary register into the specified static memory cell */
906 {
907     /* Create the correct label name */
908     char* lbuf = GetLabelName (flags, label, offs);
909
910     /* Check the size and generate the correct store operation */
911     switch (flags & CF_TYPE) {
912
913         case CF_CHAR:
914             AddCodeLine ("sta %s", lbuf);
915             break;
916
917         case CF_INT:
918             AddCodeLine ("sta %s", lbuf);
919             AddCodeLine ("stx %s+1", lbuf);
920             break;
921
922         case CF_LONG:
923             AddCodeLine ("sta %s", lbuf);
924             AddCodeLine ("stx %s+1", lbuf);
925             AddCodeLine ("ldy sreg");
926             AddCodeLine ("sty %s+2", lbuf);
927             AddCodeLine ("ldy sreg+1");
928             AddCodeLine ("sty %s+3", lbuf);
929             break;
930
931         default:
932             typeerror (flags);
933
934     }
935 }
936
937
938
939 void g_putlocal (unsigned Flags, int Offs, long Val)
940 /* Put data into local object. */
941 {
942     Offs -= oursp;
943     CheckLocalOffs (Offs);
944     switch (Flags & CF_TYPE) {
945
946         case CF_CHAR:
947             if (Flags & CF_CONST) {
948                 AddCodeLine ("lda #$%02X", (unsigned char) Val);
949             }
950             ldyconst (Offs);
951             AddCodeLine ("sta (sp),y");
952             break;
953
954         case CF_INT:
955             if (Flags & CF_CONST) {
956                 ldyconst (Offs+1);
957                 AddCodeLine ("lda #$%02X", (unsigned char) (Val >> 8));
958                 AddCodeLine ("sta (sp),y");
959                 if ((Flags & CF_NOKEEP) == 0) {
960                     /* Place high byte into X */
961                     AddCodeLine ("tax");
962                 }
963                 if ((Val & 0xFF) == Offs+1) {
964                     /* The value we need is already in Y */
965                     AddCodeLine ("tya");
966                     AddCodeLine ("dey");
967                 } else {
968                     AddCodeLine ("dey");
969                     AddCodeLine ("lda #$%02X", (unsigned char) Val);
970                 }
971                 AddCodeLine ("sta (sp),y");
972             } else {
973                 if ((Flags & CF_NOKEEP) == 0 || CodeSizeFactor < 160) {
974                     ldyconst (Offs);
975                     AddCodeLine ("jsr staxysp");
976                 } else {
977                     ldyconst (Offs);
978                     AddCodeLine ("sta (sp),y");
979                     AddCodeLine ("iny");
980                     AddCodeLine ("txa");
981                     AddCodeLine ("sta (sp),y");
982                 }
983             }
984             break;
985
986         case CF_LONG:
987             if (Flags & CF_CONST) {
988                 g_getimmed (Flags, Val, 0);
989             }
990             ldyconst (Offs);
991             AddCodeLine ("jsr steaxysp");
992             break;
993
994         default:
995             typeerror (Flags);
996
997     }
998 }
999
1000
1001
1002 void g_putind (unsigned Flags, unsigned Offs)
1003 /* Store the specified object type in the primary register at the address
1004  * on the top of the stack
1005  */
1006 {
1007     /* We can handle offsets below $100 directly, larger offsets must be added
1008      * to the address. Since a/x is in use, best code is achieved by adding
1009      * just the high byte. Be sure to check if the low byte will overflow while
1010      * while storing.
1011      */
1012     if ((Offs & 0xFF) > 256 - sizeofarg (Flags | CF_FORCECHAR)) {
1013
1014         /* Overflow - we need to add the low byte also */
1015         AddCodeLine ("ldy #$00");
1016         AddCodeLine ("clc");
1017         AddCodeLine ("pha");
1018         AddCodeLine ("lda #$%02X", Offs & 0xFF);
1019         AddCodeLine ("adc (sp),y");
1020         AddCodeLine ("sta (sp),y");
1021         AddCodeLine ("iny");
1022         AddCodeLine ("lda #$%02X", (Offs >> 8) & 0xFF);
1023         AddCodeLine ("adc (sp),y");
1024         AddCodeLine ("sta (sp),y");
1025         AddCodeLine ("pla");
1026
1027         /* Complete address is on stack, new offset is zero */
1028         Offs = 0;
1029
1030     } else if ((Offs & 0xFF00) != 0) {
1031
1032         /* We can just add the high byte */
1033         AddCodeLine ("ldy #$01");
1034         AddCodeLine ("clc");
1035         AddCodeLine ("pha");
1036         AddCodeLine ("lda #$%02X", (Offs >> 8) & 0xFF);
1037         AddCodeLine ("adc (sp),y");
1038         AddCodeLine ("sta (sp),y");
1039         AddCodeLine ("pla");
1040
1041         /* Offset is now just the low byte */
1042         Offs &= 0x00FF;
1043     }
1044
1045     /* Check the size and determine operation */
1046     switch (Flags & CF_TYPE) {
1047
1048         case CF_CHAR:
1049             ldyconst (Offs);
1050             AddCodeLine ("jsr staspidx");
1051             break;
1052
1053         case CF_INT:
1054             ldyconst (Offs);
1055             AddCodeLine ("jsr staxspidx");
1056             break;
1057
1058         case CF_LONG:
1059             ldyconst (Offs);
1060             AddCodeLine ("jsr steaxspidx");
1061             break;
1062
1063         default:
1064             typeerror (Flags);
1065
1066     }
1067
1068     /* Pop the argument which is always a pointer */
1069     pop (CF_PTR);
1070 }
1071
1072
1073
1074 /*****************************************************************************/
1075 /*                    type conversion and similiar stuff                     */
1076 /*****************************************************************************/
1077
1078
1079
1080 void g_toslong (unsigned flags)
1081 /* Make sure, the value on TOS is a long. Convert if necessary */
1082 {
1083     switch (flags & CF_TYPE) {
1084
1085         case CF_CHAR:
1086         case CF_INT:
1087             if (flags & CF_UNSIGNED) {
1088                 AddCodeLine ("jsr tosulong");
1089             } else {
1090                 AddCodeLine ("jsr toslong");
1091             }
1092             push (CF_INT);
1093             break;
1094
1095         case CF_LONG:
1096             break;
1097
1098         default:
1099             typeerror (flags);
1100     }
1101 }
1102
1103
1104
1105 void g_tosint (unsigned flags)
1106 /* Make sure, the value on TOS is an int. Convert if necessary */
1107 {
1108     switch (flags & CF_TYPE) {
1109
1110         case CF_CHAR:
1111         case CF_INT:
1112             break;
1113
1114         case CF_LONG:
1115             AddCodeLine ("jsr tosint");
1116             pop (CF_INT);
1117             break;
1118
1119         default:
1120             typeerror (flags);
1121     }
1122 }
1123
1124
1125
1126 void g_reglong (unsigned flags)
1127 /* Make sure, the value in the primary register a long. Convert if necessary */
1128 {
1129     switch (flags & CF_TYPE) {
1130
1131         case CF_CHAR:
1132         case CF_INT:
1133             if (flags & CF_UNSIGNED) {
1134                 if (CodeSizeFactor >= 200) {
1135                     ldyconst (0);
1136                     AddCodeLine ("sty sreg");
1137                     AddCodeLine ("sty sreg+1");
1138                 } else {
1139                     AddCodeLine ("jsr axulong");
1140                 }
1141             } else {
1142                 AddCodeLine ("jsr axlong");
1143             }
1144             break;
1145
1146         case CF_LONG:
1147             break;
1148
1149         default:
1150             typeerror (flags);
1151     }
1152 }
1153
1154
1155
1156 unsigned g_typeadjust (unsigned lhs, unsigned rhs)
1157 /* Adjust the integer operands before doing a binary operation. lhs is a flags
1158  * value, that corresponds to the value on TOS, rhs corresponds to the value
1159  * in (e)ax. The return value is the the flags value for the resulting type.
1160  */
1161 {
1162     unsigned ltype, rtype;
1163     unsigned result;
1164
1165     /* Get the type spec from the flags */
1166     ltype = lhs & CF_TYPE;
1167     rtype = rhs & CF_TYPE;
1168
1169     /* Check if a conversion is needed */
1170     if (ltype == CF_LONG && rtype != CF_LONG && (rhs & CF_CONST) == 0) {
1171         /* We must promote the primary register to long */
1172         g_reglong (rhs);
1173         /* Get the new rhs type */
1174         rhs = (rhs & ~CF_TYPE) | CF_LONG;
1175         rtype = CF_LONG;
1176     } else if (ltype != CF_LONG && (lhs & CF_CONST) == 0 && rtype == CF_LONG) {
1177         /* We must promote the lhs to long */
1178         if (lhs & CF_REG) {
1179             g_reglong (lhs);
1180         } else {
1181             g_toslong (lhs);
1182         }
1183         /* Get the new rhs type */
1184         lhs = (lhs & ~CF_TYPE) | CF_LONG;
1185         ltype = CF_LONG;
1186     }
1187
1188     /* Determine the result type for the operation:
1189      *  - The result is const if both operands are const.
1190      *  - The result is unsigned if one of the operands is unsigned.
1191      *  - The result is long if one of the operands is long.
1192      *  - Otherwise the result is int sized.
1193      */
1194     result = (lhs & CF_CONST) & (rhs & CF_CONST);
1195     result |= (lhs & CF_UNSIGNED) | (rhs & CF_UNSIGNED);
1196     if (rtype == CF_LONG || ltype == CF_LONG) {
1197         result |= CF_LONG;
1198     } else {
1199         result |= CF_INT;
1200     }
1201     return result;
1202 }
1203
1204
1205
1206 unsigned g_typecast (unsigned lhs, unsigned rhs)
1207 /* Cast the value in the primary register to the operand size that is flagged
1208  * by the lhs value. Return the result value.
1209  */
1210 {
1211     unsigned ltype, rtype;
1212
1213     /* Get the type spec from the flags */
1214     ltype = lhs & CF_TYPE;
1215     rtype = rhs & CF_TYPE;
1216
1217     /* Check if a conversion is needed */
1218     if (ltype == CF_LONG && rtype != CF_LONG && (rhs & CF_CONST) == 0) {
1219         /* We must promote the primary register to long */
1220         g_reglong (rhs);
1221     }
1222
1223     /* Do not need any other action. If the left type is int, and the primary
1224      * register is long, it will be automagically truncated. If the right hand
1225      * side is const, it is not located in the primary register and handled by
1226      * the expression parser code.
1227      */
1228
1229     /* Result is const if the right hand side was const */
1230     lhs |= (rhs & CF_CONST);
1231
1232     /* The resulting type is that of the left hand side (that's why you called
1233      * this function :-)
1234      */
1235     return lhs;
1236 }
1237
1238
1239
1240 void g_scale (unsigned flags, long val)
1241 /* Scale the value in the primary register by the given value. If val is positive,
1242  * scale up, is val is negative, scale down. This function is used to scale
1243  * the operands or results of pointer arithmetic by the size of the type, the
1244  * pointer points to.
1245  */
1246 {
1247     int p2;
1248
1249     /* Value may not be zero */
1250     if (val == 0) {
1251         Internal ("Data type has no size");
1252     } else if (val > 0) {
1253
1254         /* Scale up */
1255         if ((p2 = powerof2 (val)) > 0 && p2 <= 4) {
1256
1257             /* Factor is 2, 4, 8 and 16, use special function */
1258             switch (flags & CF_TYPE) {
1259
1260                 case CF_CHAR:
1261                     if (flags & CF_FORCECHAR) {
1262                         while (p2--) {
1263                             AddCodeLine ("asl a");
1264                         }
1265                         break;
1266                     }
1267                     /* FALLTHROUGH */
1268
1269                 case CF_INT:
1270                     if (CodeSizeFactor >= (p2+1)*130U) {
1271                         AddCodeLine ("stx tmp1");
1272                         while (p2--) {
1273                             AddCodeLine ("asl a");
1274                             AddCodeLine ("rol tmp1");
1275                         }
1276                         AddCodeLine ("ldx tmp1");
1277                     } else {
1278                         if (flags & CF_UNSIGNED) {
1279                             AddCodeLine ("jsr shlax%d", p2);
1280                         } else {
1281                             AddCodeLine ("jsr aslax%d", p2);
1282                         }
1283                     }
1284                     break;
1285
1286                 case CF_LONG:
1287                     if (flags & CF_UNSIGNED) {
1288                         AddCodeLine ("jsr shleax%d", p2);
1289                     } else {
1290                         AddCodeLine ("jsr asleax%d", p2);
1291                     }
1292                     break;
1293
1294                 default:
1295                     typeerror (flags);
1296
1297             }
1298
1299         } else if (val != 1) {
1300
1301             /* Use a multiplication instead */
1302             g_mul (flags | CF_CONST, val);
1303
1304         }
1305
1306     } else {
1307
1308         /* Scale down */
1309         val = -val;
1310         if ((p2 = powerof2 (val)) > 0 && p2 <= 4) {
1311
1312             /* Factor is 2, 4, 8 and 16 use special function */
1313             switch (flags & CF_TYPE) {
1314
1315                 case CF_CHAR:
1316                     if (flags & CF_FORCECHAR) {
1317                         if (flags & CF_UNSIGNED) {
1318                             while (p2--) {
1319                                 AddCodeLine ("lsr a");
1320                             }
1321                             break;
1322                         } else if (p2 <= 2) {
1323                             AddCodeLine ("cmp #$80");
1324                             AddCodeLine ("ror a");
1325                             break;
1326                         }
1327                     }
1328                     /* FALLTHROUGH */
1329
1330                 case CF_INT:
1331                     if (flags & CF_UNSIGNED) {
1332                         if (CodeSizeFactor >= (p2+1)*130U) {
1333                             AddCodeLine ("stx tmp1");
1334                             while (p2--) {
1335                                 AddCodeLine ("lsr tmp1");
1336                                 AddCodeLine ("ror a");
1337                             }
1338                             AddCodeLine ("ldx tmp1");
1339                         } else {
1340                             AddCodeLine ("jsr lsrax%d", p2);
1341                         }
1342                     } else {
1343                         if (CodeSizeFactor >= (p2+1)*150U) {
1344                             AddCodeLine ("stx tmp1");
1345                             while (p2--) {
1346                                 AddCodeLine ("cpx #$80");
1347                                 AddCodeLine ("ror tmp1");
1348                                 AddCodeLine ("ror a");
1349                             }
1350                             AddCodeLine ("ldx tmp1");
1351                         } else {
1352                             AddCodeLine ("jsr asrax%d", p2);
1353                         }
1354                     }
1355                     break;
1356
1357                 case CF_LONG:
1358                     if (flags & CF_UNSIGNED) {
1359                         AddCodeLine ("jsr lsreax%d", p2);
1360                     } else {
1361                         AddCodeLine ("jsr asreax%d", p2);
1362                     }
1363                     break;
1364
1365                 default:
1366                     typeerror (flags);
1367
1368             }
1369
1370         } else if (val != 1) {
1371
1372             /* Use a division instead */
1373             g_div (flags | CF_CONST, val);
1374
1375         }
1376     }
1377 }
1378
1379
1380
1381 /*****************************************************************************/
1382 /*              Adds and subs of variables fix a fixed address               */
1383 /*****************************************************************************/
1384
1385
1386
1387 void g_addlocal (unsigned flags, int offs)
1388 /* Add a local variable to ax */
1389 {
1390     unsigned L;
1391
1392     /* Correct the offset and check it */
1393     offs -= oursp;
1394     CheckLocalOffs (offs);
1395
1396     switch (flags & CF_TYPE) {
1397
1398         case CF_CHAR:
1399             L = GetLocalLabel();
1400             AddCodeLine ("ldy #$%02X", offs & 0xFF);
1401             AddCodeLine ("clc");
1402             AddCodeLine ("adc (sp),y");
1403             AddCodeLine ("bcc %s", LocalLabelName (L));
1404             AddCodeLine ("inx");
1405             g_defcodelabel (L);
1406             break;
1407
1408         case CF_INT:
1409             AddCodeLine ("ldy #$%02X", offs & 0xFF);
1410             AddCodeLine ("clc");
1411             AddCodeLine ("adc (sp),y");
1412             AddCodeLine ("pha");
1413             AddCodeLine ("txa");
1414             AddCodeLine ("iny");
1415             AddCodeLine ("adc (sp),y");
1416             AddCodeLine ("tax");
1417             AddCodeLine ("pla");
1418             break;
1419
1420         case CF_LONG:
1421             /* Do it the old way */
1422             g_push (flags, 0);
1423             g_getlocal (flags, offs);
1424             g_add (flags, 0);
1425             break;
1426
1427         default:
1428             typeerror (flags);
1429
1430     }
1431 }
1432
1433
1434
1435 void g_addstatic (unsigned flags, unsigned long label, unsigned offs)
1436 /* Add a static variable to ax */
1437 {
1438     unsigned L;
1439
1440     /* Create the correct label name */
1441     char* lbuf = GetLabelName (flags, label, offs);
1442
1443     switch (flags & CF_TYPE) {
1444
1445         case CF_CHAR:
1446             L = GetLocalLabel();
1447             AddCodeLine ("clc");
1448             AddCodeLine ("adc %s", lbuf);
1449             AddCodeLine ("bcc %s", LocalLabelName (L));
1450             AddCodeLine ("inx");
1451             g_defcodelabel (L);
1452             break;
1453
1454         case CF_INT:
1455             AddCodeLine ("clc");
1456             AddCodeLine ("adc %s", lbuf);
1457             AddCodeLine ("tay");
1458             AddCodeLine ("txa");
1459             AddCodeLine ("adc %s+1", lbuf);
1460             AddCodeLine ("tax");
1461             AddCodeLine ("tya");
1462             break;
1463
1464         case CF_LONG:
1465             /* Do it the old way */
1466             g_push (flags, 0);
1467             g_getstatic (flags, label, offs);
1468             g_add (flags, 0);
1469             break;
1470
1471         default:
1472             typeerror (flags);
1473
1474     }
1475 }
1476
1477
1478
1479 /*****************************************************************************/
1480 /*                           Special op= functions                           */
1481 /*****************************************************************************/
1482
1483
1484
1485 void g_addeqstatic (unsigned flags, unsigned long label, unsigned offs,
1486                     unsigned long val)
1487 /* Emit += for a static variable */
1488 {
1489     /* Create the correct label name */
1490     char* lbuf = GetLabelName (flags, label, offs);
1491
1492     /* Check the size and determine operation */
1493     switch (flags & CF_TYPE) {
1494
1495         case CF_CHAR:
1496             if (flags & CF_FORCECHAR) {
1497                 AddCodeLine ("ldx #$00");
1498                 if (flags & CF_CONST) {
1499                     if (val == 1) {
1500                         AddCodeLine ("inc %s", lbuf);
1501                         AddCodeLine ("lda %s", lbuf);
1502                     } else {
1503                         AddCodeLine ("lda #$%02X", (int)(val & 0xFF));
1504                         AddCodeLine ("clc");
1505                         AddCodeLine ("adc %s", lbuf);
1506                         AddCodeLine ("sta %s", lbuf);
1507                     }
1508                 } else {
1509                     AddCodeLine ("clc");
1510                     AddCodeLine ("adc %s", lbuf);
1511                     AddCodeLine ("sta %s", lbuf);
1512                 }
1513                 if ((flags & CF_UNSIGNED) == 0) {
1514                     unsigned L = GetLocalLabel();
1515                     AddCodeLine ("bpl %s", LocalLabelName (L));
1516                     AddCodeLine ("dex");
1517                     g_defcodelabel (L);
1518                 }
1519                 break;
1520             }
1521             /* FALLTHROUGH */
1522
1523         case CF_INT:
1524             if (flags & CF_CONST) {
1525                 if (val == 1) {
1526                     unsigned L = GetLocalLabel ();
1527                     AddCodeLine ("inc %s", lbuf);
1528                     AddCodeLine ("bne %s", LocalLabelName (L));
1529                     AddCodeLine ("inc %s+1", lbuf);
1530                     g_defcodelabel (L);
1531                     AddCodeLine ("lda %s", lbuf);               /* Hmmm... */
1532                     AddCodeLine ("ldx %s+1", lbuf);
1533                 } else {
1534                     AddCodeLine ("lda #$%02X", (int)(val & 0xFF));
1535                     AddCodeLine ("clc");
1536                     AddCodeLine ("adc %s", lbuf);
1537                     AddCodeLine ("sta %s", lbuf);
1538                     if (val < 0x100) {
1539                         unsigned L = GetLocalLabel ();
1540                         AddCodeLine ("bcc %s", LocalLabelName (L));
1541                         AddCodeLine ("inc %s+1", lbuf);
1542                         g_defcodelabel (L);
1543                         AddCodeLine ("ldx %s+1", lbuf);
1544                     } else {
1545                         AddCodeLine ("lda #$%02X", (unsigned char)(val >> 8));
1546                         AddCodeLine ("adc %s+1", lbuf);
1547                         AddCodeLine ("sta %s+1", lbuf);
1548                         AddCodeLine ("tax");
1549                         AddCodeLine ("lda %s", lbuf);
1550                     }
1551                 }
1552             } else {
1553                 AddCodeLine ("clc");
1554                 AddCodeLine ("adc %s", lbuf);
1555                 AddCodeLine ("sta %s", lbuf);
1556                 AddCodeLine ("txa");
1557                 AddCodeLine ("adc %s+1", lbuf);
1558                 AddCodeLine ("sta %s+1", lbuf);
1559                 AddCodeLine ("tax");
1560                 AddCodeLine ("lda %s", lbuf);
1561             }
1562             break;
1563
1564         case CF_LONG:
1565             if (flags & CF_CONST) {
1566                 if (val < 0x100) {
1567                     AddCodeLine ("ldy #<(%s)", lbuf);
1568                     AddCodeLine ("sty ptr1");
1569                     AddCodeLine ("ldy #>(%s+1)", lbuf);
1570                     if (val == 1) {
1571                         AddCodeLine ("jsr laddeq1");
1572                     } else {
1573                         AddCodeLine ("lda #$%02X", (int)(val & 0xFF));
1574                         AddCodeLine ("jsr laddeqa");
1575                     }
1576                 } else {
1577                     g_getstatic (flags, label, offs);
1578                     g_inc (flags, val);
1579                     g_putstatic (flags, label, offs);
1580                 }
1581             } else {
1582                 AddCodeLine ("ldy #<(%s)", lbuf);
1583                 AddCodeLine ("sty ptr1");
1584                 AddCodeLine ("ldy #>(%s+1)", lbuf);
1585                 AddCodeLine ("jsr laddeq");
1586             }
1587             break;
1588
1589         default:
1590             typeerror (flags);
1591     }
1592 }
1593
1594
1595
1596 void g_addeqlocal (unsigned flags, int offs, unsigned long val)
1597 /* Emit += for a local variable */
1598 {
1599     /* Calculate the true offset, check it, load it into Y */
1600     offs -= oursp;
1601     CheckLocalOffs (offs);
1602
1603     /* Check the size and determine operation */
1604     switch (flags & CF_TYPE) {
1605
1606         case CF_CHAR:
1607             if (flags & CF_FORCECHAR) {
1608                 ldyconst (offs);
1609                 AddCodeLine ("ldx #$00");
1610                 if (flags & CF_CONST) {
1611                     AddCodeLine ("clc");
1612                     AddCodeLine ("lda #$%02X", (int)(val & 0xFF));
1613                     AddCodeLine ("adc (sp),y");
1614                     AddCodeLine ("sta (sp),y");
1615                 } else {
1616                     AddCodeLine ("clc");
1617                     AddCodeLine ("adc (sp),y");
1618                     AddCodeLine ("sta (sp),y");
1619                 }
1620                 if ((flags & CF_UNSIGNED) == 0) {
1621                     unsigned L = GetLocalLabel();
1622                     AddCodeLine ("bpl %s", LocalLabelName (L));
1623                     AddCodeLine ("dex");
1624                     g_defcodelabel (L);
1625                 }
1626                 break;
1627             }
1628             /* FALLTHROUGH */
1629
1630         case CF_INT:
1631             ldyconst (offs);
1632             if (flags & CF_CONST) {
1633                 if (CodeSizeFactor >= 400) {
1634                     AddCodeLine ("clc");
1635                     AddCodeLine ("lda #$%02X", (int)(val & 0xFF));
1636                     AddCodeLine ("adc (sp),y");
1637                     AddCodeLine ("sta (sp),y");
1638                     AddCodeLine ("iny");
1639                     AddCodeLine ("lda #$%02X", (int) ((val >> 8) & 0xFF));
1640                     AddCodeLine ("adc (sp),y");
1641                     AddCodeLine ("sta (sp),y");
1642                     AddCodeLine ("tax");
1643                     AddCodeLine ("dey");
1644                     AddCodeLine ("lda (sp),y");
1645                 } else {
1646                     g_getimmed (flags, val, 0);
1647                     AddCodeLine ("jsr addeqysp");
1648                 }
1649             } else {
1650                 AddCodeLine ("jsr addeqysp");
1651             }
1652             break;
1653
1654         case CF_LONG:
1655             if (flags & CF_CONST) {
1656                 g_getimmed (flags, val, 0);
1657             }
1658             ldyconst (offs);
1659             AddCodeLine ("jsr laddeqysp");
1660             break;
1661
1662         default:
1663             typeerror (flags);
1664     }
1665 }
1666
1667
1668
1669 void g_addeqind (unsigned flags, unsigned offs, unsigned long val)
1670 /* Emit += for the location with address in ax */
1671 {
1672     /* If the offset is too large for a byte register, add the high byte
1673      * of the offset to the primary. Beware: We need a special correction
1674      * if the offset in the low byte will overflow in the operation.
1675      */
1676     offs = MakeByteOffs (flags, offs);
1677
1678     /* Check the size and determine operation */
1679     switch (flags & CF_TYPE) {
1680
1681         case CF_CHAR:
1682             AddCodeLine ("sta ptr1");
1683             AddCodeLine ("stx ptr1+1");
1684             AddCodeLine ("ldy #$%02X", offs);
1685             AddCodeLine ("ldx #$00");
1686             AddCodeLine ("lda #$%02X", (int)(val & 0xFF));
1687             AddCodeLine ("clc");
1688             AddCodeLine ("adc (ptr1),y");
1689             AddCodeLine ("sta (ptr1),y");
1690             break;
1691
1692         case CF_INT:
1693             if (CodeSizeFactor >= 200) {
1694                 /* Lots of code, use only if size is not important */
1695                 AddCodeLine ("sta ptr1");
1696                 AddCodeLine ("stx ptr1+1");
1697                 AddCodeLine ("ldy #$%02X", offs);
1698                 AddCodeLine ("lda #$%02X", (int)(val & 0xFF));
1699                 AddCodeLine ("clc");
1700                 AddCodeLine ("adc (ptr1),y");
1701                 AddCodeLine ("sta (ptr1),y");
1702                 AddCodeLine ("pha");
1703                 AddCodeLine ("iny");
1704                 AddCodeLine ("lda #$%02X", (unsigned char)(val >> 8));
1705                 AddCodeLine ("adc (ptr1),y");
1706                 AddCodeLine ("sta (ptr1),y");
1707                 AddCodeLine ("tax");
1708                 AddCodeLine ("pla");
1709                 break;
1710             }
1711             /* FALL THROUGH */
1712
1713         case CF_LONG:
1714             AddCodeLine ("jsr pushax");         /* Push the address */
1715             push (CF_PTR);                      /* Correct the internal sp */
1716             g_getind (flags, offs);             /* Fetch the value */
1717             g_inc (flags, val);                 /* Increment value in primary */
1718             g_putind (flags, offs);             /* Store the value back */
1719             break;
1720
1721         default:
1722             typeerror (flags);
1723     }
1724 }
1725
1726
1727
1728 void g_subeqstatic (unsigned flags, unsigned long label, unsigned offs,
1729                     unsigned long val)
1730 /* Emit -= for a static variable */
1731 {
1732     /* Create the correct label name */
1733     char* lbuf = GetLabelName (flags, label, offs);
1734
1735     /* Check the size and determine operation */
1736     switch (flags & CF_TYPE) {
1737
1738         case CF_CHAR:
1739             if (flags & CF_FORCECHAR) {
1740                 AddCodeLine ("ldx #$00");
1741                 if (flags & CF_CONST) {
1742                     if (val == 1) {
1743                         AddCodeLine ("dec %s", lbuf);
1744                         AddCodeLine ("lda %s", lbuf);
1745                     } else {
1746                         AddCodeLine ("sec");
1747                         AddCodeLine ("lda %s", lbuf);
1748                         AddCodeLine ("sbc #$%02X", (int)(val & 0xFF));
1749                         AddCodeLine ("sta %s", lbuf);
1750                     }
1751                 } else {
1752                     AddCodeLine ("sec");
1753                     AddCodeLine ("sta tmp1");
1754                     AddCodeLine ("lda %s", lbuf);
1755                     AddCodeLine ("sbc tmp1");
1756                     AddCodeLine ("sta %s", lbuf);
1757                 }
1758                 if ((flags & CF_UNSIGNED) == 0) {
1759                     unsigned L = GetLocalLabel();
1760                     AddCodeLine ("bpl %s", LocalLabelName (L));
1761                     AddCodeLine ("dex");
1762                     g_defcodelabel (L);
1763                 }
1764                 break;
1765             }
1766             /* FALLTHROUGH */
1767
1768         case CF_INT:
1769             AddCodeLine ("sec");
1770             if (flags & CF_CONST) {
1771                 AddCodeLine ("lda %s", lbuf);
1772                 AddCodeLine ("sbc #$%02X", (unsigned char)val);
1773                 AddCodeLine ("sta %s", lbuf);
1774                 if (val < 0x100) {
1775                     unsigned L = GetLocalLabel ();
1776                     AddCodeLine ("bcs %s", LocalLabelName (L));
1777                     AddCodeLine ("dec %s+1", lbuf);
1778                     g_defcodelabel (L);
1779                     AddCodeLine ("ldx %s+1", lbuf);
1780                 } else {
1781                     AddCodeLine ("lda %s+1", lbuf);
1782                     AddCodeLine ("sbc #$%02X", (unsigned char)(val >> 8));
1783                     AddCodeLine ("sta %s+1", lbuf);
1784                     AddCodeLine ("tax");
1785                     AddCodeLine ("lda %s", lbuf);
1786                 }
1787             } else {
1788                 AddCodeLine ("sta tmp1");
1789                 AddCodeLine ("lda %s", lbuf);
1790                 AddCodeLine ("sbc tmp1");
1791                 AddCodeLine ("sta %s", lbuf);
1792                 AddCodeLine ("stx tmp1");
1793                 AddCodeLine ("lda %s+1", lbuf);
1794                 AddCodeLine ("sbc tmp1");
1795                 AddCodeLine ("sta %s+1", lbuf);
1796                 AddCodeLine ("tax");
1797                 AddCodeLine ("lda %s", lbuf);
1798             }
1799             break;
1800
1801         case CF_LONG:
1802             if (flags & CF_CONST) {
1803                 if (val < 0x100) {
1804                     AddCodeLine ("ldy #<(%s)", lbuf);
1805                     AddCodeLine ("sty ptr1");
1806                     AddCodeLine ("ldy #>(%s+1)", lbuf);
1807                     AddCodeLine ("lda #$%02X", (unsigned char)val);
1808                     AddCodeLine ("jsr lsubeqa");
1809                 } else {
1810                     g_getstatic (flags, label, offs);
1811                     g_dec (flags, val);
1812                     g_putstatic (flags, label, offs);
1813                 }
1814             } else {
1815                 AddCodeLine ("ldy #<(%s)", lbuf);
1816                 AddCodeLine ("sty ptr1");
1817                 AddCodeLine ("ldy #>(%s+1)", lbuf);
1818                 AddCodeLine ("jsr lsubeq");
1819             }
1820             break;
1821
1822         default:
1823             typeerror (flags);
1824     }
1825 }
1826
1827
1828
1829 void g_subeqlocal (unsigned flags, int offs, unsigned long val)
1830 /* Emit -= for a local variable */
1831 {
1832     /* Calculate the true offset, check it, load it into Y */
1833     offs -= oursp;
1834     CheckLocalOffs (offs);
1835
1836     /* Check the size and determine operation */
1837     switch (flags & CF_TYPE) {
1838
1839         case CF_CHAR:
1840             if (flags & CF_FORCECHAR) {
1841                 ldyconst (offs);
1842                 AddCodeLine ("ldx #$00");
1843                 AddCodeLine ("sec");
1844                 if (flags & CF_CONST) {
1845                     AddCodeLine ("lda (sp),y");
1846                     AddCodeLine ("sbc #$%02X", (unsigned char)val);
1847                 } else {
1848                     AddCodeLine ("sta tmp1");
1849                     AddCodeLine ("lda (sp),y");
1850                     AddCodeLine ("sbc tmp1");
1851                 }
1852                 AddCodeLine ("sta (sp),y");
1853                 if ((flags & CF_UNSIGNED) == 0) {
1854                     unsigned L = GetLocalLabel();
1855                     AddCodeLine ("bpl %s", LocalLabelName (L));
1856                     AddCodeLine ("dex");
1857                     g_defcodelabel (L);
1858                 }
1859                 break;
1860             }
1861             /* FALLTHROUGH */
1862
1863         case CF_INT:
1864             if (flags & CF_CONST) {
1865                 g_getimmed (flags, val, 0);
1866             }
1867             ldyconst (offs);
1868             AddCodeLine ("jsr subeqysp");
1869             break;
1870
1871         case CF_LONG:
1872             if (flags & CF_CONST) {
1873                 g_getimmed (flags, val, 0);
1874             }
1875             ldyconst (offs);
1876             AddCodeLine ("jsr lsubeqysp");
1877             break;
1878
1879         default:
1880             typeerror (flags);
1881     }
1882 }
1883
1884
1885
1886 void g_subeqind (unsigned flags, unsigned offs, unsigned long val)
1887 /* Emit -= for the location with address in ax */
1888 {
1889     /* If the offset is too large for a byte register, add the high byte
1890      * of the offset to the primary. Beware: We need a special correction
1891      * if the offset in the low byte will overflow in the operation.
1892      */
1893     offs = MakeByteOffs (flags, offs);
1894
1895     /* Check the size and determine operation */
1896     switch (flags & CF_TYPE) {
1897
1898         case CF_CHAR:
1899             AddCodeLine ("sta ptr1");
1900             AddCodeLine ("stx ptr1+1");
1901             AddCodeLine ("ldy #$%02X", offs);
1902             AddCodeLine ("ldx #$00");
1903             AddCodeLine ("lda (ptr1),y");
1904             AddCodeLine ("sec");
1905             AddCodeLine ("sbc #$%02X", (unsigned char)val);
1906             AddCodeLine ("sta (ptr1),y");
1907             break;
1908
1909         case CF_INT:
1910             if (CodeSizeFactor >= 200) {
1911                 /* Lots of code, use only if size is not important */
1912                 AddCodeLine ("sta ptr1");
1913                 AddCodeLine ("stx ptr1+1");
1914                 AddCodeLine ("ldy #$%02X", offs);
1915                 AddCodeLine ("lda (ptr1),y");
1916                 AddCodeLine ("sec");
1917                 AddCodeLine ("sbc #$%02X", (unsigned char)val);
1918                 AddCodeLine ("sta (ptr1),y");
1919                 AddCodeLine ("pha");
1920                 AddCodeLine ("iny");
1921                 AddCodeLine ("lda (ptr1),y");
1922                 AddCodeLine ("sbc #$%02X", (unsigned char)(val >> 8));
1923                 AddCodeLine ("sta (ptr1),y");
1924                 AddCodeLine ("tax");
1925                 AddCodeLine ("pla");
1926                 break;
1927             }
1928             /* FALL THROUGH */
1929
1930         case CF_LONG:
1931             AddCodeLine ("jsr pushax");         /* Push the address */
1932             push (CF_PTR);                      /* Correct the internal sp */
1933             g_getind (flags, offs);             /* Fetch the value */
1934             g_dec (flags, val);                 /* Increment value in primary */
1935             g_putind (flags, offs);             /* Store the value back */
1936             break;
1937
1938         default:
1939             typeerror (flags);
1940     }
1941 }
1942
1943
1944
1945 /*****************************************************************************/
1946 /*                 Add a variable address to the value in ax                 */
1947 /*****************************************************************************/
1948
1949
1950
1951 void g_addaddr_local (unsigned flags attribute ((unused)), int offs)
1952 /* Add the address of a local variable to ax */
1953 {
1954     unsigned L = 0;
1955
1956     /* Add the offset */
1957     offs -= oursp;
1958     if (offs != 0) {
1959         /* We cannot address more then 256 bytes of locals anyway */
1960         L = GetLocalLabel();
1961         CheckLocalOffs (offs);
1962         AddCodeLine ("clc");
1963         AddCodeLine ("adc #$%02X", offs & 0xFF);
1964         /* Do also skip the CLC insn below */
1965         AddCodeLine ("bcc %s", LocalLabelName (L));
1966         AddCodeLine ("inx");
1967     }
1968
1969     /* Add the current stackpointer value */
1970     AddCodeLine ("clc");
1971     if (L != 0) {
1972         /* Label was used above */
1973         g_defcodelabel (L);
1974     }
1975     AddCodeLine ("adc sp");
1976     AddCodeLine ("tay");
1977     AddCodeLine ("txa");
1978     AddCodeLine ("adc sp+1");
1979     AddCodeLine ("tax");
1980     AddCodeLine ("tya");
1981 }
1982
1983
1984
1985 void g_addaddr_static (unsigned flags, unsigned long label, unsigned offs)
1986 /* Add the address of a static variable to ax */
1987 {
1988     /* Create the correct label name */
1989     char* lbuf = GetLabelName (flags, label, offs);
1990
1991     /* Add the address to the current ax value */
1992     AddCodeLine ("clc");
1993     AddCodeLine ("adc #<(%s)", lbuf);
1994     AddCodeLine ("tay");
1995     AddCodeLine ("txa");
1996     AddCodeLine ("adc #>(%s)", lbuf);
1997     AddCodeLine ("tax");
1998     AddCodeLine ("tya");
1999 }
2000
2001
2002
2003 /*****************************************************************************/
2004 /*                                                                           */
2005 /*****************************************************************************/
2006
2007
2008
2009 void g_save (unsigned flags)
2010 /* Copy primary register to hold register. */
2011 {
2012     /* Check the size and determine operation */
2013     switch (flags & CF_TYPE) {
2014
2015         case CF_CHAR:
2016             if (flags & CF_FORCECHAR) {
2017                 AddCodeLine ("pha");
2018                 break;
2019             }
2020             /* FALLTHROUGH */
2021
2022         case CF_INT:
2023             AddCodeLine ("sta regsave");
2024             AddCodeLine ("stx regsave+1");
2025             break;
2026
2027         case CF_LONG:
2028             AddCodeLine ("jsr saveeax");
2029             break;
2030
2031         default:
2032             typeerror (flags);
2033     }
2034 }
2035
2036
2037
2038 void g_restore (unsigned flags)
2039 /* Copy hold register to primary. */
2040 {
2041     /* Check the size and determine operation */
2042     switch (flags & CF_TYPE) {
2043
2044         case CF_CHAR:
2045             if (flags & CF_FORCECHAR) {
2046                 AddCodeLine ("pla");
2047                 break;
2048             }
2049             /* FALLTHROUGH */
2050
2051         case CF_INT:
2052             AddCodeLine ("lda regsave");
2053             AddCodeLine ("ldx regsave+1");
2054             break;
2055
2056         case CF_LONG:
2057             AddCodeLine ("jsr resteax");
2058             break;
2059
2060         default:
2061             typeerror (flags);
2062     }
2063 }
2064
2065
2066
2067 void g_cmp (unsigned flags, unsigned long val)
2068 /* Immidiate compare. The primary register will not be changed, Z flag
2069  * will be set.
2070  */
2071 {
2072     unsigned L;
2073
2074     /* Check the size and determine operation */
2075     switch (flags & CF_TYPE) {
2076
2077         case CF_CHAR:
2078             if (flags & CF_FORCECHAR) {
2079                 AddCodeLine ("cmp #$%02X", (unsigned char)val);
2080                 break;
2081             }
2082             /* FALLTHROUGH */
2083
2084         case CF_INT:
2085             L = GetLocalLabel();
2086             AddCodeLine ("cmp #$%02X", (unsigned char)val);
2087             AddCodeLine ("bne %s", LocalLabelName (L));
2088             AddCodeLine ("cpx #$%02X", (unsigned char)(val >> 8));
2089             g_defcodelabel (L);
2090             break;
2091
2092         case CF_LONG:
2093             Internal ("g_cmp: Long compares not implemented");
2094             break;
2095
2096         default:
2097             typeerror (flags);
2098     }
2099 }
2100
2101
2102
2103 static void oper (unsigned flags, unsigned long val, char** subs)
2104 /* Encode a binary operation. subs is a pointer to four groups of three
2105  * strings:
2106  *      0-2     --> Operate on ints
2107  *      3-5     --> Operate on unsigneds
2108  *      6-8     --> Operate on longs
2109  *      9-11    --> Operate on unsigned longs
2110  *
2111  * The first subroutine names in each string group is used to encode an
2112  * operation with a zero constant, the second to encode an operation with
2113  * a 8 bit constant, and the third is used in all other cases.
2114  */
2115 {
2116     unsigned offs;
2117
2118     /* Determine the offset into the array */
2119     offs = (flags & CF_UNSIGNED)? 3 : 0;
2120     switch (flags & CF_TYPE) {
2121         case CF_CHAR:
2122         case CF_INT:
2123             break;
2124
2125         case CF_LONG:
2126             offs += 6;
2127             break;
2128
2129         default:
2130             typeerror (flags);
2131     }
2132
2133     /* Encode the operation */
2134     if (flags & CF_CONST) {
2135         /* Constant value given */
2136         if (val == 0 && subs [offs+0]) {
2137             /* Special case: constant with value zero */
2138             AddCodeLine ("jsr %s", subs [offs+0]);
2139         } else if (val < 0x100 && subs [offs+1]) {
2140             /* Special case: constant with high byte zero */
2141             ldaconst (val);             /* Load low byte */
2142             AddCodeLine ("jsr %s", subs [offs+1]);
2143         } else {
2144             /* Others: arbitrary constant value */
2145             g_getimmed (flags, val, 0);                 /* Load value */
2146             AddCodeLine ("jsr %s", subs [offs+2]);
2147         }
2148     } else {
2149         /* Value not constant (is already in (e)ax) */
2150         AddCodeLine ("jsr %s", subs [offs+2]);
2151     }
2152
2153     /* The operation will pop it's argument */
2154     pop (flags);
2155 }
2156
2157
2158
2159 void g_test (unsigned flags)
2160 /* Test the value in the primary and set the condition codes */
2161 {
2162     switch (flags & CF_TYPE) {
2163
2164         case CF_CHAR:
2165             if (flags & CF_FORCECHAR) {
2166                 AddCodeLine ("tax");
2167                 break;
2168             }
2169             /* FALLTHROUGH */
2170
2171         case CF_INT:
2172             AddCodeLine ("stx tmp1");
2173             AddCodeLine ("ora tmp1");
2174             break;
2175
2176         case CF_LONG:
2177             if (flags & CF_UNSIGNED) {
2178                 AddCodeLine ("jsr utsteax");
2179             } else {
2180                 AddCodeLine ("jsr tsteax");
2181             }
2182             break;
2183
2184         default:
2185             typeerror (flags);
2186
2187     }
2188 }
2189
2190
2191
2192 void g_push (unsigned flags, unsigned long val)
2193 /* Push the primary register or a constant value onto the stack */
2194 {
2195     if (flags & CF_CONST && (flags & CF_TYPE) != CF_LONG) {
2196
2197         /* We have a constant 8 or 16 bit value */
2198         if ((flags & CF_TYPE) == CF_CHAR && (flags & CF_FORCECHAR)) {
2199
2200             /* Handle as 8 bit value */
2201             ldaconst (val);
2202             AddCodeLine ("jsr pusha");
2203
2204         } else {
2205
2206             /* Handle as 16 bit value */
2207             g_getimmed (flags, val, 0);
2208             AddCodeLine ("jsr pushax");
2209         }
2210
2211     } else {
2212
2213         /* Value is not 16 bit or not constant */
2214         if (flags & CF_CONST) {
2215             /* Constant 32 bit value, load into eax */
2216             g_getimmed (flags, val, 0);
2217         }
2218
2219         /* Push the primary register */
2220         switch (flags & CF_TYPE) {
2221
2222             case CF_CHAR:
2223                 if (flags & CF_FORCECHAR) {
2224                     /* Handle as char */
2225                     AddCodeLine ("jsr pusha");
2226                     break;
2227                 }
2228                 /* FALL THROUGH */
2229             case CF_INT:
2230                 AddCodeLine ("jsr pushax");
2231                 break;
2232
2233             case CF_LONG:
2234                 AddCodeLine ("jsr pusheax");
2235                 break;
2236
2237             default:
2238                 typeerror (flags);
2239
2240         }
2241
2242     }
2243
2244     /* Adjust the stack offset */
2245     push (flags);
2246 }
2247
2248
2249
2250 void g_swap (unsigned flags)
2251 /* Swap the primary register and the top of the stack. flags give the type
2252  * of *both* values (must have same size).
2253  */
2254 {
2255     switch (flags & CF_TYPE) {
2256
2257         case CF_CHAR:
2258         case CF_INT:
2259             AddCodeLine ("jsr swapstk");
2260             break;
2261
2262         case CF_LONG:
2263             AddCodeLine ("jsr swapestk");
2264             break;
2265
2266         default:
2267             typeerror (flags);
2268
2269     }
2270 }
2271
2272
2273
2274 void g_call (unsigned Flags, const char* Label, unsigned ArgSize)
2275 /* Call the specified subroutine name */
2276 {
2277     if ((Flags & CF_FIXARGC) == 0) {
2278         /* Pass the argument count */
2279         ldyconst (ArgSize);
2280     }
2281     AddCodeLine ("jsr _%s", Label);
2282     oursp += ArgSize;           /* callee pops args */
2283 }
2284
2285
2286
2287 void g_callind (unsigned Flags, unsigned ArgSize, int Offs)
2288 /* Call subroutine indirect */
2289 {
2290     if ((Flags & CF_LOCAL) == 0) {
2291         /* Address is in a/x */
2292         if ((Flags & CF_FIXARGC) == 0) {
2293             /* Pass arg count */
2294             ldyconst (ArgSize);
2295         }
2296         AddCodeLine ("jsr callax");
2297     } else {
2298         /* The address is on stack, offset is on Val */
2299         Offs -= oursp;
2300         CheckLocalOffs (Offs);
2301         AddCodeLine ("pha");
2302         AddCodeLine ("ldy #$%02X", Offs);
2303         AddCodeLine ("lda (sp),y");
2304         AddCodeLine ("sta jmpvec+1");
2305         AddCodeLine ("iny");
2306         AddCodeLine ("lda (sp),y");
2307         AddCodeLine ("sta jmpvec+2");
2308         AddCodeLine ("pla");
2309         AddCodeLine ("jsr jmpvec");
2310     }
2311
2312     /* Callee pops args */
2313     oursp += ArgSize;
2314 }
2315
2316
2317
2318 void g_jump (unsigned Label)
2319 /* Jump to specified internal label number */
2320 {
2321     AddCodeLine ("jmp %s", LocalLabelName (Label));
2322 }
2323
2324
2325
2326 void g_truejump (unsigned flags attribute ((unused)), unsigned label)
2327 /* Jump to label if zero flag clear */
2328 {
2329     AddCodeLine ("jne %s", LocalLabelName (label));
2330 }
2331
2332
2333
2334 void g_falsejump (unsigned flags attribute ((unused)), unsigned label)
2335 /* Jump to label if zero flag set */
2336 {
2337     AddCodeLine ("jeq %s", LocalLabelName (label));
2338 }
2339
2340
2341
2342 static void mod_internal (int k, char* verb1, char* verb2)
2343 {
2344     if (k <= 8) {
2345         AddCodeLine ("jsr %ssp%c", verb1, k + '0');
2346     } else {
2347         CheckLocalOffs (k);
2348         ldyconst (k);
2349         AddCodeLine ("jsr %ssp", verb2);
2350     }
2351 }
2352
2353
2354
2355 void g_space (int space)
2356 /* Create or drop space on the stack */
2357 {
2358     if (space < 0) {
2359         mod_internal (-space, "inc", "addy");
2360     } else if (space > 0) {
2361         mod_internal (space, "dec", "suby");
2362     }
2363 }
2364
2365
2366
2367 void g_cstackcheck (void)
2368 /* Check for a C stack overflow */
2369 {
2370     AddCodeLine ("jsr cstkchk");
2371 }
2372
2373
2374
2375 void g_stackcheck (void)
2376 /* Check for a stack overflow */
2377 {
2378     AddCodeLine ("jsr stkchk");
2379 }
2380
2381
2382
2383 void g_add (unsigned flags, unsigned long val)
2384 /* Primary = TOS + Primary */
2385 {
2386     static char* ops [12] = {
2387         0,              "tosadda0",     "tosaddax",
2388         0,              "tosadda0",     "tosaddax",
2389         0,              0,              "tosaddeax",
2390         0,              0,              "tosaddeax",
2391     };
2392
2393     if (flags & CF_CONST) {
2394         flags &= ~CF_FORCECHAR; /* Handle chars as ints */
2395         g_push (flags & ~CF_CONST, 0);
2396     }
2397     oper (flags, val, ops);
2398 }
2399
2400
2401
2402 void g_sub (unsigned flags, unsigned long val)
2403 /* Primary = TOS - Primary */
2404 {
2405     static char* ops [12] = {
2406         0,              "tossuba0",     "tossubax",
2407         0,              "tossuba0",     "tossubax",
2408         0,              0,              "tossubeax",
2409         0,              0,              "tossubeax",
2410     };
2411
2412     if (flags & CF_CONST) {
2413         flags &= ~CF_FORCECHAR; /* Handle chars as ints */
2414         g_push (flags & ~CF_CONST, 0);
2415     }
2416     oper (flags, val, ops);
2417 }
2418
2419
2420
2421 void g_rsub (unsigned flags, unsigned long val)
2422 /* Primary = Primary - TOS */
2423 {
2424     static char* ops [12] = {
2425         0,              "tosrsuba0",    "tosrsubax",
2426         0,              "tosrsuba0",    "tosrsubax",
2427         0,              0,              "tosrsubeax",
2428         0,              0,              "tosrsubeax",
2429     };
2430     oper (flags, val, ops);
2431 }
2432
2433
2434
2435 void g_mul (unsigned flags, unsigned long val)
2436 /* Primary = TOS * Primary */
2437 {
2438     static char* ops [12] = {
2439         0,              "tosmula0",     "tosmulax",
2440         0,              "tosumula0",    "tosumulax",
2441         0,              0,              "tosmuleax",
2442         0,              0,              "tosumuleax",
2443     };
2444
2445     int p2;
2446
2447     /* Do strength reduction if the value is constant and a power of two */
2448     if (flags & CF_CONST && (p2 = powerof2 (val)) >= 0) {
2449         /* Generate a shift instead */
2450         g_asl (flags, p2);
2451         return;
2452     }
2453
2454     /* If the right hand side is const, the lhs is not on stack but still
2455      * in the primary register.
2456      */
2457     if (flags & CF_CONST) {
2458
2459         switch (flags & CF_TYPE) {
2460
2461             case CF_CHAR:
2462                 if (flags & CF_FORCECHAR) {
2463                     /* Handle some special cases */
2464                     switch (val) {
2465
2466                         case 3:
2467                             AddCodeLine ("sta tmp1");
2468                             AddCodeLine ("asl a");
2469                             AddCodeLine ("clc");
2470                             AddCodeLine ("adc tmp1");
2471                             return;
2472
2473                         case 5:
2474                             AddCodeLine ("sta tmp1");
2475                             AddCodeLine ("asl a");
2476                             AddCodeLine ("asl a");
2477                             AddCodeLine ("clc");
2478                             AddCodeLine ("adc tmp1");
2479                             return;
2480
2481                         case 10:
2482                             AddCodeLine ("sta tmp1");
2483                             AddCodeLine ("asl a");
2484                             AddCodeLine ("asl a");
2485                             AddCodeLine ("clc");
2486                             AddCodeLine ("adc tmp1");
2487                             AddCodeLine ("asl a");
2488                             return;
2489                     }
2490                 }
2491                 /* FALLTHROUGH */
2492
2493             case CF_INT:
2494                 switch (val) {
2495                     case 3:
2496                         AddCodeLine ("jsr mulax3");
2497                         return;
2498                     case 5:
2499                         AddCodeLine ("jsr mulax5");
2500                         return;
2501                     case 10:
2502                         AddCodeLine ("jsr mulax10");
2503                         return;
2504                 }
2505                 break;
2506
2507             case CF_LONG:
2508                 break;
2509
2510             default:
2511                 typeerror (flags);
2512         }
2513
2514         /* If we go here, we didn't emit code. Push the lhs on stack and fall
2515          * into the normal, non-optimized stuff.
2516          */
2517         flags &= ~CF_FORCECHAR; /* Handle chars as ints */
2518         g_push (flags & ~CF_CONST, 0);
2519
2520     }
2521
2522     /* Use long way over the stack */
2523     oper (flags, val, ops);
2524 }
2525
2526
2527
2528 void g_div (unsigned flags, unsigned long val)
2529 /* Primary = TOS / Primary */
2530 {
2531     static char* ops [12] = {
2532         0,              "tosdiva0",     "tosdivax",
2533         0,              "tosudiva0",    "tosudivax",
2534         0,              0,              "tosdiveax",
2535         0,              0,              "tosudiveax",
2536     };
2537
2538     /* Do strength reduction if the value is constant and a power of two */
2539     int p2;
2540     if ((flags & CF_CONST) && (p2 = powerof2 (val)) >= 0) {
2541         /* Generate a shift instead */
2542         g_asr (flags, p2);
2543     } else {
2544         /* Generate a division */
2545         if (flags & CF_CONST) {
2546             /* lhs is not on stack */
2547             flags &= ~CF_FORCECHAR;     /* Handle chars as ints */
2548             g_push (flags & ~CF_CONST, 0);
2549         }
2550         oper (flags, val, ops);
2551     }
2552 }
2553
2554
2555
2556 void g_mod (unsigned flags, unsigned long val)
2557 /* Primary = TOS % Primary */
2558 {
2559     static char* ops [12] = {
2560         0,              "tosmoda0",     "tosmodax",
2561         0,              "tosumoda0",    "tosumodax",
2562         0,              0,              "tosmodeax",
2563         0,              0,              "tosumodeax",
2564     };
2565     int p2;
2566
2567     /* Check if we can do some cost reduction */
2568     if ((flags & CF_CONST) && (flags & CF_UNSIGNED) && val != 0xFFFFFFFF && (p2 = powerof2 (val)) >= 0) {
2569         /* We can do that with an AND operation */
2570         g_and (flags, val - 1);
2571     } else {
2572         /* Do it the hard way... */
2573         if (flags & CF_CONST) {
2574             /* lhs is not on stack */
2575             flags &= ~CF_FORCECHAR;     /* Handle chars as ints */
2576             g_push (flags & ~CF_CONST, 0);
2577         }
2578         oper (flags, val, ops);
2579     }
2580 }
2581
2582
2583
2584 void g_or (unsigned flags, unsigned long val)
2585 /* Primary = TOS | Primary */
2586 {
2587     static char* ops [12] = {
2588         0,              "tosora0",      "tosorax",
2589         0,              "tosora0",      "tosorax",
2590         0,              0,              "tosoreax",
2591         0,              0,              "tosoreax",
2592     };
2593
2594     /* If the right hand side is const, the lhs is not on stack but still
2595      * in the primary register.
2596      */
2597     if (flags & CF_CONST) {
2598
2599         switch (flags & CF_TYPE) {
2600
2601             case CF_CHAR:
2602                 if (flags & CF_FORCECHAR) {
2603                     if ((val & 0xFF) != 0xFF) {
2604                         AddCodeLine ("ora #$%02X", (unsigned char)val);
2605                     }
2606                     return;
2607                 }
2608                 /* FALLTHROUGH */
2609
2610             case CF_INT:
2611                 if (val <= 0xFF) {
2612                     AddCodeLine ("ora #$%02X", (unsigned char)val);
2613                     return;
2614                 }
2615                 break;
2616
2617             case CF_LONG:
2618                 if (val <= 0xFF) {
2619                     AddCodeLine ("ora #$%02X", (unsigned char)val);
2620                     return;
2621                 }
2622                 break;
2623
2624             default:
2625                 typeerror (flags);
2626         }
2627
2628         /* If we go here, we didn't emit code. Push the lhs on stack and fall
2629          * into the normal, non-optimized stuff.
2630          */
2631         g_push (flags & ~CF_CONST, 0);
2632
2633     }
2634
2635     /* Use long way over the stack */
2636     oper (flags, val, ops);
2637 }
2638
2639
2640
2641 void g_xor (unsigned flags, unsigned long val)
2642 /* Primary = TOS ^ Primary */
2643 {
2644     static char* ops [12] = {
2645         0,              "tosxora0",     "tosxorax",
2646         0,              "tosxora0",     "tosxorax",
2647         0,              0,              "tosxoreax",
2648         0,              0,              "tosxoreax",
2649     };
2650
2651
2652     /* If the right hand side is const, the lhs is not on stack but still
2653      * in the primary register.
2654      */
2655     if (flags & CF_CONST) {
2656
2657         switch (flags & CF_TYPE) {
2658
2659             case CF_CHAR:
2660                 if (flags & CF_FORCECHAR) {
2661                     if ((val & 0xFF) != 0) {
2662                         AddCodeLine ("eor #$%02X", (unsigned char)val);
2663                     }
2664                     return;
2665                 }
2666                 /* FALLTHROUGH */
2667
2668             case CF_INT:
2669                 if (val <= 0xFF) {
2670                     if (val != 0) {
2671                         AddCodeLine ("eor #$%02X", (unsigned char)val);
2672                     }
2673                     return;
2674                 } else if ((val & 0xFF) == 0) {
2675                     AddCodeLine ("pha");
2676                     AddCodeLine ("txa");
2677                     AddCodeLine ("eor #$%02X", (unsigned char)(val >> 8));
2678                     AddCodeLine ("tax");
2679                     AddCodeLine ("pla");
2680                     return;
2681                 }
2682                 break;
2683
2684             case CF_LONG:
2685                 if (val <= 0xFF) {
2686                     if (val != 0) {
2687                         AddCodeLine ("eor #$%02X", (unsigned char)val);
2688                     }
2689                     return;
2690                 }
2691                 break;
2692
2693             default:
2694                 typeerror (flags);
2695         }
2696
2697         /* If we go here, we didn't emit code. Push the lhs on stack and fall
2698          * into the normal, non-optimized stuff.
2699          */
2700         g_push (flags & ~CF_CONST, 0);
2701
2702     }
2703
2704     /* Use long way over the stack */
2705     oper (flags, val, ops);
2706 }
2707
2708
2709
2710 void g_and (unsigned flags, unsigned long val)
2711 /* Primary = TOS & Primary */
2712 {
2713     static char* ops [12] = {
2714         0,              "tosanda0",     "tosandax",
2715         0,              "tosanda0",     "tosandax",
2716         0,              0,              "tosandeax",
2717         0,              0,              "tosandeax",
2718     };
2719
2720     /* If the right hand side is const, the lhs is not on stack but still
2721      * in the primary register.
2722      */
2723     if (flags & CF_CONST) {
2724
2725         switch (flags & CF_TYPE) {
2726
2727             case CF_CHAR:
2728                 if (flags & CF_FORCECHAR) {
2729                     AddCodeLine ("and #$%02X", (unsigned char)val);
2730                     return;
2731                 }
2732                 /* FALLTHROUGH */
2733             case CF_INT:
2734                 if ((val & 0xFFFF) != 0xFFFF) {
2735                     if (val <= 0xFF) {
2736                         ldxconst (0);
2737                         if (val == 0) {
2738                             ldaconst (0);
2739                         } else if (val != 0xFF) {
2740                             AddCodeLine ("and #$%02X", (unsigned char)val);
2741                         }
2742                     } else if ((val & 0xFF00) == 0xFF00) {
2743                         AddCodeLine ("and #$%02X", (unsigned char)val);
2744                     } else if ((val & 0x00FF) == 0x0000) {
2745                         AddCodeLine ("txa");
2746                         AddCodeLine ("and #$%02X", (unsigned char)(val >> 8));
2747                         AddCodeLine ("tax");
2748                         ldaconst (0);
2749                     } else {
2750                         AddCodeLine ("tay");
2751                         AddCodeLine ("txa");
2752                         AddCodeLine ("and #$%02X", (unsigned char)(val >> 8));
2753                         AddCodeLine ("tax");
2754                         AddCodeLine ("tya");
2755                         if ((val & 0x00FF) != 0x00FF) {
2756                             AddCodeLine ("and #$%02X", (unsigned char)val);
2757                         }
2758                     }
2759                 }
2760                 return;
2761
2762             case CF_LONG:
2763                 if (val <= 0xFF) {
2764                     ldxconst (0);
2765                     AddCodeLine ("stx sreg+1");
2766                     AddCodeLine ("stx sreg");
2767                     if ((val & 0xFF) != 0xFF) {
2768                          AddCodeLine ("and #$%02X", (unsigned char)val);
2769                     }
2770                     return;
2771                 } else if (val == 0xFF00) {
2772                     ldaconst (0);
2773                     AddCodeLine ("sta sreg+1");
2774                     AddCodeLine ("sta sreg");
2775                     return;
2776                 }
2777                 break;
2778
2779             default:
2780                 typeerror (flags);
2781         }
2782
2783         /* If we go here, we didn't emit code. Push the lhs on stack and fall
2784          * into the normal, non-optimized stuff.
2785          */
2786         g_push (flags & ~CF_CONST, 0);
2787
2788     }
2789
2790     /* Use long way over the stack */
2791     oper (flags, val, ops);
2792 }
2793
2794
2795
2796 void g_asr (unsigned flags, unsigned long val)
2797 /* Primary = TOS >> Primary */
2798 {
2799     static char* ops [12] = {
2800         0,              "tosasra0",     "tosasrax",
2801         0,              "tosshra0",     "tosshrax",
2802         0,              0,              "tosasreax",
2803         0,              0,              "tosshreax",
2804     };
2805
2806     /* If the right hand side is const, the lhs is not on stack but still
2807      * in the primary register.
2808      */
2809     if (flags & CF_CONST) {
2810
2811         switch (flags & CF_TYPE) {
2812
2813             case CF_CHAR:
2814             case CF_INT:
2815                 if (val >= 8 && (flags & CF_UNSIGNED)) {
2816                     AddCodeLine ("txa");
2817                     ldxconst (0);
2818                     val -= 8;
2819                 }
2820                 if (val == 0) {
2821                     /* Done */
2822                     return;
2823                 } else if (val >= 1 && val <= 4) {
2824                     if (flags & CF_UNSIGNED) {
2825                         AddCodeLine ("jsr shrax%ld", val);
2826                     } else {
2827                         AddCodeLine ("jsr asrax%ld", val);
2828                     }
2829                     return;
2830                 }
2831                 break;
2832
2833             case CF_LONG:
2834                 if (val == 0) {
2835                     /* Nothing to do */
2836                     return;
2837                 } else if (val >= 1 && val <= 4) {
2838                     if (flags & CF_UNSIGNED) {
2839                         AddCodeLine ("jsr shreax%ld", val);
2840                     } else {
2841                         AddCodeLine ("jsr asreax%ld", val);
2842                     }
2843                     return;
2844                 } else if (val == 8 && (flags & CF_UNSIGNED)) {
2845                     AddCodeLine ("txa");
2846                     AddCodeLine ("ldx sreg");
2847                     AddCodeLine ("ldy sreg+1");
2848                     AddCodeLine ("sty sreg");
2849                     AddCodeLine ("ldy #$00");
2850                     AddCodeLine ("sty sreg+1");
2851                     return;
2852                 } else if (val == 16) {
2853                     AddCodeLine ("ldy #$00");
2854                     AddCodeLine ("ldx sreg+1");
2855                     if ((flags & CF_UNSIGNED) == 0) {
2856                         unsigned L = GetLocalLabel();
2857                         AddCodeLine ("bpl %s", LocalLabelName (L));
2858                         AddCodeLine ("dey");
2859                         g_defcodelabel (L);
2860                     }
2861                     AddCodeLine ("lda sreg");
2862                     AddCodeLine ("sty sreg+1");
2863                     AddCodeLine ("sty sreg");
2864                     return;
2865                 }
2866                 break;
2867
2868             default:
2869                 typeerror (flags);
2870         }
2871
2872         /* If we go here, we didn't emit code. Push the lhs on stack and fall
2873          * into the normal, non-optimized stuff.
2874          */
2875         g_push (flags & ~CF_CONST, 0);
2876
2877     }
2878
2879     /* Use long way over the stack */
2880     oper (flags, val, ops);
2881 }
2882
2883
2884
2885 void g_asl (unsigned flags, unsigned long val)
2886 /* Primary = TOS << Primary */
2887 {
2888     static char* ops [12] = {
2889         0,              "tosasla0",     "tosaslax",
2890         0,              "tosshla0",     "tosshlax",
2891         0,              0,              "tosasleax",
2892         0,              0,              "tosshleax",
2893     };
2894
2895
2896     /* If the right hand side is const, the lhs is not on stack but still
2897      * in the primary register.
2898      */
2899     if (flags & CF_CONST) {
2900
2901         switch (flags & CF_TYPE) {
2902
2903             case CF_CHAR:
2904             case CF_INT:
2905                 if (val >= 8) {
2906                     AddCodeLine ("tax");
2907                     AddCodeLine ("lda #$00");
2908                     val -= 8;
2909                 }
2910                 if (val == 0) {
2911                     /* Done */
2912                     return;
2913                 } else if (val >= 1 && val <= 4) {
2914                     if (flags & CF_UNSIGNED) {
2915                         AddCodeLine ("jsr shlax%ld", val);
2916                     } else {
2917                         AddCodeLine ("jsr aslax%ld", val);
2918                     }
2919                     return;
2920                 }
2921                 break;
2922
2923             case CF_LONG:
2924                 if (val == 0) {
2925                     /* Nothing to do */
2926                     return;
2927                 } else if (val >= 1 && val <= 4) {
2928                     if (flags & CF_UNSIGNED) {
2929                         AddCodeLine ("jsr shleax%ld", val);
2930                     } else {
2931                         AddCodeLine ("jsr asleax%ld", val);
2932                     }
2933                     return;
2934                 } else if (val == 8) {
2935                     AddCodeLine ("ldy sreg");
2936                     AddCodeLine ("sty sreg+1");
2937                     AddCodeLine ("stx sreg");
2938                     AddCodeLine ("tax");
2939                     AddCodeLine ("lda #$00");
2940                     return;
2941                 } else if (val == 16) {
2942                     AddCodeLine ("stx sreg+1");
2943                     AddCodeLine ("sta sreg");
2944                     AddCodeLine ("lda #$00");
2945                     AddCodeLine ("tax");
2946                     return;
2947                 }
2948                 break;
2949
2950             default:
2951                 typeerror (flags);
2952         }
2953
2954         /* If we go here, we didn't emit code. Push the lhs on stack and fall
2955          * into the normal, non-optimized stuff.
2956          */
2957         g_push (flags & ~CF_CONST, 0);
2958
2959     }
2960
2961     /* Use long way over the stack */
2962     oper (flags, val, ops);
2963 }
2964
2965
2966
2967 void g_neg (unsigned flags)
2968 /* Primary = -Primary */
2969 {
2970     switch (flags & CF_TYPE) {
2971
2972         case CF_CHAR:
2973         case CF_INT:
2974             AddCodeLine ("jsr negax");
2975             break;
2976
2977         case CF_LONG:
2978             AddCodeLine ("jsr negeax");
2979             break;
2980
2981         default:
2982             typeerror (flags);
2983     }
2984 }
2985
2986
2987
2988 void g_bneg (unsigned flags)
2989 /* Primary = !Primary */
2990 {
2991     switch (flags & CF_TYPE) {
2992
2993         case CF_CHAR:
2994             AddCodeLine ("jsr bnega");
2995             break;
2996
2997         case CF_INT:
2998             AddCodeLine ("jsr bnegax");
2999             break;
3000
3001         case CF_LONG:
3002             AddCodeLine ("jsr bnegeax");
3003             break;
3004
3005         default:
3006             typeerror (flags);
3007     }
3008 }
3009
3010
3011
3012 void g_com (unsigned flags)
3013 /* Primary = ~Primary */
3014 {
3015     switch (flags & CF_TYPE) {
3016
3017         case CF_CHAR:
3018         case CF_INT:
3019             AddCodeLine ("jsr complax");
3020             break;
3021
3022         case CF_LONG:
3023             AddCodeLine ("jsr compleax");
3024             break;
3025
3026         default:
3027             typeerror (flags);
3028     }
3029 }
3030
3031
3032
3033 void g_inc (unsigned flags, unsigned long val)
3034 /* Increment the primary register by a given number */
3035 {
3036     /* Don't inc by zero */
3037     if (val == 0) {
3038         return;
3039     }
3040
3041     /* Generate code for the supported types */
3042     flags &= ~CF_CONST;
3043     switch (flags & CF_TYPE) {
3044
3045         case CF_CHAR:
3046             if (flags & CF_FORCECHAR) {
3047                 if (CPU == CPU_65C02 && val <= 2) {
3048                     while (val--) {
3049                         AddCodeLine ("ina");
3050                     }
3051                 } else {
3052                     AddCodeLine ("clc");
3053                     AddCodeLine ("adc #$%02X", (unsigned char)val);
3054                 }
3055                 break;
3056             }
3057             /* FALLTHROUGH */
3058
3059         case CF_INT:
3060             if (CPU == CPU_65C02 && val == 1) {
3061                 unsigned L = GetLocalLabel();
3062                 AddCodeLine ("ina");
3063                 AddCodeLine ("bne %s", LocalLabelName (L));
3064                 AddCodeLine ("inx");
3065                 g_defcodelabel (L);
3066             } else if (CodeSizeFactor < 200) {
3067                 /* Use jsr calls */
3068                 if (val <= 8) {
3069                     AddCodeLine ("jsr incax%lu", val);
3070                 } else if (val <= 255) {
3071                     ldyconst (val);
3072                     AddCodeLine ("jsr incaxy");
3073                 } else {
3074                     g_add (flags | CF_CONST, val);
3075                 }
3076             } else {
3077                 /* Inline the code */
3078                 if (val <= 0x300) {
3079                     if ((val & 0xFF) != 0) {
3080                         unsigned L = GetLocalLabel();
3081                         AddCodeLine ("clc");
3082                         AddCodeLine ("adc #$%02X", (unsigned char) val);
3083                         AddCodeLine ("bcc %s", LocalLabelName (L));
3084                         AddCodeLine ("inx");
3085                         g_defcodelabel (L);
3086                     }
3087                     if (val >= 0x100) {
3088                         AddCodeLine ("inx");
3089                     }
3090                     if (val >= 0x200) {
3091                         AddCodeLine ("inx");
3092                     }
3093                     if (val >= 0x300) {
3094                         AddCodeLine ("inx");
3095                     }
3096                 } else {
3097                     AddCodeLine ("clc");
3098                     if ((val & 0xFF) != 0) {
3099                         AddCodeLine ("adc #$%02X", (unsigned char) val);
3100                     }
3101                     AddCodeLine ("pha");
3102                     AddCodeLine ("txa");
3103                     AddCodeLine ("adc #$%02X", (unsigned char) (val >> 8));
3104                     AddCodeLine ("tax");
3105                     AddCodeLine ("pla");
3106                 }
3107             }
3108             break;
3109
3110         case CF_LONG:
3111             if (val <= 255) {
3112                 ldyconst (val);
3113                 AddCodeLine ("jsr inceaxy");
3114             } else {
3115                 g_add (flags | CF_CONST, val);
3116             }
3117             break;
3118
3119         default:
3120             typeerror (flags);
3121
3122     }
3123 }
3124
3125
3126
3127 void g_dec (unsigned flags, unsigned long val)
3128 /* Decrement the primary register by a given number */
3129 {
3130     /* Don't dec by zero */
3131     if (val == 0) {
3132         return;
3133     }
3134
3135     /* Generate code for the supported types */
3136     flags &= ~CF_CONST;
3137     switch (flags & CF_TYPE) {
3138
3139         case CF_CHAR:
3140             if (flags & CF_FORCECHAR) {
3141                 if (CPU == CPU_65C02 && val <= 2) {
3142                     while (val--) {
3143                         AddCodeLine ("dea");
3144                     }
3145                 } else {
3146                     AddCodeLine ("sec");
3147                     AddCodeLine ("sbc #$%02X", (unsigned char)val);
3148                 }
3149                 break;
3150             }
3151             /* FALLTHROUGH */
3152
3153         case CF_INT:
3154             if (CodeSizeFactor < 200) {
3155                 /* Use subroutines */
3156                 if (val <= 8) {
3157                     AddCodeLine ("jsr decax%d", (int) val);
3158                 } else if (val <= 255) {
3159                     ldyconst (val);
3160                     AddCodeLine ("jsr decaxy");
3161                 } else {
3162                     g_sub (flags | CF_CONST, val);
3163                 }
3164             } else {
3165                 /* Inline the code */
3166                 if (val < 0x300) {
3167                     if ((val & 0xFF) != 0) {
3168                         unsigned L = GetLocalLabel();
3169                         AddCodeLine ("sec");
3170                         AddCodeLine ("sbc #$%02X", (unsigned char) val);
3171                         AddCodeLine ("bcs %s", LocalLabelName (L));
3172                         AddCodeLine ("dex");
3173                         g_defcodelabel (L);
3174                     }
3175                     if (val >= 0x100) {
3176                         AddCodeLine ("dex");
3177                     }
3178                     if (val >= 0x200) {
3179                         AddCodeLine ("dex");
3180                     }
3181                 } else {
3182                     AddCodeLine ("sec");
3183                     if ((val & 0xFF) != 0) {
3184                         AddCodeLine ("sbc #$%02X", (unsigned char) val);
3185                     }
3186                     AddCodeLine ("pha");
3187                     AddCodeLine ("txa");
3188                     AddCodeLine ("sbc #$%02X", (unsigned char) (val >> 8));
3189                     AddCodeLine ("tax");
3190                     AddCodeLine ("pla");
3191                 }
3192             }
3193             break;
3194
3195         case CF_LONG:
3196             if (val <= 255) {
3197                 ldyconst (val);
3198                 AddCodeLine ("jsr deceaxy");
3199             } else {
3200                 g_sub (flags | CF_CONST, val);
3201             }
3202             break;
3203
3204         default:
3205             typeerror (flags);
3206
3207     }
3208 }
3209
3210
3211
3212 /*
3213  * Following are the conditional operators. They compare the TOS against
3214  * the primary and put a literal 1 in the primary if the condition is
3215  * true, otherwise they clear the primary register
3216  */
3217
3218
3219
3220 void g_eq (unsigned flags, unsigned long val)
3221 /* Test for equal */
3222 {
3223     static char* ops [12] = {
3224         "toseq00",      "toseqa0",      "toseqax",
3225         "toseq00",      "toseqa0",      "toseqax",
3226         0,              0,              "toseqeax",
3227         0,              0,              "toseqeax",
3228     };
3229
3230     unsigned L;
3231
3232     /* If the right hand side is const, the lhs is not on stack but still
3233      * in the primary register.
3234      */
3235     if (flags & CF_CONST) {
3236
3237         switch (flags & CF_TYPE) {
3238
3239             case CF_CHAR:
3240                 if (flags & CF_FORCECHAR) {
3241                     AddCodeLine ("cmp #$%02X", (unsigned char)val);
3242                     AddCodeLine ("jsr booleq");
3243                     return;
3244                 }
3245                 /* FALLTHROUGH */
3246
3247             case CF_INT:
3248                 L = GetLocalLabel();
3249                 AddCodeLine ("cpx #$%02X", (unsigned char)(val >> 8));
3250                 AddCodeLine ("bne %s", LocalLabelName (L));
3251                 AddCodeLine ("cmp #$%02X", (unsigned char)val);
3252                 g_defcodelabel (L);
3253                 AddCodeLine ("jsr booleq");
3254                 return;
3255
3256             case CF_LONG:
3257                 break;
3258
3259             default:
3260                 typeerror (flags);
3261         }
3262
3263         /* If we go here, we didn't emit code. Push the lhs on stack and fall
3264          * into the normal, non-optimized stuff.
3265          */
3266         g_push (flags & ~CF_CONST, 0);
3267
3268     }
3269
3270     /* Use long way over the stack */
3271     oper (flags, val, ops);
3272 }
3273
3274
3275
3276 void g_ne (unsigned flags, unsigned long val)
3277 /* Test for not equal */
3278 {
3279     static char* ops [12] = {
3280         "tosne00",      "tosnea0",      "tosneax",
3281         "tosne00",      "tosnea0",      "tosneax",
3282         0,              0,              "tosneeax",
3283         0,              0,              "tosneeax",
3284     };
3285
3286     unsigned L;
3287
3288     /* If the right hand side is const, the lhs is not on stack but still
3289      * in the primary register.
3290      */
3291     if (flags & CF_CONST) {
3292
3293         switch (flags & CF_TYPE) {
3294
3295             case CF_CHAR:
3296                 if (flags & CF_FORCECHAR) {
3297                     AddCodeLine ("cmp #$%02X", (unsigned char)val);
3298                     AddCodeLine ("jsr boolne");
3299                     return;
3300                 }
3301                 /* FALLTHROUGH */
3302
3303             case CF_INT:
3304                 L = GetLocalLabel();
3305                 AddCodeLine ("cpx #$%02X", (unsigned char)(val >> 8));
3306                 AddCodeLine ("bne %s", LocalLabelName (L));
3307                 AddCodeLine ("cmp #$%02X", (unsigned char)val);
3308                 g_defcodelabel (L);
3309                 AddCodeLine ("jsr boolne");
3310                 return;
3311
3312             case CF_LONG:
3313                 break;
3314
3315             default:
3316                 typeerror (flags);
3317         }
3318
3319         /* If we go here, we didn't emit code. Push the lhs on stack and fall
3320          * into the normal, non-optimized stuff.
3321          */
3322         g_push (flags & ~CF_CONST, 0);
3323
3324     }
3325
3326     /* Use long way over the stack */
3327     oper (flags, val, ops);
3328 }
3329
3330
3331
3332 void g_lt (unsigned flags, unsigned long val)
3333 /* Test for less than */
3334 {
3335     static char* ops [12] = {
3336         "toslt00",      "toslta0",      "tosltax",
3337         "tosult00",     "tosulta0",     "tosultax",
3338         0,              0,              "toslteax",
3339         0,              0,              "tosulteax",
3340     };
3341
3342     /* If the right hand side is const, the lhs is not on stack but still
3343      * in the primary register.
3344      */
3345     if (flags & CF_CONST) {
3346
3347         /* Give a warning in some special cases */
3348         if ((flags & CF_UNSIGNED) && val == 0) {
3349             Warning ("Condition is never true");
3350         }
3351
3352         /* Look at the type */
3353         switch (flags & CF_TYPE) {
3354
3355             case CF_CHAR:
3356                 if (flags & CF_FORCECHAR) {
3357                     AddCodeLine ("cmp #$%02X", (unsigned char)val);
3358                     if (flags & CF_UNSIGNED) {
3359                         AddCodeLine ("jsr boolult");
3360                     } else {
3361                         AddCodeLine ("jsr boollt");
3362                     }
3363                     return;
3364                 }
3365                 /* FALLTHROUGH */
3366
3367             case CF_INT:
3368                 if ((flags & CF_UNSIGNED) == 0 && val == 0) {
3369                     /* If we have a signed compare against zero, we only need to
3370                      * test the high byte.
3371                      */
3372                     AddCodeLine ("txa");
3373                     AddCodeLine ("jsr boollt");
3374                     return;
3375                 }
3376                 /* Direct code only for unsigned data types */
3377                 if (flags & CF_UNSIGNED) {
3378                     unsigned L = GetLocalLabel();
3379                     AddCodeLine ("cpx #$%02X", (unsigned char)(val >> 8));
3380                     AddCodeLine ("bne %s", LocalLabelName (L));
3381                     AddCodeLine ("cmp #$%02X", (unsigned char)val);
3382                     g_defcodelabel (L);
3383                     AddCodeLine ("jsr boolult");
3384                     return;
3385                 }
3386                 break;
3387
3388             case CF_LONG:
3389                 if ((flags & CF_UNSIGNED) == 0 && val == 0) {
3390                     /* If we have a signed compare against zero, we only need to
3391                      * test the high byte.
3392                      */
3393                     AddCodeLine ("lda sreg+1");
3394                     AddCodeLine ("jsr boollt");
3395                     return;
3396                 }
3397                 break;
3398
3399             default:
3400                 typeerror (flags);
3401         }
3402
3403         /* If we go here, we didn't emit code. Push the lhs on stack and fall
3404          * into the normal, non-optimized stuff.
3405          */
3406         g_push (flags & ~CF_CONST, 0);
3407
3408     }
3409
3410     /* Use long way over the stack */
3411     oper (flags, val, ops);
3412 }
3413
3414
3415
3416 void g_le (unsigned flags, unsigned long val)
3417 /* Test for less than or equal to */
3418 {
3419     static char* ops [12] = {
3420         "tosle00",      "toslea0",      "tosleax",
3421         "tosule00",     "tosulea0",     "tosuleax",
3422         0,              0,              "tosleeax",
3423         0,              0,              "tosuleeax",
3424     };
3425
3426
3427     /* If the right hand side is const, the lhs is not on stack but still
3428      * in the primary register.
3429      */
3430     if (flags & CF_CONST) {
3431
3432         /* <= is not very effective on the 6502, so try to convert
3433          * it into < if the value is in a valid range.
3434          */
3435
3436         /* Look at the type */
3437         switch (flags & CF_TYPE) {
3438
3439             case CF_CHAR:
3440                 if (flags & CF_FORCECHAR) {
3441                     if (flags & CF_UNSIGNED) {
3442                         if (val < 255) {
3443                             AddCodeLine ("cmp #$%02X", (unsigned char)val+1);
3444                             AddCodeLine ("jsr boolult");
3445                         } else {
3446                             AddCodeLine ("cmp #$%02X", (unsigned char)val);
3447                             AddCodeLine ("jsr boolule");
3448                         }
3449                     } else {
3450                         if (val < 127) {
3451                             AddCodeLine ("cmp #$%02X", (unsigned char)val+1);
3452                             AddCodeLine ("jsr boollt");
3453                         } else {
3454                             AddCodeLine ("cmp #$%02X", (unsigned char)val);
3455                             AddCodeLine ("jsr boolle");
3456                         }
3457                     }
3458                     return;
3459                 }
3460                 /* FALLTHROUGH */
3461
3462             case CF_INT:
3463                 if (flags & CF_UNSIGNED) {
3464                     unsigned L = GetLocalLabel();
3465                     const char* Name = "boolule";
3466                     if (val < 65535) {
3467                         ++val;
3468                         Name = "boolult";
3469                     }
3470                     AddCodeLine ("cpx #$%02X", (unsigned char)(val >> 8));
3471                     AddCodeLine ("bne %s", LocalLabelName (L));
3472                     AddCodeLine ("cmp #$%02X", (unsigned char)val);
3473                     g_defcodelabel (L);
3474                     AddCodeLine ("jsr %s", Name);
3475                     return;
3476                 }
3477                 break;
3478
3479             case CF_LONG:
3480                 break;
3481
3482             default:
3483                 typeerror (flags);
3484         }
3485
3486         /* If we go here, we didn't emit code. Push the lhs on stack and fall
3487          * into the normal, non-optimized stuff.
3488          */
3489         g_push (flags & ~CF_CONST, 0);
3490
3491     }
3492
3493     /* Use long way over the stack */
3494     oper (flags, val, ops);
3495 }
3496
3497
3498
3499 void g_gt (unsigned flags, unsigned long val)
3500 /* Test for greater than */
3501 {
3502     static char* ops [12] = {
3503         "tosgt00",      "tosgta0",      "tosgtax",
3504         "tosugt00",     "tosugta0",     "tosugtax",
3505         0,              0,              "tosgteax",
3506         0,              0,              "tosugteax",
3507     };
3508
3509
3510     /* If the right hand side is const, the lhs is not on stack but still
3511      * in the primary register.
3512      */
3513     if (flags & CF_CONST) {
3514
3515         /* > is not very effective on the 6502, so try to convert
3516          * it into >= if the value is in a valid range.
3517          */
3518
3519         /* Look at the type */
3520         switch (flags & CF_TYPE) {
3521
3522             case CF_CHAR:
3523                 if (flags & CF_FORCECHAR) {
3524                     if (flags & CF_UNSIGNED) {
3525                         /* If we have a compare > 0, we will replace it by
3526                          * != 0 here, since both are identical but the latter
3527                          * is easier to optimize.
3528                          */
3529                         if (val == 0) {
3530                             AddCodeLine ("cmp #$%02X", (unsigned char)val);
3531                             AddCodeLine ("jsr boolne");
3532                         } else if (val < 255) {
3533                             AddCodeLine ("cmp #$%02X", (unsigned char)val+1);
3534                             AddCodeLine ("jsr booluge");
3535                         } else {
3536                             AddCodeLine ("cmp #$%02X", (unsigned char)val);
3537                             AddCodeLine ("jsr boolugt");
3538                         }
3539                     } else {
3540                         if (val < 127) {
3541                             AddCodeLine ("cmp #$%02X", (unsigned char)val+1);
3542                             AddCodeLine ("jsr boolge");
3543                         } else {
3544                             AddCodeLine ("cmp #$%02X", (unsigned char)val);
3545                             AddCodeLine ("jsr boolgt");
3546                         }
3547                     }
3548                     return;
3549                 }
3550                 /* FALLTHROUGH */
3551
3552             case CF_INT:
3553                 if (flags & CF_UNSIGNED) {
3554                     /* If we have a compare > 0, we will replace it by
3555                      * != 0 here, since both are identical but the latter
3556                      * is easier to optimize.
3557                      */
3558                     if (val == 0) {
3559                         AddCodeLine ("stx tmp1");
3560                         AddCodeLine ("ora tmp1");
3561                         AddCodeLine ("jsr boolne");
3562                     } else {
3563                         unsigned L = GetLocalLabel();
3564                         const char* Name = "boolugt";
3565                         if (val < 65535) {
3566                             ++val;
3567                             Name = "booluge";
3568                         }
3569                         AddCodeLine ("cpx #$%02X", (unsigned char)(val >> 8));
3570                         AddCodeLine ("bne %s", LocalLabelName (L));
3571                         AddCodeLine ("cmp #$%02X", (unsigned char)val);
3572                         g_defcodelabel (L);
3573                         AddCodeLine ("jsr %s", Name);
3574                     }
3575                     return;
3576                 }
3577                 break;
3578
3579             case CF_LONG:
3580                 break;
3581
3582             default:
3583                 typeerror (flags);
3584         }
3585
3586         /* If we go here, we didn't emit code. Push the lhs on stack and fall
3587          * into the normal, non-optimized stuff.
3588          */
3589         g_push (flags & ~CF_CONST, 0);
3590
3591     }
3592
3593     /* Use long way over the stack */
3594     oper (flags, val, ops);
3595 }
3596
3597
3598
3599 void g_ge (unsigned flags, unsigned long val)
3600 /* Test for greater than or equal to */
3601 {
3602     static char* ops [12] = {
3603         "tosge00",      "tosgea0",      "tosgeax",
3604         "tosuge00",     "tosugea0",     "tosugeax",
3605         0,              0,              "tosgeeax",
3606         0,              0,              "tosugeeax",
3607     };
3608
3609
3610     /* If the right hand side is const, the lhs is not on stack but still
3611      * in the primary register.
3612      */
3613     if (flags & CF_CONST) {
3614
3615         /* Give a warning in some special cases */
3616         if ((flags & CF_UNSIGNED) && val == 0) {
3617             Warning ("Condition is always true");
3618         }
3619
3620         /* Look at the type */
3621         switch (flags & CF_TYPE) {
3622
3623             case CF_CHAR:
3624                 if (flags & CF_FORCECHAR) {
3625                     AddCodeLine ("cmp #$%02X", (unsigned char)val);
3626                     if (flags & CF_UNSIGNED) {
3627                         AddCodeLine ("jsr booluge");
3628                     } else {
3629                         AddCodeLine ("jsr boolge");
3630                     }
3631                     return;
3632                 }
3633                 /* FALLTHROUGH */
3634
3635             case CF_INT:
3636                 if ((flags & CF_UNSIGNED) == 0 && val == 0) {
3637                     /* If we have a signed compare against zero, we only need to
3638                      * test the high byte.
3639                      */
3640                     AddCodeLine ("txa");
3641                     AddCodeLine ("jsr boolge");
3642                     return;
3643                 }
3644                 /* Direct code only for unsigned data types */
3645                 if (flags & CF_UNSIGNED) {
3646                     unsigned L = GetLocalLabel();
3647                     AddCodeLine ("cpx #$%02X", (unsigned char)(val >> 8));
3648                     AddCodeLine ("bne %s", LocalLabelName (L));
3649                     AddCodeLine ("cmp #$%02X", (unsigned char)val);
3650                     g_defcodelabel (L);
3651                     AddCodeLine ("jsr booluge");
3652                     return;
3653                 }
3654                 break;
3655
3656             case CF_LONG:
3657                 if ((flags & CF_UNSIGNED) == 0 && val == 0) {
3658                     /* If we have a signed compare against zero, we only need to
3659                      * test the high byte.
3660                      */
3661                     AddCodeLine ("lda sreg+1");
3662                     AddCodeLine ("jsr boolge");
3663                     return;
3664                 }
3665                 break;
3666
3667             default:
3668                 typeerror (flags);
3669         }
3670
3671         /* If we go here, we didn't emit code. Push the lhs on stack and fall
3672          * into the normal, non-optimized stuff.
3673          */
3674         g_push (flags & ~CF_CONST, 0);
3675
3676     }
3677
3678     /* Use long way over the stack */
3679     oper (flags, val, ops);
3680 }
3681
3682
3683
3684 /*****************************************************************************/
3685 /*                         Allocating static storage                         */
3686 /*****************************************************************************/
3687
3688
3689
3690 void g_res (unsigned n)
3691 /* Reserve static storage, n bytes */
3692 {
3693     AddDataLine ("\t.res\t%u,$00", n);
3694 }
3695
3696
3697
3698 void g_defdata (unsigned flags, unsigned long val, unsigned offs)
3699 /* Define data with the size given in flags */
3700 {
3701     if (flags & CF_CONST) {
3702
3703         /* Numeric constant */
3704         switch (flags & CF_TYPE) {
3705
3706             case CF_CHAR:
3707                 AddDataLine ("\t.byte\t$%02lX", val & 0xFF);
3708                 break;
3709
3710             case CF_INT:
3711                 AddDataLine ("\t.word\t$%04lX", val & 0xFFFF);
3712                 break;
3713
3714             case CF_LONG:
3715                 AddDataLine ("\t.dword\t$%08lX", val & 0xFFFFFFFF);
3716                 break;
3717
3718             default:
3719                 typeerror (flags);
3720                 break;
3721
3722         }
3723
3724     } else {
3725
3726         /* Create the correct label name */
3727         const char* Label = GetLabelName (flags, val, offs);
3728
3729         /* Labels are always 16 bit */
3730         AddDataLine ("\t.addr\t%s", Label);
3731
3732     }
3733 }
3734
3735
3736
3737 void g_defbytes (const void* Bytes, unsigned Count)
3738 /* Output a row of bytes as a constant */
3739 {
3740     unsigned Chunk;
3741     char Buf [128];
3742     char* B;
3743
3744     /* Cast the buffer pointer */
3745     const unsigned char* Data = (const unsigned char*) Bytes;
3746
3747     /* Output the stuff */
3748     while (Count) {
3749
3750         /* How many go into this line? */
3751         if ((Chunk = Count) > 16) {
3752             Chunk = 16;
3753         }
3754         Count -= Chunk;
3755
3756         /* Output one line */
3757         strcpy (Buf, "\t.byte\t");
3758         B = Buf + 7;
3759         do {
3760             B += sprintf (B, "$%02X", *Data++);
3761             if (--Chunk) {
3762                 *B++ = ',';
3763             }
3764         } while (Chunk);
3765
3766         /* Output the line */
3767         AddDataLine (Buf);
3768     }
3769 }
3770
3771
3772
3773 void g_zerobytes (unsigned n)
3774 /* Output n bytes of data initialized with zero */
3775 {
3776     AddDataLine ("\t.res\t%u,$00", n);
3777 }
3778
3779
3780
3781 /*****************************************************************************/
3782 /*                             Switch statement                              */
3783 /*****************************************************************************/
3784
3785
3786
3787 void g_switch (Collection* Nodes, unsigned DefaultLabel, unsigned Depth)
3788 /* Generate code for a switch statement */
3789 {
3790     unsigned NextLabel = 0;
3791     unsigned I;
3792
3793     /* Setup registers and determine which compare insn to use */
3794     const char* Compare;
3795     switch (Depth) {
3796         case 1:
3797             Compare = "cmp #$%02X";
3798             break;
3799         case 2:
3800             Compare = "cpx #$%02X";
3801             break;
3802         case 3:
3803             AddCodeLine ("ldy sreg");
3804             Compare = "cpy #$%02X";
3805             break;
3806         case 4:
3807             AddCodeLine ("ldy sreg+1");
3808             Compare = "cpy #$%02X";
3809             break;
3810         default:
3811             Internal ("Invalid depth in g_switch: %u", Depth);
3812     }
3813
3814     /* Walk over all nodes */
3815     for (I = 0; I < CollCount (Nodes); ++I) {
3816
3817         /* Get the next case node */
3818         CaseNode* N = CollAtUnchecked (Nodes, I);
3819
3820         /* If we have a next label, define it */
3821         if (NextLabel) {
3822             g_defcodelabel (NextLabel);
3823             NextLabel = 0;
3824         }
3825
3826         /* Do the compare */
3827         AddCodeLine (Compare, CN_GetValue (N));
3828
3829         /* If this is the last level, jump directly to the case code if found */
3830         if (Depth == 1) {
3831
3832             /* Branch if equal */
3833             g_falsejump (0, CN_GetLabel (N));
3834
3835         } else {
3836
3837             /* Determine the next label */
3838             if (I == CollCount (Nodes) - 1) {
3839                 /* Last node means not found */
3840                 g_truejump (0, DefaultLabel);
3841             } else {
3842                 /* Jump to the next check */
3843                 NextLabel = GetLocalLabel ();
3844                 g_truejump (0, NextLabel);
3845             }
3846
3847             /* Check the next level */
3848             g_switch (N->Nodes, DefaultLabel, Depth-1);
3849
3850         }
3851     }
3852
3853     /* If we go here, we haven't found the label */
3854     g_jump (DefaultLabel);
3855 }
3856
3857
3858
3859 /*****************************************************************************/
3860 /*                       User supplied assembler code                        */
3861 /*****************************************************************************/
3862
3863
3864
3865 void g_asmcode (struct StrBuf* B)
3866 /* Output one line of assembler code. */
3867 {
3868     AddCodeLine ("%.*s", SB_GetLen (B), SB_GetConstBuf (B));
3869 }
3870
3871
3872
3873 /*****************************************************************************/
3874 /*                          Inlined known functions                          */
3875 /*****************************************************************************/
3876
3877
3878
3879 void g_strlen (unsigned flags, unsigned long val, unsigned offs)
3880 /* Inline the strlen() function */
3881 {
3882     /* We need a label in both cases */
3883     unsigned label = GetLocalLabel ();
3884
3885     /* Two different encodings */
3886     if (flags & CF_CONST) {
3887
3888         /* The address of the string is constant. Create the correct label name */
3889         char* lbuf = GetLabelName (flags, val, offs);
3890
3891         /* Generate the strlen code */
3892         AddCodeLine ("ldy #$FF");
3893         g_defcodelabel (label);
3894         AddCodeLine ("iny");
3895         AddCodeLine ("lda %s,y", lbuf);
3896         AddCodeLine ("bne %s", LocalLabelName (label));
3897         AddCodeLine ("tax");
3898         AddCodeLine ("tya");
3899
3900     } else {
3901
3902         /* Address not constant but in primary */
3903         if (CodeSizeFactor < 400) {
3904             /* This is too much code, so call strlen instead of inlining */
3905             AddCodeLine ("jsr _strlen");
3906         } else {
3907             /* Inline the function */
3908             AddCodeLine ("sta ptr1");
3909             AddCodeLine ("stx ptr1+1");
3910             AddCodeLine ("ldy #$FF");
3911             g_defcodelabel (label);
3912             AddCodeLine ("iny");
3913             AddCodeLine ("lda (ptr1),y");
3914             AddCodeLine ("bne %s", LocalLabelName (label));
3915             AddCodeLine ("tax");
3916             AddCodeLine ("tya");
3917         }
3918     }
3919 }
3920
3921
3922