extremely simple malloc

Author: andrew-johnson-4

Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "lambda_mountain"
-version = "1.11.66"
+version = "1.11.67"
 authors = ["Andrew <andrew@subarctic.org>"]
 license = "MIT"
 description = "Lambda Mountain"

STDLIB/default-primitives.lm

@@ -108,6 +108,23 @@ fragment + := λ(: l LocalVariable+U64)(: r Constant+U64). (: (
    (.expression( 'r12 ))
 ) Reg64+U64);
 
+fragment + := λ(: l GlobalVariable+U64)(: r Literal+Constant+U64). (: (
+   (.program( \t 'mov \s '$ (.expression l) , \s '%r15 \n \t 'mov \s '0 \[ '%r15 \] , '%r15 \n \t 'add \s '$ (.expression r) , \s '%r15 \n ))
+   (.expression( 'r15 ))
+) Reg64+U64);
+fragment + := λ(: l Literal+Constant+U64)(: r GlobalVariable+U64). (: (
+   (.program( \t 'mov \s '$ (.expression r) , \s '%r15 \n \t 'mov \s '0 \[ '%r15 \] , '%r15 \n \t 'add \s '$ (.expression l) , \s '%r15 \n ))
+   (.expression( 'r15 ))
+) Reg64+U64);
+
+fragment + := λ(: l GlobalVariable+U64)(: r LocalVariable+U64). (: (
+   (.program( \t 'mov \s '$ (.expression l) , \s '%r15 \n
+              \t 'mov \s '0 \[ '%r15 \] , '%r15 \n
+              \t 'mov \s (.expression r) \[ '%rbp \] , '%r14 \n
+              \t 'add \s '%r14 , \s '%r15 \n ))
+   (.expression( 'r15 ))
+) Reg64+U64);
+
 fragment - := λ(: l LocalVariable+U8)(: r Constant+U8). (: (
    (.program( \t 'mov \s (.expression l) \[ '%rbp \] , \s '%r12b \n \t 'sub \s '$ (.expression r) , \s '%r12b \n ))
    (.expression( 'r12b ))

STDLIB/default-stdlib.lm

@@ -189,7 +189,6 @@ malloc := λ (: sz U64) . (: (tail(
       (syscall())
    )) ())
    (let curr cons-page-tail)
-#   (cons-page-tail (+ cons-page-tail sz))
-#   (as curr ?[])
-   (as 0u64 ?[])
+   (set cons-page-tail (+( cons-page-tail sz )))
+   (as curr ?[])
 )) ?[]);

STRICT/cli.lm

@@ -21,6 +21,10 @@ main := λ(: argc U64)(: argv U8[][]).(tail(
    )))
    (print input)
    (print (as (malloc 24u64) U64))
+   (print ',_s)
+   (print (as (malloc 24u64) U64))
+   (print ',_s)
+   (print (as (malloc 24u64) U64))
 #   (while (<( argi argc )) (
 #      (if (==( ([]( argv argi )) '--tokenize_s )) (
 #         (print '--tokenize_s)