wasi: Implement GC_displayMem

All we have is the builtin memory.size, which is exposed by sbrk(0).
MLton · Feb 25, 2024 · af7f6ea · af7f6ea
1 parent b9a16d0
commit af7f6ea
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/runtime/platform/wasi.c b/runtime/platform/wasi.c
@@ -44,7 +44,10 @@ void GC_release (void *base, __attribute__ ((unused)) size_t length) {
 }
 
 void GC_displayMem (void) {
-        printf ("GC_displayMem() not implemented on WASI\n");
+        size_t memory_size = (size_t) sbrk(0);
+        size_t pages = memory_size / PAGESIZE;
+        printf ("memory.size: pages=%zu, pagesize=%d, total=%zu\n",
+                pages, PAGESIZE, memory_size);
 }
 
 void GC_diskBack_close (__attribute__ ((unused)) void *data) {