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

mem: typed allocation helpers + drop bare malloc/free (Phase 2.2); resolve 0119 as |>-contract clarification

Browse Source
This commit is contained in:
agra
2026-06-11 16:17:39 +03:00
parent 3e10809d7e
commit 84e0fb0752
51 changed files with 33256 additions and 32716 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -12,6 +12,9 @@ declare ptr @memcpy(ptr, ptr, i64)
declare ptr @memset(ptr, i32, i64)
; Function Attrs: nounwind
declare ptr @mem_realloc(ptr, ptr, ptr, i64, i64, i64) #0
; Function Attrs: nounwind
define internal ptr @CAllocator.alloc_bytes(ptr %0, ptr %1, i64 %2) #0 {
entry:
@@ -130,64 +133,67 @@ declare ptr @any_to_string(ptr, [2 x i64]) #0
declare ptr @build_format(ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @CAllocator.alloc_bytes.1(ptr, ptr, i64) #0
declare ptr @mem_realloc.1(ptr, ptr, ptr, i64, i64, i64) #0
; Function Attrs: nounwind
declare void @CAllocator.dealloc_bytes.2(ptr, ptr, ptr) #0
declare ptr @CAllocator.alloc_bytes.2(ptr, ptr, i64) #0
; Function Attrs: nounwind
declare i64 @GPA.init.3(ptr) #0
declare void @CAllocator.dealloc_bytes.3(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @GPA.alloc_bytes.4(ptr, ptr, i64) #0
declare i64 @GPA.init.4(ptr) #0
; Function Attrs: nounwind
declare void @GPA.dealloc_bytes.5(ptr, ptr, ptr) #0
declare ptr @GPA.alloc_bytes.5(ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @Arena.add_chunk.6(ptr, ptr, i64) #0
declare void @GPA.dealloc_bytes.6(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare void @Arena.init.7(ptr sret({ ptr, i64, { ptr, ptr, ptr } }), ptr, ptr, i64) #0
declare void @Arena.add_chunk.7(ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @Arena.reset.8(ptr, ptr) #0
declare void @Arena.init.8(ptr sret({ ptr, i64, { ptr, ptr, ptr } }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @Arena.deinit.9(ptr, ptr) #0
declare void @Arena.reset.9(ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @Arena.alloc_bytes.10(ptr, ptr, i64) #0
declare void @Arena.deinit.10(ptr, ptr) #0
; Function Attrs: nounwind
declare void @Arena.dealloc_bytes.11(ptr, ptr, ptr) #0
declare ptr @Arena.alloc_bytes.11(ptr, ptr, i64) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.12(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.12(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.13(ptr, ptr) #0
declare ptr @BufAlloc.init.13(ptr, ptr, i64) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.alloc_bytes.14(ptr, ptr, i64) #0
declare void @BufAlloc.reset.14(ptr, ptr) #0
; Function Attrs: nounwind
declare void @BufAlloc.dealloc_bytes.15(ptr, ptr, ptr) #0
declare ptr @BufAlloc.alloc_bytes.15(ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @TrackingAllocator.init.16(ptr sret({ { ptr, ptr, ptr }, i64, i64, i64 }), ptr, ptr) #0
declare void @BufAlloc.dealloc_bytes.16(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare i64 @TrackingAllocator.leak_count.17(ptr, ptr) #0
declare void @TrackingAllocator.init.17(ptr sret({ { ptr, ptr, ptr }, i64, i64, i64 }), ptr, ptr) #0
; Function Attrs: nounwind
declare void @TrackingAllocator.report.18(ptr, ptr) #0
declare i64 @TrackingAllocator.leak_count.18(ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @TrackingAllocator.alloc_bytes.19(ptr, ptr, i64) #0
declare void @TrackingAllocator.report.19(ptr, ptr) #0
; Function Attrs: nounwind
declare void @TrackingAllocator.dealloc_bytes.20(ptr, ptr, ptr) #0
declare ptr @TrackingAllocator.alloc_bytes.20(ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @TrackingAllocator.dealloc_bytes.21(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @escape(ptr, ptr) #0
@@ -363,163 +369,166 @@ declare i32 @listen(i32, i32) #0
declare i32 @accept(i32, ptr, ptr) #0
; Function Attrs: nounwind
declare i64 @read.21(i32, ptr, i64) #0
declare i64 @read.22(i32, ptr, i64) #0
; Function Attrs: nounwind
declare i32 @close.22(i32) #0
declare i32 @close.23(i32) #0
; Function Attrs: nounwind
declare i16 @htons(ptr, i64) #0
; Function Attrs: nounwind
declare ptr @CAllocator.alloc_bytes.23(ptr, ptr, i64) #0
declare ptr @mem_realloc.24(ptr, ptr, ptr, i64, i64, i64) #0
; Function Attrs: nounwind
declare void @CAllocator.dealloc_bytes.24(ptr, ptr, ptr) #0
declare ptr @CAllocator.alloc_bytes.25(ptr, ptr, i64) #0
; Function Attrs: nounwind
declare i64 @GPA.init.25(ptr) #0
declare void @CAllocator.dealloc_bytes.26(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @GPA.alloc_bytes.26(ptr, ptr, i64) #0
declare i64 @GPA.init.27(ptr) #0
; Function Attrs: nounwind
declare void @GPA.dealloc_bytes.27(ptr, ptr, ptr) #0
declare ptr @GPA.alloc_bytes.28(ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @Arena.add_chunk.28(ptr, ptr, i64) #0
declare void @GPA.dealloc_bytes.29(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare void @Arena.init.29(ptr sret({ ptr, i64, { ptr, ptr, ptr } }), ptr, ptr, i64) #0
declare void @Arena.add_chunk.30(ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @Arena.reset.30(ptr, ptr) #0
declare void @Arena.init.31(ptr sret({ ptr, i64, { ptr, ptr, ptr } }), ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @Arena.deinit.31(ptr, ptr) #0
declare void @Arena.reset.32(ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @Arena.alloc_bytes.32(ptr, ptr, i64) #0
declare void @Arena.deinit.33(ptr, ptr) #0
; Function Attrs: nounwind
declare void @Arena.dealloc_bytes.33(ptr, ptr, ptr) #0
declare ptr @Arena.alloc_bytes.34(ptr, ptr, i64) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.init.34(ptr, ptr, i64) #0
declare void @Arena.dealloc_bytes.35(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare void @BufAlloc.reset.35(ptr, ptr) #0
declare ptr @BufAlloc.init.36(ptr, ptr, i64) #0
; Function Attrs: nounwind
declare ptr @BufAlloc.alloc_bytes.36(ptr, ptr, i64) #0
declare void @BufAlloc.reset.37(ptr, ptr) #0
; Function Attrs: nounwind
declare void @BufAlloc.dealloc_bytes.37(ptr, ptr, ptr) #0
declare ptr @BufAlloc.alloc_bytes.38(ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @TrackingAllocator.init.38(ptr sret({ { ptr, ptr, ptr }, i64, i64, i64 }), ptr, ptr) #0
declare void @BufAlloc.dealloc_bytes.39(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare i64 @TrackingAllocator.leak_count.39(ptr, ptr) #0
declare void @TrackingAllocator.init.40(ptr sret({ { ptr, ptr, ptr }, i64, i64, i64 }), ptr, ptr) #0
; Function Attrs: nounwind
declare void @TrackingAllocator.report.40(ptr, ptr) #0
declare i64 @TrackingAllocator.leak_count.41(ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @TrackingAllocator.alloc_bytes.41(ptr, ptr, i64) #0
declare void @TrackingAllocator.report.42(ptr, ptr) #0
; Function Attrs: nounwind
declare void @TrackingAllocator.dealloc_bytes.42(ptr, ptr, ptr) #0
declare ptr @TrackingAllocator.alloc_bytes.43(ptr, ptr, i64) #0
; Function Attrs: nounwind
declare i32 @open.43(ptr, i32, ...) #0
declare void @TrackingAllocator.dealloc_bytes.44(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare i32 @close.44(i32) #0
declare i32 @open.45(ptr, i32, ...) #0
; Function Attrs: nounwind
declare i64 @read.45(i32, ptr, i64) #0
declare i32 @close.46(i32) #0
; Function Attrs: nounwind
declare i64 @lseek.46(i32, i64, i32) #0
declare i64 @read.47(i32, ptr, i64) #0
; Function Attrs: nounwind
declare i32 @unlink.47(ptr) #0
declare i64 @lseek.48(i32, i64, i32) #0
; Function Attrs: nounwind
declare i32 @rmdir.48(ptr) #0
declare i32 @unlink.49(ptr) #0
; Function Attrs: nounwind
declare i32 @mkdir.49(ptr, i32) #0
declare i32 @rmdir.50(ptr) #0
; Function Attrs: nounwind
declare i32 @access.50(ptr, i32) #0
declare i32 @mkdir.51(ptr, i32) #0
; Function Attrs: nounwind
declare i32 @chmod.51(ptr, i32) #0
declare i32 @access.52(ptr, i32) #0
; Function Attrs: nounwind
declare i32 @rename.52(ptr, ptr) #0
declare i32 @chmod.53(ptr, i32) #0
; Function Attrs: nounwind
declare i1 @File.is_valid.53(ptr, ptr) #0
declare i32 @rename.54(ptr, ptr) #0
; Function Attrs: nounwind
declare i1 @File.close.54(ptr, ptr) #0
declare i1 @File.is_valid.55(ptr, ptr) #0
; Function Attrs: nounwind
declare i64 @File.read.55(ptr, ptr, ptr) #0
declare i1 @File.close.56(ptr, ptr) #0
; Function Attrs: nounwind
declare i64 @File.write.56(ptr, ptr, ptr) #0
declare i64 @File.read.57(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare i64 @File.seek.57(ptr, ptr, i64, i64) #0
declare i64 @File.write.58(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare i32 @mode_to_flags.58(ptr, i64) #0
declare i64 @File.seek.59(ptr, ptr, i64, i64) #0
; Function Attrs: nounwind
declare i64 @open_file.59(ptr, ptr, i64) #0
declare i32 @mode_to_flags.60(ptr, i64) #0
; Function Attrs: nounwind
declare void @read_file.60(ptr sret({ { ptr, i64 }, i1 }), ptr, ptr) #0
declare i64 @open_file.61(ptr, ptr, i64) #0
; Function Attrs: nounwind
declare i1 @write_file.61(ptr, ptr, ptr) #0
declare void @read_file.62(ptr sret({ { ptr, i64 }, i1 }), ptr, ptr) #0
; Function Attrs: nounwind
declare i1 @append_file.62(ptr, ptr, ptr) #0
declare i1 @write_file.63(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare i1 @exists.63(ptr, ptr) #0
declare i1 @append_file.64(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare i1 @delete_file.64(ptr, ptr) #0
declare i1 @exists.65(ptr, ptr) #0
; Function Attrs: nounwind
declare i1 @delete_dir.65(ptr, ptr) #0
declare i1 @delete_file.66(ptr, ptr) #0
; Function Attrs: nounwind
declare i1 @create_dir.66(ptr, ptr) #0
declare i1 @delete_dir.67(ptr, ptr) #0
; Function Attrs: nounwind
declare i1 @set_mode.67(ptr, ptr, i32) #0
declare i1 @create_dir.68(ptr, ptr) #0
; Function Attrs: nounwind
declare i1 @move.68(ptr, ptr, ptr) #0
declare i1 @set_mode.69(ptr, ptr, i32) #0
; Function Attrs: nounwind
declare i1 @create_dir_all.69(ptr, ptr) #0
declare i1 @move.70(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare i1 @copy_file.70(ptr, ptr, ptr) #0
declare i1 @create_dir_all.71(ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @basename.71(ptr, ptr) #0
declare i1 @copy_file.72(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @dirname.72(ptr, ptr) #0
declare ptr @basename.73(ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @dirname.74(ptr, ptr) #0
; Function Attrs: nounwind
declare void @Array.add(ptr, ptr, ptr, ptr) #0
@@ -717,64 +726,64 @@ declare ptr @BuildOptions.jni_main_java_source_at(i64, i64) #0
declare i64 @build_options() #0
; Function Attrs: nounwind
declare ptr @spaces.73(ptr, i32) #0
declare ptr @spaces.75(ptr, i32) #0
; Function Attrs: nounwind
declare i32 @sx_trace_len.74() #0
declare i32 @sx_trace_len.76() #0
; Function Attrs: nounwind
declare i32 @sx_trace_truncated.75() #0
declare i32 @sx_trace_truncated.77() #0
; Function Attrs: nounwind
declare i64 @sx_trace_frame_at.76(i32) #0
declare i64 @sx_trace_frame_at.78(i32) #0
; Function Attrs: nounwind
declare ptr @to_string.77(ptr) #0
declare ptr @to_string.79(ptr) #0
; Function Attrs: nounwind
declare void @print_current.78(ptr) #0
declare void @print_current.80(ptr) #0
; Function Attrs: nounwind
declare void @print_interpreter_frames.79(ptr) #0
declare void @print_interpreter_frames.81(ptr) #0
; Function Attrs: nounwind
declare ptr @popen.80(ptr, ptr) #0
declare ptr @popen.82(ptr, ptr) #0
; Function Attrs: nounwind
declare i32 @pclose.81(ptr) #0
declare i32 @pclose.83(ptr) #0
; Function Attrs: nounwind
declare i64 @fread.82(ptr, i64, i64, ptr) #0
declare i64 @fread.84(ptr, i64, i64, ptr) #0
; Function Attrs: nounwind
declare i32 @feof.83(ptr) #0
declare i32 @feof.85(ptr) #0
; Function Attrs: nounwind
declare ptr @getenv.84(ptr) #0
declare ptr @getenv.86(ptr) #0
; Function Attrs: nounwind
declare i64 @strlen.85(ptr) #0
declare i64 @strlen.87(ptr) #0
; Function Attrs: nounwind
declare i32 @system.86(ptr) #0
declare i32 @system.88(ptr) #0
; Function Attrs: nounwind
declare void @run.87(ptr sret({ { i32, { ptr, i64 } }, i1 }), ptr, ptr) #0
declare void @run.89(ptr sret({ { i32, { ptr, i64 } }, i1 }), ptr, ptr) #0
; Function Attrs: nounwind
declare void @env.88(ptr sret({ { ptr, i64 }, i1 }), ptr, ptr) #0
declare void @env.90(ptr sret({ { ptr, i64 }, i1 }), ptr, ptr) #0
; Function Attrs: nounwind
declare void @find_executable.89(ptr sret({ { ptr, i64 }, i1 }), ptr, ptr) #0
declare void @find_executable.91(ptr sret({ { ptr, i64 }, i1 }), ptr, ptr) #0
; Function Attrs: nounwind
declare void @_exit.90(i32) #0
declare void @_exit.92(i32) #0
; Function Attrs: nounwind
declare void @exit.91(ptr, i8, ptr) #0
declare void @exit.93(ptr, i8, ptr) #0
; Function Attrs: nounwind
declare void @assert.92(ptr, i1, ptr, ptr) #0
declare void @assert.94(ptr, i1, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @_NSGetArgv() #0
@@ -804,97 +813,97 @@ declare ptr @Parsed.value_of(ptr, ptr, ptr) #0
declare i1 @is_long_flag(ptr, ptr) #0
; Function Attrs: nounwind
declare void @parse.93(ptr sret({ { { ptr, i64 }, { ptr, i64 }, i64, i1, { ptr, i64 }, { ptr, i64 }, [16 x { i1, { ptr, i64 } }] }, i32 }), ptr, ptr, ptr, ptr) #0
declare void @parse.95(ptr sret({ { { ptr, i64 }, { ptr, i64 }, i64, i1, { ptr, i64 }, { ptr, i64 }, [16 x { i1, { ptr, i64 } }] }, i32 }), ptr, ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare i32 @open.94(ptr, i32, ...) #0
declare i32 @open.96(ptr, i32, ...) #0
; Function Attrs: nounwind
declare i32 @close.95(i32) #0
declare i32 @close.97(i32) #0
; Function Attrs: nounwind
declare i64 @read.96(i32, ptr, i64) #0
declare i64 @read.98(i32, ptr, i64) #0
; Function Attrs: nounwind
declare i64 @lseek.97(i32, i64, i32) #0
declare i64 @lseek.99(i32, i64, i32) #0
; Function Attrs: nounwind
declare i32 @unlink.98(ptr) #0
declare i32 @unlink.100(ptr) #0
; Function Attrs: nounwind
declare i32 @rmdir.99(ptr) #0
declare i32 @rmdir.101(ptr) #0
; Function Attrs: nounwind
declare i32 @mkdir.100(ptr, i32) #0
declare i32 @mkdir.102(ptr, i32) #0
; Function Attrs: nounwind
declare i32 @access.101(ptr, i32) #0
declare i32 @access.103(ptr, i32) #0
; Function Attrs: nounwind
declare i32 @chmod.102(ptr, i32) #0
declare i32 @chmod.104(ptr, i32) #0
; Function Attrs: nounwind
declare i32 @rename.103(ptr, ptr) #0
declare i32 @rename.105(ptr, ptr) #0
; Function Attrs: nounwind
declare i1 @File.is_valid.104(ptr, ptr) #0
declare i1 @File.is_valid.106(ptr, ptr) #0
; Function Attrs: nounwind
declare i1 @File.close.105(ptr, ptr) #0
declare i1 @File.close.107(ptr, ptr) #0
; Function Attrs: nounwind
declare i64 @File.read.106(ptr, ptr, ptr) #0
declare i64 @File.read.108(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare i64 @File.write.107(ptr, ptr, ptr) #0
declare i64 @File.write.109(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare i64 @File.seek.108(ptr, ptr, i64, i64) #0
declare i64 @File.seek.110(ptr, ptr, i64, i64) #0
; Function Attrs: nounwind
declare i32 @mode_to_flags.109(ptr, i64) #0
declare i32 @mode_to_flags.111(ptr, i64) #0
; Function Attrs: nounwind
declare i64 @open_file.110(ptr, ptr, i64) #0
declare i64 @open_file.112(ptr, ptr, i64) #0
; Function Attrs: nounwind
declare void @read_file.111(ptr sret({ { ptr, i64 }, i1 }), ptr, ptr) #0
declare void @read_file.113(ptr sret({ { ptr, i64 }, i1 }), ptr, ptr) #0
; Function Attrs: nounwind
declare i1 @write_file.112(ptr, ptr, ptr) #0
declare i1 @write_file.114(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare i1 @append_file.113(ptr, ptr, ptr) #0
declare i1 @append_file.115(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare i1 @exists.114(ptr, ptr) #0
declare i1 @exists.116(ptr, ptr) #0
; Function Attrs: nounwind
declare i1 @delete_file.115(ptr, ptr) #0
declare i1 @delete_file.117(ptr, ptr) #0
; Function Attrs: nounwind
declare i1 @delete_dir.116(ptr, ptr) #0
declare i1 @delete_dir.118(ptr, ptr) #0
; Function Attrs: nounwind
declare i1 @create_dir.117(ptr, ptr) #0
declare i1 @create_dir.119(ptr, ptr) #0
; Function Attrs: nounwind
declare i1 @set_mode.118(ptr, ptr, i32) #0
declare i1 @set_mode.120(ptr, ptr, i32) #0
; Function Attrs: nounwind
declare i1 @move.119(ptr, ptr, ptr) #0
declare i1 @move.121(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare i1 @create_dir_all.120(ptr, ptr) #0
declare i1 @create_dir_all.122(ptr, ptr) #0
; Function Attrs: nounwind
declare i1 @copy_file.121(ptr, ptr, ptr) #0
declare i1 @copy_file.123(ptr, ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @basename.122(ptr, ptr) #0
declare ptr @basename.124(ptr, ptr) #0
; Function Attrs: nounwind
declare ptr @dirname.123(ptr, ptr) #0
declare ptr @dirname.125(ptr, ptr) #0
; Function Attrs: nounwind
declare i64 @rotr(ptr, i64, i64) #0
@@ -933,7 +942,7 @@ declare [64 x i8] @sha256_hex(ptr, ptr) #0
declare void @sha256_file(ptr sret({ [64 x i8], i1 }), ptr, ptr) #0
; Function Attrs: nounwind
declare void @assert.124(ptr, i1) #0
declare void @assert.126(ptr, i1) #0
; Function Attrs: nounwind
define internal i64 @accept_c(ptr %0) #0 {