@salang/sa 0.1.2 → 0.1.4

package/sa_std/core/option.sal

@@ -0,0 +1,11 @@
+#def Option_SIZE = 16
+#def Option_tag = +0
+#def Option_value = +8
+#def Option_NONE = 0
+#def Option_SOME = 1
+
+
+#def OptionPairU64_SIZE = 24
+#def OptionPairU64_tag = +0
+#def OptionPairU64_value1 = +8
+#def OptionPairU64_value2 = +16

package/sa_std/core/panic.sa

@@ -0,0 +1,23 @@
+[MACRO] PANIC %code
+    panic(%code)
+[END_MACRO]
+
+[MACRO] PANIC_MSG %code, %msg_ptr, %msg_len
+    panic_msg(%code, %msg_ptr, %msg_len)
+[END_MACRO]
+
+@const TODO_PANIC = utf8:"called todo!() in SA"
+@const UNIMPLEMENTED_PANIC = utf8:"called unimplemented!() in SA"
+@const UNREACHABLE_PANIC = utf8:"entered unreachable!() in SA"
+
+[MACRO] TODO
+    EXPAND PANIC_MSG 102, *TODO_PANIC, 20
+[END_MACRO]
+
+[MACRO] UNIMPLEMENTED
+    EXPAND PANIC_MSG 102, *UNIMPLEMENTED_PANIC, 29
+[END_MACRO]
+
+[MACRO] UNREACHABLE
+    EXPAND PANIC_MSG 102, *UNREACHABLE_PANIC, 28
+[END_MACRO]

package/sa_std/core/panic.sal

@@ -0,0 +1,12 @@
+#def PanicLocation_SIZE = 24
+#def PanicLocation_ALIGN = 8
+#def PanicLocation_file = +0
+#def PanicLocation_file_ptr = +0
+#def PanicLocation_file_len = +8
+#def PanicLocation_line = +16
+#def PanicLocation_column = +20
+#def PanicLocation_col = PanicLocation_column
+
+#def AssertUnwindSafeU64_SIZE = 8
+#def AssertUnwindSafeU64_ALIGN = 8
+#def AssertUnwindSafeU64_value = +0

package/sa_std/core/prelude.sa

@@ -0,0 +1,18 @@
+@import "sa_core.sa"
+@import "arc.sa"
+@import "ascii.sa"
+@import "box.sa"
+@import "cell.sa"
+@import "derive.sa"
+@import "dispatch.sa"
+@import "future.sa"
+@import "iter.sa"
+@import "option.sa"
+@import "panic.sa"
+@import "rc.sa"
+@import "refcell.sa"
+@import "result.sa"
+@import "task.sa"
+@import "trait_object.sa"
+@import "waker.sa"
+@import "weak.sa"

package/sa_std/core/prelude.sal

@@ -0,0 +1,18 @@
+@import "sa_core.sa"
+@import "arc.sal"
+@import "ascii.sal"
+@import "box.sal"
+@import "cell.sal"
+@import "derive.sal"
+@import "dispatch.sal"
+@import "future.sal"
+@import "iter.sal"
+@import "option.sal"
+@import "panic.sal"
+@import "rc.sal"
+@import "refcell.sal"
+@import "result.sal"
+@import "task.sal"
+@import "trait_object.sal"
+@import "waker.sal"
+@import "weak.sal"

package/sa_std/core/rc.sa

@@ -0,0 +1,225 @@
+@import "rc.sal"
+
+[MACRO] RC_NEW %out_rc, %value
+    %out_rc = alloc RcBox_SIZE
+    store %out_rc+RcBox_strong, 1 as u64
+    store %out_rc+RcBox_weak, 1 as u64
+    store %out_rc+RcBox_data, %value as u64
+[END_MACRO]
+
+// Rust-style Default for concrete Rc<u64>: Rc::new(0).
+[MACRO] RC_DEFAULT_U64 %out_rc
+    EXPAND RC_NEW %out_rc, 0
+[END_MACRO]
+
+// Rust method-name alias over RC_DEFAULT_U64.
+[MACRO] RC_DEFAULT %out_rc
+    EXPAND RC_DEFAULT_U64 %out_rc
+[END_MACRO]
+
+[MACRO] RC_CLONE %rc_reg
+    __rc_strong_%rc_reg = load %rc_reg+RcBox_strong as u64
+    __rc_next_strong_%rc_reg = add __rc_strong_%rc_reg, 1
+    store %rc_reg+RcBox_strong, __rc_next_strong_%rc_reg as u64
+    !__rc_next_strong_%rc_reg
+    !__rc_strong_%rc_reg
+[END_MACRO]
+
+[MACRO] RC_CLONE_OUT %out_rc, %rc_reg
+    %out_rc = add %rc_reg, 0
+    EXPAND RC_CLONE %out_rc
+[END_MACRO]
+
+[MACRO] RC_GET %out_value, %rc_reg
+    %out_value = load %rc_reg+RcBox_data as u64
+[END_MACRO]
+
+[MACRO] RC_AS_PTR %out_ptr, %rc_reg
+    %out_ptr = ptr_add %rc_reg, RcBox_data
+[END_MACRO]
+
+[MACRO] RC_INTO_RAW %out_ptr, %rc_reg
+    %out_ptr = ptr_add %rc_reg, RcBox_data
+[END_MACRO]
+
+[MACRO] RC_FROM_RAW %out_rc, %raw_ptr
+    %out_rc = sub %raw_ptr, RcBox_data
+[END_MACRO]
+
+[MACRO] RC_INCREMENT_STRONG_COUNT %raw_ptr
+    __rc_inc_box_%raw_ptr = sub %raw_ptr, RcBox_data
+    __rc_inc_count_%raw_ptr = load __rc_inc_box_%raw_ptr+RcBox_strong as u64
+    __rc_inc_next_%raw_ptr = add __rc_inc_count_%raw_ptr, 1
+    store __rc_inc_box_%raw_ptr+RcBox_strong, __rc_inc_next_%raw_ptr as u64
+    !__rc_inc_next_%raw_ptr
+    !__rc_inc_count_%raw_ptr
+    !__rc_inc_box_%raw_ptr
+[END_MACRO]
+
+[MACRO] RC_DECREMENT_STRONG_COUNT %raw_ptr
+    __rc_dec_box_%raw_ptr = sub %raw_ptr, RcBox_data
+    __rc_dec_count_%raw_ptr = load __rc_dec_box_%raw_ptr+RcBox_strong as u64
+    __rc_dec_next_%raw_ptr = sub __rc_dec_count_%raw_ptr, 1
+    store __rc_dec_box_%raw_ptr+RcBox_strong, __rc_dec_next_%raw_ptr as u64
+    !__rc_dec_next_%raw_ptr
+    !__rc_dec_count_%raw_ptr
+    !__rc_dec_box_%raw_ptr
+[END_MACRO]
+
+[MACRO] RC_STRONG_COUNT %out_count, %rc_reg
+    %out_count = load %rc_reg+RcBox_strong as u64
+[END_MACRO]
+
+[MACRO] RC_WEAK_COUNT %out_count, %rc_reg
+    __rc_weak_total_%out_count = load %rc_reg+RcBox_weak as u64
+    %out_count = sub __rc_weak_total_%out_count, 1
+    !__rc_weak_total_%out_count
+[END_MACRO]
+
+[MACRO] RC_PTR_EQ %out_bool, %left_rc, %right_rc
+    %out_bool = eq %left_rc, %right_rc
+[END_MACRO]
+
+[MACRO] RC_GET_MUT %out_ok, %out_ptr, %rc_reg
+    __rc_mut_strong_%out_ok = load %rc_reg+RcBox_strong as u64
+    __rc_mut_weak_%out_ok = load %rc_reg+RcBox_weak as u64
+    __rc_mut_strong_one_%out_ok = eq __rc_mut_strong_%out_ok, 1
+    __rc_mut_weak_one_%out_ok = eq __rc_mut_weak_%out_ok, 1
+    __rc_mut_unique_%out_ok = and __rc_mut_strong_one_%out_ok, __rc_mut_weak_one_%out_ok
+    br __rc_mut_unique_%out_ok -> L_RC_GET_MUT_OK_%out_ok, L_RC_GET_MUT_FAIL_%out_ok
+L_RC_GET_MUT_OK_%out_ok:
+    %out_ptr = ptr_add %rc_reg, RcBox_data
+    %out_ok = add 0, 1
+    jmp L_RC_GET_MUT_DONE_%out_ok
+L_RC_GET_MUT_FAIL_%out_ok:
+    %out_ptr = 0 as ptr
+    %out_ok = add 0, 0
+L_RC_GET_MUT_DONE_%out_ok:
+    !__rc_mut_unique_%out_ok
+    !__rc_mut_weak_one_%out_ok
+    !__rc_mut_strong_one_%out_ok
+    !__rc_mut_weak_%out_ok
+    !__rc_mut_strong_%out_ok
+[END_MACRO]
+
+[MACRO] RC_TRY_UNWRAP %out_ok, %out_value, %rc_reg
+    __rc_unwrap_strong_%out_ok = load %rc_reg+RcBox_strong as u64
+    __rc_unwrap_unique_%out_ok = eq __rc_unwrap_strong_%out_ok, 1
+    br __rc_unwrap_unique_%out_ok -> L_RC_TRY_UNWRAP_OK_%out_ok, L_RC_TRY_UNWRAP_FAIL_%out_ok
+L_RC_TRY_UNWRAP_OK_%out_ok:
+    %out_value = load %rc_reg+RcBox_data as u64
+    %out_ok = add 0, 1
+    jmp L_RC_TRY_UNWRAP_DONE_%out_ok
+L_RC_TRY_UNWRAP_FAIL_%out_ok:
+    %out_value = add 0, 0
+    %out_ok = add 0, 0
+L_RC_TRY_UNWRAP_DONE_%out_ok:
+    !__rc_unwrap_unique_%out_ok
+    !__rc_unwrap_strong_%out_ok
+[END_MACRO]
+
+[MACRO] RC_MAKE_MUT_U64 %out_ptr, %rc_reg
+    %out_ptr = ptr_add %rc_reg, RcBox_data
+[END_MACRO]
+
+// Rust method-name alias over RC_MAKE_MUT_U64.
+[MACRO] RC_MAKE_MUT %out_ptr, %rc_reg
+    EXPAND RC_MAKE_MUT_U64 %out_ptr, %rc_reg
+[END_MACRO]
+
+[MACRO] RC_UNWRAP_OR_CLONE_U64 %out_value, %rc_reg
+    %out_value = load %rc_reg+RcBox_data as u64
+[END_MACRO]
+
+// Rust method-name alias over RC_UNWRAP_OR_CLONE_U64.
+[MACRO] RC_UNWRAP_OR_CLONE %out_value, %rc_reg
+    EXPAND RC_UNWRAP_OR_CLONE_U64 %out_value, %rc_reg
+[END_MACRO]
+
+[MACRO] RC_DROP %rc_reg, %cleanup_label
+    __rc_strong_%rc_reg = load %rc_reg+RcBox_strong as u64
+    __rc_next_strong_%rc_reg = sub __rc_strong_%rc_reg, 1
+    store %rc_reg+RcBox_strong, __rc_next_strong_%rc_reg as u64
+    __rc_is_last_%rc_reg = eq __rc_next_strong_%rc_reg, 0
+    br __rc_is_last_%rc_reg -> %cleanup_label, L_RC_DROP_DONE_%rc_reg
+L_RC_DROP_DONE_%rc_reg:
+    !__rc_is_last_%rc_reg
+    !__rc_next_strong_%rc_reg
+    !__rc_strong_%rc_reg
+[END_MACRO]
+
+[MACRO] RC_DOWNGRADE %out_weak, %rc_reg
+    __rc_weak_%out_weak = load %rc_reg+RcBox_weak as u64
+    __rc_next_weak_%out_weak = add __rc_weak_%out_weak, 1
+    store %rc_reg+RcBox_weak, __rc_next_weak_%out_weak as u64
+    %out_weak = add %rc_reg, 0
+    !__rc_next_weak_%out_weak
+    !__rc_weak_%out_weak
+[END_MACRO]
+
+[MACRO] WEAK_CLONE %weak_reg
+    __weak_count_%weak_reg = load %weak_reg+RcBox_weak as u64
+    __weak_next_%weak_reg = add __weak_count_%weak_reg, 1
+    store %weak_reg+RcBox_weak, __weak_next_%weak_reg as u64
+    !__weak_next_%weak_reg
+    !__weak_count_%weak_reg
+[END_MACRO]
+
+[MACRO] WEAK_NEW %out_weak
+    %out_weak = alloc RcBox_SIZE
+    store %out_weak+RcBox_strong, 0 as u64
+    store %out_weak+RcBox_weak, 1 as u64
+    store %out_weak+RcBox_data, 0 as u64
+[END_MACRO]
+
+// Rust-style Default alias for Weak::new().
+[MACRO] WEAK_DEFAULT %out_weak
+    EXPAND WEAK_NEW %out_weak
+[END_MACRO]
+
+[MACRO] WEAK_STRONG_COUNT %out_count, %weak_reg
+    %out_count = load %weak_reg+RcBox_strong as u64
+[END_MACRO]
+
+[MACRO] WEAK_WEAK_COUNT %out_count, %weak_reg
+    __weak_total_%out_count = load %weak_reg+RcBox_weak as u64
+    %out_count = sub __weak_total_%out_count, 1
+    !__weak_total_%out_count
+[END_MACRO]
+
+[MACRO] WEAK_PTR_EQ %out_bool, %left_weak, %right_weak
+    %out_bool = eq %left_weak, %right_weak
+[END_MACRO]
+
+[MACRO] WEAK_DROP %weak_reg, %free_label
+    __weak_count_%weak_reg = load %weak_reg+RcBox_weak as u64
+    __weak_next_count_%weak_reg = sub __weak_count_%weak_reg, 1
+    store %weak_reg+RcBox_weak, __weak_next_count_%weak_reg as u64
+    __weak_is_last_%weak_reg = eq __weak_next_count_%weak_reg, 0
+    br __weak_is_last_%weak_reg -> %free_label, L_WEAK_DROP_DONE_%weak_reg
+L_WEAK_DROP_DONE_%weak_reg:
+    !__weak_is_last_%weak_reg
+    !__weak_next_count_%weak_reg
+    !__weak_count_%weak_reg
+[END_MACRO]
+
+[MACRO] WEAK_UPGRADE %out_rc, %out_ok, %weak_reg
+    __weak_strong_%out_rc = load %weak_reg+RcBox_strong as u64
+    __weak_is_alive_%out_rc = ne __weak_strong_%out_rc, 0
+    br __weak_is_alive_%out_rc -> L_WEAK_UPGRADE_OK_%out_rc, L_WEAK_UPGRADE_NONE_%out_rc
+L_WEAK_UPGRADE_OK_%out_rc:
+    __weak_next_strong_%out_rc = add __weak_strong_%out_rc, 1
+    store %weak_reg+RcBox_strong, __weak_next_strong_%out_rc as u64
+    %out_rc = add %weak_reg, 0
+    %out_ok = add 0, 1
+    !__weak_next_strong_%out_rc
+    !__weak_is_alive_%out_rc
+    !__weak_strong_%out_rc
+    jmp L_WEAK_UPGRADE_END_%out_rc
+L_WEAK_UPGRADE_NONE_%out_rc:
+    %out_rc = add 0, 0
+    %out_ok = add 0, 0
+    !__weak_is_alive_%out_rc
+    !__weak_strong_%out_rc
+L_WEAK_UPGRADE_END_%out_rc:
+[END_MACRO]

package/sa_std/core/rc.sal

@@ -0,0 +1,4 @@
+#def RcBox_SIZE = 24
+#def RcBox_strong = +0
+#def RcBox_weak = +8
+#def RcBox_data = +16

package/sa_std/core/refcell.sa

@@ -0,0 +1,283 @@
+@import "refcell.sal"
+
+// RefCell borrow counts are intentionally non-atomic and mirror Rust's !Sync shape.
+// Do not share RefCell storage across threads; use Arc plus atomic or lock-backed state instead.
+
+[MACRO] REFCELL_NEW %out_cell, %value
+    %out_cell = alloc RefCell_SIZE
+    store %out_cell+RefCell_value, %value as u64
+    store %out_cell+RefCell_borrows, 0 as u64
+[END_MACRO]
+
+[MACRO] REFCELL_DEFAULT %out_cell
+    %out_cell = alloc RefCell_SIZE
+    store %out_cell+RefCell_value, 0 as u64
+    store %out_cell+RefCell_borrows, 0 as u64
+[END_MACRO]
+
+[MACRO] REFCELL_BORROW %out_ok, %out_borrow, %cell_reg, %err_label
+    __refcell_borrows_%out_ok = load %cell_reg+RefCell_borrows as i64
+    __refcell_can_share_%out_ok = sge __refcell_borrows_%out_ok, 0
+    br __refcell_can_share_%out_ok -> L_REFCELL_BORROW_OK_%out_ok, L_REFCELL_BORROW_FAIL_%out_ok
+L_REFCELL_BORROW_OK_%out_ok:
+    __refcell_next_borrows_%out_ok = add __refcell_borrows_%out_ok, 1
+    store %cell_reg+RefCell_borrows, __refcell_next_borrows_%out_ok as u64
+    %out_borrow = add %cell_reg, 0
+    %out_ok = add 0, 1
+    !__refcell_next_borrows_%out_ok
+    !__refcell_can_share_%out_ok
+    !__refcell_borrows_%out_ok
+    jmp L_REFCELL_BORROW_END_%out_ok
+L_REFCELL_BORROW_FAIL_%out_ok:
+    %out_borrow = add 0, 0
+    %out_ok = add 0, 0
+    !__refcell_can_share_%out_ok
+    !__refcell_borrows_%out_ok
+    jmp %err_label
+L_REFCELL_BORROW_END_%out_ok:
+[END_MACRO]
+
+[MACRO] REFCELL_BORROW_MUT %out_ok, %out_borrow, %cell_reg, %err_label
+    __refcell_borrows_%out_ok = load %cell_reg+RefCell_borrows as i64
+    __refcell_is_free_%out_ok = eq __refcell_borrows_%out_ok, 0
+    br __refcell_is_free_%out_ok -> L_REFCELL_BORROW_MUT_OK_%out_ok, L_REFCELL_BORROW_MUT_FAIL_%out_ok
+L_REFCELL_BORROW_MUT_OK_%out_ok:
+    __refcell_next_borrows_%out_ok = sub 0, 1
+    store %cell_reg+RefCell_borrows, __refcell_next_borrows_%out_ok as u64
+    %out_borrow = add %cell_reg, 0
+    %out_ok = add 0, 1
+    !__refcell_next_borrows_%out_ok
+    !__refcell_is_free_%out_ok
+    !__refcell_borrows_%out_ok
+    jmp L_REFCELL_BORROW_MUT_END_%out_ok
+L_REFCELL_BORROW_MUT_FAIL_%out_ok:
+    %out_borrow = add 0, 0
+    %out_ok = add 0, 0
+    !__refcell_is_free_%out_ok
+    !__refcell_borrows_%out_ok
+    jmp %err_label
+L_REFCELL_BORROW_MUT_END_%out_ok:
+[END_MACRO]
+
+[MACRO] REFCELL_RELEASE %cell_reg
+    __refcell_borrows_%cell_reg = load %cell_reg+RefCell_borrows as i64
+    __refcell_is_mut_%cell_reg = eq __refcell_borrows_%cell_reg, -1
+    br __refcell_is_mut_%cell_reg -> L_REFCELL_RELEASE_MUT_%cell_reg, L_REFCELL_RELEASE_SHARED_%cell_reg
+L_REFCELL_RELEASE_MUT_%cell_reg:
+    __refcell_next_borrows_%cell_reg = add 0, 0
+    store %cell_reg+RefCell_borrows, 0 as u64
+    jmp L_REFCELL_RELEASE_END_%cell_reg
+L_REFCELL_RELEASE_SHARED_%cell_reg:
+    __refcell_next_borrows_%cell_reg = sub __refcell_borrows_%cell_reg, 1
+    store %cell_reg+RefCell_borrows, __refcell_next_borrows_%cell_reg as u64
+L_REFCELL_RELEASE_END_%cell_reg:
+    !__refcell_next_borrows_%cell_reg
+    !__refcell_is_mut_%cell_reg
+    !__refcell_borrows_%cell_reg
+[END_MACRO]
+
+[MACRO] REFCELL_GET %out_value, %cell_reg
+    %out_value = load %cell_reg+RefCell_value as u64
+[END_MACRO]
+
+[MACRO] REFCELL_SET %cell_reg, %value
+    store %cell_reg+RefCell_value, %value as u64
+[END_MACRO]
+
+[MACRO] REFCELL_U64_NEW %out_cell, %value
+    %out_cell = alloc RefCellU64_SIZE
+    store %out_cell+RefCellU64_value, %value as u64
+    store %out_cell+RefCellU64_borrows, 0 as i64
+[END_MACRO]
+
+// Rust-style Default for concrete RefCell<u64>: value 0, free borrow state.
+[MACRO] REFCELL_U64_DEFAULT %out_cell
+    EXPAND REFCELL_U64_NEW %out_cell, 0
+[END_MACRO]
+
+[MACRO] REFCELL_U64_BORROW_COUNT %out_count, %cell_reg
+    %out_count = load %cell_reg+RefCellU64_borrows as i64
+[END_MACRO]
+
+[MACRO] REFCELL_U64_IS_BORROWED %out_bool, %cell_reg
+    __refcell_u64_count_%out_bool = load %cell_reg+RefCellU64_borrows as i64
+    %out_bool = ne __refcell_u64_count_%out_bool, 0
+    !__refcell_u64_count_%out_bool
+[END_MACRO]
+
+[MACRO] REFCELL_U64_TRY_BORROW %out_ok, %out_ptr, %cell_reg
+    __refcell_u64_borrows_%out_ok = load %cell_reg+RefCellU64_borrows as i64
+    __refcell_u64_can_share_%out_ok = sge __refcell_u64_borrows_%out_ok, 0
+    br __refcell_u64_can_share_%out_ok -> L_REFCELL_U64_BORROW_OK_%out_ok, L_REFCELL_U64_BORROW_FAIL_%out_ok
+L_REFCELL_U64_BORROW_OK_%out_ok:
+    __refcell_u64_next_%out_ok = add __refcell_u64_borrows_%out_ok, 1
+    store %cell_reg+RefCellU64_borrows, __refcell_u64_next_%out_ok as i64
+    %out_ptr = ptr_add %cell_reg, RefCellU64_value
+    %out_ok = add 0, 1
+    !__refcell_u64_next_%out_ok
+    !__refcell_u64_can_share_%out_ok
+    !__refcell_u64_borrows_%out_ok
+    jmp L_REFCELL_U64_BORROW_END_%out_ok
+L_REFCELL_U64_BORROW_FAIL_%out_ok:
+    %out_ptr = 0 as ptr
+    %out_ok = add 0, 0
+    !__refcell_u64_can_share_%out_ok
+    !__refcell_u64_borrows_%out_ok
+L_REFCELL_U64_BORROW_END_%out_ok:
+[END_MACRO]
+
+[MACRO] REFCELL_U64_TRY_BORROW_MUT %out_ok, %out_ptr, %cell_reg
+    __refcell_u64_mut_borrows_%out_ok = load %cell_reg+RefCellU64_borrows as i64
+    __refcell_u64_mut_free_%out_ok = eq __refcell_u64_mut_borrows_%out_ok, 0
+    br __refcell_u64_mut_free_%out_ok -> L_REFCELL_U64_BORROW_MUT_OK_%out_ok, L_REFCELL_U64_BORROW_MUT_FAIL_%out_ok
+L_REFCELL_U64_BORROW_MUT_OK_%out_ok:
+    store %cell_reg+RefCellU64_borrows, -1 as i64
+    %out_ptr = ptr_add %cell_reg, RefCellU64_value
+    %out_ok = add 0, 1
+    !__refcell_u64_mut_free_%out_ok
+    !__refcell_u64_mut_borrows_%out_ok
+    jmp L_REFCELL_U64_BORROW_MUT_END_%out_ok
+L_REFCELL_U64_BORROW_MUT_FAIL_%out_ok:
+    %out_ptr = 0 as ptr
+    %out_ok = add 0, 0
+    !__refcell_u64_mut_free_%out_ok
+    !__refcell_u64_mut_borrows_%out_ok
+L_REFCELL_U64_BORROW_MUT_END_%out_ok:
+[END_MACRO]
+
+[MACRO] REFCELL_U64_RELEASE_SHARED %cell_reg
+    __refcell_u64_shared_%cell_reg = load %cell_reg+RefCellU64_borrows as i64
+    __refcell_u64_next_%cell_reg = sub __refcell_u64_shared_%cell_reg, 1
+    store %cell_reg+RefCellU64_borrows, __refcell_u64_next_%cell_reg as i64
+    !__refcell_u64_next_%cell_reg
+    !__refcell_u64_shared_%cell_reg
+[END_MACRO]
+
+[MACRO] REFCELL_U64_RELEASE_MUT %cell_reg
+    store %cell_reg+RefCellU64_borrows, 0 as i64
+[END_MACRO]
+
+[MACRO] REFCELL_U64_GET %out_value, %cell_reg
+    %out_value = load %cell_reg+RefCellU64_value as u64
+[END_MACRO]
+
+[MACRO] REFCELL_U64_SET %cell_reg, %value
+    store %cell_reg+RefCellU64_value, %value as u64
+[END_MACRO]
+
+[MACRO] REFCELL_U64_REPLACE %out_old, %cell_reg, %value
+    %out_old = load %cell_reg+RefCellU64_value as u64
+    store %cell_reg+RefCellU64_value, %value as u64
+[END_MACRO]
+
+[MACRO] REFCELL_U64_TRY_REPLACE %out_ok, %out_old, %cell_reg, %value
+    __refcell_u64_replace_borrows_%out_ok = load %cell_reg+RefCellU64_borrows as i64
+    __refcell_u64_replace_free_%out_ok = eq __refcell_u64_replace_borrows_%out_ok, 0
+    br __refcell_u64_replace_free_%out_ok -> L_REFCELL_U64_REPLACE_OK_%out_ok, L_REFCELL_U64_REPLACE_FAIL_%out_ok
+
+L_REFCELL_U64_REPLACE_OK_%out_ok:
+    EXPAND REFCELL_U64_REPLACE %out_old, %cell_reg, %value
+    %out_ok = add 0, 1
+    !__refcell_u64_replace_free_%out_ok
+    !__refcell_u64_replace_borrows_%out_ok
+    jmp L_REFCELL_U64_REPLACE_END_%out_ok
+
+L_REFCELL_U64_REPLACE_FAIL_%out_ok:
+    %out_old = add 0, 0
+    %out_ok = add 0, 0
+    !__refcell_u64_replace_free_%out_ok
+    !__refcell_u64_replace_borrows_%out_ok
+
+L_REFCELL_U64_REPLACE_END_%out_ok:
+[END_MACRO]
+
+[MACRO] REFCELL_U64_TAKE %out_old, %cell_reg
+    %out_old = load %cell_reg+RefCellU64_value as u64
+    store %cell_reg+RefCellU64_value, 0 as u64
+[END_MACRO]
+
+[MACRO] REFCELL_U64_TRY_TAKE %out_ok, %out_old, %cell_reg
+    EXPAND REFCELL_U64_TRY_REPLACE %out_ok, %out_old, %cell_reg, 0
+[END_MACRO]
+
+[MACRO] REFCELL_U64_SWAP %left_cell, %right_cell
+    __refcell_u64_swap_left_%left_cell = load %left_cell+RefCellU64_value as u64
+    __refcell_u64_swap_right_%left_cell = load %right_cell+RefCellU64_value as u64
+    store %left_cell+RefCellU64_value, __refcell_u64_swap_right_%left_cell as u64
+    store %right_cell+RefCellU64_value, __refcell_u64_swap_left_%left_cell as u64
+    !__refcell_u64_swap_right_%left_cell
+    !__refcell_u64_swap_left_%left_cell
+[END_MACRO]
+
+[MACRO] REFCELL_U64_TRY_SWAP %out_ok, %left_cell, %right_cell
+    __refcell_u64_swap_left_borrows_%out_ok = load %left_cell+RefCellU64_borrows as i64
+    __refcell_u64_swap_right_borrows_%out_ok = load %right_cell+RefCellU64_borrows as i64
+    __refcell_u64_swap_left_free_%out_ok = eq __refcell_u64_swap_left_borrows_%out_ok, 0
+    __refcell_u64_swap_right_free_%out_ok = eq __refcell_u64_swap_right_borrows_%out_ok, 0
+    __refcell_u64_swap_can_%out_ok = and __refcell_u64_swap_left_free_%out_ok, __refcell_u64_swap_right_free_%out_ok
+    br __refcell_u64_swap_can_%out_ok -> L_REFCELL_U64_SWAP_OK_%out_ok, L_REFCELL_U64_SWAP_FAIL_%out_ok
+
+L_REFCELL_U64_SWAP_OK_%out_ok:
+    EXPAND REFCELL_U64_SWAP %left_cell, %right_cell
+    %out_ok = add 0, 1
+    !__refcell_u64_swap_can_%out_ok
+    !__refcell_u64_swap_right_free_%out_ok
+    !__refcell_u64_swap_left_free_%out_ok
+    !__refcell_u64_swap_right_borrows_%out_ok
+    !__refcell_u64_swap_left_borrows_%out_ok
+    jmp L_REFCELL_U64_SWAP_END_%out_ok
+
+L_REFCELL_U64_SWAP_FAIL_%out_ok:
+    %out_ok = add 0, 0
+    !__refcell_u64_swap_can_%out_ok
+    !__refcell_u64_swap_right_free_%out_ok
+    !__refcell_u64_swap_left_free_%out_ok
+    !__refcell_u64_swap_right_borrows_%out_ok
+    !__refcell_u64_swap_left_borrows_%out_ok
+
+L_REFCELL_U64_SWAP_END_%out_ok:
+[END_MACRO]
+
+[MACRO] REFCELL_U64_UPDATE %out_old, %out_new, %cell_reg, %update_fn
+    %out_old = load %cell_reg+RefCellU64_value as u64
+    %out_new = call %update_fn(%out_old)
+    store %cell_reg+RefCellU64_value, %out_new as u64
+[END_MACRO]
+
+[MACRO] REFCELL_U64_REPLACE_WITH %out_old, %out_new, %cell_reg, %update_fn
+    EXPAND REFCELL_U64_UPDATE %out_old, %out_new, %cell_reg, %update_fn
+[END_MACRO]
+
+[MACRO] REFCELL_U64_TRY_REPLACE_WITH %out_ok, %out_old, %out_new, %cell_reg, %update_fn
+    __refcell_u64_replace_with_borrows_%out_ok = load %cell_reg+RefCellU64_borrows as i64
+    __refcell_u64_replace_with_free_%out_ok = eq __refcell_u64_replace_with_borrows_%out_ok, 0
+    br __refcell_u64_replace_with_free_%out_ok -> L_REFCELL_U64_REPLACE_WITH_OK_%out_ok, L_REFCELL_U64_REPLACE_WITH_FAIL_%out_ok
+
+L_REFCELL_U64_REPLACE_WITH_OK_%out_ok:
+    EXPAND REFCELL_U64_REPLACE_WITH %out_old, %out_new, %cell_reg, %update_fn
+    %out_ok = add 0, 1
+    !__refcell_u64_replace_with_free_%out_ok
+    !__refcell_u64_replace_with_borrows_%out_ok
+    jmp L_REFCELL_U64_REPLACE_WITH_END_%out_ok
+
+L_REFCELL_U64_REPLACE_WITH_FAIL_%out_ok:
+    %out_old = add 0, 0
+    %out_new = add 0, 0
+    %out_ok = add 0, 0
+    !__refcell_u64_replace_with_free_%out_ok
+    !__refcell_u64_replace_with_borrows_%out_ok
+
+L_REFCELL_U64_REPLACE_WITH_END_%out_ok:
+[END_MACRO]
+
+[MACRO] REFCELL_U64_INTO_INNER %out_value, %cell_reg
+    %out_value = load %cell_reg+RefCellU64_value as u64
+[END_MACRO]
+
+[MACRO] REFCELL_U64_AS_PTR %out_ptr, %cell_reg
+    %out_ptr = ptr_add %cell_reg, RefCellU64_value
+[END_MACRO]
+
+[MACRO] REFCELL_U64_GET_MUT_PTR %out_ptr, %cell_reg
+    %out_ptr = ptr_add %cell_reg, RefCellU64_value
+[END_MACRO]

package/sa_std/core/refcell.sal

@@ -0,0 +1,13 @@
+#def RefCell_SIZE = 8
+#def RefCell_value = +0
+#def RefCell_borrows = +4
+
+#def RefCellU64_SIZE = 16
+#def RefCellU64_value = +0
+#def RefCellU64_borrows = +8
+
+#def BorrowError_SIZE = 0
+#def BorrowError_ALIGN = 1
+
+#def BorrowMutError_SIZE = 0
+#def BorrowMutError_ALIGN = 1