@salang/sa 0.1.3 → 0.1.4

package/sa_std/process.sai

@@ -0,0 +1,57 @@
+// SA-facing contracts for the Zig-backed sa_std.process module.
+// Process handles are opaque u64 resource handles and must be closed explicitly.
+// `argv` is a borrowed pointer to an array of SaProcessArgv records.
+@extern sa_std_process_run(&argv: ptr, argv_len: u64, &out_handle: ptr) -> i32
+@extern sa_std_process_run_cwd(&argv: ptr, argv_len: u64, &cwd: ptr, cwd_len: u64, &out_handle: ptr) -> i32
+@extern sa_std_process_spawn(&argv: ptr, argv_len: u64, &out_handle: ptr) -> i32
+@extern sa_std_process_spawn_cwd(&argv: ptr, argv_len: u64, &cwd: ptr, cwd_len: u64, &out_handle: ptr) -> i32
+@extern sa_std_process_spawn_stream(&argv: ptr, argv_len: u64, &out_process: ptr, &out_stdout: ptr, &out_stderr: ptr) -> i32
+@extern sa_std_process_spawn_stream_cwd(&argv: ptr, argv_len: u64, &cwd: ptr, cwd_len: u64, &out_process: ptr, &out_stdout: ptr, &out_stderr: ptr) -> i32
+@extern sa_std_process_run_command_ext(&argv: ptr, argv_len: u64, &cwd: ptr, cwd_len: u64, has_cwd: u32, &arg0: ptr, arg0_len: u64, has_arg0: u32, process_group: i32, has_process_group: u32, setsid: u32, &out_handle: ptr) -> i32
+@extern sa_std_process_spawn_command_ext(&argv: ptr, argv_len: u64, &cwd: ptr, cwd_len: u64, has_cwd: u32, &arg0: ptr, arg0_len: u64, has_arg0: u32, process_group: i32, has_process_group: u32, setsid: u32, &out_handle: ptr) -> i32
+@extern sa_std_process_spawn_stream_command_ext(&argv: ptr, argv_len: u64, &cwd: ptr, cwd_len: u64, has_cwd: u32, &arg0: ptr, arg0_len: u64, has_arg0: u32, process_group: i32, has_process_group: u32, setsid: u32, &out_process: ptr, &out_stdout: ptr, &out_stderr: ptr) -> i32
+@extern sa_std_process_run_command_ext_pidfd(&argv: ptr, argv_len: u64, &cwd: ptr, cwd_len: u64, has_cwd: u32, &arg0: ptr, arg0_len: u64, has_arg0: u32, process_group: i32, has_process_group: u32, setsid: u32, create_pidfd: u32, &out_handle: ptr) -> i32
+@extern sa_std_process_spawn_command_ext_pidfd(&argv: ptr, argv_len: u64, &cwd: ptr, cwd_len: u64, has_cwd: u32, &arg0: ptr, arg0_len: u64, has_arg0: u32, process_group: i32, has_process_group: u32, setsid: u32, create_pidfd: u32, &out_handle: ptr) -> i32
+@extern sa_std_process_spawn_stream_command_ext_pidfd(&argv: ptr, argv_len: u64, &cwd: ptr, cwd_len: u64, has_cwd: u32, &arg0: ptr, arg0_len: u64, has_arg0: u32, process_group: i32, has_process_group: u32, setsid: u32, create_pidfd: u32, &out_process: ptr, &out_stdout: ptr, &out_stderr: ptr) -> i32
+@extern sa_std_process_run_command_ext_uid_gid(&argv: ptr, argv_len: u64, &cwd: ptr, cwd_len: u64, has_cwd: u32, &arg0: ptr, arg0_len: u64, has_arg0: u32, process_group: i32, has_process_group: u32, setsid: u32, uid: u32, has_uid: u32, gid: u32, has_gid: u32, &out_handle: ptr) -> i32
+@extern sa_std_process_spawn_command_ext_uid_gid(&argv: ptr, argv_len: u64, &cwd: ptr, cwd_len: u64, has_cwd: u32, &arg0: ptr, arg0_len: u64, has_arg0: u32, process_group: i32, has_process_group: u32, setsid: u32, uid: u32, has_uid: u32, gid: u32, has_gid: u32, &out_handle: ptr) -> i32
+@extern sa_std_process_spawn_stream_command_ext_uid_gid(&argv: ptr, argv_len: u64, &cwd: ptr, cwd_len: u64, has_cwd: u32, &arg0: ptr, arg0_len: u64, has_arg0: u32, process_group: i32, has_process_group: u32, setsid: u32, uid: u32, has_uid: u32, gid: u32, has_gid: u32, &out_process: ptr, &out_stdout: ptr, &out_stderr: ptr) -> i32
+@extern sa_std_process_run_command_ext_groups(&argv: ptr, argv_len: u64, &cwd: ptr, cwd_len: u64, has_cwd: u32, &arg0: ptr, arg0_len: u64, has_arg0: u32, process_group: i32, has_process_group: u32, setsid: u32, &groups: ptr, groups_len: u64, has_groups: u32, &out_handle: ptr) -> i32
+@extern sa_std_process_spawn_command_ext_groups(&argv: ptr, argv_len: u64, &cwd: ptr, cwd_len: u64, has_cwd: u32, &arg0: ptr, arg0_len: u64, has_arg0: u32, process_group: i32, has_process_group: u32, setsid: u32, &groups: ptr, groups_len: u64, has_groups: u32, &out_handle: ptr) -> i32
+@extern sa_std_process_spawn_stream_command_ext_groups(&argv: ptr, argv_len: u64, &cwd: ptr, cwd_len: u64, has_cwd: u32, &arg0: ptr, arg0_len: u64, has_arg0: u32, process_group: i32, has_process_group: u32, setsid: u32, &groups: ptr, groups_len: u64, has_groups: u32, &out_process: ptr, &out_stdout: ptr, &out_stderr: ptr) -> i32
+@extern sa_std_process_run_command_ext_chroot(&argv: ptr, argv_len: u64, &cwd: ptr, cwd_len: u64, has_cwd: u32, &arg0: ptr, arg0_len: u64, has_arg0: u32, process_group: i32, has_process_group: u32, setsid: u32, &chroot: ptr, chroot_len: u64, has_chroot: u32, &out_handle: ptr) -> i32
+@extern sa_std_process_spawn_command_ext_chroot(&argv: ptr, argv_len: u64, &cwd: ptr, cwd_len: u64, has_cwd: u32, &arg0: ptr, arg0_len: u64, has_arg0: u32, process_group: i32, has_process_group: u32, setsid: u32, &chroot: ptr, chroot_len: u64, has_chroot: u32, &out_handle: ptr) -> i32
+@extern sa_std_process_spawn_stream_command_ext_chroot(&argv: ptr, argv_len: u64, &cwd: ptr, cwd_len: u64, has_cwd: u32, &arg0: ptr, arg0_len: u64, has_arg0: u32, process_group: i32, has_process_group: u32, setsid: u32, &chroot: ptr, chroot_len: u64, has_chroot: u32, &out_process: ptr, &out_stdout: ptr, &out_stderr: ptr) -> i32
+@extern sa_std_process_exec_command_ext(&argv: ptr, argv_len: u64, &cwd: ptr, cwd_len: u64, has_cwd: u32, &arg0: ptr, arg0_len: u64, has_arg0: u32, process_group: i32, has_process_group: u32, setsid: u32, uid: u32, has_uid: u32, gid: u32, has_gid: u32, &groups: ptr, groups_len: u64, has_groups: u32, &chroot: ptr, chroot_len: u64, has_chroot: u32) -> i32
+@extern sa_std_process_id() -> u32
+@extern sa_std_process_parent_id() -> u32
+@extern sa_std_process_user_id() -> u32
+@extern sa_std_process_group_id() -> u32
+@extern sa_std_process_abort() -> void
+@extern sa_std_process_child_id(handle: u64, &out_pid: ptr) -> i32
+@extern sa_std_process_pidfd(handle: u64, &out_pidfd: ptr) -> i32
+@extern sa_std_process_into_pidfd(handle: u64, &out_pidfd: ptr) -> i32
+@extern sa_std_process_wait(handle: u64, &out_code: ptr) -> i32
+@extern sa_std_process_wait_raw(handle: u64, &out_raw: ptr) -> i32
+@extern sa_std_process_try_wait(handle: u64, &out_ready: ptr, &out_code: ptr) -> i32
+@extern sa_std_process_try_wait_raw(handle: u64, &out_ready: ptr, &out_raw: ptr) -> i32
+@extern sa_std_process_kill(handle: u64) -> i32
+@extern sa_std_process_send_signal(handle: u64, signal: i32) -> i32
+@extern sa_std_process_send_process_group_signal(handle: u64, signal: i32) -> i32
+@extern sa_std_process_kill_process_group(handle: u64) -> i32
+@extern sa_std_pidfd_kill(handle: u64) -> i32
+@extern sa_std_pidfd_send_signal(handle: u64, signal: i32) -> i32
+@extern sa_std_pidfd_wait(handle: u64, &out_code: ptr) -> i32
+@extern sa_std_pidfd_wait_raw(handle: u64, &out_raw: ptr) -> i32
+@extern sa_std_pidfd_try_wait(handle: u64, &out_ready: ptr, &out_code: ptr) -> i32
+@extern sa_std_pidfd_try_wait_raw(handle: u64, &out_ready: ptr, &out_raw: ptr) -> i32
+@extern sa_std_process_exit_status_code(raw: i32) -> u32
+@extern sa_std_process_exit_status_signal(raw: i32) -> i32
+@extern sa_std_process_exit_status_core_dumped(raw: i32) -> u8
+@extern sa_std_process_exit_status_stopped_signal(raw: i32) -> i32
+@extern sa_std_process_exit_status_continued(raw: i32) -> u8
+@extern sa_std_process_read_stdout(handle: u64, &buf: ptr, cap: u64, &out_read: ptr) -> i32
+@extern sa_std_process_read_stderr(handle: u64, &buf: ptr, cap: u64, &out_read: ptr) -> i32
+@extern sa_std_process_exec_capture(&argv: ptr, argv_len: u64, &out_code: ptr, &out_stdout: ptr, &out_stderr: ptr) -> i32
+@extern sa_std_process_exec_capture_cwd(&argv: ptr, argv_len: u64, &cwd: ptr, cwd_len: u64, &out_code: ptr, &out_stdout: ptr, &out_stderr: ptr) -> i32
+@extern sa_std_process_close(handle: u64) -> i32

package/sa_std/process.sal

@@ -0,0 +1,27 @@
+#def SA_PROCESS_OK = 0
+#def SA_PROCESS_ERR_INVALID_ARGUMENT = 1
+#def SA_PROCESS_ERR_INVALID_HANDLE = 2
+#def SA_PROCESS_ERR_NO_MEMORY = 5
+#def SA_PROCESS_ERR_IO = 6
+#def SA_PROCESS_ERR_UNSUPPORTED = 8
+#def SA_PROCESS_ERR_UNKNOWN = 127
+
+#def SaProcessArgv_SIZE = 16
+#def SaProcessArgv_data = +0
+#def SaProcessArgv_len = +8
+
+#def ProcessExitStatus_SIZE = 8
+#def ProcessExitStatus_code = +0
+#def ProcessExitStatus_raw = +4
+
+#def ProcessOutput_SIZE = 24
+#def ProcessOutput_status = +0
+#def ProcessOutput_stdout = +8
+#def ProcessOutput_stderr = +16
+
+#def ProcessStdio_SIZE = 1
+#def ProcessStdio_ALIGN = 1
+#def ProcessStdio_kind = +0
+#def PROCESS_STDIO_KIND_INHERIT = 0
+#def PROCESS_STDIO_KIND_PIPED = 1
+#def PROCESS_STDIO_KIND_NULL = 2

package/sa_std/ptr.sa

@@ -0,0 +1,503 @@
+@import "core/mem.sa"
+@import "ptr.sal"
+
+[MACRO] PTR_NULL %out_ptr
+    %out_ptr = 0 as ptr
+[END_MACRO]
+
+[MACRO] PTR_IS_NULL %out_bool, %ptr_reg
+    __ptr_null_%out_bool = 0 as ptr
+    %out_bool = eq %ptr_reg, __ptr_null_%out_bool
+    !__ptr_null_%out_bool
+[END_MACRO]
+
+[MACRO] PTR_IS_NONNULL %out_bool, %ptr_reg
+    __ptr_null_%out_bool = 0 as ptr
+    %out_bool = ne %ptr_reg, __ptr_null_%out_bool
+    !__ptr_null_%out_bool
+[END_MACRO]
+
+[MACRO] PTR_EQ %out_bool, %lhs_ptr, %rhs_ptr
+    %out_bool = eq %lhs_ptr, %rhs_ptr
+[END_MACRO]
+
+[MACRO] PTR_NE %out_bool, %lhs_ptr, %rhs_ptr
+    %out_bool = ne %lhs_ptr, %rhs_ptr
+[END_MACRO]
+
+[MACRO] PTR_ADDR %out_addr, %ptr_reg
+    %out_addr = bitcast %ptr_reg as u64
+[END_MACRO]
+
+[MACRO] PTR_EXPOSE_ADDR %out_addr, %ptr_reg
+    EXPAND PTR_ADDR %out_addr, %ptr_reg
+[END_MACRO]
+
+[MACRO] PTR_EXPOSE_PROVENANCE %out_addr, %ptr_reg
+    EXPAND PTR_ADDR %out_addr, %ptr_reg
+[END_MACRO]
+
+[MACRO] PTR_CAST %out_ptr, %ptr_reg
+    %out_ptr = ptr_add %ptr_reg, 0
+[END_MACRO]
+
+[MACRO] PTR_CAST_CONST %out_ptr, %ptr_reg
+    %out_ptr = ptr_add %ptr_reg, 0
+[END_MACRO]
+
+[MACRO] PTR_CAST_MUT %out_ptr, %ptr_reg
+    %out_ptr = ptr_add %ptr_reg, 0
+[END_MACRO]
+
+[MACRO] PTR_OFFSET_BYTES %out_ptr, %ptr_reg, %byte_offset
+    %out_ptr = ptr_add %ptr_reg, %byte_offset
+[END_MACRO]
+
+[MACRO] PTR_BYTE_ADD %out_ptr, %ptr_reg, %byte_offset
+    %out_ptr = ptr_add %ptr_reg, %byte_offset
+[END_MACRO]
+
+[MACRO] PTR_BYTE_SUB %out_ptr, %ptr_reg, %byte_offset
+    __ptr_sub_offset_%out_ptr = sub 0, %byte_offset
+    %out_ptr = ptr_add %ptr_reg, __ptr_sub_offset_%out_ptr
+    !__ptr_sub_offset_%out_ptr
+[END_MACRO]
+
+[MACRO] PTR_WRAPPING_BYTE_ADD %out_ptr, %ptr_reg, %byte_offset
+    EXPAND PTR_BYTE_ADD %out_ptr, %ptr_reg, %byte_offset
+[END_MACRO]
+
+[MACRO] PTR_WRAPPING_BYTE_SUB %out_ptr, %ptr_reg, %byte_offset
+    EXPAND PTR_BYTE_SUB %out_ptr, %ptr_reg, %byte_offset
+[END_MACRO]
+
+[MACRO] PTR_OFFSET_FROM_BYTES %out_offset, %ptr_reg, %base_ptr
+    __ptr_offset_addr_%out_offset = bitcast %ptr_reg as u64
+    __ptr_offset_base_%out_offset = bitcast %base_ptr as u64
+    %out_offset = sub __ptr_offset_addr_%out_offset, __ptr_offset_base_%out_offset
+    !__ptr_offset_base_%out_offset
+    !__ptr_offset_addr_%out_offset
+[END_MACRO]
+
+[MACRO] PTR_OFFSET_FROM_U64 %out_offset, %ptr_reg, %base_ptr
+    EXPAND PTR_OFFSET_FROM_BYTES __ptr_offset_bytes_%out_offset, %ptr_reg, %base_ptr
+    %out_offset = udiv __ptr_offset_bytes_%out_offset, 8
+    !__ptr_offset_bytes_%out_offset
+[END_MACRO]
+
+// Rust method-name alias over PTR_OFFSET_FROM_U64.
+[MACRO] PTR_OFFSET_FROM %out_offset, %ptr_reg, %base_ptr
+    EXPAND PTR_OFFSET_FROM_U64 %out_offset, %ptr_reg, %base_ptr
+[END_MACRO]
+
+[MACRO] PTR_BYTE_OFFSET_FROM_UNSIGNED %out_offset, %ptr_reg, %base_ptr
+    EXPAND PTR_OFFSET_FROM_BYTES %out_offset, %ptr_reg, %base_ptr
+[END_MACRO]
+
+[MACRO] PTR_OFFSET_FROM_UNSIGNED_U64 %out_offset, %ptr_reg, %base_ptr
+    EXPAND PTR_OFFSET_FROM_U64 %out_offset, %ptr_reg, %base_ptr
+[END_MACRO]
+
+// Rust method-name alias over PTR_OFFSET_FROM_UNSIGNED_U64.
+[MACRO] PTR_OFFSET_FROM_UNSIGNED %out_offset, %ptr_reg, %base_ptr
+    EXPAND PTR_OFFSET_FROM_UNSIGNED_U64 %out_offset, %ptr_reg, %base_ptr
+[END_MACRO]
+
+[MACRO] PTR_OFFSET_U64 %out_ptr, %ptr_reg, %index
+    __ptr_u64_off_%out_ptr = mul %index, 8
+    %out_ptr = ptr_add %ptr_reg, __ptr_u64_off_%out_ptr
+    !__ptr_u64_off_%out_ptr
+[END_MACRO]
+
+// Rust method-name alias over PTR_OFFSET_U64.
+[MACRO] PTR_OFFSET %out_ptr, %ptr_reg, %index
+    EXPAND PTR_OFFSET_U64 %out_ptr, %ptr_reg, %index
+[END_MACRO]
+
+[MACRO] PTR_ADD_U64 %out_ptr, %ptr_reg, %index
+    EXPAND PTR_OFFSET_U64 %out_ptr, %ptr_reg, %index
+[END_MACRO]
+
+// Rust method-name alias over PTR_ADD_U64.
+[MACRO] PTR_ADD %out_ptr, %ptr_reg, %index
+    EXPAND PTR_ADD_U64 %out_ptr, %ptr_reg, %index
+[END_MACRO]
+
+[MACRO] PTR_SUB_U64 %out_ptr, %ptr_reg, %index
+    __ptr_u64_sub_off_%out_ptr = mul %index, 8
+    __ptr_u64_sub_neg_%out_ptr = sub 0, __ptr_u64_sub_off_%out_ptr
+    %out_ptr = ptr_add %ptr_reg, __ptr_u64_sub_neg_%out_ptr
+    !__ptr_u64_sub_neg_%out_ptr
+    !__ptr_u64_sub_off_%out_ptr
+[END_MACRO]
+
+// Rust method-name alias over PTR_SUB_U64.
+[MACRO] PTR_SUB %out_ptr, %ptr_reg, %index
+    EXPAND PTR_SUB_U64 %out_ptr, %ptr_reg, %index
+[END_MACRO]
+
+[MACRO] PTR_WRAPPING_ADD_U64 %out_ptr, %ptr_reg, %index
+    EXPAND PTR_ADD_U64 %out_ptr, %ptr_reg, %index
+[END_MACRO]
+
+// Rust method-name alias over PTR_WRAPPING_ADD_U64.
+[MACRO] PTR_WRAPPING_ADD %out_ptr, %ptr_reg, %index
+    EXPAND PTR_WRAPPING_ADD_U64 %out_ptr, %ptr_reg, %index
+[END_MACRO]
+
+[MACRO] PTR_WRAPPING_SUB_U64 %out_ptr, %ptr_reg, %index
+    EXPAND PTR_SUB_U64 %out_ptr, %ptr_reg, %index
+[END_MACRO]
+
+// Rust method-name alias over PTR_WRAPPING_SUB_U64.
+[MACRO] PTR_WRAPPING_SUB %out_ptr, %ptr_reg, %index
+    EXPAND PTR_WRAPPING_SUB_U64 %out_ptr, %ptr_reg, %index
+[END_MACRO]
+
+[MACRO] PTR_IS_ALIGNED_TO %out_bool, %ptr_reg, %align
+    __ptr_addr_%out_bool = bitcast %ptr_reg as u64
+    __ptr_rem_%out_bool = rem __ptr_addr_%out_bool, %align
+    %out_bool = eq __ptr_rem_%out_bool, 0
+    !__ptr_rem_%out_bool
+    !__ptr_addr_%out_bool
+[END_MACRO]
+
+[MACRO] PTR_GUARANTEED_EQ %out_ok, %out_bool, %lhs_ptr, %rhs_ptr
+    %out_bool = eq %lhs_ptr, %rhs_ptr
+    %out_ok = add 0, 1
+[END_MACRO]
+
+[MACRO] PTR_GUARANTEED_NE %out_ok, %out_bool, %lhs_ptr, %rhs_ptr
+    %out_bool = ne %lhs_ptr, %rhs_ptr
+    %out_ok = add 0, 1
+[END_MACRO]
+
+[MACRO] PTR_READ_U64 %out_value, %ptr_reg
+    %out_value = load %ptr_reg+0 as u64
+[END_MACRO]
+
+// Rust method-name alias over PTR_READ_U64.
+[MACRO] PTR_READ %out_value, %ptr_reg
+    EXPAND PTR_READ_U64 %out_value, %ptr_reg
+[END_MACRO]
+
+[MACRO] PTR_READ_UNALIGNED_U64 %out_value, %ptr_reg
+    %out_value = load %ptr_reg+0 as u64
+[END_MACRO]
+
+// Rust method-name alias over PTR_READ_UNALIGNED_U64.
+[MACRO] PTR_READ_UNALIGNED %out_value, %ptr_reg
+    EXPAND PTR_READ_UNALIGNED_U64 %out_value, %ptr_reg
+[END_MACRO]
+
+[MACRO] PTR_READ_VOLATILE_U64 %out_value, %ptr_reg
+    %out_value = load %ptr_reg+0 as u64
+[END_MACRO]
+
+// Rust method-name alias over PTR_READ_VOLATILE_U64.
+[MACRO] PTR_READ_VOLATILE %out_value, %ptr_reg
+    EXPAND PTR_READ_VOLATILE_U64 %out_value, %ptr_reg
+[END_MACRO]
+
+[MACRO] PTR_READ_VOLATILE_I32 %out_value, %ptr_reg
+    %out_value = load %ptr_reg+0 as i32
+[END_MACRO]
+
+[MACRO] PTR_READ_U8 %out_value, %ptr_reg
+    %out_value = load %ptr_reg+0 as u8
+[END_MACRO]
+
+[MACRO] PTR_READ_UNALIGNED_U8 %out_value, %ptr_reg
+    %out_value = load %ptr_reg+0 as u8
+[END_MACRO]
+
+[MACRO] PTR_READ_VOLATILE_U8 %out_value, %ptr_reg
+    %out_value = load %ptr_reg+0 as u8
+[END_MACRO]
+
+[MACRO] PTR_WRITE_U64 %ptr_reg, %value
+    store %ptr_reg+0, %value as u64
+[END_MACRO]
+
+// Rust method-name alias over PTR_WRITE_U64.
+[MACRO] PTR_WRITE %ptr_reg, %value
+    EXPAND PTR_WRITE_U64 %ptr_reg, %value
+[END_MACRO]
+
+[MACRO] PTR_WRITE_UNALIGNED_U64 %ptr_reg, %value
+    store %ptr_reg+0, %value as u64
+[END_MACRO]
+
+// Rust method-name alias over PTR_WRITE_UNALIGNED_U64.
+[MACRO] PTR_WRITE_UNALIGNED %ptr_reg, %value
+    EXPAND PTR_WRITE_UNALIGNED_U64 %ptr_reg, %value
+[END_MACRO]
+
+[MACRO] PTR_WRITE_VOLATILE_U64 %ptr_reg, %value
+    store %ptr_reg+0, %value as u64
+[END_MACRO]
+
+// Rust method-name alias over PTR_WRITE_VOLATILE_U64.
+[MACRO] PTR_WRITE_VOLATILE %ptr_reg, %value
+    EXPAND PTR_WRITE_VOLATILE_U64 %ptr_reg, %value
+[END_MACRO]
+
+[MACRO] PTR_WRITE_U8 %ptr_reg, %value
+    store %ptr_reg+0, %value as u8
+[END_MACRO]
+
+[MACRO] PTR_WRITE_UNALIGNED_U8 %ptr_reg, %value
+    store %ptr_reg+0, %value as u8
+[END_MACRO]
+
+[MACRO] PTR_WRITE_VOLATILE_U8 %ptr_reg, %value
+    store %ptr_reg+0, %value as u8
+[END_MACRO]
+
+[MACRO] PTR_SWAP_U64 %lhs_ptr, %rhs_ptr
+    __ptr_swap_lhs_%lhs_ptr = load %lhs_ptr+0 as u64
+    __ptr_swap_rhs_%lhs_ptr = load %rhs_ptr+0 as u64
+    store %lhs_ptr+0, __ptr_swap_rhs_%lhs_ptr as u64
+    store %rhs_ptr+0, __ptr_swap_lhs_%lhs_ptr as u64
+    !__ptr_swap_rhs_%lhs_ptr
+    !__ptr_swap_lhs_%lhs_ptr
+[END_MACRO]
+
+// Rust method-name alias over PTR_SWAP_U64.
+[MACRO] PTR_SWAP %lhs_ptr, %rhs_ptr
+    EXPAND PTR_SWAP_U64 %lhs_ptr, %rhs_ptr
+[END_MACRO]
+
+[MACRO] PTR_SWAP_NONOVERLAPPING_U64 %lhs_ptr, %rhs_ptr
+    EXPAND PTR_SWAP_U64 %lhs_ptr, %rhs_ptr
+[END_MACRO]
+
+// Rust method-name alias over PTR_SWAP_NONOVERLAPPING_U64.
+[MACRO] PTR_SWAP_NONOVERLAPPING %lhs_ptr, %rhs_ptr
+    EXPAND PTR_SWAP_NONOVERLAPPING_U64 %lhs_ptr, %rhs_ptr
+[END_MACRO]
+
+[MACRO] PTR_REPLACE_U64 %out_old, %ptr_reg, %new_value
+    %out_old = load %ptr_reg+0 as u64
+    store %ptr_reg+0, %new_value as u64
+[END_MACRO]
+
+// Rust method-name alias over PTR_REPLACE_U64.
+[MACRO] PTR_REPLACE %out_old, %ptr_reg, %new_value
+    EXPAND PTR_REPLACE_U64 %out_old, %ptr_reg, %new_value
+[END_MACRO]
+
+[MACRO] PTR_TAKE_U64 %out_old, %ptr_reg
+    %out_old = load %ptr_reg+0 as u64
+    store %ptr_reg+0, 0 as u64
+[END_MACRO]
+
+// Rust method-name alias over PTR_TAKE_U64.
+[MACRO] PTR_TAKE %out_old, %ptr_reg
+    EXPAND PTR_TAKE_U64 %out_old, %ptr_reg
+[END_MACRO]
+
+[MACRO] PTR_COPY_BYTES %dst_ptr, %src_ptr, %byte_count
+    call @sa_mem_copy(&%dst_ptr, &%src_ptr, %byte_count)
+[END_MACRO]
+
+[MACRO] PTR_COPY_NONOVERLAPPING_BYTES %dst_ptr, %src_ptr, %byte_count
+    call @sa_mem_copy(&%dst_ptr, &%src_ptr, %byte_count)
+[END_MACRO]
+
+[MACRO] PTR_WRITE_BYTES %dst_ptr, %byte_value, %byte_count
+    call @sa_mem_set(&%dst_ptr, %byte_value, %byte_count)
+[END_MACRO]
+
+[MACRO] PTR_COPY_U64S %dst_ptr, %src_ptr, %count
+    __ptr_copy_bytes_%dst_ptr = mul %count, 8
+    call @sa_mem_copy(&%dst_ptr, &%src_ptr, __ptr_copy_bytes_%dst_ptr)
+    !__ptr_copy_bytes_%dst_ptr
+[END_MACRO]
+
+[MACRO] PTR_COPY_NONOVERLAPPING_U64S %dst_ptr, %src_ptr, %count
+    __ptr_copy_nonoverlap_bytes_%dst_ptr = mul %count, 8
+    call @sa_mem_copy(&%dst_ptr, &%src_ptr, __ptr_copy_nonoverlap_bytes_%dst_ptr)
+    !__ptr_copy_nonoverlap_bytes_%dst_ptr
+[END_MACRO]
+
+[MACRO] NONNULL_NEW %out_ok, %nonnull_ptr, %ptr_reg
+    EXPAND PTR_IS_NONNULL %out_ok, %ptr_reg
+    store %nonnull_ptr+NonNull_ptr, %ptr_reg as ptr
+[END_MACRO]
+
+[MACRO] NONNULL_NEW_UNCHECKED %nonnull_ptr, %ptr_reg
+    store %nonnull_ptr+NonNull_ptr, %ptr_reg as ptr
+[END_MACRO]
+
+[MACRO] NONNULL_AS_PTR %out_ptr, %nonnull_ptr
+    %out_ptr = load %nonnull_ptr+NonNull_ptr as ptr
+[END_MACRO]
+
+[MACRO] NONNULL_AS_REF %out_ptr, %nonnull_ptr
+    %out_ptr = load %nonnull_ptr+NonNull_ptr as ptr
+[END_MACRO]
+
+[MACRO] NONNULL_AS_MUT %out_ptr, %nonnull_ptr
+    %out_ptr = load %nonnull_ptr+NonNull_ptr as ptr
+[END_MACRO]
+
+[MACRO] NONNULL_ADDR %out_addr, %nonnull_ptr
+    __nonnull_addr_ptr_%out_addr = load %nonnull_ptr+NonNull_ptr as ptr
+    EXPAND PTR_ADDR %out_addr, __nonnull_addr_ptr_%out_addr
+    !__nonnull_addr_ptr_%out_addr
+[END_MACRO]
+
+[MACRO] NONNULL_EXPOSE_PROVENANCE %out_addr, %nonnull_ptr
+    EXPAND NONNULL_ADDR %out_addr, %nonnull_ptr
+[END_MACRO]
+
+[MACRO] NONNULL_BYTE_ADD %out_nonnull, %nonnull_ptr, %byte_offset
+    __nonnull_add_ptr_%out_nonnull = load %nonnull_ptr+NonNull_ptr as ptr
+    __nonnull_add_next_%out_nonnull = ptr_add __nonnull_add_ptr_%out_nonnull, %byte_offset
+    store %out_nonnull+NonNull_ptr, __nonnull_add_next_%out_nonnull as ptr
+    !__nonnull_add_next_%out_nonnull
+    !__nonnull_add_ptr_%out_nonnull
+[END_MACRO]
+
+[MACRO] NONNULL_BYTE_SUB %out_nonnull, %nonnull_ptr, %byte_offset
+    __nonnull_sub_ptr_%out_nonnull = load %nonnull_ptr+NonNull_ptr as ptr
+    __nonnull_sub_offset_%out_nonnull = sub 0, %byte_offset
+    __nonnull_sub_next_%out_nonnull = ptr_add __nonnull_sub_ptr_%out_nonnull, __nonnull_sub_offset_%out_nonnull
+    store %out_nonnull+NonNull_ptr, __nonnull_sub_next_%out_nonnull as ptr
+    !__nonnull_sub_next_%out_nonnull
+    !__nonnull_sub_offset_%out_nonnull
+    !__nonnull_sub_ptr_%out_nonnull
+[END_MACRO]
+
+[MACRO] NONNULL_WRAPPING_BYTE_ADD %out_nonnull, %nonnull_ptr, %byte_offset
+    EXPAND NONNULL_BYTE_ADD %out_nonnull, %nonnull_ptr, %byte_offset
+[END_MACRO]
+
+[MACRO] NONNULL_WRAPPING_BYTE_SUB %out_nonnull, %nonnull_ptr, %byte_offset
+    EXPAND NONNULL_BYTE_SUB %out_nonnull, %nonnull_ptr, %byte_offset
+[END_MACRO]
+
+[MACRO] NONNULL_ADD_U64 %out_nonnull, %nonnull_ptr, %index
+    __nonnull_add_u64_bytes_%out_nonnull = mul %index, 8
+    EXPAND NONNULL_BYTE_ADD %out_nonnull, %nonnull_ptr, __nonnull_add_u64_bytes_%out_nonnull
+    !__nonnull_add_u64_bytes_%out_nonnull
+[END_MACRO]
+
+// Rust method-name alias over NONNULL_ADD_U64.
+[MACRO] NONNULL_ADD %out_nonnull, %nonnull_ptr, %index
+    EXPAND NONNULL_ADD_U64 %out_nonnull, %nonnull_ptr, %index
+[END_MACRO]
+
+[MACRO] NONNULL_SUB_U64 %out_nonnull, %nonnull_ptr, %index
+    __nonnull_sub_u64_bytes_%out_nonnull = mul %index, 8
+    EXPAND NONNULL_BYTE_SUB %out_nonnull, %nonnull_ptr, __nonnull_sub_u64_bytes_%out_nonnull
+    !__nonnull_sub_u64_bytes_%out_nonnull
+[END_MACRO]
+
+// Rust method-name alias over NONNULL_SUB_U64.
+[MACRO] NONNULL_SUB %out_nonnull, %nonnull_ptr, %index
+    EXPAND NONNULL_SUB_U64 %out_nonnull, %nonnull_ptr, %index
+[END_MACRO]
+
+[MACRO] NONNULL_WRAPPING_ADD_U64 %out_nonnull, %nonnull_ptr, %index
+    EXPAND NONNULL_ADD_U64 %out_nonnull, %nonnull_ptr, %index
+[END_MACRO]
+
+// Rust method-name alias over NONNULL_WRAPPING_ADD_U64.
+[MACRO] NONNULL_WRAPPING_ADD %out_nonnull, %nonnull_ptr, %index
+    EXPAND NONNULL_WRAPPING_ADD_U64 %out_nonnull, %nonnull_ptr, %index
+[END_MACRO]
+
+[MACRO] NONNULL_WRAPPING_SUB_U64 %out_nonnull, %nonnull_ptr, %index
+    EXPAND NONNULL_SUB_U64 %out_nonnull, %nonnull_ptr, %index
+[END_MACRO]
+
+// Rust method-name alias over NONNULL_WRAPPING_SUB_U64.
+[MACRO] NONNULL_WRAPPING_SUB %out_nonnull, %nonnull_ptr, %index
+    EXPAND NONNULL_WRAPPING_SUB_U64 %out_nonnull, %nonnull_ptr, %index
+[END_MACRO]
+
+[MACRO] NONNULL_OFFSET_FROM_BYTES %out_offset, %nonnull_ptr, %base_nonnull
+    __nonnull_offset_ptr_%out_offset = load %nonnull_ptr+NonNull_ptr as ptr
+    __nonnull_offset_base_%out_offset = load %base_nonnull+NonNull_ptr as ptr
+    EXPAND PTR_OFFSET_FROM_BYTES %out_offset, __nonnull_offset_ptr_%out_offset, __nonnull_offset_base_%out_offset
+    !__nonnull_offset_base_%out_offset
+    !__nonnull_offset_ptr_%out_offset
+[END_MACRO]
+
+[MACRO] NONNULL_OFFSET_FROM_U64 %out_offset, %nonnull_ptr, %base_nonnull
+    __nonnull_offset_u64_ptr_%out_offset = load %nonnull_ptr+NonNull_ptr as ptr
+    __nonnull_offset_u64_base_%out_offset = load %base_nonnull+NonNull_ptr as ptr
+    EXPAND PTR_OFFSET_FROM_U64 %out_offset, __nonnull_offset_u64_ptr_%out_offset, __nonnull_offset_u64_base_%out_offset
+    !__nonnull_offset_u64_base_%out_offset
+    !__nonnull_offset_u64_ptr_%out_offset
+[END_MACRO]
+
+// Rust method-name alias over NONNULL_OFFSET_FROM_U64.
+[MACRO] NONNULL_OFFSET_FROM %out_offset, %nonnull_ptr, %base_nonnull
+    EXPAND NONNULL_OFFSET_FROM_U64 %out_offset, %nonnull_ptr, %base_nonnull
+[END_MACRO]
+
+[MACRO] NONNULL_BYTE_OFFSET_FROM_UNSIGNED %out_offset, %nonnull_ptr, %base_nonnull
+    EXPAND NONNULL_OFFSET_FROM_BYTES %out_offset, %nonnull_ptr, %base_nonnull
+[END_MACRO]
+
+[MACRO] NONNULL_OFFSET_FROM_UNSIGNED_U64 %out_offset, %nonnull_ptr, %base_nonnull
+    EXPAND NONNULL_OFFSET_FROM_U64 %out_offset, %nonnull_ptr, %base_nonnull
+[END_MACRO]
+
+// Rust method-name alias over NONNULL_OFFSET_FROM_UNSIGNED_U64.
+[MACRO] NONNULL_OFFSET_FROM_UNSIGNED %out_offset, %nonnull_ptr, %base_nonnull
+    EXPAND NONNULL_OFFSET_FROM_UNSIGNED_U64 %out_offset, %nonnull_ptr, %base_nonnull
+[END_MACRO]
+
+[MACRO] NONNULL_IS_NONNULL %out_bool, %nonnull_ptr
+    __nonnull_ptr_%out_bool = load %nonnull_ptr+NonNull_ptr as ptr
+    EXPAND PTR_IS_NONNULL %out_bool, __nonnull_ptr_%out_bool
+    !__nonnull_ptr_%out_bool
+[END_MACRO]
+
+[MACRO] NONNULL_IS_NULL %out_bool, %nonnull_ptr
+    __nonnull_ptr_%out_bool = load %nonnull_ptr+NonNull_ptr as ptr
+    EXPAND PTR_IS_NULL %out_bool, __nonnull_ptr_%out_bool
+    !__nonnull_ptr_%out_bool
+[END_MACRO]
+
+[MACRO] NONNULL_IS_ALIGNED_TO %out_bool, %nonnull_ptr, %align
+    __nonnull_align_ptr_%out_bool = load %nonnull_ptr+NonNull_ptr as ptr
+    EXPAND PTR_IS_ALIGNED_TO %out_bool, __nonnull_align_ptr_%out_bool, %align
+    !__nonnull_align_ptr_%out_bool
+[END_MACRO]
+
+[MACRO] NONNULL_EQ %out_bool, %lhs_nonnull, %rhs_nonnull
+    __nonnull_lhs_%out_bool = load %lhs_nonnull+NonNull_ptr as ptr
+    __nonnull_rhs_%out_bool = load %rhs_nonnull+NonNull_ptr as ptr
+    %out_bool = eq __nonnull_lhs_%out_bool, __nonnull_rhs_%out_bool
+    !__nonnull_rhs_%out_bool
+    !__nonnull_lhs_%out_bool
+[END_MACRO]
+
+[MACRO] NONNULL_NE %out_bool, %lhs_nonnull, %rhs_nonnull
+    __nonnull_lhs_%out_bool = load %lhs_nonnull+NonNull_ptr as ptr
+    __nonnull_rhs_%out_bool = load %rhs_nonnull+NonNull_ptr as ptr
+    %out_bool = ne __nonnull_lhs_%out_bool, __nonnull_rhs_%out_bool
+    !__nonnull_rhs_%out_bool
+    !__nonnull_lhs_%out_bool
+[END_MACRO]
+
+[MACRO] NONNULL_GUARANTEED_EQ %out_ok, %out_bool, %lhs_nonnull, %rhs_nonnull
+    EXPAND NONNULL_EQ %out_bool, %lhs_nonnull, %rhs_nonnull
+    %out_ok = add 0, 1
+[END_MACRO]
+
+[MACRO] NONNULL_GUARANTEED_NE %out_ok, %out_bool, %lhs_nonnull, %rhs_nonnull
+    EXPAND NONNULL_NE %out_bool, %lhs_nonnull, %rhs_nonnull
+    %out_ok = add 0, 1
+[END_MACRO]
+
+[MACRO] NONNULL_CAST %out_nonnull, %nonnull_ptr
+    __nonnull_cast_ptr_%out_nonnull = load %nonnull_ptr+NonNull_ptr as ptr
+    store %out_nonnull+NonNull_ptr, __nonnull_cast_ptr_%out_nonnull as ptr
+    !__nonnull_cast_ptr_%out_nonnull
+[END_MACRO]

package/sa_std/ptr.sal

@@ -0,0 +1,2 @@
+#def NonNull_SIZE = 8
+#def NonNull_ptr = +0

package/sa_std/result.sa

@@ -0,0 +1,2 @@
+@import "core/result.sal"
+@import "core/result.sa"

package/sa_std/result.sal

@@ -0,0 +1 @@
+@import "core/result.sal"

package/sa_std/rust_core.sa

@@ -0,0 +1,51 @@
+@import "rust_core.sal"
+@import "core/cell.sal"
+@import "core/cell.sa"
+@import "core/refcell.sal"
+@import "core/refcell.sa"
+@import "core/rc.sal"
+@import "core/rc.sa"
+@import "core/box.sal"
+@import "core/box.sa"
+@import "core/derive.sal"
+@import "core/derive.sa"
+@import "core/weak.sal"
+@import "core/weak.sa"
+@import "core/arc.sal"
+@import "core/arc.sa"
+@import "core/bit.sa"
+@import "sync/rwlock.sal"
+@import "sync/rwlock.sa"
+@import "sync/mutex.sal"
+@import "sync/mutex.sa"
+@import "sync/barrier.sal"
+@import "sync/barrier.sa"
+@import "sync/condvar.sal"
+@import "sync/condvar.sa"
+@import "sync/mpsc_list.sa"
+@import "collections/linked_list.sal"
+@import "collections/linked_list.sa"
+
+@import "core/trait_object.sal"
+@import "core/trait_object.sa"
+@import "core/waker.sal"
+@import "core/waker.sa"
+@import "core/future.sal"
+@import "core/future.sa"
+@import "core/task.sal"
+@import "core/task.sa"
+@import "core/option.sal"
+@import "core/option.sa"
+@import "core/result.sal"
+@import "core/result.sa"
+@import "core/dispatch.sal"
+@import "core/dispatch.sa"
+@import "core/panic.sa"
+@import "core/iter.sal"
+@import "core/iter.sa"
+@import "core/loop.sa"
+@import "core/control.sa"
+@import "core/hash.sa"
+@import "core/cleanup.sa"
+@import "core/ascii.sal"
+@import "core/ascii.sa"

package/sa_std/rust_core.sal

@@ -0,0 +1,26 @@
+@import "core/cell.sal"
+@import "core/refcell.sal"
+@import "core/rc.sal"
+@import "core/weak.sal"
+@import "core/trait_object.sal"
+@import "core/waker.sal"
+@import "core/future.sal"
+@import "core/task.sal"
+@import "core/option.sal"
+@import "core/result.sal"
+@import "core/iter.sal"
+
+#def RustCore_VERSION = 1
+#def RustCore_SUPPORTS_OPTION = 1
+#def RustCore_SUPPORTS_RESULT = 1
+#def RustCore_SUPPORTS_PANIC = 1
+#def RustCore_SUPPORTS_ITER = 1
+#def RustCore_SUPPORTS_CELL = 1
+#def RustCore_SUPPORTS_REFCELL = 1
+#def RustCore_SUPPORTS_RC = 1
+#def RustCore_SUPPORTS_WEAK = 1
+#def RustCore_SUPPORTS_TRAIT_OBJECT = 1
+#def RustCore_SUPPORTS_WAKER = 1
+#def RustCore_SUPPORTS_FUTURE = 1
+#def RustCore_SUPPORTS_TASK = 1
+#def RustCore_SUPPORTS_ASCII = 1

package/sa_std/sa.mod

@@ -0,0 +1,7 @@
+# sa_std package manifest
+#
+# The compiler-shipped standard library is sourced from this repo tree.
+# The package declaration makes the boundary explicit for sa.pkg resolution;
+# dependency, version, feature, and ABI-release fields remain unsupported by
+# the current manifest grammar and are documented as architecture follow-up.
+package "sa_std"