Zero out GC children with explicit memory stores

11 files changed, 127 insertions, 8 deletions

diff --git a/snapshots/[engine:junit-jupiter]/[class:org.shedlang.compiler.shidtopatio.ShidToPatioDefineEffectTests]/[method:canGenerateCodeForDefineEffect(org.shedlang.compiler.testing.snapshots.Snapshotter)].expected b/snapshots/[engine:junit-jupiter]/[class:org.shedlang.compiler.shidtopatio.ShidToPatioDefineEffectTests]/[method:canGenerateCodeForDefineEffect(org.shedlang.compiler.testing.snapshots.Snapshotter)].expected
index f06a5f47..5475f888 100644
--- a/snapshots/[engine:junit-jupiter]/[class:org.shedlang.compiler.shidtopatio.ShidToPatioDefineEffectTests]/[method:canGenerateCodeForDefineEffect(org.shedlang.compiler.testing.snapshots.Snapshotter)].expected
+++ b/snapshots/[engine:junit-jupiter]/[class:org.shedlang.compiler.shidtopatio.ShidToPatioDefineEffectTests]/[method:canGenerateCodeForDefineEffect(org.shedlang.compiler.testing.snapshots.Snapshotter)].expected
@@ -74,6 +74,20 @@ Instructions:
 
 (
     (call (local "userDefinedEffectPointer__State__0") "shed__runtime__gc_alloc" ((int-const (byte-size-of (struct ((struct (data-ptr int int32 int32)) (struct (int int)))))) (int32-const (byte-offset-of (struct ((struct (data-ptr int int32 int32)) (struct (int int)))) (1))) (int32-const 2)))
+    (
+        memory-store
+        pointer=(local "userDefinedEffectPointer__State__0")
+        layout=(struct ((struct (data-ptr int int32 int32)) (struct (int int))))
+        offset=(1 0)
+        value=(int-const 0)
+    )
+    (
+        memory-store
+        pointer=(local "userDefinedEffectPointer__State__0")
+        layout=(struct ((struct (data-ptr int int32 int32)) (struct (int int))))
+        offset=(1 1)
+        value=(int-const 0)
+    )
     (call (local "closurePointer__read__0") "shed__runtime__gc_alloc" ((int-const (byte-size-of (struct ((struct (data-ptr int int32 int32)) (struct (function-ptr (struct ()) (struct ()))))))) (int32-const (byte-offset-of (struct ((struct (data-ptr int int32 int32)) (struct (function-ptr (struct ()) (struct ()))))) (1 2))) (int32-const 0)))
     (
         memory-store
diff --git a/snapshots/[engine:junit-jupiter]/[class:org.shedlang.compiler.shidtopatio.ShidToPatioDefineFunctionTests]/[method:canCaptureFreeVariablesThatAreSetAfterDefinition(org.shedlang.compiler.testing.snapshots.Snapshotter)].expected b/snapshots/[engine:junit-jupiter]/[class:org.shedlang.compiler.shidtopatio.ShidToPatioDefineFunctionTests]/[method:canCaptureFreeVariablesThatAreSetAfterDefinition(org.shedlang.compiler.testing.snapshots.Snapshotter)].expected
index 00c9a799..7ffd8bed 100644
--- a/snapshots/[engine:junit-jupiter]/[class:org.shedlang.compiler.shidtopatio.ShidToPatioDefineFunctionTests]/[method:canCaptureFreeVariablesThatAreSetAfterDefinition(org.shedlang.compiler.testing.snapshots.Snapshotter)].expected
+++ b/snapshots/[engine:junit-jupiter]/[class:org.shedlang.compiler.shidtopatio.ShidToPatioDefineFunctionTests]/[method:canCaptureFreeVariablesThatAreSetAfterDefinition(org.shedlang.compiler.testing.snapshots.Snapshotter)].expected
@@ -73,6 +73,20 @@ Instructions:
         memory-store
         pointer=(local "closurePointer__f__0")
         layout=(struct ((struct (data-ptr int int32 int32)) (struct (function-ptr (struct ()) (struct (int int))))))
+        offset=(1 2 0)
+        value=(int-const 0)
+    )
+    (
+        memory-store
+        pointer=(local "closurePointer__f__0")
+        layout=(struct ((struct (data-ptr int int32 int32)) (struct (function-ptr (struct ()) (struct (int int))))))
+        offset=(1 2 1)
+        value=(int-const 0)
+    )
+    (
+        memory-store
+        pointer=(local "closurePointer__f__0")
+        layout=(struct ((struct (data-ptr int int32 int32)) (struct (function-ptr (struct ()) (struct (int int))))))
         offset=(1 0)
         value=(function-ptr-const "shed__function__f__0")
     )
diff --git a/snapshots/[engine:junit-jupiter]/[class:org.shedlang.compiler.shidtopatio.ShidToPatioDefineFunctionTests]/[method:immutableFreeVariablesAreStoredInAndLoadedFromEnvironment(org.shedlang.compiler.testing.snapshots.Snapshotter)].expected b/snapshots/[engine:junit-jupiter]/[class:org.shedlang.compiler.shidtopatio.ShidToPatioDefineFunctionTests]/[method:immutableFreeVariablesAreStoredInAndLoadedFromEnvironment(org.shedlang.compiler.testing.snapshots.Snapshotter)].expected
index b2251c34..b2b20774 100644
--- a/snapshots/[engine:junit-jupiter]/[class:org.shedlang.compiler.shidtopatio.ShidToPatioDefineFunctionTests]/[method:immutableFreeVariablesAreStoredInAndLoadedFromEnvironment(org.shedlang.compiler.testing.snapshots.Snapshotter)].expected
+++ b/snapshots/[engine:junit-jupiter]/[class:org.shedlang.compiler.shidtopatio.ShidToPatioDefineFunctionTests]/[method:immutableFreeVariablesAreStoredInAndLoadedFromEnvironment(org.shedlang.compiler.testing.snapshots.Snapshotter)].expected
@@ -73,6 +73,20 @@ Instructions:
         memory-store
         pointer=(local "closurePointer__f__0")
         layout=(struct ((struct (data-ptr int int32 int32)) (struct (function-ptr (struct ()) (struct (int int))))))
+        offset=(1 2 0)
+        value=(int-const 0)
+    )
+    (
+        memory-store
+        pointer=(local "closurePointer__f__0")
+        layout=(struct ((struct (data-ptr int int32 int32)) (struct (function-ptr (struct ()) (struct (int int))))))
+        offset=(1 2 1)
+        value=(int-const 0)
+    )
+    (
+        memory-store
+        pointer=(local "closurePointer__f__0")
+        layout=(struct ((struct (data-ptr int int32 int32)) (struct (function-ptr (struct ()) (struct (int int))))))
         offset=(1 0)
         value=(function-ptr-const "shed__function__f__0")
     )
diff --git a/snapshots/[engine:junit-jupiter]/[class:org.shedlang.compiler.shidtopatio.ShidToPatioDefineFunctionTests]/[method:pointersToFreeMutableVariablesAreStoredInAndLoadedFromEnvironment(org.shedlang.compiler.testing.snapshots.Snapshotter)].expected b/snapshots/[engine:junit-jupiter]/[class:org.shedlang.compiler.shidtopatio.ShidToPatioDefineFunctionTests]/[method:pointersToFreeMutableVariablesAreStoredInAndLoadedFromEnvironment(org.shedlang.compiler.testing.snapshots.Snapshotter)].expected
index 9df8efff..cece95b3 100644
--- a/snapshots/[engine:junit-jupiter]/[class:org.shedlang.compiler.shidtopatio.ShidToPatioDefineFunctionTests]/[method:pointersToFreeMutableVariablesAreStoredInAndLoadedFromEnvironment(org.shedlang.compiler.testing.snapshots.Snapshotter)].expected
+++ b/snapshots/[engine:junit-jupiter]/[class:org.shedlang.compiler.shidtopatio.ShidToPatioDefineFunctionTests]/[method:pointersToFreeMutableVariablesAreStoredInAndLoadedFromEnvironment(org.shedlang.compiler.testing.snapshots.Snapshotter)].expected
@@ -73,6 +73,20 @@ Instructions:
         memory-store
         pointer=(local "closurePointer__f__0")
         layout=(struct ((struct (data-ptr int int32 int32)) (struct (function-ptr (struct ()) (struct (data-ptr data-ptr))))))
+        offset=(1 2 0)
+        value=(data-ptr-const null)
+    )
+    (
+        memory-store
+        pointer=(local "closurePointer__f__0")
+        layout=(struct ((struct (data-ptr int int32 int32)) (struct (function-ptr (struct ()) (struct (data-ptr data-ptr))))))
+        offset=(1 2 1)
+        value=(data-ptr-const null)
+    )
+    (
+        memory-store
+        pointer=(local "closurePointer__f__0")
+        layout=(struct ((struct (data-ptr int int32 int32)) (struct (function-ptr (struct ()) (struct (data-ptr data-ptr))))))
         offset=(1 0)
         value=(function-ptr-const "shed__function__f__0")
     )
diff --git a/snapshots/[engine:junit-jupiter]/[class:org.shedlang.compiler.shidtopatio.ShidToPatioDefineFunctionTests]/[method:positionalAndNamedParamsAreDefined(org.shedlang.compiler.testing.snapshots.Snapshotter)].expected b/snapshots/[engine:junit-jupiter]/[class:org.shedlang.compiler.shidtopatio.ShidToPatioDefineFunctionTests]/[method:positionalAndNamedParamsAreDefined(org.shedlang.compiler.testing.snapshots.Snapshotter)].expected
index dada1615..1d906b97 100644
--- a/snapshots/[engine:junit-jupiter]/[class:org.shedlang.compiler.shidtopatio.ShidToPatioDefineFunctionTests]/[method:positionalAndNamedParamsAreDefined(org.shedlang.compiler.testing.snapshots.Snapshotter)].expected
+++ b/snapshots/[engine:junit-jupiter]/[class:org.shedlang.compiler.shidtopatio.ShidToPatioDefineFunctionTests]/[method:positionalAndNamedParamsAreDefined(org.shedlang.compiler.testing.snapshots.Snapshotter)].expected
@@ -81,6 +81,20 @@ Instructions:
         memory-store
         pointer=(local "closurePointer__f__0")
         layout=(struct ((struct (data-ptr int int32 int32)) (struct (function-ptr (struct ()) (struct (int int))))))
+        offset=(1 2 0)
+        value=(int-const 0)
+    )
+    (
+        memory-store
+        pointer=(local "closurePointer__f__0")
+        layout=(struct ((struct (data-ptr int int32 int32)) (struct (function-ptr (struct ()) (struct (int int))))))
+        offset=(1 2 1)
+        value=(int-const 0)
+    )
+    (
+        memory-store
+        pointer=(local "closurePointer__f__0")
+        layout=(struct ((struct (data-ptr int int32 int32)) (struct (function-ptr (struct ()) (struct (int int))))))
         offset=(1 0)
         value=(function-ptr-const "shed__function__f__0")
     )
diff --git a/snapshots/[engine:junit-jupiter]/[class:org.shedlang.compiler.shidtopatio.ShidToPatioDefineStructTests]/[method:canGenerateCodeForDefineStruct(org.shedlang.compiler.testing.snapshots.Snapshotter)].expected b/snapshots/[engine:junit-jupiter]/[class:org.shedlang.compiler.shidtopatio.ShidToPatioDefineStructTests]/[method:canGenerateCodeForDefineStruct(org.shedlang.compiler.testing.snapshots.Snapshotter)].expected
index 8d3e1d22..665acac6 100644
--- a/snapshots/[engine:junit-jupiter]/[class:org.shedlang.compiler.shidtopatio.ShidToPatioDefineStructTests]/[method:canGenerateCodeForDefineStruct(org.shedlang.compiler.testing.snapshots.Snapshotter)].expected
+++ b/snapshots/[engine:junit-jupiter]/[class:org.shedlang.compiler.shidtopatio.ShidToPatioDefineStructTests]/[method:canGenerateCodeForDefineStruct(org.shedlang.compiler.testing.snapshots.Snapshotter)].expected
@@ -25,6 +25,20 @@ Compilation unit elements:
             memory-store
             pointer=(local "structValuePointer__0")
             layout=(struct ((struct (data-ptr int int32 int32)) (struct (int (struct (int int))))))
+            offset=(1 1 0)
+            value=(int-const 0)
+        )
+        (
+            memory-store
+            pointer=(local "structValuePointer__0")
+            layout=(struct ((struct (data-ptr int int32 int32)) (struct (int (struct (int int))))))
+            offset=(1 1 1)
+            value=(int-const 0)
+        )
+        (
+            memory-store
+            pointer=(local "structValuePointer__0")
+            layout=(struct ((struct (data-ptr int int32 int32)) (struct (int (struct (int int))))))
             offset=(1 0)
             value=(int-const 0)
         )
diff --git a/snapshots/[engine:junit-jupiter]/[class:org.shedlang.compiler.shidtopatio.ShidToPatioNamespaceTests]/[method:canDefineNamespace(org.shedlang.compiler.testing.snapshots.Snapshotter)].expected b/snapshots/[engine:junit-jupiter]/[class:org.shedlang.compiler.shidtopatio.ShidToPatioNamespaceTests]/[method:canDefineNamespace(org.shedlang.compiler.testing.snapshots.Snapshotter)].expected
index ddc72f15..b2bde483 100644
--- a/snapshots/[engine:junit-jupiter]/[class:org.shedlang.compiler.shidtopatio.ShidToPatioNamespaceTests]/[method:canDefineNamespace(org.shedlang.compiler.testing.snapshots.Snapshotter)].expected
+++ b/snapshots/[engine:junit-jupiter]/[class:org.shedlang.compiler.shidtopatio.ShidToPatioNamespaceTests]/[method:canDefineNamespace(org.shedlang.compiler.testing.snapshots.Snapshotter)].expected
@@ -56,6 +56,20 @@
             (call (local "namespaceValue__0") "shed__runtime__gc_alloc" ((int-const (byte-size-of (struct ((struct (data-ptr int int32 int32)) (struct (int int)))))) (int32-const (byte-offset-of (struct ((struct (data-ptr int int32 int32)) (struct (int int)))) (1))) (int32-const 2)))
             (
                 memory-store
+                pointer=(local "namespaceValue__0")
+                layout=(struct ((struct (data-ptr int int32 int32)) (struct (int int))))
+                offset=(1 0)
+                value=(int-const 0)
+            )
+            (
+                memory-store
+                pointer=(local "namespaceValue__0")
+                layout=(struct ((struct (data-ptr int int32 int32)) (struct (int int))))
+                offset=(1 1)
+                value=(int-const 0)
+            )
+            (
+                memory-store
                 pointer=(data-ptr-const "shed__namespace__An_Example")
                 layout=data-ptr
                 offset=()
diff --git a/snapshots/[engine:junit-jupiter]/[class:org.shedlang.compiler.shidtopatio.ShidToPatioTupleCreateTests]/[method:canGenerateCodeForTupleCreate(org.shedlang.compiler.testing.snapshots.Snapshotter)].expected b/snapshots/[engine:junit-jupiter]/[class:org.shedlang.compiler.shidtopatio.ShidToPatioTupleCreateTests]/[method:canGenerateCodeForTupleCreate(org.shedlang.compiler.testing.snapshots.Snapshotter)].expected
index d6376954..f1e57c98 100644
--- a/snapshots/[engine:junit-jupiter]/[class:org.shedlang.compiler.shidtopatio.ShidToPatioTupleCreateTests]/[method:canGenerateCodeForTupleCreate(org.shedlang.compiler.testing.snapshots.Snapshotter)].expected
+++ b/snapshots/[engine:junit-jupiter]/[class:org.shedlang.compiler.shidtopatio.ShidToPatioTupleCreateTests]/[method:canGenerateCodeForTupleCreate(org.shedlang.compiler.testing.snapshots.Snapshotter)].expected
@@ -26,6 +26,27 @@ Instructions:
         pointer=(local "tuplePointer__0")
         layout=(struct ((struct (data-ptr int int32 int32)) (struct (int int int))))
         offset=(1 0)
+        value=(int-const 0)
+    )
+    (
+        memory-store
+        pointer=(local "tuplePointer__0")
+        layout=(struct ((struct (data-ptr int int32 int32)) (struct (int int int))))
+        offset=(1 1)
+        value=(int-const 0)
+    )
+    (
+        memory-store
+        pointer=(local "tuplePointer__0")
+        layout=(struct ((struct (data-ptr int int32 int32)) (struct (int int int))))
+        offset=(1 2)
+        value=(int-const 0)
+    )
+    (
+        memory-store
+        pointer=(local "tuplePointer__0")
+        layout=(struct ((struct (data-ptr int int32 int32)) (struct (int int int))))
+        offset=(1 0)
         value=(local "tupleElement__0__0")
     )
     (
diff --git a/snapshots/[engine:junit-jupiter]/[class:org.shedlang.compiler.shidtopatio.ShidToPatioVarLoadTests]/[method:canGenerateCodeForVarLoad(org.shedlang.compiler.testing.snapshots.Snapshotter)].expected b/snapshots/[engine:junit-jupiter]/[class:org.shedlang.compiler.shidtopatio.ShidToPatioVarLoadTests]/[method:canGenerateCodeForVarLoad(org.shedlang.compiler.testing.snapshots.Snapshotter)].expected
index 6e93849c..80a5a9d5 100644
--- a/snapshots/[engine:junit-jupiter]/[class:org.shedlang.compiler.shidtopatio.ShidToPatioVarLoadTests]/[method:canGenerateCodeForVarLoad(org.shedlang.compiler.testing.snapshots.Snapshotter)].expected
+++ b/snapshots/[engine:junit-jupiter]/[class:org.shedlang.compiler.shidtopatio.ShidToPatioVarLoadTests]/[method:canGenerateCodeForVarLoad(org.shedlang.compiler.testing.snapshots.Snapshotter)].expected
@@ -12,8 +12,8 @@ Instructions:
         memory-load
         (local "varValue__x__0")
         pointer=(local "local__x")
-        layout=(struct ((struct (data-ptr int int32 int32)) int))
-        offset=(1)
+        layout=(struct ((struct (data-ptr int int32 int32)) (struct (int))))
+        offset=(1 0)
     )
 )
 
diff --git a/snapshots/[engine:junit-jupiter]/[class:org.shedlang.compiler.shidtopatio.ShidToPatioVarStoreTests]/[method:canGenerateCodeForVarStore(org.shedlang.compiler.testing.snapshots.Snapshotter)].expected b/snapshots/[engine:junit-jupiter]/[class:org.shedlang.compiler.shidtopatio.ShidToPatioVarStoreTests]/[method:canGenerateCodeForVarStore(org.shedlang.compiler.testing.snapshots.Snapshotter)].expected
index bd2b4eaf..feea5bf2 100644
--- a/snapshots/[engine:junit-jupiter]/[class:org.shedlang.compiler.shidtopatio.ShidToPatioVarStoreTests]/[method:canGenerateCodeForVarStore(org.shedlang.compiler.testing.snapshots.Snapshotter)].expected
+++ b/snapshots/[engine:junit-jupiter]/[class:org.shedlang.compiler.shidtopatio.ShidToPatioVarStoreTests]/[method:canGenerateCodeForVarStore(org.shedlang.compiler.testing.snapshots.Snapshotter)].expected
@@ -10,8 +10,8 @@ Instructions:
     (
         memory-store
         pointer=(local "local__x")
-        layout=(struct ((struct (data-ptr int int32 int32)) int))
-        offset=(1)
+        layout=(struct ((struct (data-ptr int int32 int32)) (struct (int))))
+        offset=(1 0)
         value=(local "b")
     )
 )
diff --git a/snapshots/[engine:junit-jupiter]/[class:org.shedlang.compiler.shidtopatio.ShidToPatioVarStoreTests]/[method:canStoreIntoVarMultipleTimes(org.shedlang.compiler.testing.snapshots.Snapshotter)].expected b/snapshots/[engine:junit-jupiter]/[class:org.shedlang.compiler.shidtopatio.ShidToPatioVarStoreTests]/[method:canStoreIntoVarMultipleTimes(org.shedlang.compiler.testing.snapshots.Snapshotter)].expected
index 2dd55297..08d01b4d 100644
--- a/snapshots/[engine:junit-jupiter]/[class:org.shedlang.compiler.shidtopatio.ShidToPatioVarStoreTests]/[method:canStoreIntoVarMultipleTimes(org.shedlang.compiler.testing.snapshots.Snapshotter)].expected
+++ b/snapshots/[engine:junit-jupiter]/[class:org.shedlang.compiler.shidtopatio.ShidToPatioVarStoreTests]/[method:canStoreIntoVarMultipleTimes(org.shedlang.compiler.testing.snapshots.Snapshotter)].expected
@@ -10,15 +10,15 @@ Instructions:
     (
         memory-store
         pointer=(local "local__x")
-        layout=(struct ((struct (data-ptr int int32 int32)) int))
-        offset=(1)
+        layout=(struct ((struct (data-ptr int int32 int32)) (struct (int))))
+        offset=(1 0)
         value=(local "b")
     )
     (
         memory-store
         pointer=(local "local__x")
-        layout=(struct ((struct (data-ptr int int32 int32)) int))
-        offset=(1)
+        layout=(struct ((struct (data-ptr int int32 int32)) (struct (int))))
+        offset=(1 0)
         value=(local "a")
     )
 )