git.sur5r.net Git - cc65/blob - src/cc65/goto.c

   1 /*****************************************************************************/
   2 /*                                                                           */
   3 /*                                  goto.c                                   */
   4 /*                                                                           */
   5 /*              Goto and label handling for the cc65 C compiler              */
   6 /*                                                                           */
   7 /*                                                                           */
   8 /*                                                                           */
   9 /* (C) 2000     Ullrich von Bassewitz                                        */
  10 /*              Wacholderweg 14                                              */
  11 /*              D-70597 Stuttgart                                            */
  12 /* EMail:       uz@musoftware.de                                             */
  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 "asmlabel.h"
  37 #include "codeent.h"
  38 #include "codegen.h"
  39 #include "codeseg.h"
  40 #include "cpu.h"
  41 #include "error.h"
  42 #include "exprdesc.h"
  43 #include "expr.h"
  44 #include "loadexpr.h"
  45 #include "scanner.h"
  46 #include "standard.h"
  47 #include "symtab.h"
  48 #include "goto.h"
  49
  50
  51
  52 /*****************************************************************************/
  53 /*                                   Code                                    */
  54 /*****************************************************************************/
  55
  56
  57
  58 void GotoStatement (void)
  59 /* Process a goto statement. */
  60 {
  61     /* Eat the "goto" */
  62     NextToken ();
  63
  64     /* Label name must follow */
  65     if (CurTok.Tok == TOK_IDENT) {
  66
  67         /* Add a new label symbol if we don't have one until now */
  68         SymEntry* Entry = AddLabelSym (CurTok.Ident, SC_REF | SC_GOTO);
  69
  70         /* Jump to the label */
  71         g_jump (Entry->V.L.Label);
  72
  73         /* Eat the label name */
  74         NextToken ();
  75
  76     } else if (CurTok.Tok == TOK_STAR && IS_Get (&Standard) >= STD_CC65) {
  77         SymEntry *arr, *idx, *cur;
  78         SymTable *tab;
  79         ExprDesc desc;
  80         CodeEntry *E;
  81         unsigned char val;
  82         unsigned I;
  83
  84         NextToken ();
  85
  86         /* arr[foo], we only support simple foo for now */
  87         if (CurTok.Tok == TOK_IDENT &&
  88             (arr = FindSym (CurTok.Ident))) {
  89             NextToken ();
  90             ConsumeLBrack ();
  91
  92             /* Find array size */
  93             if (!IsTypeArray (arr->Type) || SizeOf (arr->Type) == 0 ||
  94                 SizeOf (GetElementType(arr->Type)) != 2)
  95                 Error ("Expected array");
  96             if (GetElementCount (arr->Type) > 127)
  97                 Error ("Only arrays with <= 127 labels are supported, got %lu",
  98                        GetElementCount (arr->Type));
  99
 100             if (CurTok.Tok == TOK_ICONST) {
 101                 val = CurTok.IVal;
 102                 NextToken ();
 103
 104                 if (CPUIsets[CPU] & CPU_ISET_65SC02) {
 105                     AddCodeLine ("ldx #$%02X", val * 2);
 106                     AddCodeLine ("jmp (.loword(%s),x)", arr->AsmName);
 107                 } else {
 108                     AddCodeLine ("ldy #$%02X", val * 2);
 109                     AddCodeLine ("lda %s,y", arr->AsmName);
 110                     AddCodeLine ("ldx %s+1,y", arr->AsmName);
 111                     AddCodeLine ("jmp callax");
 112                 }
 113             } else if (CurTok.Tok == TOK_IDENT &&
 114                        (idx = FindSym (CurTok.Ident))) {
 115                 hie10 (&desc);
 116                 LoadExpr (CF_NONE, &desc);
 117                 AddCodeLine ("asl a");
 118
 119                 if (CPUIsets[CPU] & CPU_ISET_65SC02) {
 120                     AddCodeLine ("tax");
 121                     AddCodeLine ("jmp (.loword(%s),x)", arr->AsmName);
 122                 } else {
 123                     AddCodeLine ("tay");
 124                     AddCodeLine ("lda %s,y", arr->AsmName);
 125                     AddCodeLine ("ldx %s+1,y", arr->AsmName);
 126                     AddCodeLine ("jmp callax");
 127                 }
 128             } else {
 129                 Error ("Only simple expressions are supported for computed goto");
 130             }
 131
 132             ConsumeRBrack ();
 133
 134             /* Loop over all target labels, specifying this as a jump point.
 135             ** It's not exact - if there's multiple gotos, the last will be used,
 136             ** but it's only needed so the optimizer does not remove the labels.
 137             */
 138             I = CS_GetEntryCount (CS->Code) - 1;
 139             E = CS_GetEntry (CS->Code, I);
 140
 141             tab = GetLabelSymTab ();
 142             if (tab) {
 143                 cur = tab->SymHead;
 144                 while (cur) {
 145                     if ((cur->Flags & (SC_LABEL|SC_GOTO_IND)) == (SC_LABEL|SC_GOTO_IND)) {
 146                         cur->V.L.IndJumpFrom = E;
 147                     }
 148                     cur = cur->NextSym;
 149                 }
 150             }
 151         }
 152     } else {
 153
 154         Error ("Label name expected");
 155     }
 156 }
 157
 158
 159
 160 void DoLabel (void)
 161 /* Define a label. */
 162 {
 163     /* Add a label symbol */
 164     SymEntry* Entry = AddLabelSym (CurTok.Ident, SC_DEF);
 165
 166     /* Emit the jump label */
 167     CodeLabel* L = CS_AddLabel (CS->Code, LocalLabelName (Entry->V.L.Label));
 168     if (Entry->V.L.IndJumpFrom) {
 169         CollAppend (&L->JumpFrom, Entry->V.L.IndJumpFrom);
 170     }
 171
 172     /* Eat the ident and colon */
 173     NextToken ();
 174     NextToken ();
 175 }