lab/sx
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

mem: BufAlloc.init returns the state by value — full buffer usable, no header carve

Browse Source
This commit is contained in:
agra
2026-06-11 17:31:20 +03:00
parent a47ea1416e
commit 51194a26d8
42 changed files with 158 additions and 129 deletions
Download Patch File Download Diff File Expand all files Collapse all files

26
examples/0839-memory-bufalloc-by-value.sx Normal file
View File

@@ -0,0 +1,26 @@
// BufAlloc.init returns the state BY VALUE: the caller's local is the
// allocator state and the FULL buffer is usable. Regression: init used
// to carve its own struct off the buffer's head (returning *BufAlloc
// into the buffer), so a 128-byte buffer could only serve 104 bytes —
// the second 64-byte allocation below failed with null.
#import "modules/std.sx";
#import "modules/std/mem.sx";
main :: () {
stack_buf : [128]u8 = ---;
buf := BufAlloc.init(@stack_buf[0], 128);
a : Allocator = xx buf;
b1 := a.alloc_bytes(64);
b2 := a.alloc_bytes(64); // fills the buffer EXACTLY
b1_ok := b1 != null;
b2_ok := b2 != null;
print("full capacity: {} {} pos={}\n", b1_ok, b2_ok, buf.pos);
b3 := a.alloc_bytes(1); // one byte over — must fail
print("over: {}\n", b3 == null);
buf.reset();
print("reset: {}\n", buf.pos);
}

12
examples/expected/0031-basic-local-fn-return.ir
View File

@@ -742,7 +742,7 @@ declare ptr @Arena.alloc_bytes(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init(ptr, ptr, i64) #0
declare void @BufAlloc.init(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset(ptr, ptr) #0
@@ -2892,7 +2892,7 @@ declare ptr @Arena.alloc_bytes.11(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.12(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.13(ptr, ptr, i64) #0
declare void @BufAlloc.init.13(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.14(ptr, ptr) #0
@@ -3137,7 +3137,7 @@ declare ptr @Arena.alloc_bytes.34(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.35(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.36(ptr, ptr, i64) #0
declare void @BufAlloc.init.36(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.37(ptr, ptr) #0
@@ -3887,7 +3887,7 @@ declare ptr @Arena.alloc_bytes.176(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.177(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.178(ptr, ptr, i64) #0
declare void @BufAlloc.init.178(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.179(ptr, ptr) #0
@@ -3989,7 +3989,7 @@ declare ptr @Arena.alloc_bytes.210(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.211(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.212(ptr, ptr, i64) #0
declare void @BufAlloc.init.212(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.213(ptr, ptr) #0
@@ -4232,7 +4232,7 @@ declare ptr @Arena.alloc_bytes.291(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.292(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.293(ptr, ptr, i64) #0
declare void @BufAlloc.init.293(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.294(ptr, ptr) #0

12
examples/expected/0032-basic-ufcs-return-type.ir
View File

@@ -710,7 +710,7 @@ declare ptr @Arena.alloc_bytes(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init(ptr, ptr, i64) #0
declare void @BufAlloc.init(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset(ptr, ptr) #0
@@ -2812,7 +2812,7 @@ declare ptr @Arena.alloc_bytes.11(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.12(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.13(ptr, ptr, i64) #0
declare void @BufAlloc.init.13(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.14(ptr, ptr) #0
@@ -3057,7 +3057,7 @@ declare ptr @Arena.alloc_bytes.34(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.35(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.36(ptr, ptr, i64) #0
declare void @BufAlloc.init.36(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.37(ptr, ptr) #0
@@ -3807,7 +3807,7 @@ declare ptr @Arena.alloc_bytes.176(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.177(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.178(ptr, ptr, i64) #0
declare void @BufAlloc.init.178(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.179(ptr, ptr) #0
@@ -3909,7 +3909,7 @@ declare ptr @Arena.alloc_bytes.210(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.211(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.212(ptr, ptr, i64) #0
declare void @BufAlloc.init.212(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.213(ptr, ptr) #0
@@ -4152,7 +4152,7 @@ declare ptr @Arena.alloc_bytes.291(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.292(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.293(ptr, ptr, i64) #0
declare void @BufAlloc.init.293(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.294(ptr, ptr) #0

6
examples/expected/0044-basic-default-arg-expansion.ir
View File

@@ -687,7 +687,7 @@ declare ptr @Arena.alloc_bytes(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init(ptr, ptr, i64) #0
declare void @BufAlloc.init(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset(ptr, ptr) #0
@@ -2759,7 +2759,7 @@ declare ptr @Arena.alloc_bytes.11(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.12(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.13(ptr, ptr, i64) #0
declare void @BufAlloc.init.13(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.14(ptr, ptr) #0
@@ -3004,7 +3004,7 @@ declare ptr @Arena.alloc_bytes.34(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.35(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.36(ptr, ptr, i64) #0
declare void @BufAlloc.init.36(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.37(ptr, ptr) #0

6
examples/expected/0107-types-int-cmp-in-float-ternary.ir
View File

@@ -672,7 +672,7 @@ declare ptr @Arena.alloc_bytes(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init(ptr, ptr, i64) #0
declare void @BufAlloc.init(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset(ptr, ptr) #0
@@ -2734,7 +2734,7 @@ declare ptr @Arena.alloc_bytes.11(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.12(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.13(ptr, ptr, i64) #0
declare void @BufAlloc.init.13(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.14(ptr, ptr) #0
@@ -2979,7 +2979,7 @@ declare ptr @Arena.alloc_bytes.34(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.35(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.36(ptr, ptr, i64) #0
declare void @BufAlloc.init.36(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.37(ptr, ptr) #0

6
examples/expected/0200-generics-generic.ir
View File

@@ -673,7 +673,7 @@ declare ptr @Arena.alloc_bytes(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init(ptr, ptr, i64) #0
declare void @BufAlloc.init(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset(ptr, ptr) #0
@@ -2735,7 +2735,7 @@ declare ptr @Arena.alloc_bytes.11(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.12(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.13(ptr, ptr, i64) #0
declare void @BufAlloc.init.13(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.14(ptr, ptr) #0
@@ -2980,7 +2980,7 @@ declare ptr @Arena.alloc_bytes.34(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.35(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.36(ptr, ptr, i64) #0
declare void @BufAlloc.init.36(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.37(ptr, ptr) #0

6
examples/expected/0201-generics-generic-struct.ir
View File

@@ -809,7 +809,7 @@ declare ptr @Arena.alloc_bytes(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init(ptr, ptr, i64) #0
declare void @BufAlloc.init(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset(ptr, ptr) #0
@@ -3039,7 +3039,7 @@ declare ptr @Arena.alloc_bytes.11(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.12(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.13(ptr, ptr, i64) #0
declare void @BufAlloc.init.13(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.14(ptr, ptr) #0
@@ -3284,7 +3284,7 @@ declare ptr @Arena.alloc_bytes.34(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.35(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.36(ptr, ptr, i64) #0
declare void @BufAlloc.init.36(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.37(ptr, ptr) #0

6
examples/expected/0301-closures-fn-pointers.ir
View File

@@ -678,7 +678,7 @@ declare ptr @Arena.alloc_bytes(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init(ptr, ptr, i64) #0
declare void @BufAlloc.init(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset(ptr, ptr) #0
@@ -2740,7 +2740,7 @@ declare ptr @Arena.alloc_bytes.11(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.12(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.13(ptr, ptr, i64) #0
declare void @BufAlloc.init.13(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.14(ptr, ptr) #0
@@ -2985,7 +2985,7 @@ declare ptr @Arena.alloc_bytes.34(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.35(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.36(ptr, ptr, i64) #0
declare void @BufAlloc.init.36(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.37(ptr, ptr) #0

6
examples/expected/0400-protocols-impl-for-builtin.ir
View File

@@ -758,7 +758,7 @@ declare ptr @Arena.alloc_bytes(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init(ptr, ptr, i64) #0
declare void @BufAlloc.init(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset(ptr, ptr) #0
@@ -2848,7 +2848,7 @@ declare ptr @Arena.alloc_bytes.11(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.12(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.13(ptr, ptr, i64) #0
declare void @BufAlloc.init.13(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.14(ptr, ptr) #0
@@ -3093,7 +3093,7 @@ declare ptr @Arena.alloc_bytes.34(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.35(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.36(ptr, ptr, i64) #0
declare void @BufAlloc.init.36(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.37(ptr, ptr) #0

6
examples/expected/0413-protocols-parameterized-protocol-value.ir
View File

@@ -760,7 +760,7 @@ declare ptr @Arena.alloc_bytes(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init(ptr, ptr, i64) #0
declare void @BufAlloc.init(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset(ptr, ptr) #0
@@ -2945,7 +2945,7 @@ declare ptr @Arena.alloc_bytes.11(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.12(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.13(ptr, ptr, i64) #0
declare void @BufAlloc.init.13(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.14(ptr, ptr) #0
@@ -3190,7 +3190,7 @@ declare ptr @Arena.alloc_bytes.34(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.35(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.36(ptr, ptr, i64) #0
declare void @BufAlloc.init.36(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.37(ptr, ptr) #0

6
examples/expected/0414-protocols-generic-struct-protocol-erase.ir
View File

@@ -765,7 +765,7 @@ declare ptr @Arena.alloc_bytes(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init(ptr, ptr, i64) #0
declare void @BufAlloc.init(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset(ptr, ptr) #0
@@ -2961,7 +2961,7 @@ declare ptr @Arena.alloc_bytes.11(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.12(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.13(ptr, ptr, i64) #0
declare void @BufAlloc.init.13(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.14(ptr, ptr) #0
@@ -3206,7 +3206,7 @@ declare ptr @Arena.alloc_bytes.34(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.35(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.36(ptr, ptr, i64) #0
declare void @BufAlloc.init.36(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.37(ptr, ptr) #0

12
examples/expected/0416-protocols-auto-type-erasure.ir
View File

@@ -816,7 +816,7 @@ declare ptr @Arena.alloc_bytes(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init(ptr, ptr, i64) #0
declare void @BufAlloc.init(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset(ptr, ptr) #0
@@ -3051,7 +3051,7 @@ declare ptr @Arena.alloc_bytes.11(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.12(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.13(ptr, ptr, i64) #0
declare void @BufAlloc.init.13(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.14(ptr, ptr) #0
@@ -3296,7 +3296,7 @@ declare ptr @Arena.alloc_bytes.34(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.35(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.36(ptr, ptr, i64) #0
declare void @BufAlloc.init.36(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.37(ptr, ptr) #0
@@ -4046,7 +4046,7 @@ declare ptr @Arena.alloc_bytes.176(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.177(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.178(ptr, ptr, i64) #0
declare void @BufAlloc.init.178(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.179(ptr, ptr) #0
@@ -4148,7 +4148,7 @@ declare ptr @Arena.alloc_bytes.210(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.211(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.212(ptr, ptr, i64) #0
declare void @BufAlloc.init.212(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.213(ptr, ptr) #0
@@ -4391,7 +4391,7 @@ declare ptr @Arena.alloc_bytes.291(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.292(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.293(ptr, ptr, i64) #0
declare void @BufAlloc.init.293(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.294(ptr, ptr) #0

6
examples/expected/0507-packs-pack-mono-dedup.ir
View File

@@ -694,7 +694,7 @@ declare ptr @Arena.alloc_bytes(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init(ptr, ptr, i64) #0
declare void @BufAlloc.init(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset(ptr, ptr) #0
@@ -2804,7 +2804,7 @@ declare ptr @Arena.alloc_bytes.11(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.12(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.13(ptr, ptr, i64) #0
declare void @BufAlloc.init.13(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.14(ptr, ptr) #0
@@ -3049,7 +3049,7 @@ declare ptr @Arena.alloc_bytes.34(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.35(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.36(ptr, ptr, i64) #0
declare void @BufAlloc.init.36(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.37(ptr, ptr) #0

6
examples/expected/0513-packs-pack-mixed-comptime.ir
View File

@@ -675,7 +675,7 @@ declare ptr @Arena.alloc_bytes(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init(ptr, ptr, i64) #0
declare void @BufAlloc.init(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset(ptr, ptr) #0
@@ -2747,7 +2747,7 @@ declare ptr @Arena.alloc_bytes.11(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.12(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.13(ptr, ptr, i64) #0
declare void @BufAlloc.init.13(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.14(ptr, ptr) #0
@@ -2992,7 +2992,7 @@ declare ptr @Arena.alloc_bytes.34(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.35(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.36(ptr, ptr, i64) #0
declare void @BufAlloc.init.36(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.37(ptr, ptr) #0

6
examples/expected/0518-packs-pack-value-dispatch.ir
View File

@@ -679,7 +679,7 @@ declare ptr @Arena.alloc_bytes(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init(ptr, ptr, i64) #0
declare void @BufAlloc.init(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset(ptr, ptr) #0
@@ -2741,7 +2741,7 @@ declare ptr @Arena.alloc_bytes.11(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.12(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.13(ptr, ptr, i64) #0
declare void @BufAlloc.init.13(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.14(ptr, ptr) #0
@@ -2986,7 +2986,7 @@ declare ptr @Arena.alloc_bytes.34(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.35(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.36(ptr, ptr, i64) #0
declare void @BufAlloc.init.36(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.37(ptr, ptr) #0

6
examples/expected/0528-packs-protocol-pack-methods.ir
View File

@@ -739,7 +739,7 @@ declare ptr @Arena.alloc_bytes(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init(ptr, ptr, i64) #0
declare void @BufAlloc.init(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset(ptr, ptr) #0
@@ -2897,7 +2897,7 @@ declare ptr @Arena.alloc_bytes.11(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.12(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.13(ptr, ptr, i64) #0
declare void @BufAlloc.init.13(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.14(ptr, ptr) #0
@@ -3142,7 +3142,7 @@ declare ptr @Arena.alloc_bytes.34(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.35(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.36(ptr, ptr, i64) #0
declare void @BufAlloc.init.36(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.37(ptr, ptr) #0

1
examples/expected/0839-memory-bufalloc-by-value.exit Normal file
View File

@@ -0,0 +1 @@
0

1
examples/expected/0839-memory-bufalloc-by-value.stderr Normal file
View File

@@ -0,0 +1 @@

3
examples/expected/0839-memory-bufalloc-by-value.stdout Normal file
View File

@@ -0,0 +1,3 @@
full capacity: true true pos=128
over: true
reset: 0

6
examples/expected/0903-optionals-optional-roundtrip.ir
View File

@@ -763,7 +763,7 @@ declare ptr @Arena.alloc_bytes(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init(ptr, ptr, i64) #0
declare void @BufAlloc.init(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset(ptr, ptr) #0
@@ -2929,7 +2929,7 @@ declare ptr @Arena.alloc_bytes.11(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.12(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.13(ptr, ptr, i64) #0
declare void @BufAlloc.init.13(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.14(ptr, ptr) #0
@@ -3174,7 +3174,7 @@ declare ptr @Arena.alloc_bytes.34(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.35(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.36(ptr, ptr, i64) #0
declare void @BufAlloc.init.36(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.37(ptr, ptr) #0

6
examples/expected/0904-optionals-any-to-string-optional.ir
View File

@@ -688,7 +688,7 @@ declare ptr @Arena.alloc_bytes(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init(ptr, ptr, i64) #0
declare void @BufAlloc.init(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset(ptr, ptr) #0
@@ -2780,7 +2780,7 @@ declare ptr @Arena.alloc_bytes.11(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.12(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.13(ptr, ptr, i64) #0
declare void @BufAlloc.init.13(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.14(ptr, ptr) #0
@@ -3025,7 +3025,7 @@ declare ptr @Arena.alloc_bytes.34(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.35(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.36(ptr, ptr, i64) #0
declare void @BufAlloc.init.36(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.37(ptr, ptr) #0

6
examples/expected/1004-errors-try.ir
View File

@@ -681,7 +681,7 @@ declare ptr @Arena.alloc_bytes(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init(ptr, ptr, i64) #0
declare void @BufAlloc.init(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset(ptr, ptr) #0
@@ -2744,7 +2744,7 @@ declare ptr @Arena.alloc_bytes.11(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.12(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.13(ptr, ptr, i64) #0
declare void @BufAlloc.init.13(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.14(ptr, ptr) #0
@@ -2989,7 +2989,7 @@ declare ptr @Arena.alloc_bytes.34(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.35(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.36(ptr, ptr, i64) #0
declare void @BufAlloc.init.36(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.37(ptr, ptr) #0

6
examples/expected/1006-errors-inferred-error-sets.ir
View File

@@ -687,7 +687,7 @@ declare ptr @Arena.alloc_bytes(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init(ptr, ptr, i64) #0
declare void @BufAlloc.init(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset(ptr, ptr) #0
@@ -2751,7 +2751,7 @@ declare ptr @Arena.alloc_bytes.11(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.12(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.13(ptr, ptr, i64) #0
declare void @BufAlloc.init.13(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.14(ptr, ptr) #0
@@ -2996,7 +2996,7 @@ declare ptr @Arena.alloc_bytes.34(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.35(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.36(ptr, ptr, i64) #0
declare void @BufAlloc.init.36(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.37(ptr, ptr) #0

6
examples/expected/1009-errors-catch.ir
View File

@@ -683,7 +683,7 @@ declare ptr @Arena.alloc_bytes(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init(ptr, ptr, i64) #0
declare void @BufAlloc.init(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset(ptr, ptr) #0
@@ -2746,7 +2746,7 @@ declare ptr @Arena.alloc_bytes.11(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.12(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.13(ptr, ptr, i64) #0
declare void @BufAlloc.init.13(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.14(ptr, ptr) #0
@@ -2991,7 +2991,7 @@ declare ptr @Arena.alloc_bytes.34(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.35(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.36(ptr, ptr, i64) #0
declare void @BufAlloc.init.36(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.37(ptr, ptr) #0

6
examples/expected/1202-ffi-cc-c-large-aggregate.ir
View File

@@ -67,7 +67,7 @@ declare ptr @Arena.alloc_bytes(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init(ptr, ptr, i64) #0
declare void @BufAlloc.init(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset(ptr, ptr) #0
@@ -169,7 +169,7 @@ declare ptr @Arena.alloc_bytes.11(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.12(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.13(ptr, ptr, i64) #0
declare void @BufAlloc.init.13(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.14(ptr, ptr) #0
@@ -414,7 +414,7 @@ declare ptr @Arena.alloc_bytes.34(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.35(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.36(ptr, ptr, i64) #0
declare void @BufAlloc.init.36(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.37(ptr, ptr) #0

6
examples/expected/1309-ffi-objc-class-method-lowering.ir
View File

@@ -99,7 +99,7 @@ declare ptr @Arena.alloc_bytes(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init(ptr, ptr, i64) #0
declare void @BufAlloc.init(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset(ptr, ptr) #0
@@ -661,7 +661,7 @@ declare ptr @Arena.alloc_bytes.11(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.12(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.13(ptr, ptr, i64) #0
declare void @BufAlloc.init.13(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.14(ptr, ptr) #0
@@ -906,7 +906,7 @@ declare ptr @Arena.alloc_bytes.34(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.35(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.36(ptr, ptr, i64) #0
declare void @BufAlloc.init.36(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.37(ptr, ptr) #0

6
examples/expected/1314-ffi-objc-class-dealloc-roundtrip.ir
View File

@@ -115,7 +115,7 @@ declare ptr @Arena.alloc_bytes(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init(ptr, ptr, i64) #0
declare void @BufAlloc.init(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset(ptr, ptr) #0
@@ -677,7 +677,7 @@ declare ptr @Arena.alloc_bytes.11(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.12(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.13(ptr, ptr, i64) #0
declare void @BufAlloc.init.13(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.14(ptr, ptr) #0
@@ -922,7 +922,7 @@ declare ptr @Arena.alloc_bytes.34(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.35(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.36(ptr, ptr, i64) #0
declare void @BufAlloc.init.36(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.37(ptr, ptr) #0

6
examples/expected/1319-ffi-objc-property-sx-defined.ir
View File

@@ -766,7 +766,7 @@ declare ptr @Arena.alloc_bytes(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init(ptr, ptr, i64) #0
declare void @BufAlloc.init(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset(ptr, ptr) #0
@@ -2895,7 +2895,7 @@ declare ptr @Arena.alloc_bytes.11(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.12(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.13(ptr, ptr, i64) #0
declare void @BufAlloc.init.13(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.14(ptr, ptr) #0
@@ -3140,7 +3140,7 @@ declare ptr @Arena.alloc_bytes.34(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.35(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.36(ptr, ptr, i64) #0
declare void @BufAlloc.init.36(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.37(ptr, ptr) #0

6
examples/expected/1329-ffi-objc-call-03-selector-sharing.ir
View File

@@ -91,7 +91,7 @@ declare ptr @Arena.alloc_bytes(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init(ptr, ptr, i64) #0
declare void @BufAlloc.init(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset(ptr, ptr) #0
@@ -653,7 +653,7 @@ declare ptr @Arena.alloc_bytes.11(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.12(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.13(ptr, ptr, i64) #0
declare void @BufAlloc.init.13(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.14(ptr, ptr) #0
@@ -898,7 +898,7 @@ declare ptr @Arena.alloc_bytes.34(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.35(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.36(ptr, ptr, i64) #0
declare void @BufAlloc.init.36(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.37(ptr, ptr) #0

6
examples/expected/1332-ffi-objc-call-06-sret-return.ir
View File

@@ -713,7 +713,7 @@ declare ptr @Arena.alloc_bytes(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init(ptr, ptr, i64) #0
declare void @BufAlloc.init(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset(ptr, ptr) #0
@@ -2823,7 +2823,7 @@ declare ptr @Arena.alloc_bytes.11(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.12(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.13(ptr, ptr, i64) #0
declare void @BufAlloc.init.13(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.14(ptr, ptr) #0
@@ -3068,7 +3068,7 @@ declare ptr @Arena.alloc_bytes.34(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.35(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.36(ptr, ptr, i64) #0
declare void @BufAlloc.init.36(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.37(ptr, ptr) #0

6
examples/expected/1347-ffi-objc-dsl-07-mangling-table.ir
View File

@@ -117,7 +117,7 @@ declare ptr @Arena.alloc_bytes(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init(ptr, ptr, i64) #0
declare void @BufAlloc.init(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset(ptr, ptr) #0
@@ -679,7 +679,7 @@ declare ptr @Arena.alloc_bytes.11(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.12(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.13(ptr, ptr, i64) #0
declare void @BufAlloc.init.13(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.14(ptr, ptr) #0
@@ -924,7 +924,7 @@ declare ptr @Arena.alloc_bytes.34(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.35(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.36(ptr, ptr, i64) #0
declare void @BufAlloc.init.36(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.37(ptr, ptr) #0

6
examples/expected/1402-ffi-jni-call-03-methodid-sharing.ir
View File

@@ -93,7 +93,7 @@ declare ptr @Arena.alloc_bytes(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init(ptr, ptr, i64) #0
declare void @BufAlloc.init(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset(ptr, ptr) #0
@@ -655,7 +655,7 @@ declare ptr @Arena.alloc_bytes.11(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.12(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.13(ptr, ptr, i64) #0
declare void @BufAlloc.init.13(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.14(ptr, ptr) #0
@@ -900,7 +900,7 @@ declare ptr @Arena.alloc_bytes.34(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.35(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.36(ptr, ptr, i64) #0
declare void @BufAlloc.init.36(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.37(ptr, ptr) #0

6
examples/expected/1403-ffi-jni-call-04-jint-return.ir
View File

@@ -91,7 +91,7 @@ declare ptr @Arena.alloc_bytes(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init(ptr, ptr, i64) #0
declare void @BufAlloc.init(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset(ptr, ptr) #0
@@ -653,7 +653,7 @@ declare ptr @Arena.alloc_bytes.11(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.12(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.13(ptr, ptr, i64) #0
declare void @BufAlloc.init.13(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.14(ptr, ptr) #0
@@ -898,7 +898,7 @@ declare ptr @Arena.alloc_bytes.34(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.35(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.36(ptr, ptr, i64) #0
declare void @BufAlloc.init.36(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.37(ptr, ptr) #0

6
examples/expected/1404-ffi-jni-call-05-jlong-return.ir
View File

@@ -91,7 +91,7 @@ declare ptr @Arena.alloc_bytes(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init(ptr, ptr, i64) #0
declare void @BufAlloc.init(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset(ptr, ptr) #0
@@ -653,7 +653,7 @@ declare ptr @Arena.alloc_bytes.11(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.12(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.13(ptr, ptr, i64) #0
declare void @BufAlloc.init.13(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.14(ptr, ptr) #0
@@ -898,7 +898,7 @@ declare ptr @Arena.alloc_bytes.34(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.35(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.36(ptr, ptr, i64) #0
declare void @BufAlloc.init.36(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.37(ptr, ptr) #0

6
examples/expected/1405-ffi-jni-call-06-jdouble-return.ir
View File

@@ -91,7 +91,7 @@ declare ptr @Arena.alloc_bytes(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init(ptr, ptr, i64) #0
declare void @BufAlloc.init(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset(ptr, ptr) #0
@@ -653,7 +653,7 @@ declare ptr @Arena.alloc_bytes.11(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.12(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.13(ptr, ptr, i64) #0
declare void @BufAlloc.init.13(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.14(ptr, ptr) #0
@@ -898,7 +898,7 @@ declare ptr @Arena.alloc_bytes.34(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.35(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.36(ptr, ptr, i64) #0
declare void @BufAlloc.init.36(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.37(ptr, ptr) #0

6
examples/expected/1406-ffi-jni-call-07-jboolean-return.ir
View File

@@ -91,7 +91,7 @@ declare ptr @Arena.alloc_bytes(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init(ptr, ptr, i64) #0
declare void @BufAlloc.init(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset(ptr, ptr) #0
@@ -653,7 +653,7 @@ declare ptr @Arena.alloc_bytes.11(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.12(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.13(ptr, ptr, i64) #0
declare void @BufAlloc.init.13(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.14(ptr, ptr) #0
@@ -898,7 +898,7 @@ declare ptr @Arena.alloc_bytes.34(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.35(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.36(ptr, ptr, i64) #0
declare void @BufAlloc.init.36(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.37(ptr, ptr) #0

6
examples/expected/1407-ffi-jni-call-08-jobject-return.ir
View File

@@ -91,7 +91,7 @@ declare ptr @Arena.alloc_bytes(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init(ptr, ptr, i64) #0
declare void @BufAlloc.init(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset(ptr, ptr) #0
@@ -653,7 +653,7 @@ declare ptr @Arena.alloc_bytes.11(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.12(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.13(ptr, ptr, i64) #0
declare void @BufAlloc.init.13(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.14(ptr, ptr) #0
@@ -898,7 +898,7 @@ declare ptr @Arena.alloc_bytes.34(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.35(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.36(ptr, ptr, i64) #0
declare void @BufAlloc.init.36(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.37(ptr, ptr) #0

6
examples/expected/1408-ffi-jni-call-09-static.ir
View File

@@ -91,7 +91,7 @@ declare ptr @Arena.alloc_bytes(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init(ptr, ptr, i64) #0
declare void @BufAlloc.init(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset(ptr, ptr) #0
@@ -653,7 +653,7 @@ declare ptr @Arena.alloc_bytes.11(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.12(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.13(ptr, ptr, i64) #0
declare void @BufAlloc.init.13(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.14(ptr, ptr) #0
@@ -898,7 +898,7 @@ declare ptr @Arena.alloc_bytes.34(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.35(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.36(ptr, ptr, i64) #0
declare void @BufAlloc.init.36(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.37(ptr, ptr) #0

6
examples/expected/1418-ffi-jni-class-08-call.ir
View File

@@ -91,7 +91,7 @@ declare ptr @Arena.alloc_bytes(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init(ptr, ptr, i64) #0
declare void @BufAlloc.init(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset(ptr, ptr) #0
@@ -653,7 +653,7 @@ declare ptr @Arena.alloc_bytes.11(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.12(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.13(ptr, ptr, i64) #0
declare void @BufAlloc.init.13(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.14(ptr, ptr) #0
@@ -898,7 +898,7 @@ declare ptr @Arena.alloc_bytes.34(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.35(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.36(ptr, ptr, i64) #0
declare void @BufAlloc.init.36(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.37(ptr, ptr) #0

6
examples/expected/1421-ffi-jni-env-02-lexical-direct.ir
View File

@@ -91,7 +91,7 @@ declare ptr @Arena.alloc_bytes(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init(ptr, ptr, i64) #0
declare void @BufAlloc.init(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset(ptr, ptr) #0
@@ -653,7 +653,7 @@ declare ptr @Arena.alloc_bytes.11(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.12(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.13(ptr, ptr, i64) #0
declare void @BufAlloc.init.13(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.14(ptr, ptr) #0
@@ -898,7 +898,7 @@ declare ptr @Arena.alloc_bytes.34(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.35(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.36(ptr, ptr, i64) #0
declare void @BufAlloc.init.36(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.37(ptr, ptr) #0

6
examples/expected/1425-ffi-jni-main-03-ctor.ir
View File

@@ -74,7 +74,7 @@ declare ptr @Arena.alloc_bytes(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init(ptr, ptr, i64) #0
declare void @BufAlloc.init(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset(ptr, ptr) #0
@@ -176,7 +176,7 @@ declare ptr @Arena.alloc_bytes.11(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.12(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.13(ptr, ptr, i64) #0
declare void @BufAlloc.init.13(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.14(ptr, ptr) #0
@@ -421,7 +421,7 @@ declare ptr @Arena.alloc_bytes.34(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.35(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.36(ptr, ptr, i64) #0
declare void @BufAlloc.init.36(ptr sret({ ptr, i64, i64 }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.37(ptr, ptr) #0

16
library/modules/std/mem.sx
View File

@@ -220,9 +220,13 @@ impl Allocator for Arena {
// --- BufAlloc: bump allocator backed by a user-provided slice ---
//
// `init` returns the BufAlloc by value (the caller's local IS the
// state, like every allocator); the FULL buffer is usable — no bytes
// are carved off its head for the state struct.
//
// Usage:
// stack_buf : [128]u8 = ---;
// buf := BufAlloc.init(@stack_buf[0], 128); // *BufAlloc
// buf := BufAlloc.init(@stack_buf[0], 128); // BufAlloc
// push Context.{ allocator = xx buf, data = null } { ... }
// buf.reset();
@@ -231,14 +235,8 @@ BufAlloc :: struct {
len: s64;
pos: s64;
init :: (buf: [*]u8, len: s64) -> *BufAlloc {
self_size :: size_of(BufAlloc);
if len < self_size { return null; }
b : *BufAlloc = xx buf;
b.buf = @buf[self_size];
b.len = len - self_size;
b.pos = 0;
b
init :: (buf: [*]u8, len: s64) -> BufAlloc {
BufAlloc.{ buf = buf, len = len, pos = 0 }
}
reset :: (b: *BufAlloc) {