#include "asmlabel.h"
#include "asmstmt.h"
#include "codegen.h"
+#include "codeopt.h"
#include "compile.h"
#include "declare.h"
#include "error.h"
while (CurTok.Tok != TOK_CEOF) {
DeclSpec Spec;
- Declaration Decl;
/* Check for empty statements */
if (CurTok.Tok == TOK_SEMI) {
continue;
}
- /* Check for an ASM statement (which is allowed also on global level) */
+ /* Disallow ASM statements on global level */
if (CurTok.Tok == TOK_ASM) {
+ Error ("__asm__ is not allowed here");
+ /* Parse and remove the statement for error recovery */
AsmStatement ();
ConsumeSemi ();
+ RemoveGlobalCode ();
continue;
}
comma = 0;
while (1) {
+ Declaration Decl;
+
/* Read the next declaration */
ParseDecl (&Spec, &Decl, DM_NEED_IDENT);
if (Decl.Ident[0] == '\0') {
}
/* Check if we must reserve storage for the variable. We do this,
- * if it is not a typedef or function, if we don't had a storage
- * class given ("int i") or if the storage class is explicitly
- * specified as static. This means that "extern int i" will not
- * get storage allocated.
+ *
+ * - if it is not a typedef or function,
+ * - if we don't had a storage class given ("int i")
+ * - if the storage class is explicitly specified as static,
+ * - or if there is an initialization.
+ *
+ * This means that "extern int i;" will not get storage allocated.
*/
if ((Decl.StorageClass & SC_FUNC) != SC_FUNC &&
(Decl.StorageClass & SC_TYPEDEF) != SC_TYPEDEF &&
- ((Spec.Flags & DS_DEF_STORAGE) != 0 ||
- (Decl.StorageClass & (SC_STATIC | SC_EXTERN)) == SC_STATIC)) {
+ ((Spec.Flags & DS_DEF_STORAGE) != 0 ||
+ (Decl.StorageClass & (SC_EXTERN|SC_STATIC)) == SC_STATIC ||
+ ((Decl.StorageClass & SC_EXTERN) != 0 &&
+ CurTok.Tok == TOK_ASSIGN))) {
/* We will allocate storage */
Decl.StorageClass |= SC_STORAGE | SC_DEF;
/* Add an entry to the symbol table */
Entry = AddGlobalSym (Decl.Ident, Decl.Type, Decl.StorageClass);
+ /* Add declaration attributes */
+ SymUseAttr (Entry, &Decl);
+
/* Reserve storage for the variable if we need to */
if (Decl.StorageClass & SC_STORAGE) {
DefineTextMacro ("__DATE__", DateStr);
DefineTextMacro ("__TIME__", TimeStr);
- /* Initialize the literal pool */
- InitLiteralPool ();
+ /* Other standard macros */
+ /* DefineNumericMacro ("__STDC__", 1); <- not now */
+ DefineNumericMacro ("__STDC_HOSTED__", 1);
/* Create the base lexical level */
EnterGlobalLevel ();
+ /* Create the global code and data segments */
+ CreateGlobalSegments ();
+
+ /* Initialize the literal pool */
+ InitLiteralPool ();
+
/* Generate the code generator preamble */
g_preamble ();
/* Close the output file */
CloseOutputFile ();
- if (Debug) {
- PrintMacroStats (stdout);
- }
-
} else {
/* Ok, start the ball rolling... */
Parse ();
- /* Dump the literal pool. */
- DumpLiteralPool ();
+ }
+
+ if (Debug) {
+ PrintMacroStats (stdout);
+ }
+
+ /* Print an error report */
+ ErrorReport ();
+}
- /* Write imported/exported symbols */
- EmitExternals ();
- if (Debug) {
- PrintLiteralPoolStats (stdout);
- PrintMacroStats (stdout);
- }
+void FinishCompile (void)
+/* Emit literals, externals, debug info, do cleanup and optimizations */
+{
+ SymTable* SymTab;
+ SymEntry* Func;
+
+ /* Walk over all functions, doing cleanup, optimizations ... */
+ SymTab = GetGlobalSymTab ();
+ Func = SymTab->SymHead;
+ while (Func) {
+ if (SymIsOutputFunc (Func)) {
+ /* Function which is defined and referenced or extern */
+ MoveLiteralPool (Func->V.F.LitPool);
+ CS_MergeLabels (Func->V.F.Seg->Code);
+ RunOpt (Func->V.F.Seg->Code);
+ }
+ Func = Func->NextSym;
}
+ /* Output the literal pool */
+ OutputLiteralPool ();
+
+ /* Emit debug infos if enabled */
+ EmitDebugInfo ();
+
+ /* Write imported/exported symbols */
+ EmitExternals ();
+
/* Leave the main lexical level */
LeaveGlobalLevel ();
-
- /* Print an error report */
- ErrorReport ();
}
-