1 /*****************************************************************************/
5 /* Top level compiler subroutine */
9 /* (C) 2000-2008 Ullrich von Bassewitz */
10 /* Roemerstrasse 52 */
11 /* D-70794 Filderstadt */
12 /* EMail: uz@cc65.org */
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. */
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: */
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 */
32 /*****************************************************************************/
40 #include "debugflag.h"
65 /*****************************************************************************/
67 /*****************************************************************************/
71 static void Parse (void)
72 /* Top level parser routine. */
81 /* Parse until end of input */
82 while (CurTok.Tok != TOK_CEOF) {
87 /* Check for empty statements */
88 if (CurTok.Tok == TOK_SEMI) {
93 /* Check for an ASM statement (which is allowed also on global level) */
94 if (CurTok.Tok == TOK_ASM) {
100 /* Check for a #pragma */
101 if (CurTok.Tok == TOK_PRAGMA) {
106 /* Read variable defs and functions */
107 ParseDeclSpec (&Spec, SC_EXTERN | SC_STATIC, T_INT);
109 /* Don't accept illegal storage classes */
110 if ((Spec.StorageClass & SC_TYPE) == 0) {
111 if ((Spec.StorageClass & SC_AUTO) != 0 ||
112 (Spec.StorageClass & SC_REGISTER) != 0) {
113 Error ("Illegal storage class");
114 Spec.StorageClass = SC_EXTERN | SC_STATIC;
118 /* Check if this is only a type declaration */
119 if (CurTok.Tok == TOK_SEMI) {
120 CheckEmptyDecl (&Spec);
125 /* Read declarations for this type */
130 /* Read the next declaration */
131 ParseDecl (&Spec, &Decl, DM_NEED_IDENT);
132 if (Decl.Ident[0] == '\0') {
137 /* Check if we must reserve storage for the variable. We do this,
138 * if it is not a typedef or function, if we don't had a storage
139 * class given ("int i") or if the storage class is explicitly
140 * specified as static. This means that "extern int i" will not
141 * get storage allocated.
143 if ((Decl.StorageClass & SC_FUNC) == 0 &&
144 (Decl.StorageClass & SC_TYPEDEF) == 0 &&
145 ((Spec.Flags & DS_DEF_STORAGE) != 0 ||
146 (Decl.StorageClass & (SC_STATIC | SC_EXTERN)) == SC_STATIC)) {
148 /* We will allocate storage */
149 Decl.StorageClass |= SC_STORAGE | SC_DEF;
152 /* Add an entry to the symbol table */
153 Entry = AddGlobalSym (Decl.Ident, Decl.Type, Decl.StorageClass);
155 /* Reserve storage for the variable if we need to */
156 if (Decl.StorageClass & SC_STORAGE) {
158 /* Get the size of the variable */
159 unsigned Size = SizeOf (Decl.Type);
161 /* Allow initialization */
162 if (CurTok.Tok == TOK_ASSIGN) {
164 /* We cannot initialize types of unknown size, or
165 * void types in non ANSI mode.
168 if (!IsTypeVoid (Decl.Type)) {
169 if (!IsTypeArray (Decl.Type)) {
170 /* Size is unknown and not an array */
171 Error ("Variable `%s' has unknown size", Decl.Ident);
173 } else if (IS_Get (&Standard) != STD_CC65) {
174 /* We cannot declare variables of type void */
175 Error ("Illegal type for variable `%s'", Decl.Ident);
179 /* Switch to the data or rodata segment */
180 if (IsQualConst (Decl.Type)) {
187 g_defgloblabel (Entry->Name);
192 /* Parse the initialization */
193 ParseInit (Entry->Type);
196 if (IsTypeVoid (Decl.Type)) {
197 /* We cannot declare variables of type void */
198 Error ("Illegal type for variable `%s'", Decl.Ident);
199 Entry->Flags &= ~(SC_STORAGE | SC_DEF);
200 } else if (Size == 0) {
201 /* Size is unknown. Is it an array? */
202 if (!IsTypeArray (Decl.Type)) {
203 Error ("Variable `%s' has unknown size", Decl.Ident);
205 Entry->Flags &= ~(SC_STORAGE | SC_DEF);
208 /* Allocate storage if it is still needed */
209 if (Entry->Flags & SC_STORAGE) {
211 /* Switch to the BSS segment */
215 g_defgloblabel (Entry->Name);
217 /* Allocate space for uninitialized variable */
224 /* Check for end of declaration list */
225 if (CurTok.Tok == TOK_COMMA) {
233 /* Function declaration? */
234 if (Entry && IsTypeFunc (Entry->Type)) {
238 if (CurTok.Tok == TOK_SEMI) {
245 /* Function body. Check for duplicate function definitions */
246 if (SymIsDef (Entry)) {
247 Error ("Body for function `%s' has already been defined",
251 /* An empty parameter list in a function definition means
252 * that the function doesn't take any parameters. The same
253 * in a declarator means that the function can take any
254 * number of parameters. This seems weird but is necessary
255 * to support old K&R style programs.
258 if (D->Flags & FD_EMPTY) {
259 D->Flags = (D->Flags & ~(FD_EMPTY | FD_VARIADIC)) | FD_VOID_PARAM;
262 /* Parse the function body */
269 /* Must be followed by a semicolon */
278 void Compile (const char* FileName)
279 /* Top level compile routine. Will setup things and call the parser. */
286 /* Since strftime is locale dependent, we need the abbreviated month names
289 static const char MonthNames[12][4] = {
290 "Jan", "Feb", "Mar", "Apr", "May", "Jun",
291 "Jul", "Aug", "Sep", "Oct", "Nov", "Dec"
294 /* Add macros that are always defined */
295 DefineNumericMacro ("__CC65__", VERSION);
297 /* Language standard that is supported */
298 DefineNumericMacro ("__CC65_STD_C89__", STD_C89);
299 DefineNumericMacro ("__CC65_STD_C99__", STD_C99);
300 DefineNumericMacro ("__CC65_STD_CC65__", STD_CC65);
301 DefineNumericMacro ("__CC65_STD__", IS_Get (&Standard));
303 /* Optimization macros. Since no source code has been parsed for now, the
304 * IS_Get functions access the values in effect now, regardless of any
305 * changes using #pragma later.
307 if (IS_Get (&Optimize)) {
308 long CodeSize = IS_Get (&CodeSizeFactor);
309 DefineNumericMacro ("__OPT__", 1);
310 if (CodeSize > 100) {
311 DefineNumericMacro ("__OPT_i__", CodeSize);
313 if (IS_Get (&EnableRegVars)) {
314 DefineNumericMacro ("__OPT_r__", 1);
316 if (IS_Get (&InlineStdFuncs)) {
317 DefineNumericMacro ("__OPT_s__", 1);
321 /* __TIME__ and __DATE__ macros */
323 TM = localtime (&Time);
324 xsprintf (DateStr, sizeof (DateStr), "\"%s %2d %d\"",
325 MonthNames[TM->tm_mon], TM->tm_mday, TM->tm_year + 1900);
326 strftime (TimeStr, sizeof (TimeStr), "\"%H:%M:%S\"", TM);
327 DefineTextMacro ("__DATE__", DateStr);
328 DefineTextMacro ("__TIME__", TimeStr);
330 /* Initialize the literal pool */
333 /* Create the base lexical level */
336 /* Generate the code generator preamble */
339 /* Open the input file */
340 OpenMainFile (FileName);
342 /* Are we supposed to compile or just preprocess the input? */
343 if (PreprocessOnly) {
345 while (NextLine ()) {
347 printf ("%.*s\n", SB_GetLen (Line), SB_GetConstBuf (Line));
351 PrintMacroStats (stdout);
356 /* Ok, start the ball rolling... */
359 /* Dump the literal pool. */
362 /* Write imported/exported symbols */
366 PrintLiteralPoolStats (stdout);
367 PrintMacroStats (stdout);
372 /* Leave the main lexical level */
375 /* Print an error report */