Fix stack new and add size-of to compiler (#370)

* make decompiler output stack-no-clear

* add size-of

decompiler/IR2/Form.cpp

@@ -2230,7 +2230,8 @@ StackVarDefElement::StackVarDefElement(const StackVarEntry& entry) : m_entry(ent
 goos::Object StackVarDefElement::to_form_internal(const Env&) const {
   switch (m_entry.hint.container_type) {
     case StackVariableHint::ContainerType::NONE:
-      return pretty_print::build_list(fmt::format("new 'stack '{}", m_entry.ref_type.print()));
+      return pretty_print::build_list(
+          fmt::format("new 'stack-no-clear '{}", m_entry.ref_type.print()));
     default:
       assert(false);
   }

doc/changelog.md

@@ -131,4 +131,7 @@
 - Fixed a bug where 128-bit variable spills could be misaligned, causing a segfault at `vmovaps`.
 - Added `.ppach` and `.pceqw`
 - Fixed a bug where setting 128-bit / 64-bit variables from each other only did a 32-bit set
-- Added support for creating a static bitfield where fields may not be known at compile time.
+- Added support for creating a static bitfield where fields may not be known at compile time.
+- Added support for `(size-of <typename>)`
+- Fixed a bug where creating a stack array of 0 sized caused a compiler assertion. It is now a normal compiler error.
+- Fixed a bug where the repl history was not loaded on compiler start

doc/goal_doc.md

@@ -1259,6 +1259,22 @@ Example:
 
 None of the edge cases of `the` apply to `the-as`.
 
+## `size-of`
+Get the size of a type, in bytes.
+```lisp
+(size-of <type-name>)
+```
+Get the size of a type, by name. The type must be a plain name, like `pointer` or `dma-bucket`. Compound types are not supported. It works on value and structure types and returns the size in memory. For dynamic types, it returns the size if there if the dynamic part has 0 size.  For weird types like `none` it throws an error.
+
+This value can be used in most places where the compiler is expecting a constant integer as well, such as the size of a stack array, which must be known at compile time.
+
+Example:
+```lisp
+(size-of dma-bucket)
+```
+Returns the size of the `dma-bucket` type which is 16 bytes.
+
+
 
 ## Pointer Math
 Not implemented well yet.

goal_src/engine/math/euler.gc

@@ -20,7 +20,7 @@
 (defun eul->matrix ((arg0 matrix) (arg1 euler-angles))
   "Convert euler angles to rotation matrix."
   (matrix-identity! arg0)
-  (let ((s5-0 (new 'stack 'vector)))
+  (let ((s5-0 (new 'stack-no-clear 'vector)))
     ;; copy to temp storage.
     (set! (-> s5-0 quad) (-> arg1 quad))
     (if (= (logand (the int (-> s5-0 data 3)) 1) 1)
@@ -238,7 +238,7 @@
 
 (defun eul->quat ((arg0 quaternion) (arg1 euler-angles))
   "Convert euler angles to quaternion"
-  (let ((s5-0 (new 'stack 'matrix)))
+  (let ((s5-0 (new 'stack-no-clear 'matrix)))
    (eul->matrix s5-0 arg1)
    (matrix->quaternion arg0 s5-0)
    )
@@ -247,7 +247,7 @@
 
 (defun quat->eul ((arg0 euler-angles) (arg1 quaternion) (arg2 int))
   "Convert quaternion to euler angles. The last argument is euler flags"
-  (let ((s5-0 (new 'stack 'matrix)))
+  (let ((s5-0 (new 'stack-no-clear 'matrix)))
    (quaternion->matrix s5-0 arg1)
    (matrix->eul arg0 s5-0 arg2)
    )

goal_src/engine/math/matrix.gc

@@ -177,7 +177,7 @@
   "Set dst = src1 * src2. NOTE: this function is a wrapper around matrix*!
    that adds no additional functionality. It seems to be a leftover from
    a time when matrix*! wasn't safe to use in place. This is unused."
-  (let ((temp-mat (new 'stack 'matrix)))
+  (let ((temp-mat (new 'stack-no-clear 'matrix)))
     (set! (-> temp-mat vector 0 quad) (the-as uint128 0))
     (set! (-> temp-mat vector 1 quad) (the-as uint128 0))
     (set! (-> temp-mat vector 2 quad) (the-as uint128 0))
@@ -251,7 +251,7 @@
 (defun vector3s-matrix*! ((dst vector3s) (vec vector3s) (mat matrix))
   "Set dst to be ([src 1.0] * mat).xyz.  Doesn't touch the w of dst.
    dst and vec can be the same memory"
-  (let ((temp-vec3 (new 'stack 'vector)))
+  (let ((temp-vec3 (new 'stack-no-clear 'vector)))
     ;; create a temporary vec with [x, y, z, 1.0]
     (set! (-> temp-vec3 quad) (the-as uint128 0))
     (let ((v1-0 temp-vec3))
@@ -272,7 +272,7 @@
 (defun vector3s-rotate*! ((dst vector3s) (vec vector3s) (mat matrix))
   "Set dst to vec rotated by the rotation in the homogeneous transform mat.
    mat should not have a scale/shear (the upper 3x3 should be a pure rotation)."
-  (let ((temp-vec3 (new 'stack 'vector)))
+  (let ((temp-vec3 (new 'stack-no-clear 'vector)))
     (set! (-> temp-vec3 quad) (the-as uint128 0))
     (let ((v1-0 temp-vec3))
       (set! (-> v1-0 data 0) (-> vec data 0))
@@ -717,12 +717,12 @@
 
 (defun matrix-rotate-zyx! ((dst matrix) (rot-xyz-deg vector))
   "Rotate in z,y,x order."
-  (let ((temp-mat (new 'stack 'matrix)))
+  (let ((temp-mat (new 'stack-no-clear 'matrix)))
     (set! (-> temp-mat vector 0 quad) (the-as uint128 0))
     (set! (-> temp-mat vector 1 quad) (the-as uint128 0))
     (set! (-> temp-mat vector 2 quad) (the-as uint128 0))
     (set! (-> temp-mat vector 3 quad) (the-as uint128 0))
-    (let ((rot-mat (new 'stack 'matrix)))
+    (let ((rot-mat (new 'stack-no-clear 'matrix)))
       (set! (-> rot-mat vector 0 quad) (the-as uint128 0))
       (set! (-> rot-mat vector 1 quad) (the-as uint128 0))
       (set! (-> rot-mat vector 2 quad) (the-as uint128 0))
@@ -743,12 +743,12 @@
 
 (defun matrix-rotate-xyz! ((dst matrix) (rot-xyz-deg vector))
   "Rotate in x,y,z order" 
-  (let ((temp-mat (new 'stack 'matrix)))
+  (let ((temp-mat (new 'stack-no-clear 'matrix)))
     (set! (-> temp-mat vector 0 quad) (the-as uint128 0))
     (set! (-> temp-mat vector 1 quad) (the-as uint128 0))
     (set! (-> temp-mat vector 2 quad) (the-as uint128 0))
     (set! (-> temp-mat vector 3 quad) (the-as uint128 0))
-    (let ((rot-mat (new 'stack 'matrix)))
+    (let ((rot-mat (new 'stack-no-clear 'matrix)))
       (set! (-> rot-mat vector 0 quad) (the-as uint128 0))
       (set! (-> rot-mat vector 1 quad) (the-as uint128 0))
       (set! (-> rot-mat vector 2 quad) (the-as uint128 0))
@@ -765,12 +765,12 @@
 
 (defun matrix-rotate-zxy! ((dst matrix) (rot-xyz-deg vector))
   "Rotate in z,x,y order"
-  (let ((temp-mat (new 'stack 'matrix)))
+  (let ((temp-mat (new 'stack-no-clear 'matrix)))
     (set! (-> temp-mat vector 0 quad) (the-as uint128 0))
     (set! (-> temp-mat vector 1 quad) (the-as uint128 0))
     (set! (-> temp-mat vector 2 quad) (the-as uint128 0))
     (set! (-> temp-mat vector 3 quad) (the-as uint128 0))
-    (let ((rot-mat (new 'stack 'matrix)))
+    (let ((rot-mat (new 'stack-no-clear 'matrix)))
       (set! (-> rot-mat vector 0 quad) (the-as uint128 0))
       (set! (-> rot-mat vector 1 quad) (the-as uint128 0))
       (set! (-> rot-mat vector 2 quad) (the-as uint128 0))
@@ -787,12 +787,12 @@
 
 (defun matrix-rotate-yxz! ((dst matrix) (rot-xyz-deg vector))
   "Rotate in y,x,z order."
-  (let ((temp-mat (new 'stack 'matrix)))
+  (let ((temp-mat (new 'stack-no-clear 'matrix)))
     (set! (-> temp-mat vector 0 quad) (the-as uint128 0))
     (set! (-> temp-mat vector 1 quad) (the-as uint128 0))
     (set! (-> temp-mat vector 2 quad) (the-as uint128 0))
     (set! (-> temp-mat vector 3 quad) (the-as uint128 0))
-    (let ((rot-mat (new 'stack 'matrix)))
+    (let ((rot-mat (new 'stack-no-clear 'matrix)))
       (set! (-> rot-mat vector 0 quad) (the-as uint128 0))
       (set! (-> rot-mat vector 1 quad) (the-as uint128 0))
       (set! (-> rot-mat vector 2 quad) (the-as uint128 0))
@@ -809,12 +809,12 @@
 
 (defun matrix-rotate-yzx! ((dst matrix) (rot-xyz-deg vector))
   "Rotate in y,z,x order"
-  (let ((temp-mat (new 'stack 'matrix)))
+  (let ((temp-mat (new 'stack-no-clear 'matrix)))
     (set! (-> temp-mat vector 0 quad) (the-as uint128 0))
     (set! (-> temp-mat vector 1 quad) (the-as uint128 0))
     (set! (-> temp-mat vector 2 quad) (the-as uint128 0))
     (set! (-> temp-mat vector 3 quad) (the-as uint128 0))
-    (let ((rot-mat (new 'stack 'matrix)))
+    (let ((rot-mat (new 'stack-no-clear 'matrix)))
       (set! (-> rot-mat vector 0 quad) (the-as uint128 0))
       (set! (-> rot-mat vector 1 quad) (the-as uint128 0))
       (set! (-> rot-mat vector 2 quad) (the-as uint128 0))
@@ -832,9 +832,9 @@
 (defun matrix-rotate-yxy! ((dst matrix) (rots-deg vector))
   "Rotate. I believe in yxy order? Compared to the other rotations, this one
    is quite a bit more optimized and avoid repeated trig operations."
-  (let ((sincos-input (new 'stack 'vector))
-        (sin-vec (new 'stack 'vector))
-        (cos-vec (new 'stack 'vector))
+  (let ((sincos-input (new 'stack-no-clear 'vector))
+        (sin-vec (new 'stack-no-clear 'vector))
+        (cos-vec (new 'stack-no-clear 'vector))
         )
 
     ;; the vector-sincos! lets us take the sine and cosine of 4 floats at a time.
@@ -881,7 +881,7 @@
   ;; this is weird. probably there is an inlined ctor in a new 'stack expression, used directly
   ;; in an argument. like (matrix-rotate-x! (new 'stack-with-ctor 'matrix) ...)
   (let ((t9-1 matrix-rotate-x!)
-        (a0-2 (new 'stack 'matrix))
+        (a0-2 (new 'stack-no-clear 'matrix))
         )
    (set! (-> a0-2 vector 0 quad) (the-as uint128 0))
    (set! (-> a0-2 vector 1 quad) (the-as uint128 0))

goal_src/engine/math/quaternion.gc

@@ -603,7 +603,7 @@
          (vf6 :class vf)
          (vf7 :class vf)
          )
-    (let ((v1-0 (new 'stack 'matrix)))
+    (let ((v1-0 (new 'stack-no-clear 'matrix)))
       (set! (-> v1-0 vector 0 quad) (the-as uint128 0))
       (set! (-> v1-0 vector 1 quad) (the-as uint128 0))
       (set! (-> v1-0 vector 2 quad) (the-as uint128 0))
@@ -696,7 +696,7 @@
        (set! (-> arg0 w) 1.0)
        )
       (else
-       (let ((s5-0 (new 'stack 'vector)))
+       (let ((s5-0 (new 'stack-no-clear 'vector)))
          (sincos-rad! (the-as (pointer float) s5-0) f30-0)
          (let ((f0-6 (/ (-> s5-0 data 0) f30-0)))
            (set! (-> arg0 x) (* (-> arg1 x) f0-6))
@@ -753,7 +753,7 @@
                 (f28-0 (/ 1.0 f1-6))
                 )
            (let ((f0-7 (atan-series-rad f0-6))
-                 (s2-0 (new 'stack 'vector))
+                 (s2-0 (new 'stack-no-clear 'vector))
                  )
              (set! (-> s2-0 data 0) (* (- 1.0 arg3) f0-7))
              (set! (-> s2-0 data 1) (* (* arg3 f0-7) f30-0))
@@ -827,9 +827,9 @@
          (vf7 :class vf)
          )
     (.lvf vf0 (new 'static 'vector :x 0.0 :y 0.0 :z 0.0 :w 1.0))
-    (let ((s4-0 (new 'stack 'vector))
-          (gp-0 (new 'stack 'vector))
-          (s5-0 (new 'stack 'vector))
+    (let ((s4-0 (new 'stack-no-clear 'vector))
+          (gp-0 (new 'stack-no-clear 'vector))
+          (s5-0 (new 'stack-no-clear 'vector))
           )
       (vector-rad<-vector-deg/2! s4-0 arg1)
       (vector-sincos-rad! gp-0 s5-0 s4-0)
@@ -854,7 +854,7 @@
 
 (defun vector-x-quaternion! ((arg0 vector) (arg1 quaternion))
   "Get the first row of the rotation matrix for this quaternion"
-  (let ((s5-0 (new 'stack 'matrix)))
+  (let ((s5-0 (new 'stack-no-clear 'matrix)))
     (set! (-> s5-0 vector 0 quad) (the-as uint128 0))
     (set! (-> s5-0 vector 1 quad) (the-as uint128 0))
     (set! (-> s5-0 vector 2 quad) (the-as uint128 0))
@@ -867,7 +867,7 @@
 
 (defun vector-y-quaternion! ((arg0 vector) (arg1 quaternion))
   "Get the second row of the rotation matrix for this quaternion"
-  (let ((s5-0 (new 'stack 'matrix)))
+  (let ((s5-0 (new 'stack-no-clear 'matrix)))
     (set! (-> s5-0 vector 0 quad) (the-as uint128 0))
     (set! (-> s5-0 vector 1 quad) (the-as uint128 0))
     (set! (-> s5-0 vector 2 quad) (the-as uint128 0))
@@ -880,7 +880,7 @@
 
 (defun vector-z-quaternion! ((arg0 vector) (arg1 quaternion))
   "Get the third row of the rotation matrix for this quaternion"
-  (let ((s5-0 (new 'stack 'matrix)))
+  (let ((s5-0 (new 'stack-no-clear 'matrix)))
     (set! (-> s5-0 vector 0 quad) (the-as uint128 0))
     (set! (-> s5-0 vector 1 quad) (the-as uint128 0))
     (set! (-> s5-0 vector 2 quad) (the-as uint128 0))
@@ -893,7 +893,7 @@
 
 (defun quaternion-y-angle ((arg0 quaternion))
   "Not 100% sure, but get the y rotation angle?"
-  (let ((v1-1 (vector-z-quaternion! (new 'stack 'vector) arg0)))
+  (let ((v1-1 (vector-z-quaternion! (new 'stack-no-clear 'vector) arg0)))
     (atan (-> v1-1 data 0) (-> v1-1 data 2))
     )
   )
@@ -910,7 +910,7 @@
 (defun quaternion-rotate-local-x! ((arg0 quaternion) (arg1 quaternion) (arg2 float))
   "Rotate existing quaternion along x axis."
   (let ((t9-0 quaternion-vector-angle!)
-        (a0-1 (new 'stack 'quaternion))
+        (a0-1 (new 'stack-no-clear 'quaternion))
         )
     (set! (-> a0-1 vec quad) (the-as uint128 0))
     (let ((a2-1 (t9-0 a0-1 (new 'static 'vector :x 1.0 :w 1.0) arg2)))
@@ -922,7 +922,7 @@
 (defun quaternion-rotate-local-y! ((arg0 quaternion) (arg1 quaternion) (arg2 float))
   "Rotate existing quaternion along y axis"
   (let ((t9-0 quaternion-vector-angle!)
-        (a0-1 (new 'stack 'quaternion))
+        (a0-1 (new 'stack-no-clear 'quaternion))
         )
     (set! (-> a0-1 vec quad) (the-as uint128 0))
     (let ((a2-1 (t9-0 a0-1 (new 'static 'vector :y 1.0 :w 1.0) arg2)))
@@ -934,7 +934,7 @@
 (defun quaternion-rotate-local-z! ((arg0 quaternion) (arg1 quaternion) (arg2 float))
   "Rotate existing quaternion along z axis."
   (let ((t9-0 quaternion-vector-angle!)
-        (a0-1 (new 'stack 'quaternion))
+        (a0-1 (new 'stack-no-clear 'quaternion))
         )
     (set! (-> a0-1 vec quad) (the-as uint128 0))
     (let ((a2-1 (t9-0 a0-1 (new 'static 'vector :z 1.0 :w 1.0) arg2)))
@@ -946,7 +946,7 @@
 (defun quaternion-rotate-y! ((arg0 quaternion) (arg1 quaternion) (arg2 float))
   "Rotate existing quaternion along y axis (right multiply)"
   (let ((t9-0 quaternion-vector-angle!)
-        (a0-1 (new 'stack 'quaternion))
+        (a0-1 (new 'stack-no-clear 'quaternion))
         )
     (set! (-> a0-1 vec quad) (the-as uint128 0))
     (let ((a1-2 (t9-0 a0-1 (new 'static 'vector :y 1.0 :w 1.0) arg2)))
@@ -959,11 +959,11 @@
   "Rotate existing quaternion along x axis. This has a different implementation
    from the others for some reason."
   (let ((s4-0 quaternion-vector-angle!)
-        (s3-0 (new 'stack 'quaternion))
+        (s3-0 (new 'stack-no-clear 'quaternion))
         )
     (set! (-> s3-0 vec quad) (the-as uint128 0))
     (let ((t9-0 vector-x-quaternion!)
-          (a0-1 (new 'stack 'vector))
+          (a0-1 (new 'stack-no-clear 'vector))
           )
       (set! (-> a0-1 quad) (the-as uint128 0))
       (let ((a1-3 (s4-0 s3-0 (t9-0 a0-1 arg1) arg2)))
@@ -976,11 +976,11 @@
 (defun quaternion-rotate-z! ((arg0 quaternion) (arg1 quaternion) (arg2 float))
   "Rotate existing quaternion along z axis. Has the weird implementation too."
   (let ((s4-0 quaternion-vector-angle!)
-        (s3-0 (new 'stack 'quaternion))
+        (s3-0 (new 'stack-no-clear 'quaternion))
         )
     (set! (-> s3-0 vec quad) (the-as uint128 0))
     (let ((t9-0 vector-z-quaternion!)
-          (a0-1 (new 'stack 'vector))
+          (a0-1 (new 'stack-no-clear 'vector))
           )
       (set! (-> a0-1 quad) (the-as uint128 0))
       (let ((a1-3 (s4-0 s3-0 (t9-0 a0-1 arg1) arg2)))
@@ -991,8 +991,8 @@
   )
 
 (defun quaternion-delta-y ((arg0 quaternion) (arg1 quaternion))
-  (acos (vector-dot (vector-z-quaternion! (new 'stack 'vector) arg0)
-                    (vector-z-quaternion! (new 'stack 'vector) arg1)
+  (acos (vector-dot (vector-z-quaternion! (new 'stack-no-clear 'vector) arg0)
+                    (vector-z-quaternion! (new 'stack-no-clear 'vector) arg1)
                     )
         )
   )
@@ -1017,9 +1017,9 @@
 
 
 (defun quaternion-rotate-y-to-vector! ((arg0 quaternion) (arg1 quaternion) (arg2 quaternion) (arg3 float))
-  (let ((s5-0 (new 'stack 'quaternion)))
+  (let ((s5-0 (new 'stack-no-clear 'quaternion)))
     (let ((t9-0 vector-xz-normalize!)
-          (a0-1 (new 'stack 'vector))
+          (a0-1 (new 'stack-no-clear 'vector))
           )
       (set! (-> a0-1 data 0) (-> arg2 x))
       (set! (-> a0-1 data 1) 0.0)
@@ -1028,7 +1028,7 @@
       (let ((s0-0 (t9-0 a0-1 1.0)))
         (quaternion-from-two-vectors-max-angle!
          s5-0
-         (vector-z-quaternion! (the-as vector (new 'stack 'quaternion)) arg1)
+         (vector-z-quaternion! (the-as vector (new 'stack-no-clear 'quaternion)) arg1)
          s0-0
          arg3
          )
@@ -1041,12 +1041,12 @@
 
 (defun vector-rotate-y! ((arg0 vector) (arg1 vector) (arg2 float))
   (let ((a1-2 (quaternion-vector-angle!
-               (new 'stack 'quaternion)
+               (new 'stack-no-clear 'quaternion)
                (new 'static 'vector :y 1.0 :w 1.0)
                arg2
                )
           )
-        (s4-0 (new 'stack 'matrix))
+        (s4-0 (new 'stack-no-clear 'matrix))
         )
     (quaternion->matrix s4-0 a1-2)
     (vector-matrix*! arg0 arg1 s4-0)
@@ -1070,8 +1070,8 @@
   )
 
 (defun quaternion-xz-angle ((arg0 quaternion))
-  (let ((gp-0 (new 'stack 'matrix))
-        (s5-0 (new 'stack 'vector))
+  (let ((gp-0 (new 'stack-no-clear 'matrix))
+        (s5-0 (new 'stack-no-clear 'vector))
         )
    (quaternion->matrix gp-0 arg0)
    (let ((v1-1 s5-0))

goal_src/engine/math/transform.gc

@@ -40,12 +40,12 @@
 
 (defun transform-matrix-calc! ((tf transform) (dst-mat matrix))
   "Convert a transform to a matrix. This is not particularly efficient."
-  (let ((s4-0 (new 'stack 'matrix)))
+  (let ((s4-0 (new 'stack-no-clear 'matrix)))
    (set! (-> s4-0 vector 0 quad) (the-as uint128 0))
    (set! (-> s4-0 vector 1 quad) (the-as uint128 0))
    (set! (-> s4-0 vector 2 quad) (the-as uint128 0))
    (set! (-> s4-0 vector 3 quad) (the-as uint128 0))
-   (let ((s3-0 (new 'stack 'matrix)))
+   (let ((s3-0 (new 'stack-no-clear 'matrix)))
     (set! (-> s3-0 vector 0 quad) (the-as uint128 0))
     (set! (-> s3-0 vector 1 quad) (the-as uint128 0))
     (set! (-> s3-0 vector 2 quad) (the-as uint128 0))
@@ -72,12 +72,12 @@
 
 (defun transform-matrix-parent-calc! ((tf transform) (dst-mat matrix) (inv-scale vector))
   "Convert a transform to a matrix, applying an inverse scaling."
-  (let ((s4-0 (new 'stack 'matrix)))
+  (let ((s4-0 (new 'stack-no-clear 'matrix)))
    (set! (-> s4-0 vector 0 quad) (the-as uint128 0))
    (set! (-> s4-0 vector 1 quad) (the-as uint128 0))
    (set! (-> s4-0 vector 2 quad) (the-as uint128 0))
    (set! (-> s4-0 vector 3 quad) (the-as uint128 0))
-   (let ((s3-0 (new 'stack 'matrix)))
+   (let ((s3-0 (new 'stack-no-clear 'matrix)))
     (set! (-> s3-0 vector 0 quad) (the-as uint128 0))
     (set! (-> s3-0 vector 1 quad) (the-as uint128 0))
     (set! (-> s3-0 vector 2 quad) (the-as uint128 0))

goalc/CMakeLists.txt

@@ -12,6 +12,7 @@ add_library(compiler
         compiler/CompilerSettings.cpp
         compiler/CodeGenerator.cpp
         compiler/StaticObject.cpp
+        compiler/compilation/Asm.cpp
         compiler/compilation/Atoms.cpp
         compiler/compilation/CompilerControl.cpp
         compiler/compilation/Block.cpp
@@ -35,8 +36,6 @@ add_library(compiler
         regalloc/Allocator.cpp
         regalloc/allocate.cpp
         regalloc/allocate_common.cpp
-        compiler/Compiler.cpp
-        compiler/compilation/Asm.cpp
         )
 
 target_link_libraries(compiler common Zydis)

goalc/compiler/Compiler.cpp

@@ -24,6 +24,11 @@ Compiler::Compiler(std::unique_ptr<ReplWrapper> repl)
   for (auto& builtin : g_goal_forms) {
     m_symbol_info.add_builtin(builtin.first);
   }
+
+  // load auto-complete history, only if we are running in the interactive mode.
+  if (m_repl) {
+    m_repl->load_history();
+  }
 }
 
 ReplStatus Compiler::execute_repl() {

goalc/compiler/Compiler.h

@@ -312,6 +312,7 @@ class Compiler {
                                std::vector<std::pair<std::string, RegVal*>> args);
   u8 ftf_fsf_to_blend_mask(u8 val);
   emitter::Register::VF_ELEMENT ftf_fsf_to_vector_element(u8 val);
+  int get_size_for_size_of(const goos::Object& form, const goos::Object& rest);
 
   template <typename... Args>
   void throw_compiler_error(const goos::Object& code, const std::string& str, Args&&... args) {
@@ -539,6 +540,7 @@ class Compiler {
   Val* compile_declare_type(const goos::Object& form, const goos::Object& rest, Env* env);
   Val* compile_none(const goos::Object& form, const goos::Object& rest, Env* env);
   Val* compile_defenum(const goos::Object& form, const goos::Object& rest, Env* env);
+  Val* compile_size_of(const goos::Object& form, const goos::Object& rest, Env* env);
 };
 
 extern const std::unordered_map<

goalc/compiler/Util.cpp

@@ -214,6 +214,11 @@ bool Compiler::try_getting_constant_integer(const goos::Object& in, int64_t* out
           return true;
         }
       }
+
+      if (head_sym->name == "size-of") {
+        *out = get_size_for_size_of(in, in.as_pair()->cdr);
+        return true;
+      }
     }
   }
 
@@ -227,7 +232,6 @@ bool Compiler::try_getting_constant_integer(const goos::Object& in, int64_t* out
     }
   }
 
-  // todo, try more things like constants before giving up.
   return false;
 }
 

goalc/compiler/compilation/Atoms.cpp

@@ -172,6 +172,7 @@ const std::unordered_map<
         {"method-of-object", &Compiler::compile_method_of_object},
         {"declare-type", &Compiler::compile_declare_type},
         {"none", &Compiler::compile_none},
+        {"size-of", &Compiler::compile_size_of},
 
         // LAMBDA
         {"lambda", &Compiler::compile_lambda},

goalc/compiler/compilation/Type.cpp

@@ -812,6 +812,10 @@ Val* Compiler::compile_stack_new(const goos::Object& form,
       throw_compiler_error(form, "Cannot create a dynamically sized stack array");
     }
 
+    if (constant_count <= 0) {
+      throw_compiler_error(form, "Cannot create a stack array with size {}", constant_count);
+    }
+
     if (!rest->is_empty_list()) {
       // got extra arguments
       throw_compiler_error(form, "New array form got more arguments than expected");
@@ -1134,4 +1138,34 @@ bool GoalEnum::operator==(const GoalEnum& other) const {
 
 bool GoalEnum::operator!=(const GoalEnum& other) const {
   return !(*this == other);
+}
+
+int Compiler::get_size_for_size_of(const goos::Object& form, const goos::Object& rest) {
+  auto args = get_va(form, rest);
+  va_check(form, args, {goos::ObjectType::SYMBOL}, {});
+
+  if (!m_ts.fully_defined_type_exists(args.unnamed.at(0).as_symbol()->name)) {
+    throw_compiler_error(
+        form, "The type {} given to size-of could not be found, or was not fully defined",
+        args.unnamed.at(0).print());
+  }
+
+  auto type = m_ts.lookup_type(args.unnamed.at(0).as_symbol()->name);
+  auto as_value = dynamic_cast<ValueType*>(type);
+  auto as_structure = dynamic_cast<StructureType*>(type);
+
+  if (as_value) {
+    return as_value->get_load_size();
+
+  } else if (as_structure) {
+    return as_structure->get_size_in_memory();
+
+  } else {
+    throw_compiler_error(form, "The type {} does not have a size.", args.unnamed.at(0).print());
+    return -1;
+  }
+}
+
+Val* Compiler::compile_size_of(const goos::Object& form, const goos::Object& rest, Env* env) {
+  return compile_integer(get_size_for_size_of(form, rest), env);
 }

test/decompiler/reference/euler_REF.gc

@@ -16,7 +16,7 @@
 ;; Used lq/sq
 (defun eul->matrix ((arg0 matrix) (arg1 euler-angles))
   (matrix-identity! arg0)
-  (let ((s5-0 (new 'stack 'vector)))
+  (let ((s5-0 (new 'stack-no-clear 'vector)))
    (set! (-> s5-0 quad) (-> arg1 quad))
    (if (= (logand (the int (-> s5-0 data 3)) 1) 1)
     (let ((f0-2 (-> s5-0 data 0)))
@@ -492,7 +492,7 @@
 
 ;; definition for function eul->quat
 (defun eul->quat ((arg0 quaternion) (arg1 euler-angles))
-  (let ((s5-0 (new 'stack 'matrix)))
+  (let ((s5-0 (new 'stack-no-clear 'matrix)))
    (eul->matrix s5-0 arg1)
    (matrix->quaternion arg0 s5-0)
    )
@@ -501,7 +501,7 @@
 
 ;; definition for function quat->eul
 (defun quat->eul ((arg0 euler-angles) (arg1 quaternion) (arg2 int))
-  (let ((s5-0 (new 'stack 'matrix)))
+  (let ((s5-0 (new 'stack-no-clear 'matrix)))
    (quaternion->matrix s5-0 arg1)
    (matrix->eul arg0 s5-0 arg2)
    )

test/decompiler/reference/matrix_REF.gc

@@ -157,7 +157,7 @@
 ;; definition for function matrixp*!
 ;; Used lq/sq
 (defun matrixp*! ((dst matrix) (src1 matrix) (src2 matrix))
-  (let ((temp-mat (new 'stack 'matrix)))
+  (let ((temp-mat (new 'stack-no-clear 'matrix)))
    (set! (-> temp-mat vector 0 quad) (the-as uint128 0))
    (set! (-> temp-mat vector 1 quad) (the-as uint128 0))
    (set! (-> temp-mat vector 2 quad) (the-as uint128 0))
@@ -225,7 +225,7 @@
 ;; definition for function vector3s-matrix*!
 ;; Used lq/sq
 (defun vector3s-matrix*! ((dst vector3s) (vec vector3s) (mat matrix))
-  (let ((temp-vec3 (new 'stack 'vector)))
+  (let ((temp-vec3 (new 'stack-no-clear 'vector)))
    (set! (-> temp-vec3 quad) (the-as uint128 0))
    (let ((v1-0 temp-vec3))
     (set! (-> v1-0 data 0) (-> vec data 0))
@@ -244,7 +244,7 @@
 ;; definition for function vector3s-rotate*!
 ;; Used lq/sq
 (defun vector3s-rotate*! ((dst vector3s) (vec vector3s) (mat matrix))
-  (let ((temp-vec3 (new 'stack 'vector)))
+  (let ((temp-vec3 (new 'stack-no-clear 'vector)))
    (set! (-> temp-vec3 quad) (the-as uint128 0))
    (let ((v1-0 temp-vec3))
     (set! (-> v1-0 data 0) (-> vec data 0))
@@ -660,12 +660,12 @@
 ;; definition for function matrix-rotate-zyx!
 ;; Used lq/sq
 (defun matrix-rotate-zyx! ((dst matrix) (rot-xyz-deg vector))
-  (let ((temp-mat (new 'stack 'matrix)))
+  (let ((temp-mat (new 'stack-no-clear 'matrix)))
    (set! (-> temp-mat vector 0 quad) (the-as uint128 0))
    (set! (-> temp-mat vector 1 quad) (the-as uint128 0))
    (set! (-> temp-mat vector 2 quad) (the-as uint128 0))
    (set! (-> temp-mat vector 3 quad) (the-as uint128 0))
-   (let ((rot-mat (new 'stack 'matrix)))
+   (let ((rot-mat (new 'stack-no-clear 'matrix)))
     (set! (-> rot-mat vector 0 quad) (the-as uint128 0))
     (set! (-> rot-mat vector 1 quad) (the-as uint128 0))
     (set! (-> rot-mat vector 2 quad) (the-as uint128 0))
@@ -683,12 +683,12 @@
 ;; definition for function matrix-rotate-xyz!
 ;; Used lq/sq
 (defun matrix-rotate-xyz! ((dst matrix) (rot-xyz-deg vector))
-  (let ((temp-mat (new 'stack 'matrix)))
+  (let ((temp-mat (new 'stack-no-clear 'matrix)))
    (set! (-> temp-mat vector 0 quad) (the-as uint128 0))
    (set! (-> temp-mat vector 1 quad) (the-as uint128 0))
    (set! (-> temp-mat vector 2 quad) (the-as uint128 0))
    (set! (-> temp-mat vector 3 quad) (the-as uint128 0))
-   (let ((rot-mat (new 'stack 'matrix)))
+   (let ((rot-mat (new 'stack-no-clear 'matrix)))
     (set! (-> rot-mat vector 0 quad) (the-as uint128 0))
     (set! (-> rot-mat vector 1 quad) (the-as uint128 0))
     (set! (-> rot-mat vector 2 quad) (the-as uint128 0))
@@ -706,12 +706,12 @@
 ;; definition for function matrix-rotate-zxy!
 ;; Used lq/sq
 (defun matrix-rotate-zxy! ((dst matrix) (rot-xyz-deg vector))
-  (let ((temp-mat (new 'stack 'matrix)))
+  (let ((temp-mat (new 'stack-no-clear 'matrix)))
    (set! (-> temp-mat vector 0 quad) (the-as uint128 0))
    (set! (-> temp-mat vector 1 quad) (the-as uint128 0))
    (set! (-> temp-mat vector 2 quad) (the-as uint128 0))
    (set! (-> temp-mat vector 3 quad) (the-as uint128 0))
-   (let ((rot-mat (new 'stack 'matrix)))
+   (let ((rot-mat (new 'stack-no-clear 'matrix)))
     (set! (-> rot-mat vector 0 quad) (the-as uint128 0))
     (set! (-> rot-mat vector 1 quad) (the-as uint128 0))
     (set! (-> rot-mat vector 2 quad) (the-as uint128 0))
@@ -729,12 +729,12 @@
 ;; definition for function matrix-rotate-yxz!
 ;; Used lq/sq
 (defun matrix-rotate-yxz! ((dst matrix) (rot-xyz-deg vector))
-  (let ((temp-mat (new 'stack 'matrix)))
+  (let ((temp-mat (new 'stack-no-clear 'matrix)))
    (set! (-> temp-mat vector 0 quad) (the-as uint128 0))
    (set! (-> temp-mat vector 1 quad) (the-as uint128 0))
    (set! (-> temp-mat vector 2 quad) (the-as uint128 0))
    (set! (-> temp-mat vector 3 quad) (the-as uint128 0))
-   (let ((rot-mat (new 'stack 'matrix)))
+   (let ((rot-mat (new 'stack-no-clear 'matrix)))
     (set! (-> rot-mat vector 0 quad) (the-as uint128 0))
     (set! (-> rot-mat vector 1 quad) (the-as uint128 0))
     (set! (-> rot-mat vector 2 quad) (the-as uint128 0))
@@ -752,12 +752,12 @@
 ;; definition for function matrix-rotate-yzx!
 ;; Used lq/sq
 (defun matrix-rotate-yzx! ((dst matrix) (rot-xyz-deg vector))
-  (let ((temp-mat (new 'stack 'matrix)))
+  (let ((temp-mat (new 'stack-no-clear 'matrix)))
    (set! (-> temp-mat vector 0 quad) (the-as uint128 0))
    (set! (-> temp-mat vector 1 quad) (the-as uint128 0))
    (set! (-> temp-mat vector 2 quad) (the-as uint128 0))
    (set! (-> temp-mat vector 3 quad) (the-as uint128 0))
-   (let ((rot-mat (new 'stack 'matrix)))
+   (let ((rot-mat (new 'stack-no-clear 'matrix)))
     (set! (-> rot-mat vector 0 quad) (the-as uint128 0))
     (set! (-> rot-mat vector 1 quad) (the-as uint128 0))
     (set! (-> rot-mat vector 2 quad) (the-as uint128 0))
@@ -774,9 +774,9 @@
 
 ;; definition for function matrix-rotate-yxy!
 (defun matrix-rotate-yxy! ((dst matrix) (rots-deg vector))
-  (let ((sincos-input (new 'stack 'vector))
-        (sin-vec (new 'stack 'vector))
-        (cos-vec (new 'stack 'vector))
+  (let ((sincos-input (new 'stack-no-clear 'vector))
+        (sin-vec (new 'stack-no-clear 'vector))
+        (cos-vec (new 'stack-no-clear 'vector))
         )
    (let ((v1-0 sincos-input))
     (set! (-> v1-0 data 0) (-> rots-deg data 0))
@@ -820,7 +820,7 @@
 (defun matrix-rotate-yx! ((dst matrix) (rot-y-deg float) (rot-x-deg float))
   (matrix-rotate-y! dst rot-y-deg)
   (let ((t9-1 matrix-rotate-x!)
-        (a0-2 (new 'stack 'matrix))
+        (a0-2 (new 'stack-no-clear 'matrix))
         )
    (set! (-> a0-2 vector 0 quad) (the-as uint128 0))
    (set! (-> a0-2 vector 1 quad) (the-as uint128 0))

test/decompiler/reference/quaternion_REF.gc

@@ -615,7 +615,7 @@
          (vf6 :class vf)
          (vf7 :class vf)
          )
-   (let ((v1-0 (new 'stack 'matrix)))
+   (let ((v1-0 (new 'stack-no-clear 'matrix)))
     (set! (-> v1-0 vector 0 quad) (the-as uint128 0))
     (set! (-> v1-0 vector 1 quad) (the-as uint128 0))
     (set! (-> v1-0 vector 2 quad) (the-as uint128 0))
@@ -740,7 +740,7 @@
       )
      )
     (else
-     (let ((s5-0 (new 'stack 'vector)))
+     (let ((s5-0 (new 'stack-no-clear 'vector)))
       (sincos-rad! (the-as (pointer float) s5-0) f30-0)
       (let ((f0-6 (/ (-> s5-0 data 0) f30-0)))
        (set! (-> arg0 x) (* (-> arg1 x) f0-6))
@@ -798,7 +798,7 @@
              (f28-0 (/ 1.0 f1-6))
              )
        (let ((f0-7 (atan-series-rad f0-6))
-             (s2-0 (new 'stack 'vector))
+             (s2-0 (new 'stack-no-clear 'vector))
              )
         (set! (-> s2-0 data 0) (* (- 1.0 arg3) f0-7))
         (set! (-> s2-0 data 1) (* (* arg3 f0-7) f30-0))
@@ -871,9 +871,9 @@
          (vf7 :class vf)
          )
    (.lvf vf0 (new 'static 'vector :x 0.0 :y 0.0 :z 0.0 :w 1.0))
-   (let ((s4-0 (new 'stack 'vector))
-         (gp-0 (new 'stack 'vector))
-         (s5-0 (new 'stack 'vector))
+   (let ((s4-0 (new 'stack-no-clear 'vector))
+         (gp-0 (new 'stack-no-clear 'vector))
+         (s5-0 (new 'stack-no-clear 'vector))
          )
     (vector-rad<-vector-deg/2! s4-0 arg1)
     (vector-sincos-rad! gp-0 s5-0 s4-0)
@@ -899,7 +899,7 @@
 ;; definition for function vector-x-quaternion!
 ;; Used lq/sq
 (defun vector-x-quaternion! ((arg0 vector) (arg1 quaternion))
-  (let ((s5-0 (new 'stack 'matrix)))
+  (let ((s5-0 (new 'stack-no-clear 'matrix)))
    (set! (-> s5-0 vector 0 quad) (the-as uint128 0))
    (set! (-> s5-0 vector 1 quad) (the-as uint128 0))
    (set! (-> s5-0 vector 2 quad) (the-as uint128 0))
@@ -913,7 +913,7 @@
 ;; definition for function vector-y-quaternion!
 ;; Used lq/sq
 (defun vector-y-quaternion! ((arg0 vector) (arg1 quaternion))
-  (let ((s5-0 (new 'stack 'matrix)))
+  (let ((s5-0 (new 'stack-no-clear 'matrix)))
    (set! (-> s5-0 vector 0 quad) (the-as uint128 0))
    (set! (-> s5-0 vector 1 quad) (the-as uint128 0))
    (set! (-> s5-0 vector 2 quad) (the-as uint128 0))
@@ -927,7 +927,7 @@
 ;; definition for function vector-z-quaternion!
 ;; Used lq/sq
 (defun vector-z-quaternion! ((arg0 vector) (arg1 quaternion))
-  (let ((s5-0 (new 'stack 'matrix)))
+  (let ((s5-0 (new 'stack-no-clear 'matrix)))
    (set! (-> s5-0 vector 0 quad) (the-as uint128 0))
    (set! (-> s5-0 vector 1 quad) (the-as uint128 0))
    (set! (-> s5-0 vector 2 quad) (the-as uint128 0))
@@ -940,7 +940,7 @@
 
 ;; definition for function quaternion-y-angle
 (defun quaternion-y-angle ((arg0 quaternion))
-  (let ((v1-1 (vector-z-quaternion! (new 'stack 'vector) arg0)))
+  (let ((v1-1 (vector-z-quaternion! (new 'stack-no-clear 'vector) arg0)))
    (atan (-> v1-1 data 0) (-> v1-1 data 2))
    )
   )
@@ -960,7 +960,7 @@
   quaternion-rotate-local-x!
   ((arg0 quaternion) (arg1 quaternion) (arg2 float))
   (let ((t9-0 quaternion-vector-angle!)
-        (a0-1 (new 'stack 'quaternion))
+        (a0-1 (new 'stack-no-clear 'quaternion))
         )
    (set! (-> a0-1 vec quad) (the-as uint128 0))
    (let ((a2-1 (t9-0 a0-1 (new 'static 'vector :x 1.0 :w 1.0) arg2)))
@@ -975,7 +975,7 @@
   quaternion-rotate-local-y!
   ((arg0 quaternion) (arg1 quaternion) (arg2 float))
   (let ((t9-0 quaternion-vector-angle!)
-        (a0-1 (new 'stack 'quaternion))
+        (a0-1 (new 'stack-no-clear 'quaternion))
         )
    (set! (-> a0-1 vec quad) (the-as uint128 0))
    (let ((a2-1 (t9-0 a0-1 (new 'static 'vector :y 1.0 :w 1.0) arg2)))
@@ -990,7 +990,7 @@
   quaternion-rotate-local-z!
   ((arg0 quaternion) (arg1 quaternion) (arg2 float))
   (let ((t9-0 quaternion-vector-angle!)
-        (a0-1 (new 'stack 'quaternion))
+        (a0-1 (new 'stack-no-clear 'quaternion))
         )
    (set! (-> a0-1 vec quad) (the-as uint128 0))
    (let ((a2-1 (t9-0 a0-1 (new 'static 'vector :z 1.0 :w 1.0) arg2)))
@@ -1003,7 +1003,7 @@
 ;; Used lq/sq
 (defun quaternion-rotate-y! ((arg0 quaternion) (arg1 quaternion) (arg2 float))
   (let ((t9-0 quaternion-vector-angle!)
-        (a0-1 (new 'stack 'quaternion))
+        (a0-1 (new 'stack-no-clear 'quaternion))
         )
    (set! (-> a0-1 vec quad) (the-as uint128 0))
    (let ((a1-2 (t9-0 a0-1 (new 'static 'vector :y 1.0 :w 1.0) arg2)))
@@ -1016,11 +1016,11 @@
 ;; Used lq/sq
 (defun quaternion-rotate-x! ((arg0 quaternion) (arg1 quaternion) (arg2 float))
   (let ((s4-0 quaternion-vector-angle!)
-        (s3-0 (new 'stack 'quaternion))
+        (s3-0 (new 'stack-no-clear 'quaternion))
         )
    (set! (-> s3-0 vec quad) (the-as uint128 0))
    (let ((t9-0 vector-x-quaternion!)
-         (a0-1 (new 'stack 'vector))
+         (a0-1 (new 'stack-no-clear 'vector))
          )
     (set! (-> a0-1 quad) (the-as uint128 0))
     (let ((a1-3 (s4-0 s3-0 (t9-0 a0-1 arg1) arg2)))
@@ -1034,11 +1034,11 @@
 ;; Used lq/sq
 (defun quaternion-rotate-z! ((arg0 quaternion) (arg1 quaternion) (arg2 float))
   (let ((s4-0 quaternion-vector-angle!)
-        (s3-0 (new 'stack 'quaternion))
+        (s3-0 (new 'stack-no-clear 'quaternion))
         )
    (set! (-> s3-0 vec quad) (the-as uint128 0))
    (let ((t9-0 vector-z-quaternion!)
-         (a0-1 (new 'stack 'vector))
+         (a0-1 (new 'stack-no-clear 'vector))
          )
     (set! (-> a0-1 quad) (the-as uint128 0))
     (let ((a1-3 (s4-0 s3-0 (t9-0 a0-1 arg1) arg2)))
@@ -1055,8 +1055,8 @@
 (defun quaternion-delta-y ((arg0 quaternion) (arg1 quaternion))
   (local-vars (f0-1 float))
   (let ((gp-0 acos))
-   (let* ((s5-0 (vector-z-quaternion! (new 'stack 'vector) arg0))
-          (v1-1 (vector-z-quaternion! (new 'stack 'vector) arg1))
+   (let* ((s5-0 (vector-z-quaternion! (new 'stack-no-clear 'vector) arg0))
+          (v1-1 (vector-z-quaternion! (new 'stack-no-clear 'vector) arg1))
           (f0-0 (-> s5-0 data 0))
           (f1-0 (-> s5-0 data 1))
           (f2-0 (-> s5-0 data 2))
@@ -1076,9 +1076,9 @@
 (defun
   quaternion-rotate-y-to-vector!
   ((arg0 quaternion) (arg1 quaternion) (arg2 quaternion) (arg3 float))
-  (let ((s5-0 (new 'stack 'quaternion)))
+  (let ((s5-0 (new 'stack-no-clear 'quaternion)))
    (let ((t9-0 vector-xz-normalize!)
-         (a0-1 (new 'stack 'vector))
+         (a0-1 (new 'stack-no-clear 'vector))
          )
     (set! (-> a0-1 data 0) (-> arg2 x))
     (set! (-> a0-1 data 1) 0.0)
@@ -1087,7 +1087,10 @@
     (let ((s0-0 (t9-0 a0-1 1.0)))
      (quaternion-from-two-vectors-max-angle!
       s5-0
-      (vector-z-quaternion! (the-as vector (new 'stack 'quaternion)) arg1)
+      (vector-z-quaternion!
+       (the-as vector (new 'stack-no-clear 'quaternion))
+       arg1
+       )
       s0-0
       arg3
       )
@@ -1102,12 +1105,12 @@
   (let
    ((a1-2
      (quaternion-vector-angle!
-      (new 'stack 'quaternion)
+      (new 'stack-no-clear 'quaternion)
       (new 'static 'vector :y 1.0 :w 1.0)
       arg2
       )
      )
-    (s4-0 (new 'stack 'matrix))
+    (s4-0 (new 'stack-no-clear 'matrix))
     )
    (quaternion->matrix s4-0 a1-2)
    (vector-matrix*! arg0 arg1 s4-0)
@@ -1153,8 +1156,8 @@
 
 ;; definition for function quaternion-xz-angle
 (defun quaternion-xz-angle ((arg0 quaternion))
-  (let ((gp-0 (new 'stack 'matrix))
-        (s5-0 (new 'stack 'vector))
+  (let ((gp-0 (new 'stack-no-clear 'matrix))
+        (s5-0 (new 'stack-no-clear 'vector))
         )
    (quaternion->matrix gp-0 arg0)
    (let ((v1-1 s5-0))

test/decompiler/reference/sync-info_REF.gc

@@ -593,7 +593,7 @@
          (vf6 :class vf)
          )
    (.lvf vf0 (new 'static 'vector :x 0.0 :y 0.0 :z 0.0 :w 1.0))
-   (let ((s5-0 (new 'stack 'vector)))
+   (let ((s5-0 (new 'stack-no-clear 'vector)))
     (cond
      (arg0
       (let ((a0-1 s5-0))

test/decompiler/reference/transform_REF.gc

@@ -48,12 +48,12 @@
 ;; definition for function transform-matrix-calc!
 ;; Used lq/sq
 (defun transform-matrix-calc! ((tf transform) (dst-mat matrix))
-  (let ((s4-0 (new 'stack 'matrix)))
+  (let ((s4-0 (new 'stack-no-clear 'matrix)))
    (set! (-> s4-0 vector 0 quad) (the-as uint128 0))
    (set! (-> s4-0 vector 1 quad) (the-as uint128 0))
    (set! (-> s4-0 vector 2 quad) (the-as uint128 0))
    (set! (-> s4-0 vector 3 quad) (the-as uint128 0))
-   (let ((s3-0 (new 'stack 'matrix)))
+   (let ((s3-0 (new 'stack-no-clear 'matrix)))
     (set! (-> s3-0 vector 0 quad) (the-as uint128 0))
     (set! (-> s3-0 vector 1 quad) (the-as uint128 0))
     (set! (-> s3-0 vector 2 quad) (the-as uint128 0))
@@ -77,12 +77,12 @@
 (defun
   transform-matrix-parent-calc!
   ((tf transform) (dst-mat matrix) (inv-scale vector))
-  (let ((s4-0 (new 'stack 'matrix)))
+  (let ((s4-0 (new 'stack-no-clear 'matrix)))
    (set! (-> s4-0 vector 0 quad) (the-as uint128 0))
    (set! (-> s4-0 vector 1 quad) (the-as uint128 0))
    (set! (-> s4-0 vector 2 quad) (the-as uint128 0))
    (set! (-> s4-0 vector 3 quad) (the-as uint128 0))
-   (let ((s3-0 (new 'stack 'matrix)))
+   (let ((s3-0 (new 'stack-no-clear 'matrix)))
     (set! (-> s3-0 vector 0 quad) (the-as uint128 0))
     (set! (-> s3-0 vector 1 quad) (the-as uint128 0))
     (set! (-> s3-0 vector 2 quad) (the-as uint128 0))

test/decompiler/test_FormExpressionBuild2.cpp

@@ -40,7 +40,7 @@ TEST_F(FormRegressionTest, MatrixPMult) {
   std::string type = "(function matrix matrix matrix matrix)";
   std::string expected =
       "(begin\n"
-      "  (let ((s5-0 (new (quote stack) (quote matrix))))\n"
+      "  (let ((s5-0 (new (quote stack-no-clear) (quote matrix))))\n"
       "   (set! (-> s5-0 vector 0 quad) (the-as uint128 0))\n"
       "   (set! (-> s5-0 vector 1 quad) (the-as uint128 0))\n"
       "   (set! (-> s5-0 vector 2 quad) (the-as uint128 0))\n"
@@ -93,7 +93,7 @@ TEST_F(FormRegressionTest, VectorXQuaternionWithCast) {
   std::string type = "(function quaternion quaternion quaternion)";
   std::string expected =
       "(begin\n"
-      "  (let ((s5-0 (new (quote stack) (quote matrix))))\n"
+      "  (let ((s5-0 (new (quote stack-no-clear) (quote matrix))))\n"
       "   (set! (-> s5-0 vector 0 quad) (the-as uint128 0))\n"
       "   (set! (-> s5-0 vector 1 quad) (the-as uint128 0))\n"
       "   (set! (-> s5-0 vector 2 quad) (the-as uint128 0))\n"

test/goalc/source_templates/with_game/test-size-of.gc

@@ -0,0 +1,9 @@
+(format #t "size of dma-bucket is ~d~%" (size-of dma-bucket))
+(format #t "size of ints: ~d ~d ~d~%" (size-of uint16) (size-of pointer) (size-of uint128))
+
+;; note - this makes some assumptions about how the OpenGOAL compiler will lay things out
+;; on the stack.
+(let ((x (new 'stack 'array 'uint8 (size-of dma-bucket)))
+      (y (new 'stack 'array 'uint 1)))
+  (format #t "size of stack array is ~d~%" (&- y x))
+  )

test/goalc/test_with_game.cpp

@@ -394,6 +394,13 @@ TEST_F(WithGameTests, StaticBoxedArray) {
                          {"4 asdf \"test\" (a b) 0 object 12 12\n0\n"});
 }
 
+TEST_F(WithGameTests, SizeOf) {
+  runner.run_static_test(env, testCategory, "test-size-of.gc",
+                         {"size of dma-bucket is 16\n"
+                          "size of ints: 2 4 16\n"
+                          "size of stack array is 16\n0\n"});
+}
+
 TEST_F(WithGameTests, Trig) {
   runner.run_static_test(env, testCategory, "test-trig.gc",
                          {"2.0000\n"    // 2 deg