Changeset 61efa42 for src/CodeGen

Timestamp:

Nov 10, 2023, 5:04:30 PM (23 months ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

master

Children:

2174191

Parents:

f5ec35a

Message:

Took the special main linkage code out of FunctionDecl and put it into a new pass. There is also a lot of related clean-up done.

Location:

src/CodeGen

Files:

• FixMain.cc (modified) (4 diffs)
• FixMain.h (modified) (3 diffs)
• FixMain2.cc (deleted)
• FixNames.cc (modified) (3 diffs)
• FixNames.h (modified) (2 diffs)
• module.mk (modified) (2 diffs)

src/CodeGen/FixMain.cc

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// FixMain.cc --
+// FixMain.cc -- Tools to change a Cforall main into a C main.
 //
 // Author           : Thierry Delisle
@@ -33 +33 @@
 namespace {
 
-struct FindMainCore_new {
+struct FindMainCore final {
         ast::FunctionDecl const * main_declaration = nullptr;
 
         void previsit( ast::FunctionDecl const * decl ) {
-                if ( FixMain::isMain( decl ) ) {
+                if ( isMain( decl ) ) {
                         if ( main_declaration ) {
                                 SemanticError( decl, "Multiple definition of main routine\n" );
@@ -106 +106 @@
 }
 
+struct FixLinkageCore final {
+        ast::Linkage::Spec const spec;
+        FixLinkageCore( ast::Linkage::Spec spec ) : spec( spec ) {}
+
+        ast::FunctionDecl const * previsit( ast::FunctionDecl const * decl ) {
+                if ( decl->name != "main" ) return decl;
+                return ast::mutate_field( decl, &ast::FunctionDecl::linkage, spec );
+        }
+};
+
 } // namespace
 
-bool FixMain::isMain( const ast::FunctionDecl * decl ) {
+bool isMain( const ast::FunctionDecl * decl ) {
         if ( std::string("main") != decl->name ) {
                 return false;
@@ -115 +125 @@
 }
 
-void FixMain::fix( ast::TranslationUnit & translationUnit,
+void fixMainLinkage( ast::TranslationUnit & translationUnit,
+                bool replace_main ) {
+        ast::Linkage::Spec const spec =
+                ( replace_main ) ? ast::Linkage::Cforall : ast::Linkage::C;
+        ast::Pass<FixLinkageCore>::run( translationUnit, spec );
+}
+
+void fixMainInvoke( ast::TranslationUnit & translationUnit,
                 std::ostream &os, const char * bootloader_filename ) {
 
-        ast::Pass<FindMainCore_new> main_finder;
+        ast::Pass<FindMainCore> main_finder;
         ast::accept_all( translationUnit, main_finder );
         if ( nullptr == main_finder.core.main_declaration ) return;

src/CodeGen/FixMain.h

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// FixMain.h -- 
+// FixMain.h -- Tools to change a Cforall main into a C main.
 //
 // Author           : Thierry Delisle
@@ -17 +17 @@
 
 #include <iosfwd>
-#include <memory>
-#include <list>
-
-#include "AST/LinkageSpec.hpp"
 
 namespace ast {
@@ -29 +25 @@
 namespace CodeGen {
 
-class FixMain {
-public :
-        static inline ast::Linkage::Spec getMainLinkage() {
-                return replace_main ? ast::Linkage::Cforall : ast::Linkage::C;
-        }
+/// Is this function a program main function?
+bool isMain( const ast::FunctionDecl * decl );
 
-        static inline void setReplaceMain(bool val) {
-                replace_main = val;
-        }
+/// Adjust the linkage of main functions.
+void fixMainLinkage( ast::TranslationUnit & transUnit, bool replaceMain );
 
-        static bool isMain(const ast::FunctionDecl * decl);
-
-        static void fix( ast::TranslationUnit & translationUnit,
-                        std::ostream &os, const char * bootloader_filename );
-
-private:
-        static bool replace_main;
-};
+/// Add a wrapper around to run the Cforall main.
+void fixMainInvoke( ast::TranslationUnit & transUnit,
+                std::ostream & os, const char * bootloaderFilename );
 
 } // namespace CodeGen

src/CodeGen/FixNames.cc

@@ -28 +28 @@
 
 namespace CodeGen {
+
+namespace {
+
 /// Does work with the main function and scopeLevels.
-class FixNames_new final {
+class FixNames final {
         int scopeLevel = 1;
 
@@ -45 +48 @@
 
         const ast::FunctionDecl *postvisit( const ast::FunctionDecl *functionDecl ) {
-                if ( FixMain::isMain( functionDecl ) ) {
+                if ( isMain( functionDecl ) ) {
                         auto mutDecl = ast::mutate( functionDecl );
 
@@ -80 +83 @@
 };
 
+} // namespace
+
 void fixNames( ast::TranslationUnit & translationUnit ) {
-        ast::Pass<FixNames_new>::run( translationUnit );
+        ast::Pass<FixNames>::run( translationUnit );
 }
 

src/CodeGen/FixNames.h

@@ -16 +16 @@
 #pragma once
 
-#include <list>  // for list
-
-class Declaration;
 namespace ast {
         class TranslationUnit;
@@ -24 +21 @@
 
 namespace CodeGen {
-        /// mangles object and function names
-        void fixNames( std::list< Declaration* > & translationUnit );
+
 /// Sets scope levels and fills in main's default return.
 void fixNames( ast::TranslationUnit & translationUnit );
+
 } // namespace CodeGen
 

src/CodeGen/module.mk

@@ -18 +18 @@
         CodeGen/CodeGeneratorNew.cpp \
         CodeGen/CodeGeneratorNew.hpp \
-        CodeGen/FixMain2.cc \
-        CodeGen/FixMain.h \
         CodeGen/GenType.cc \
         CodeGen/GenType.h \
@@ -29 +27 @@
         CodeGen/Generate.h \
         CodeGen/FixMain.cc \
+        CodeGen/FixMain.h \
         CodeGen/FixNames.cc \
         CodeGen/FixNames.h \