Changeset cd02108 for libcfa/src

Timestamp:

Aug 12, 2020, 1:39:41 PM (4 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

419c434

Parents:

5bcdc8c (diff), dab09ad (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

Location:

libcfa/src

Files:

• concurrency/invoke.c (modified) (1 diff)
• concurrency/kernel.cfa (modified) (1 diff)
• parseargs.cfa (modified) (3 diffs)
• parseargs.hfa (modified) (2 diffs)

libcfa/src/concurrency/invoke.c

@@ -146 +146 @@
 
 #elif defined( __ARM_ARCH )
-#error ARM needs to be upgrade to use to parameters like X86/X64 (A.K.A. : I broke this and do not know how to fix it)
+#error ARM needs to be upgrade to use two parameters like X86/X64 (A.K.A. : I broke this and do not know how to fix it)
+        // More details about the error:
+        // To avoid the thunk problem, I changed the invoke routine to pass the main explicitly
+        // instead of relying on an assertion. This effectively hoists any required thunk one level
+        // which was enough to get to global scope in most cases.
+        // This means that __cfactx_invoke_... now takes two parameters and the FakeStack needs
+        // to be adjusted as a consequence of that.
+        // I don't know how to do that for ARM, hence the #error
+
         struct FakeStack {
                 float fpRegs[16];                       // floating point registers

libcfa/src/concurrency/kernel.cfa

@@ -532 +532 @@
                 unsigned total   = this.total;
                 processor * proc = &this.list`first;
+                // Thread fence is unnecessary, but gcc-8 and older incorrectly reorder code without it
+                __atomic_thread_fence(__ATOMIC_SEQ_CST);
                 if(l != __atomic_load_n(&this.lock, __ATOMIC_SEQ_CST)) { Pause(); continue; }
                 return [idle, total, proc];

libcfa/src/parseargs.cfa

@@ -25 +25 @@
 #include "limits.hfa"
 
+extern int cfa_args_argc;
+extern char ** cfa_args_argv;
+extern char ** cfa_args_envp;
+
 void printopt(FILE * out, int width, int max, char sn, const char * ln, const char * help) {
         int hwidth = max - (11 + width);
@@ -35 +39 @@
                 fprintf(out, "%*s%.*s\n", width + 11, "", hwidth, help);
         }
+}
+
+void parse_args( cfa_option options[], size_t opt_count, const char * usage, char ** & left ) {
+        parse_args(cfa_args_argc, cfa_args_argv, options, opt_count, usage, left );
 }
 
@@ -182 +190 @@
 }
 
-bool parse(const char * arg, size_t & value) {
+bool parse(const char * arg, unsigned long & value) {
         char * end;
         unsigned long long int r = strtoull(arg, &end, 10);
         if(*end != '\0') return false;
-        if(r > (size_t)MAX) return false;
-
-        value = r;
-        return true;
+        if(r > (unsigned long)MAX) return false;
+
+        value = r;
+        return true;
+}
+
+bool parse(const char * arg, unsigned long long & value) {
+        char * end;
+        unsigned long long int r = strtoull(arg, &end, 10);
+        if(*end != '\0') return false;
+        if(r > (unsigned long long)MAX) return false;
+
+        value = r;
+        return true;
 }
 

libcfa/src/parseargs.hfa

@@ -31 +31 @@
 }
 
+void parse_args( cfa_option options[], size_t opt_count, const char * usage, char ** & left );
 void parse_args( int argc, char * argv[], cfa_option options[], size_t opt_count, const char * usage, char ** & left );
 
@@ -40 +41 @@
 bool parse(const char *, int & );
 bool parse(const char *, unsigned & );
-bool parse(const char *, size_t & );
+bool parse(const char *, unsigned long & );
+bool parse(const char *, unsigned long long & );
 bool parse(const char *, double & );