Chapter 25: Modules, Separate Compilation, and SSA Constructionlinear

Co-authored-by: Hsiang-Ying Fu <66062782+fuhsnn@users.noreply.github.com>
Co-authored-by: fuhsnn <66062782+fuhsnn@users.noreply.github.com>
Co-authored-by: Symious <14933944+symious@users.noreply.github.com>
Co-authored-by: Jun Kawasaki <jun784@gmail.com>
Co-authored-by: Claude Opus 5 <noreply@anthropic.com>

13 files changed, 61 insertions, 168 deletions

diff --git a/src/test/java/com/seaofnodes/simple/progs/arg_count.smp b/src/test/java/com/seaofnodes/simple/progs/arg_count.smp
deleted file mode 100644
index 6b6bc0ae..00000000
--- a/src/test/java/com/seaofnodes/simple/progs/arg_count.smp
+++ /dev/null
@@ -1,6 +0,0 @@
-// -*- mode: java;  -*-
-val addAll = { int i0, flt f1, int i2, flt f3, int i4, flt f5, int i6, flt f7, int x8, flt f9, int i10, flt f11, int i12, flt f13, int i14, flt f15, int x16, flt f17 int x18, flt f19 ->
-    return
-    i0 + f1+ i2+ f3+ i4+ f5+ i6+ f7+ x8 +f9 +
-    i10+f11+i12+f13+i14+f15+x16+f17+x18+f19 ;
-};
diff --git a/src/test/java/com/seaofnodes/simple/progs/array1.smp b/src/test/java/com/seaofnodes/simple/progs/array1.smp
deleted file mode 100644
index 6b10f92c..00000000
--- a/src/test/java/com/seaofnodes/simple/progs/array1.smp
+++ /dev/null
@@ -1,9 +0,0 @@
-// -*- mode: java;  -*-
-int[] !ary = new int[arg];
-// Fill [0,1,2,3,4,...]
-for( int i=0; i<ary#; i++ )
-    ary[i] = i;
-// Fill [0,1,3,6,10,...]
-for( int i=0; i<ary#-1; i++ )
-    ary[i+1] += ary[i];
-return ary[1] * 1000 + ary[3]; // 1 * 1000 + 6
diff --git a/src/test/java/com/seaofnodes/simple/progs/extern_data.c b/src/test/java/com/seaofnodes/simple/progs/extern_data.c
new file mode 100644
index 00000000..9325f65e
--- /dev/null
+++ b/src/test/java/com/seaofnodes/simple/progs/extern_data.c
@@ -0,0 +1,22 @@
+#include <stdint.h>
+#include <stdio.h>
+
+int32_t counter=7;
+int8_t small=-3;
+double fraction=1.25;
+
+int64_t bump(void) { counter+=5; return counter; }
+__attribute__((CALL_CONV)) extern int64_t test_global(void);
+
+int main(void) {
+    int64_t result=test_global();
+    if(result!=71515 || counter!=15 || small!=-2 || fraction!=1.75) {
+        printf("result=%lld counter=%d small=%d fraction=%g\n",
+               (long long)result,counter,small,fraction);
+        return 1;
+    }
+    // A second call must observe C's new values, not a Simple initialization copy.
+    counter=-2;
+    result=test_global();
+    return result!=-19394 || counter!=6 || small!=-1 || fraction!=2.25;
+}
diff --git a/src/test/java/com/seaofnodes/simple/progs/extern_data_import.c b/src/test/java/com/seaofnodes/simple/progs/extern_data_import.c
new file mode 100644
index 00000000..f65e5c84
--- /dev/null
+++ b/src/test/java/com/seaofnodes/simple/progs/extern_data_import.c
@@ -0,0 +1,14 @@
+#include <stdint.h>
+#include <stdio.h>
+
+int32_t counter=7;
+__attribute__((CALL_CONV)) extern int64_t test_global(void);
+
+int main(void) {
+    int64_t result=test_global();
+    if(result!=710 || counter!=10) {
+        printf("result=%lld counter=%d\n",(long long)result,counter);
+        return 1;
+    }
+    return 0;
+}
diff --git a/src/test/java/com/seaofnodes/simple/progs/floatToInteger.c b/src/test/java/com/seaofnodes/simple/progs/floatToInteger.c
new file mode 100644
index 00000000..cf9390d8
--- /dev/null
+++ b/src/test/java/com/seaofnodes/simple/progs/floatToInteger.c
@@ -0,0 +1,25 @@
+#include <stdint.h>
+#include <math.h>
+#include <stdio.h>
+
+extern int64_t float_to_int(double);
+extern int64_t float_to_u8(double);
+
+int main(void) {
+    double values[] = {0.0,-0.0,6.92,-6.92,0.99,-0.99,255.75,-257.75,
+        0x1p63,0x1.fffffffffffffp62,-0x1p63,-0x1.0000000000001p63,
+        INFINITY,-INFINITY,NAN,-NAN};
+    for( unsigned i=0; i<sizeof(values)/sizeof(values[0]); i++ ) {
+        double x=values[i];
+        int64_t expected=isnan(x) ? 0 : x>=0x1p63 ? INT64_MAX
+            : x<=-0x1p63 ? INT64_MIN : (int64_t)x;
+        int64_t actual=float_to_int(x), narrow=float_to_u8(x);
+        if( actual!=expected || narrow!=(expected&255) ) {
+            fprintf(stderr,"conversion of %g: got %lld / %lld, expected %lld / %lld\n",
+                    x,(long long)actual,(long long)narrow,
+                    (long long)expected,(long long)(expected&255));
+            return 1;
+        }
+    }
+    return 0;
+}
diff --git a/src/test/java/com/seaofnodes/simple/progs/funptr.c b/src/test/java/com/seaofnodes/simple/progs/funptr.c
deleted file mode 100644
index 2abe6e74..00000000
--- a/src/test/java/com/seaofnodes/simple/progs/funptr.c
+++ /dev/null
@@ -1,15 +0,0 @@
-#include <assert.h>
-#include <stdint.h>
-
-typedef int64_t (*Function)(void);
-typedef int64_t (*Printer)(void *, void *);
-extern Function factory(int64_t);
-extern Printer printer(void);
-
-int main(void) {
-    assert(factory(1)() == 42);
-    assert(factory(0)() == 43);
-    struct { uint32_t length; char data[2]; } text = {2, {'o','k'}};
-    printer()(0, &text); // Unused class receiver, then the byte array.
-    return 0;
-}
diff --git a/src/test/java/com/seaofnodes/simple/progs/jig.smp b/src/test/java/com/seaofnodes/simple/progs/jig.smp
deleted file mode 100644
index 29987d8e..00000000
--- a/src/test/java/com/seaofnodes/simple/progs/jig.smp
+++ /dev/null
@@ -1,16 +0,0 @@
-// -*- mode: java;  -*-
-val _fib = {int n ->
-    int temp=0;
-    int f1=1;
-    int f2=1;
-    int i=n;
-    while( i>1 ){
-        temp = f1+f2;
-        f1=f2;
-        f2=temp;
-        i=i-1;
-    }
-    return f2;
-};
-
-_fib(10);
diff --git a/src/test/java/com/seaofnodes/simple/progs/newtonFloat.smp b/src/test/java/com/seaofnodes/simple/progs/newtonFloat.smp
deleted file mode 100644
index be2dffec..00000000
--- a/src/test/java/com/seaofnodes/simple/progs/newtonFloat.smp
+++ /dev/null
@@ -1,12 +0,0 @@
-// -*- mode: java;  -*-
-// Newtons approximation to the square root
-val test_sqrt = { flt x ->
-    flt epsilon = 1e-15;
-    flt guess = x;
-    while( 1 ) {
-        flt next = (x/guess + guess)/2;
-        if( guess-epsilon <= next & next <= guess+epsilon ) return guess;
-        //if( guess==next ) return guess;
-        guess = next;
-    }
-};
diff --git a/src/test/java/com/seaofnodes/simple/progs/no_stack_arg_count.smp b/src/test/java/com/seaofnodes/simple/progs/no_stack_arg_count.smp
deleted file mode 100644
index 20a05445..00000000
--- a/src/test/java/com/seaofnodes/simple/progs/no_stack_arg_count.smp
+++ /dev/null
@@ -1,6 +0,0 @@
-// -*- mode: java;  -*-
-val addAll = { int i0, flt f1, int i2, flt f3, int i4, flt f5, int i6, flt f7, int x8, flt f9, int i10, flt f11, int i12, flt f13, int i14, flt f15 ->
-    return
-    i0 + f1+ i2+ f3+ i4+ f5+ i6+ f7+ x8 +f9 +
-    i10+f11+i12+f13+i14+f15;
-};
diff --git a/src/test/java/com/seaofnodes/simple/progs/person21.c b/src/test/java/com/seaofnodes/simple/progs/person21.c
deleted file mode 100644
index df95e1ca..00000000
--- a/src/test/java/com/seaofnodes/simple/progs/person21.c
+++ /dev/null
@@ -1,34 +0,0 @@
-#include <stdio.h>
-#include <stdbool.h>
-#include <stdlib.h>
-
-typedef struct Person {
-    int age;
-} Person;
-
-typedef struct PersonArray {
-    unsigned int length;
-    int pad;
-    Person* data[];
-} PersonArray;
-
-__attribute__ ((CALL_CONV))
-extern void fcn(PersonArray* people, int index);
-
-int main() {
-    Person base[5] = {{25},{1},{18},{45},{60}};
-    unsigned char buf[8+8*5];
-    PersonArray* people_array = (PersonArray*)buf;
-    people_array->length=5;
-    for (int i=0; i<people_array->length; i++) people_array->data[i] = &base[i];
-
-    fcn(people_array, 1);
-    fcn(people_array, 1);
-    fcn(people_array, 1);
-    fcn(people_array, 1);
-    fcn(people_array, 1);
-
-    printf("%d\n", people_array->data[1]->age); // expected: 6
-
-    return 0;
-}
\ No newline at end of file
diff --git a/src/test/java/com/seaofnodes/simple/progs/person21.smp b/src/test/java/com/seaofnodes/simple/progs/person21.smp
deleted file mode 100644
index b5e6ee90..00000000
--- a/src/test/java/com/seaofnodes/simple/progs/person21.smp
+++ /dev/null
@@ -1,9 +0,0 @@
-// -*-java-*-
-struct Person {
-    int age;
-};
-
-val fcn = { !Person?[] ps, int x ->
-    if( ps[x] )
-        ps[x].age++;
-};
\ No newline at end of file
diff --git a/src/test/java/com/seaofnodes/simple/progs/stringHash.smp b/src/test/java/com/seaofnodes/simple/progs/stringHash.smp
deleted file mode 100644
index 7344fcdd..00000000
--- a/src/test/java/com/seaofnodes/simple/progs/stringHash.smp
+++ /dev/null
@@ -1,30 +0,0 @@
-// -*- mode: java;  -*-
-struct String {
-    u8[] cs;
-    int _hashCode;
-};
-
-// Compare two Strings
-val equals = { !String !self, !String s ->
-    if( self == s ) return true;
-    if( self.cs# != s.cs# ) return false;
-    for( int i=0; i< self.cs#; i++ )
-        if( self.cs[i] != s.cs[i] )
-            return false;
-    return true;
-};
-
-// Return the String hashCode (cached, and never 0)
-val hashCode = { !String self ->
-    self._hashCode
-    ?  self._hashCode
-    : (self._hashCode = _hashCodeString(self));
-};
-
-val _hashCodeString = { !String self ->
-    int hash=0;
-    for( int i=0; i< self.cs#; i++ )
-        hash = hash*31 + self.cs[i];
-    if( !hash ) hash = 123456789;
-    return hash;
-};
diff --git a/src/test/java/com/seaofnodes/simple/progs/stringHash21.smp b/src/test/java/com/seaofnodes/simple/progs/stringHash21.smp
deleted file mode 100644
index 257f79f9..00000000
--- a/src/test/java/com/seaofnodes/simple/progs/stringHash21.smp
+++ /dev/null
@@ -1,31 +0,0 @@
-// -*- mode: java;  -*-
-struct String {
-    u8[] cs;
-    int _hashCode;
-};
-
-// Compare two Strings
-val equals = { !String !self, !String s ->
-    if( self == s ) return true;
-    if( self.cs# != s.cs# ) return false;
-    for( int i=0; i< self.cs#; i++ )
-        if( self.cs[i] != s.cs[i] )
-            return false;
-    return true;
-};
-
-// Return the String hashCode (cached, and never 0)
-val hashCode = { !String self ->
-    self._hashCode
-    ?  self._hashCode
-    : (self._hashCode = _hashCodeString(self));
-};
-
-val _hashCodeString = { !String self ->
-    int hash=0;
-    if( self.cs )
-        for( int i=0; i< self.cs#; i++ )
-            hash = hash*31 + self.cs[i];
-    if( !hash ) hash = 123456789;
-    return hash;
-};