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

   1 /*****************************************************************************/
   2 /*                                                                           */
   3 /*                                 compile.c                                 */
   4 /*                                                                           */
   5 /*                       Top level compiler subroutine                       */
   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 <stdlib.h>
  37
  38 /* common */
  39 #include "version.h"
  40
  41 /* cc65 */
  42 #include "asmlabel.h"
  43 #include "codegen.h"
  44 #include "declare.h"
  45 #include "error.h"
  46 #include "expr.h"
  47 #include "function.h"
  48 #include "global.h"
  49 #include "incpath.h"
  50 #include "litpool.h"
  51 #include "macrotab.h"
  52 #include "pragma.h"
  53 #include "symtab.h"
  54 #include "compile.h"
  55
  56
  57
  58 /*****************************************************************************/
  59 /*                                   Code                                    */
  60 /*****************************************************************************/
  61
  62
  63
  64 static void Parse (void)
  65 /* Top level parser routine. */
  66 {
  67     int comma;
  68     SymEntry* Entry;
  69
  70     NextToken ();                       /* "prime" the pump */
  71     NextToken ();
  72     while (curtok != TOK_CEOF) {
  73
  74         DeclSpec        Spec;
  75         Declaration     Decl;
  76         int             NeedStorage;
  77
  78         /* Check for empty statements */
  79         if (curtok == TOK_SEMI) {
  80             NextToken ();
  81             continue;
  82         }
  83
  84         /* Check for an ASM statement (which is allowed also on global level) */
  85         if (curtok == TOK_ASM) {
  86             doasm ();
  87             ConsumeSemi ();
  88             continue;
  89         }
  90
  91         /* Check for a #pragma */
  92         if (curtok == TOK_PRAGMA) {
  93             DoPragma ();
  94             continue;
  95         }
  96
  97         /* Read variable defs and functions */
  98         ParseDeclSpec (&Spec, SC_EXTERN | SC_STATIC, T_INT);
  99
 100         /* Don't accept illegal storage classes */
 101         if (Spec.StorageClass == SC_AUTO || Spec.StorageClass == SC_REGISTER) {
 102             Error (ERR_ILLEGAL_STORAGE_CLASS);
 103             Spec.StorageClass = SC_EXTERN | SC_STATIC;
 104         }
 105
 106         /* Check if this is only a type declaration */
 107         if (curtok == TOK_SEMI) {
 108             CheckEmptyDecl (&Spec);
 109             NextToken ();
 110             continue;
 111         }
 112
 113         /* Check if we must reserve storage for the variable. We do
 114          * this if we don't had a storage class given ("int i") or
 115          * if the storage class is explicitly specified as static.
 116          * This means that "extern int i" will not get storage
 117          * allocated.
 118          */
 119         NeedStorage = (Spec.StorageClass & SC_TYPEDEF) == 0 &&
 120                       ((Spec.Flags & DS_DEF_STORAGE) != 0  ||
 121                       (Spec.StorageClass & (SC_STATIC | SC_EXTERN)) == SC_STATIC);
 122
 123         /* Read declarations for this type */
 124         Entry = 0;
 125         comma = 0;
 126         while (1) {
 127
 128             unsigned SymFlags;
 129
 130             /* Read the next declaration */
 131             ParseDecl (&Spec, &Decl, DM_NEED_IDENT);
 132             if (Decl.Ident[0] == '\0') {
 133                 NextToken ();
 134                 break;
 135             }
 136
 137             /* Get the symbol flags */
 138             SymFlags = Spec.StorageClass;
 139             if (IsFunc (Decl.Type)) {
 140                 SymFlags |= SC_FUNC;
 141             } else {
 142                 if (NeedStorage) {
 143                     /* We will allocate storage, variable is defined */
 144                     SymFlags |= SC_STORAGE | SC_DEF;
 145                 }
 146             }
 147
 148             /* Add an entry to the symbol table */
 149             Entry = AddGlobalSym (Decl.Ident, Decl.Type, SymFlags);
 150
 151             /* Reserve storage for the variable if we need to */
 152             if (SymFlags & SC_STORAGE) {
 153
 154                 /* Get the size of the variable */
 155                 unsigned Size = SizeOf (Decl.Type);
 156
 157                 /* Allow initialization */
 158                 if (curtok == TOK_ASSIGN) {
 159
 160                     /* We cannot initialize types of unknown size, or
 161                      * void types in non ANSI mode.
 162                      */
 163                     if (Size == 0) {
 164                         if (!IsTypeVoid (Decl.Type)) {
 165                             if (!IsArray (Decl.Type)) {
 166                                 /* Size is unknown and not an array */
 167                                 Error (ERR_UNKNOWN_SIZE);
 168                             }
 169                         } else if (ANSI) {
 170                             /* We cannot declare variables of type void */
 171                             Error (ERR_ILLEGAL_TYPE);
 172                         }
 173                     }
 174
 175                     /* Switch to the data segment */
 176                     g_usedata ();
 177
 178                     /* Define a label */
 179                     g_defgloblabel (Entry->Name);
 180
 181                     /* Skip the '=' */
 182                     NextToken ();
 183
 184                     /* Parse the initialization */
 185                     ParseInit (Entry->Type);
 186                 } else {
 187
 188                     if (IsTypeVoid (Decl.Type)) {
 189                         /* We cannot declare variables of type void */
 190                         Error (ERR_ILLEGAL_TYPE);
 191                     } else if (Size == 0) {
 192                         /* Size is unknown */
 193                         Error (ERR_UNKNOWN_SIZE);
 194                     }
 195
 196                     /* Switch to the BSS segment */
 197                     g_usebss ();
 198
 199                     /* Define a label */
 200                     g_defgloblabel (Entry->Name);
 201
 202                     /* Allocate space for uninitialized variable */
 203                     g_res (SizeOf (Entry->Type));
 204                 }
 205
 206             }
 207
 208             /* Check for end of declaration list */
 209             if (curtok == TOK_COMMA) {
 210                 NextToken ();
 211                 comma = 1;
 212             } else {
 213                 break;
 214             }
 215         }
 216
 217         /* Function declaration? */
 218         if (IsFunc (Decl.Type)) {
 219
 220             /* Function */
 221             if (!comma) {
 222
 223                 if (curtok == TOK_SEMI) {
 224
 225                     /* Prototype only */
 226                     NextToken ();
 227
 228                 } else {
 229                     if (Entry) {
 230                         NewFunc (Entry);
 231                     }
 232                 }
 233             }
 234
 235         } else {
 236
 237             /* Must be followed by a semicolon */
 238             ConsumeSemi ();
 239
 240         }
 241     }
 242 }
 243
 244
 245
 246 void Compile (void)
 247 /* Top level compile routine. Will setup things and call the parser. */
 248 {
 249     char* Path;
 250
 251
 252     /* Setup variables */
 253     LiteralLabel = GetLabel ();
 254
 255     /* Add some standard paths to the include search path */
 256     AddIncludePath ("", INC_USER);              /* Current directory */
 257     AddIncludePath ("include", INC_SYS);
 258 #ifdef CC65_INC
 259     AddIncludePath (CC65_INC, INC_SYS);
 260 #else
 261     AddIncludePath ("/usr/lib/cc65/include", INC_SYS);
 262 #endif
 263     Path = getenv ("CC65_INC");
 264     if (Path) {
 265         AddIncludePath (Path, INC_SYS | INC_USER);
 266     }
 267
 268     /* Add macros that are always defined */
 269     AddNumericMacro ("__CC65__", (VER_MAJOR * 0x100) + (VER_MINOR * 0x10) + VER_PATCH);
 270
 271     /* Strict ANSI macro */
 272     if (ANSI) {
 273         AddNumericMacro ("__STRICT_ANSI__", 1);
 274     }
 275
 276     /* Optimization macros */
 277     if (Optimize) {
 278         AddNumericMacro ("__OPT__", 1);
 279         if (FavourSize == 0) {
 280             AddNumericMacro ("__OPT_i__", 1);
 281         }
 282         if (EnableRegVars) {
 283             AddNumericMacro ("__OPT_r__", 1);
 284         }
 285         if (InlineStdFuncs) {
 286             AddNumericMacro ("__OPT_s__", 1);
 287         }
 288     }
 289
 290     /* Create the base lexical level */
 291     EnterGlobalLevel ();
 292
 293     /* Generate the code generator preamble */
 294     g_preamble ();
 295
 296     /* Ok, start the ball rolling... */
 297     Parse ();
 298
 299     /* Dump literal pool. */
 300     DumpLiteralPool ();
 301
 302     /* Write imported/exported symbols */
 303     EmitExternals ();
 304
 305     if (Debug) {
 306         PrintLiteralStats (stdout);
 307         PrintMacroStats (stdout);
 308     }
 309
 310     /* Leave the main lexical level */
 311     LeaveGlobalLevel ();
 312
 313     /* Print an error report */
 314     ErrorReport ();
 315 }
 316
 317
 318