From 9e823503061ff39cb78bb3554af26b566fa505d9 Mon Sep 17 00:00:00 2001
From: Akilan <me@akilan.io>
Date: Mon, 2 Feb 2026 16:26:23 +0000
Subject: [PATCH] added sample assembler bump allocator test

---
 Tests/isa/MemoryAllocator                     | Bin 0 -> 30224 bytes
 Tests/isa/MemoryAllocator.S                   | 165 ++++++++++++++++++
 Tests/isa/PageCompileSteps.txt                |   1 +
 .../Makefile                                  |   3 +-
 4 files changed, 168 insertions(+), 1 deletion(-)
 create mode 100755 Tests/isa/MemoryAllocator
 create mode 100644 Tests/isa/MemoryAllocator.S

diff --git a/Tests/isa/MemoryAllocator b/Tests/isa/MemoryAllocator
new file mode 100755
index 0000000000000000000000000000000000000000..1427cfc0d9693be4d8b6e0521f4c61d49861e891
GIT binary patch
literal 30224
zcmeI5&2Jk;7{*_F?clUfnHnh(<q&XDZ<gaA1QLgQ8K{JURfikWvfgZBOSX5ly9uEj
zYPkgUfDnogLE^@Vqop2z8w%pW0g3(tpm0C}L0t7fp#}5K?5yby6b^8r&q$tk=6OG6
z=I31>J(sF4Jey9XC~j%GL2A|$+M?*V)xyYT*(}miWN?2UO|c~}BV1nO*ZZ0##48Ca
zYE9Z`d`XU#z4Bn>i7n-$xyYLm!#UA$o1<RB#tX()<;fUyAOHd&00JNY0w4eaAOHd&
z00JOzj}izTU%YP5X7dLZhz9-scyR5I2K(>R;OI2XtPmB9mEVfxIvq5m|JQ`SF8#NK
ze~=z!W^6gXCF7T6{4XN@j4>J)3O9_aM-2+zNzVpErw=O9e{-fNa*Us4&SOG5yjdKk
zsgR}AF;Q-i$<l}WtMp#~+FOJDBlcgY4)%GEeSb5u{oUeloeFyyI;Kyiqr6_GFr6i1
zVfr6)?T7hn(YnV4BTvO4?~!VGcl6ab){U!avQHRvdBI@6&wIN}TRl>F%RdPJz}TaO
zQvn^U@fqGe_5C+LesQZfJWR#0gY@1wI_sz3#dXA)MIHAZefDr{5C8!X009sH0T2KI
z5C8!X009sH0T2KI5C8!X009sH0T2KI5C8!X009sH0T2KI5C8!X009sH0T2KI5C8!X
z009sH0T2KI5C8!X009sH0T2KI5C8!X009sH0T2KI5C8!X009sH0T2KI5C8!X009sH
z0T2KI5C8!X009sH0T2KI5C8!X_&*U?dXZ1#w*q^IQdJ&i{hcSDXjQy<vs3ZPrX@z3
z6|Z7$i0)#`4t$|sY;8JS+u=YScRJhcd9O^l)QOXS$Hs_m7VPOU2BrVF$L|iOA#NAc
znz;WjL)XWeO!rGcc-4J?D&V}*A4(;4{+oVoylyS2ugCggQhzztUrFkXST85_w$xMf
zjJEEpalBT)$9kUmJfg+FDRn+?Gg<##sq_B5r2c`b!=}fdNgMJg&*#n0CH2px{%39<
zt9ZTsXLr%RjCHO4*Rihc^Yy#v-zq())fvU{n*Nj2Q}l+$?Y4@a)#9i4sDg7-iznOe
zR#sjLo-es{cK2Vr1Wl{EMeTXh3(0rgP}p`^^i9X|%!U;>WVPF_Z8o+$UL-o*jYuQY
z+-kcGt8IF2s~bB0Syt++OY2MKa`n0MYo<v%9kan@qeL(CIbgY7H>+!_>@>|r5ST$|
z`5})Jd8V^rg%)l4Zl~!6A%(6q&TcDY(Q(Xni&ZfqDh01~LaV_x^dsAhN1?MDQc0F7
z$zP3<6^4GRu^l>mtH*!P&TtL!G|D?Zqk27Q)IFY8<f9rnM9*(PqCLtp5i<GZh`;|i
z6;@L=HmYtsJ;wvi_2T)&Dn(D%wj<Zp_ati6RQ^ZGDegXffIm6m<Te`_nr1uMyV8Wo
cDZD4O1+^)OYg7L!zo71Kefo}?VyNf;4&Wd|s{jB1

literal 0
HcmV?d00001

diff --git a/Tests/isa/MemoryAllocator.S b/Tests/isa/MemoryAllocator.S
new file mode 100644
index 0000000..2872008
--- /dev/null
+++ b/Tests/isa/MemoryAllocator.S
@@ -0,0 +1,165 @@
+.option norvc
+.option norelax
+
+# ==================================================
+# Text section
+# ==================================================
+.section .text
+.globl _start
+.globl vm_boot
+
+_start:
+vm_boot:
+    # Only hart 0 runs
+    csrr    a0, mhartid
+    bnez    a0, hang
+
+    # --------------------------------------------------
+    # Page tables (Sv39, identity map)
+    # --------------------------------------------------
+    la      t0, l1_pt
+    srli    t0, t0, 12
+    slli    t0, t0, 10
+    ori     t0, t0, 1
+    la      t1, root_pt
+    sd      t0, 0(t1)
+
+    la      t0, l0_pt
+    srli    t0, t0, 12
+    slli    t0, t0, 10
+    ori     t0, t0, 1
+    la      t1, l1_pt
+    sd      t0, 0(t1)
+
+    li      t0, (1<<0)|(1<<1)|(1<<2)|(1<<3)|(1<<6)  # V R W X A
+    la      t1, l0_pt
+    sd      t0, 0(t1)
+
+    # Enable Sv39
+    la      t0, root_pt
+    srli    t0, t0, 12
+    li      t1, (8 << 60)
+    or      t0, t0, t1
+    csrw    satp, t0
+    sfence.vma zero, zero
+
+    # --------------------------------------------------
+    # Init allocator (explicit, no .bss)
+    # --------------------------------------------------
+    la      t0, heap_base
+    la      t1, heap_ptr
+    sd      t0, 0(t1)
+
+    la      t0, free_list
+    sd      zero, 0(t0)
+
+    # --------------------------------------------------
+    # Allocate → free → reuse test
+    # --------------------------------------------------
+    li      a0, 16
+    jal     ra, alloc
+    mv      s1, a0
+
+    li      t0, 0x1122334455667788
+    sd      t0, 0(s1)
+
+    mv      a0, s1
+    jal     ra, free
+
+    li      a0, 16
+    jal     ra, alloc
+    mv      s2, a0
+
+    ld      t1, 0(s2)
+    li      t0, 0x1122334455667788
+    bne     t1, t0, hang
+
+    # success
+    la      t0, tohost
+    li      t1, 1
+    sd      t1, 0(t0)
+
+hang:
+    wfi
+    j hang
+
+# ==================================================
+# alloc(size)
+# a0 = size
+# returns a0 = ptr
+# ==================================================
+.globl alloc
+alloc:
+    la      t0, free_list
+    ld      t1, 0(t0)
+    beqz    t1, alloc_bump
+
+    # pop free list
+    ld      t2, 0(t1)
+    sd      t2, 0(t0)
+    addi    a0, t1, 8
+    ret
+
+alloc_bump:
+    la      t0, heap_ptr
+    ld      t1, 0(t0)
+    addi    t2, a0, 8
+    add     t3, t1, t2
+    la      t4, heap_end
+    bgtu    t3, t4, hang
+
+    sd      t3, 0(t0)
+    addi    a0, t1, 8
+    ret
+
+# ==================================================
+# free(ptr)
+# a0 = user pointer
+# ==================================================
+.globl free
+free:
+    addi    t0, a0, -8
+    la      t1, free_list
+    ld      t2, 0(t1)
+    sd      t2, 0(t0)
+    sd      t0, 0(t1)
+    ret
+
+# ==================================================
+# Exit symbol
+# ==================================================
+.globl exit
+exit:
+    j exit
+
+# ==================================================
+# Data section (NO .bss)
+# ==================================================
+.section .data
+.align 3
+
+# Host interface
+.globl tohost
+.globl fromhost
+tohost:     .dword 0
+fromhost:   .dword 0
+
+# Allocator state (explicitly initialized)
+.globl heap_ptr
+.globl free_list
+heap_ptr:   .dword 0
+free_list:  .dword 0
+
+# Heap
+.align 12
+heap_base:
+    .zero 4096
+heap_end:
+
+# Page tables
+.align 12
+root_pt: .zero 4096
+.align 12
+l1_pt:   .zero 4096
+.align 12
+l0_pt:   .zero 4096
\ No newline at end of file
diff --git a/Tests/isa/PageCompileSteps.txt b/Tests/isa/PageCompileSteps.txt
index fa48886..0e09d62 100644
--- a/Tests/isa/PageCompileSteps.txt
+++ b/Tests/isa/PageCompileSteps.txt
@@ -1,3 +1,4 @@
+ scp Tests/isa/MemoryAllocator.S home:/home/akilan/Documents/cheri/riscv/riscv/bin
 ./riscv64-unknown-elf-gcc -nostdlib -nostartfiles   -Wl,-Ttext=0x80000000   Page.S   -o Page.o
 ./riscv64-unknown-elf-objcopy --remove-section .bss Page.o Page
 # Copy file
diff --git a/builds/RV64ACDFIMSUxCHERI_Toooba_bluesim/Makefile b/builds/RV64ACDFIMSUxCHERI_Toooba_bluesim/Makefile
index 7d738e5..bfd267c 100644
--- a/builds/RV64ACDFIMSUxCHERI_Toooba_bluesim/Makefile
+++ b/builds/RV64ACDFIMSUxCHERI_Toooba_bluesim/Makefile
@@ -12,7 +12,8 @@ BSC_COMPILATION_FLAGS += -verbose
 # TEST ?= rv64um-v-mulw
 # TEST ?= Page
 # TEST ?= PageReadWrite
-TEST ?= CheriPage
+# TEST ?= CheriPage
+TEST ?= MemoryAllocator
 
 #================================================================
 # Parameter settings for MIT RISCY, setup paths etc. for Include_Common