Changeset 2cf3b87

Timestamp:

Nov 30, 2021, 11:27:30 AM (2 years ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

ADT, ast-experimental, enum, forall-pointer-decay, master, pthread-emulation, qualifiedEnum

Children:

f27331c

Parents:

03cdad6

Message:

Translated valitate-E after much bug hunting.

Location:

src

Files:

• Concurrency/Keywords.h (modified) (3 diffs)
• Concurrency/KeywordsNew.cpp (added)
• Concurrency/module.mk (modified) (1 diff)
• Validate/CompoundLiteral.cpp (added)
• Validate/CompoundLiteral.hpp (added)
• Validate/module.mk (modified) (1 diff)
• main.cc (modified) (6 diffs)

src/Concurrency/Keywords.h

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// Keywords.h --
+// Keywords.h -- Implement concurrency constructs from their keywords.
 //
 // Author           : Thierry Delisle
@@ -19 +19 @@
 
 class Declaration;
+namespace ast {
+        class TranslationUnit;
+}
 
 namespace Concurrency {
@@ -24 +27 @@
         void implementMutexFuncs( std::list< Declaration * > & translationUnit );
         void implementThreadStarter( std::list< Declaration * > & translationUnit );
+
+/// Implement the sue-like keywords and the suspend keyword.
+void implementKeywords( ast::TranslationUnit & translationUnit );
+/// Implement the mutex parameters and mutex statement.
+void implementMutex( ast::TranslationUnit & translationUnit );
+/// Add the thread starter code to constructors.
+void implementThreadStarter( ast::TranslationUnit & translationUnit );
 };
 

src/Concurrency/module.mk

@@ -15 +15 @@
 ###############################################################################
 
-SRC += Concurrency/Keywords.cc Concurrency/Keywords.h Concurrency/Waitfor.cc Concurrency/Waitfor.h
-SRCDEMANGLE += Concurrency/Keywords.cc
+SRC_CONCURRENCY = \
+        Concurrency/KeywordsNew.cpp \
+        Concurrency/Keywords.cc
 
+SRC += $(SRC_CONCURRENCY) \
+        Concurrency/Keywords.h \
+        Concurrency/Waitfor.cc \
+        Concurrency/Waitfor.h
+
+SRCDEMANGLE += $(SRC_CONCURRENCY)
+

src/Validate/module.mk

@@ -16 +16 @@
 
 SRC_VALIDATE = \
+        Validate/CompoundLiteral.cpp \
+        Validate/CompoundLiteral.hpp \
         Validate/HandleAttributes.cc \
         Validate/HandleAttributes.h \

src/main.cc

@@ -10 +10 @@
 // Created On       : Fri May 15 23:12:02 2015
 // Last Modified By : Andrew Beach
-// Last Modified On : Fri Nov 12 11:06:00 2021
-// Update Count     : 658
+// Last Modified On : Tue Nov 30 10:25:00 2021
+// Update Count     : 659
 //
 
@@ -50 +50 @@
 #include "Common/UnimplementedError.h"      // for UnimplementedError
 #include "Common/utility.h"                 // for deleteAll, filter, printAll
+#include "Concurrency/Keywords.h"           // for implementMutex, implement...
 #include "Concurrency/Waitfor.h"            // for generateWaitfor
 #include "ControlStruct/ExceptDecl.h"       // for translateExcept
@@ -73 +74 @@
 #include "Tuples/Tuples.h"                  // for expandMemberTuples, expan...
 #include "Validate/FindSpecialDecls.h"      // for findGlobalDecls
+#include "Validate/CompoundLiteral.hpp"     // for handleCompoundLiterals
 #include "Validate/InitializerLength.hpp"   // for setLengthFromInitializer
 #include "Validate/LabelAddressFixer.hpp"   // for fixLabelAddresses
@@ -325 +327 @@
                 PASS( "Validate-C", SymTab::validate_C( translationUnit ) );
                 PASS( "Validate-D", SymTab::validate_D( translationUnit ) );
-                PASS( "Validate-E", SymTab::validate_E( translationUnit ) );
 
                 CodeTools::fillLocations( translationUnit );
@@ -338 +339 @@
                         forceFillCodeLocations( transUnit );
 
+                        PASS( "Implement Mutex", Concurrency::implementMutex( transUnit ) );
+                        PASS( "Implement Thread Start", Concurrency::implementThreadStarter( transUnit ) );
+                        PASS( "Compound Literal", Validate::handleCompoundLiterals( transUnit ) );
                         PASS( "Set Length From Initializer", Validate::setLengthFromInitializer( transUnit ) );
                         PASS( "Find Global Decls", Validate::findGlobalDecls( transUnit ) );
@@ -402 +406 @@
                         translationUnit = convert( move( transUnit ) );
                 } else {
+                        PASS( "Validate-E", SymTab::validate_E( translationUnit ) );
                         PASS( "Validate-F", SymTab::validate_F( translationUnit ) );