@salang/sa 0.1.2 → 0.1.4

package/sa_std/core/slice.sal

@@ -0,0 +1,7 @@
+#def Slice_SIZE = 16
+#def Slice_ptr  = +0
+#def Slice_len  = +8
+
+#def TryFromSliceError_SIZE = 8
+#def TryFromSliceError_code = +0
+#def TRY_FROM_SLICE_ERROR_LENGTH_MISMATCH = 0

package/sa_std/core/task.sa

@@ -0,0 +1,112 @@
+@import "task.sal"
+@import "future.sal"
+@import "future.sa"
+
+[MACRO] TASK_NEW %out_task, %future_reg, %ctx_reg
+    %out_task = alloc Task_SIZE
+    store %out_task+Task_future, %future_reg as ptr
+    store %out_task+Task_context, %ctx_reg as ptr
+    store %out_task+Task_result, 0 as u64
+    store %out_task+Task_state, Task_PENDING as u64
+[END_MACRO]
+
+[MACRO] TASK_STATE %out_state, %task_reg
+    %out_state = load %task_reg+Task_state as u64
+[END_MACRO]
+
+[MACRO] TASK_RESULT %out_value, %task_reg
+    %out_value = load %task_reg+Task_result as u64
+[END_MACRO]
+
+[MACRO] TASK_IS_READY %out_bool, %task_reg
+    __task_state_%out_bool = load %task_reg+Task_state as u64
+    %out_bool = eq __task_state_%out_bool, Task_READY
+    !__task_state_%out_bool
+[END_MACRO]
+
+[MACRO] TASK_POLL %out_poll, %task_reg
+    __task_future_%out_poll = load %task_reg+Task_future as ptr
+    __task_context_%out_poll = load %task_reg+Task_context as ptr
+    EXPAND FUTURE_POLL %out_poll, __task_future_%out_poll, __task_context_%out_poll
+    __task_poll_tag_%out_poll = load %out_poll+Poll_tag as u64
+    __task_poll_ready_%out_poll = eq __task_poll_tag_%out_poll, Poll_READY
+    br __task_poll_ready_%out_poll -> L_TASK_POLL_READY_%out_poll, L_TASK_POLL_PENDING_%out_poll
+L_TASK_POLL_READY_%out_poll:
+    __task_poll_value_%out_poll = load %out_poll+Poll_value as u64
+    store %task_reg+Task_result, __task_poll_value_%out_poll as u64
+    store %task_reg+Task_state, Task_READY as u64
+    !__task_poll_value_%out_poll
+    jmp L_TASK_POLL_DONE_%out_poll
+L_TASK_POLL_PENDING_%out_poll:
+    store %task_reg+Task_state, Task_PENDING as u64
+L_TASK_POLL_DONE_%out_poll:
+    !__task_poll_ready_%out_poll
+    !__task_poll_tag_%out_poll
+    !__task_context_%out_poll
+    !__task_future_%out_poll
+[END_MACRO]
+
+[MACRO] EXECUTOR_NEW %out_executor, %tasks_ptr, %len
+    %out_executor = alloc Executor_SIZE
+    store %out_executor+Executor_tasks, %tasks_ptr as ptr
+    store %out_executor+Executor_len, %len as u64
+[END_MACRO]
+
+[MACRO] EXECUTOR_POLL_ONE %out_poll, %executor_reg, %index
+    __executor_tasks_%out_poll = load %executor_reg+Executor_tasks as ptr
+    __executor_off_%out_poll = mul %index, 8
+    __executor_slot_%out_poll = ptr_add __executor_tasks_%out_poll, __executor_off_%out_poll
+    __executor_task_%out_poll = load __executor_slot_%out_poll+0 as ptr
+    EXPAND TASK_POLL %out_poll, __executor_task_%out_poll
+    !__executor_task_%out_poll
+    !__executor_slot_%out_poll
+    !__executor_off_%out_poll
+    !__executor_tasks_%out_poll
+[END_MACRO]
+
+[MACRO] EXECUTOR_POLL_READY_COUNT %out_count, %executor_reg
+    __executor_tasks_%out_count = load %executor_reg+Executor_tasks as ptr
+    __executor_len_%out_count = load %executor_reg+Executor_len as u64
+    __executor_index_slot_%out_count = stack_alloc 8
+    store __executor_index_slot_%out_count+0, 0 as u64
+    __executor_count_slot_%out_count = stack_alloc 8
+    store __executor_count_slot_%out_count+0, 0 as u64
+    jmp L_EXECUTOR_POLL_ALL_COND_%out_count
+L_EXECUTOR_POLL_ALL_COND_%out_count:
+    __executor_index_%out_count = load __executor_index_slot_%out_count+0 as u64
+    __executor_done_%out_count = eq __executor_index_%out_count, __executor_len_%out_count
+    br __executor_done_%out_count -> L_EXECUTOR_POLL_ALL_DONE_%out_count, L_EXECUTOR_POLL_ALL_BODY_%out_count
+L_EXECUTOR_POLL_ALL_BODY_%out_count:
+    __executor_off_%out_count = mul __executor_index_%out_count, 8
+    __executor_slot_%out_count = ptr_add __executor_tasks_%out_count, __executor_off_%out_count
+    __executor_task_%out_count = load __executor_slot_%out_count+0 as ptr
+    EXPAND TASK_POLL __executor_poll_%out_count, __executor_task_%out_count
+    __executor_poll_tag_%out_count = load __executor_poll_%out_count+Poll_tag as u64
+    __executor_poll_ready_%out_count = eq __executor_poll_tag_%out_count, Poll_READY
+    br __executor_poll_ready_%out_count -> L_EXECUTOR_POLL_ALL_READY_%out_count, L_EXECUTOR_POLL_ALL_NEXT_%out_count
+L_EXECUTOR_POLL_ALL_READY_%out_count:
+    __executor_count_%out_count = load __executor_count_slot_%out_count+0 as u64
+    __executor_next_count_%out_count = add __executor_count_%out_count, 1
+    store __executor_count_slot_%out_count+0, __executor_next_count_%out_count as u64
+    !__executor_next_count_%out_count
+    !__executor_count_%out_count
+L_EXECUTOR_POLL_ALL_NEXT_%out_count:
+    __executor_next_index_%out_count = add __executor_index_%out_count, 1
+    store __executor_index_slot_%out_count+0, __executor_next_index_%out_count as u64
+    !__executor_next_index_%out_count
+    !__executor_poll_ready_%out_count
+    !__executor_poll_tag_%out_count
+    !__executor_poll_%out_count
+    !__executor_task_%out_count
+    !__executor_slot_%out_count
+    !__executor_off_%out_count
+    !__executor_done_%out_count
+    !__executor_index_%out_count
+    jmp L_EXECUTOR_POLL_ALL_COND_%out_count
+L_EXECUTOR_POLL_ALL_DONE_%out_count:
+    %out_count = load __executor_count_slot_%out_count+0 as u64
+    !__executor_done_%out_count
+    !__executor_index_%out_count
+    !__executor_len_%out_count
+    !__executor_tasks_%out_count
+[END_MACRO]

package/sa_std/core/task.sal

@@ -0,0 +1,15 @@
+#def Task_SIZE = 32
+#def Task_future = +0
+#def Task_context = +8
+#def Task_result = +16
+#def Task_state = +24
+
+#def Task_PENDING = 0
+#def Task_READY = 1
+
+#def Executor_SIZE = 16
+#def Executor_tasks = +0
+#def Executor_len = +8
+
+#def ExecutorPoll_PENDING = 0
+#def ExecutorPoll_READY = 1

package/sa_std/core/trait_object.sa

@@ -0,0 +1,26 @@
+@import "trait_object.sal"
+
+[MACRO] DYN_NEW %out_dyn, %data_ptr, %vtable_ptr
+    %out_dyn = alloc Dyn_SIZE
+    store %out_dyn+Dyn_data, %data_ptr as ptr
+    store %out_dyn+Dyn_vtable, %vtable_ptr as ptr
+[END_MACRO]
+
+[MACRO] DYN_GET_DATA %out_data, %dyn_reg
+    %out_data = load %dyn_reg+Dyn_data as ptr
+[END_MACRO]
+
+[MACRO] DYN_GET_VTABLE %out_vtable, %dyn_reg
+    %out_vtable = load %dyn_reg+Dyn_vtable as ptr
+[END_MACRO]
+
+[MACRO] DYN_CALL %out_value, %dyn_reg, %slot_off
+    __dyn_data_%out_value = load %dyn_reg+Dyn_data as ptr
+    __dyn_vtable_%out_value = load %dyn_reg+Dyn_vtable as ptr
+    __dyn_fn_%out_value = load __dyn_vtable_%out_value+%slot_off as ptr
+    %out_value = call_indirect __dyn_fn_%out_value(&__dyn_data_%out_value)
+    !__dyn_fn_%out_value
+    !__dyn_vtable_%out_value
+    !__dyn_data_%out_value
+[END_MACRO]
+

package/sa_std/core/trait_object.sal

@@ -0,0 +1,4 @@
+#def Dyn_SIZE = 16
+#def Dyn_data = +0
+#def Dyn_vtable = +8
+

package/sa_std/core/waker.sa

@@ -0,0 +1,289 @@
+@import "waker.sal"
+
+[MACRO] RAW_WAKER_VTABLE_NEW %out_vtable, %clone_fn, %wake_fn, %wake_by_ref_fn, %drop_fn
+    __raw_waker_clone_obj_%out_vtable = %clone_fn
+    __raw_waker_clone_vt_%out_vtable = load __raw_waker_clone_obj_%out_vtable+8 as ptr
+    __raw_waker_clone_call_%out_vtable = load __raw_waker_clone_vt_%out_vtable+0 as ptr
+
+    __raw_waker_wake_obj_%out_vtable = %wake_fn
+    __raw_waker_wake_vt_%out_vtable = load __raw_waker_wake_obj_%out_vtable+8 as ptr
+    __raw_waker_wake_call_%out_vtable = load __raw_waker_wake_vt_%out_vtable+0 as ptr
+
+    __raw_waker_ref_obj_%out_vtable = %wake_by_ref_fn
+    __raw_waker_ref_vt_%out_vtable = load __raw_waker_ref_obj_%out_vtable+8 as ptr
+    __raw_waker_ref_call_%out_vtable = load __raw_waker_ref_vt_%out_vtable+0 as ptr
+
+    __raw_waker_drop_obj_%out_vtable = %drop_fn
+    __raw_waker_drop_vt_%out_vtable = load __raw_waker_drop_obj_%out_vtable+8 as ptr
+    __raw_waker_drop_call_%out_vtable = load __raw_waker_drop_vt_%out_vtable+0 as ptr
+
+    %out_vtable = alloc RawWakerVTable_SIZE
+    store %out_vtable+RawWakerVTable_clone, __raw_waker_clone_call_%out_vtable as ptr
+    store %out_vtable+RawWakerVTable_wake, __raw_waker_wake_call_%out_vtable as ptr
+    store %out_vtable+RawWakerVTable_wake_by_ref, __raw_waker_ref_call_%out_vtable as ptr
+    store %out_vtable+RawWakerVTable_drop, __raw_waker_drop_call_%out_vtable as ptr
+
+    !__raw_waker_drop_call_%out_vtable
+    !__raw_waker_drop_vt_%out_vtable
+    !__raw_waker_drop_obj_%out_vtable
+    !__raw_waker_ref_call_%out_vtable
+    !__raw_waker_ref_vt_%out_vtable
+    !__raw_waker_ref_obj_%out_vtable
+    !__raw_waker_wake_call_%out_vtable
+    !__raw_waker_wake_vt_%out_vtable
+    !__raw_waker_wake_obj_%out_vtable
+    !__raw_waker_clone_call_%out_vtable
+    !__raw_waker_clone_vt_%out_vtable
+    !__raw_waker_clone_obj_%out_vtable
+[END_MACRO]
+
+[MACRO] RAW_WAKER_NEW %out_raw, %data_ptr, %vtable_ptr
+    %out_raw = alloc RawWaker_SIZE
+    store %out_raw+RawWaker_data, %data_ptr as ptr
+    store %out_raw+RawWaker_vtable, %vtable_ptr as ptr
+[END_MACRO]
+
+[MACRO] RAW_WAKER_GET_DATA %out_data, %raw_reg
+    %out_data = load %raw_reg+RawWaker_data as ptr
+[END_MACRO]
+
+[MACRO] RAW_WAKER_GET_VTABLE %out_vtable, %raw_reg
+    %out_vtable = load %raw_reg+RawWaker_vtable as ptr
+[END_MACRO]
+
+[MACRO] RAW_WAKER_CLONE %out_raw, %raw_reg
+    __raw_waker_clone_vt_%out_raw = load %raw_reg+RawWaker_vtable as ptr
+    __raw_waker_clone_fn_%out_raw = load __raw_waker_clone_vt_%out_raw+RawWakerVTable_clone as ptr
+    __raw_waker_clone_data_%out_raw = load %raw_reg+RawWaker_data as ptr
+    __raw_waker_clone_slot_%out_raw = alloc RawWaker_SIZE
+    call_indirect __raw_waker_clone_fn_%out_raw(__raw_waker_clone_data_%out_raw, __raw_waker_clone_slot_%out_raw)
+    %out_raw = __raw_waker_clone_slot_%out_raw
+    !__raw_waker_clone_data_%out_raw
+    !__raw_waker_clone_fn_%out_raw
+    !__raw_waker_clone_vt_%out_raw
+[END_MACRO]
+
+[MACRO] RAW_WAKER_WAKE %out_value, %raw_reg
+    __raw_waker_vt_%out_value = load %raw_reg+RawWaker_vtable as ptr
+    __raw_waker_fn_%out_value = load __raw_waker_vt_%out_value+RawWakerVTable_wake as ptr
+    __raw_waker_data_%out_value = load %raw_reg+RawWaker_data as ptr
+    %out_value = call_indirect __raw_waker_fn_%out_value(__raw_waker_data_%out_value)
+    !__raw_waker_data_%out_value
+    !__raw_waker_fn_%out_value
+    !__raw_waker_vt_%out_value
+[END_MACRO]
+
+[MACRO] RAW_WAKER_WAKE_BY_REF %out_value, %raw_reg
+    __raw_waker_ref_vt_%out_value = load %raw_reg+RawWaker_vtable as ptr
+    __raw_waker_ref_fn_%out_value = load __raw_waker_ref_vt_%out_value+RawWakerVTable_wake_by_ref as ptr
+    __raw_waker_ref_data_%out_value = load %raw_reg+RawWaker_data as ptr
+    %out_value = call_indirect __raw_waker_ref_fn_%out_value(__raw_waker_ref_data_%out_value)
+    !__raw_waker_ref_data_%out_value
+    !__raw_waker_ref_fn_%out_value
+    !__raw_waker_ref_vt_%out_value
+[END_MACRO]
+
+[MACRO] RAW_WAKER_DROP %raw_reg, %free_label
+    __raw_waker_drop_vt_%raw_reg = load %raw_reg+RawWaker_vtable as ptr
+    __raw_waker_drop_fn_%raw_reg = load __raw_waker_drop_vt_%raw_reg+RawWakerVTable_drop as ptr
+    __raw_waker_drop_data_%raw_reg = load %raw_reg+RawWaker_data as ptr
+    call_indirect __raw_waker_drop_fn_%raw_reg(__raw_waker_drop_data_%raw_reg)
+    !__raw_waker_drop_data_%raw_reg
+    !__raw_waker_drop_fn_%raw_reg
+    !__raw_waker_drop_vt_%raw_reg
+    jmp %free_label
+[END_MACRO]
+
+[MACRO] WAKER_NEW %out_waker, %data_ptr, %vtable_ptr
+    %out_waker = alloc Waker_SIZE
+    store %out_waker+Waker_data, %data_ptr as ptr
+    store %out_waker+Waker_vtable, %vtable_ptr as ptr
+[END_MACRO]
+
+[MACRO] WAKER_FROM_RAW %out_waker, %raw_reg
+    __raw_waker_data_%out_waker = load %raw_reg+RawWaker_data as ptr
+    __raw_waker_vtable_%out_waker = load %raw_reg+RawWaker_vtable as ptr
+    %out_waker = alloc Waker_SIZE
+    store %out_waker+Waker_raw_data, __raw_waker_data_%out_waker as ptr
+    store %out_waker+Waker_raw_vtable, __raw_waker_vtable_%out_waker as ptr
+    !__raw_waker_vtable_%out_waker
+    !__raw_waker_data_%out_waker
+[END_MACRO]
+
+[MACRO] LOCAL_WAKER_NEW %out_waker, %data_ptr, %vtable_ptr
+    %out_waker = alloc LocalWaker_SIZE
+    store %out_waker+LocalWaker_raw_data, %data_ptr as ptr
+    store %out_waker+LocalWaker_raw_vtable, %vtable_ptr as ptr
+[END_MACRO]
+
+[MACRO] LOCAL_WAKER_FROM_RAW %out_waker, %raw_reg
+    __raw_local_waker_data_%out_waker = load %raw_reg+RawWaker_data as ptr
+    __raw_local_waker_vtable_%out_waker = load %raw_reg+RawWaker_vtable as ptr
+    %out_waker = alloc LocalWaker_SIZE
+    store %out_waker+LocalWaker_raw_data, __raw_local_waker_data_%out_waker as ptr
+    store %out_waker+LocalWaker_raw_vtable, __raw_local_waker_vtable_%out_waker as ptr
+    !__raw_local_waker_vtable_%out_waker
+    !__raw_local_waker_data_%out_waker
+[END_MACRO]
+
+[MACRO] WAKER_CLONE %out_waker, %waker_reg
+    __waker_clone_vt_%out_waker = load %waker_reg+Waker_vtable as ptr
+    __waker_clone_fn_%out_waker = load __waker_clone_vt_%out_waker+WakerCloneSlot as ptr
+    __waker_clone_data_%out_waker = load %waker_reg+Waker_data as ptr
+    __waker_clone_slot_%out_waker = alloc RawWaker_SIZE
+    call_indirect __waker_clone_fn_%out_waker(__waker_clone_data_%out_waker, __waker_clone_slot_%out_waker)
+    EXPAND WAKER_FROM_RAW %out_waker, __waker_clone_slot_%out_waker
+    !__waker_clone_slot_%out_waker
+    !__waker_clone_data_%out_waker
+    !__waker_clone_fn_%out_waker
+    !__waker_clone_vt_%out_waker
+[END_MACRO]
+
+[MACRO] LOCAL_WAKER_CLONE %out_waker, %waker_reg
+    __local_waker_clone_vt_%out_waker = load %waker_reg+LocalWaker_vtable as ptr
+    __local_waker_clone_fn_%out_waker = load __local_waker_clone_vt_%out_waker+RawWakerVTable_clone as ptr
+    __local_waker_clone_data_%out_waker = load %waker_reg+LocalWaker_data as ptr
+    __local_waker_clone_slot_%out_waker = alloc RawWaker_SIZE
+    call_indirect __local_waker_clone_fn_%out_waker(__local_waker_clone_data_%out_waker, __local_waker_clone_slot_%out_waker)
+    EXPAND LOCAL_WAKER_FROM_RAW %out_waker, __local_waker_clone_slot_%out_waker
+    !__local_waker_clone_slot_%out_waker
+    !__local_waker_clone_data_%out_waker
+    !__local_waker_clone_fn_%out_waker
+    !__local_waker_clone_vt_%out_waker
+[END_MACRO]
+
+[MACRO] WAKER_WILL_WAKE %out_bool, %left_waker, %right_waker
+    __waker_will_left_data_%out_bool = load %left_waker+Waker_data as ptr
+    __waker_will_right_data_%out_bool = load %right_waker+Waker_data as ptr
+    __waker_will_left_vt_%out_bool = load %left_waker+Waker_vtable as ptr
+    __waker_will_right_vt_%out_bool = load %right_waker+Waker_vtable as ptr
+    __waker_will_same_data_%out_bool = eq __waker_will_left_data_%out_bool, __waker_will_right_data_%out_bool
+    __waker_will_same_vt_%out_bool = eq __waker_will_left_vt_%out_bool, __waker_will_right_vt_%out_bool
+    %out_bool = and __waker_will_same_data_%out_bool, __waker_will_same_vt_%out_bool
+    !__waker_will_same_vt_%out_bool
+    !__waker_will_same_data_%out_bool
+    !__waker_will_right_vt_%out_bool
+    !__waker_will_left_vt_%out_bool
+    !__waker_will_right_data_%out_bool
+    !__waker_will_left_data_%out_bool
+[END_MACRO]
+
+[MACRO] LOCAL_WAKER_WILL_WAKE %out_bool, %left_waker, %right_waker
+    __local_waker_will_left_data_%out_bool = load %left_waker+LocalWaker_data as ptr
+    __local_waker_will_right_data_%out_bool = load %right_waker+LocalWaker_data as ptr
+    __local_waker_will_left_vt_%out_bool = load %left_waker+LocalWaker_vtable as ptr
+    __local_waker_will_right_vt_%out_bool = load %right_waker+LocalWaker_vtable as ptr
+    __local_waker_will_same_data_%out_bool = eq __local_waker_will_left_data_%out_bool, __local_waker_will_right_data_%out_bool
+    __local_waker_will_same_vt_%out_bool = eq __local_waker_will_left_vt_%out_bool, __local_waker_will_right_vt_%out_bool
+    %out_bool = and __local_waker_will_same_data_%out_bool, __local_waker_will_same_vt_%out_bool
+    !__local_waker_will_same_vt_%out_bool
+    !__local_waker_will_same_data_%out_bool
+    !__local_waker_will_right_vt_%out_bool
+    !__local_waker_will_left_vt_%out_bool
+    !__local_waker_will_right_data_%out_bool
+    !__local_waker_will_left_data_%out_bool
+[END_MACRO]
+
+[MACRO] WAKER_GET_VTABLE %out_vtable, %waker_reg
+    %out_vtable = load %waker_reg+Waker_vtable as ptr
+[END_MACRO]
+
+[MACRO] WAKER_GET_DATA %out_data, %waker_reg
+    %out_data = load %waker_reg+Waker_data as ptr
+[END_MACRO]
+
+[MACRO] LOCAL_WAKER_GET_VTABLE %out_vtable, %waker_reg
+    %out_vtable = load %waker_reg+LocalWaker_vtable as ptr
+[END_MACRO]
+
+[MACRO] LOCAL_WAKER_GET_DATA %out_data, %waker_reg
+    %out_data = load %waker_reg+LocalWaker_data as ptr
+[END_MACRO]
+
+[MACRO] WAKER_WAKE %out_value, %waker_reg
+    __waker_vt_%out_value = load %waker_reg+Waker_vtable as ptr
+    __waker_fn_%out_value = load __waker_vt_%out_value+WakerWakeSlot as ptr
+    __waker_data_%out_value = load %waker_reg+Waker_data as ptr
+    %out_value = call_indirect __waker_fn_%out_value(__waker_data_%out_value)
+    !__waker_data_%out_value
+    !__waker_fn_%out_value
+    !__waker_vt_%out_value
+[END_MACRO]
+
+[MACRO] WAKER_WAKE_BY_REF %out_value, %waker_reg
+    __waker_vt_ref_%out_value = load %waker_reg+Waker_vtable as ptr
+    __waker_fn_ref_%out_value = load __waker_vt_ref_%out_value+WakerWakeByRefSlot as ptr
+    __waker_data_ref_%out_value = load %waker_reg+Waker_data as ptr
+    %out_value = call_indirect __waker_fn_ref_%out_value(__waker_data_ref_%out_value)
+    !__waker_data_ref_%out_value
+    !__waker_fn_ref_%out_value
+    !__waker_vt_ref_%out_value
+[END_MACRO]
+
+[MACRO] WAKER_DROP %waker_reg, %free_label
+    __waker_vt_drop_%waker_reg = load %waker_reg+Waker_vtable as ptr
+    __waker_drop_fn_%waker_reg = load __waker_vt_drop_%waker_reg+WakerDropSlot as ptr
+    __waker_drop_data_%waker_reg = load %waker_reg+Waker_data as ptr
+    call_indirect __waker_drop_fn_%waker_reg(__waker_drop_data_%waker_reg)
+    !__waker_drop_data_%waker_reg
+    !__waker_drop_fn_%waker_reg
+    !__waker_vt_drop_%waker_reg
+    jmp %free_label
+[END_MACRO]
+
+[MACRO] LOCAL_WAKER_WAKE %out_value, %waker_reg
+    __local_waker_vt_%out_value = load %waker_reg+LocalWaker_vtable as ptr
+    __local_waker_fn_%out_value = load __local_waker_vt_%out_value+RawWakerVTable_wake as ptr
+    __local_waker_data_%out_value = load %waker_reg+LocalWaker_data as ptr
+    %out_value = call_indirect __local_waker_fn_%out_value(__local_waker_data_%out_value)
+    !__local_waker_data_%out_value
+    !__local_waker_fn_%out_value
+    !__local_waker_vt_%out_value
+[END_MACRO]
+
+[MACRO] LOCAL_WAKER_WAKE_BY_REF %out_value, %waker_reg
+    __local_waker_vt_ref_%out_value = load %waker_reg+LocalWaker_vtable as ptr
+    __local_waker_fn_ref_%out_value = load __local_waker_vt_ref_%out_value+RawWakerVTable_wake_by_ref as ptr
+    __local_waker_data_ref_%out_value = load %waker_reg+LocalWaker_data as ptr
+    %out_value = call_indirect __local_waker_fn_ref_%out_value(__local_waker_data_ref_%out_value)
+    !__local_waker_data_ref_%out_value
+    !__local_waker_fn_ref_%out_value
+    !__local_waker_vt_ref_%out_value
+[END_MACRO]
+
+[MACRO] LOCAL_WAKER_DROP %waker_reg, %free_label
+    __local_waker_vt_drop_%waker_reg = load %waker_reg+LocalWaker_vtable as ptr
+    __local_waker_drop_fn_%waker_reg = load __local_waker_vt_drop_%waker_reg+RawWakerVTable_drop as ptr
+    __local_waker_drop_data_%waker_reg = load %waker_reg+LocalWaker_data as ptr
+    call_indirect __local_waker_drop_fn_%waker_reg(__local_waker_drop_data_%waker_reg)
+    !__local_waker_drop_data_%waker_reg
+    !__local_waker_drop_fn_%waker_reg
+    !__local_waker_vt_drop_%waker_reg
+    jmp %free_label
+[END_MACRO]
+
+[MACRO] WAKE_NEW %out_wake, %data_ptr, %vtable_ptr
+    %out_wake = alloc Wake_SIZE
+    store %out_wake+Wake_data, %data_ptr as ptr
+    store %out_wake+Wake_vtable, %vtable_ptr as ptr
+[END_MACRO]
+
+[MACRO] WAKE_WAKE %out_value, %wake_reg
+    __wake_vt_%out_value = load %wake_reg+Wake_vtable as ptr
+    __wake_fn_%out_value = load __wake_vt_%out_value+WakeWakeSlot as ptr
+    __wake_data_%out_value = load %wake_reg+Wake_data as ptr
+    %out_value = call_indirect __wake_fn_%out_value(&__wake_data_%out_value)
+    !__wake_data_%out_value
+    !__wake_fn_%out_value
+    !__wake_vt_%out_value
+[END_MACRO]
+
+[MACRO] WAKE_WAKE_BY_REF %out_value, %wake_reg
+    __wake_ref_vt_%out_value = load %wake_reg+Wake_vtable as ptr
+    __wake_ref_fn_%out_value = load __wake_ref_vt_%out_value+WakeWakeByRefSlot as ptr
+    __wake_ref_data_%out_value = load %wake_reg+Wake_data as ptr
+    %out_value = call_indirect __wake_ref_fn_%out_value(&__wake_ref_data_%out_value)
+    !__wake_ref_data_%out_value
+    !__wake_ref_fn_%out_value
+    !__wake_ref_vt_%out_value
+[END_MACRO]

package/sa_std/core/waker.sal

@@ -0,0 +1,31 @@
+#def RawWaker_SIZE = 16
+#def RawWaker_data = +0
+#def RawWaker_vtable = +8
+
+#def RawWakerVTable_SIZE = 32
+#def RawWakerVTable_clone = +0
+#def RawWakerVTable_wake = +8
+#def RawWakerVTable_wake_by_ref = +16
+#def RawWakerVTable_drop = +24
+
+#def Waker_SIZE = 16
+#def Waker_raw_data = +0
+#def Waker_raw_vtable = +8
+#def Waker_data = +0
+#def Waker_vtable = +8
+#def WakerCloneSlot = +0
+#def WakerWakeSlot = +8
+#def WakerWakeByRefSlot = +16
+#def WakerDropSlot = +24
+
+#def LocalWaker_SIZE = 16
+#def LocalWaker_raw_data = +0
+#def LocalWaker_raw_vtable = +8
+#def LocalWaker_data = +0
+#def LocalWaker_vtable = +8
+
+#def Wake_SIZE = 16
+#def Wake_data = +0
+#def Wake_vtable = +8
+#def WakeWakeSlot = +0
+#def WakeWakeByRefSlot = +8

package/sa_std/core/weak.sa

@@ -0,0 +1,2 @@
+@import "weak.sal"
+@import "rc.sa"

package/sa_std/core/weak.sal

@@ -0,0 +1,4 @@
+#def WeakBox_SIZE = 24
+#def WeakBox_strong = +0
+#def WeakBox_weak = +8
+#def WeakBox_data = +16

package/sa_std/cow.sa

@@ -0,0 +1,3 @@
+// Public Cow slice facade over borrow.sa.
+@import "borrow.sal"
+@import "borrow.sa"

package/sa_std/cow.sal

@@ -0,0 +1,2 @@
+// Copy-on-write slice layout aliases.
+@import "borrow.sal"

package/sa_std/cstring.sa

@@ -0,0 +1,3 @@
+// Public CStr/CString facade over the FFI string implementation.
+@import "ffi.sal"
+@import "ffi.sa"

package/sa_std/cstring.sal

@@ -0,0 +1,2 @@
+// C string layout aliases.
+@import "ffi.sal"

package/sa_std/default.sa

@@ -0,0 +1,99 @@
+[MACRO] DEFAULT_BOOL %out_value
+    %out_value = add 0, 0
+[END_MACRO]
+
+[MACRO] DEFAULT_U8 %out_value
+    %out_value = add 0, 0
+[END_MACRO]
+
+[MACRO] DEFAULT_U16 %out_value
+    %out_value = add 0, 0
+[END_MACRO]
+
+[MACRO] DEFAULT_U32 %out_value
+    %out_value = add 0, 0
+[END_MACRO]
+
+[MACRO] DEFAULT_U64 %out_value
+    %out_value = add 0, 0
+[END_MACRO]
+
+// Rust method-name alias over DEFAULT_U64.
+[MACRO] DEFAULT %out_value
+    EXPAND DEFAULT_U64 %out_value
+[END_MACRO]
+
+[MACRO] DEFAULT_I8 %out_value
+    %out_value = add 0, 0
+[END_MACRO]
+
+[MACRO] DEFAULT_I16 %out_value
+    %out_value = add 0, 0
+[END_MACRO]
+
+[MACRO] DEFAULT_I32 %out_value
+    %out_value = add 0, 0
+[END_MACRO]
+
+[MACRO] DEFAULT_I64 %out_value
+    %out_value = add 0, 0
+[END_MACRO]
+
+[MACRO] DEFAULT_USIZE %out_value
+    %out_value = add 0, 0
+[END_MACRO]
+
+[MACRO] DEFAULT_ISIZE %out_value
+    %out_value = add 0, 0
+[END_MACRO]
+
+[MACRO] DEFAULT_F32 %out_value
+    %out_value = add 0, 0
+[END_MACRO]
+
+[MACRO] DEFAULT_F64 %out_value
+    %out_value = add 0, 0
+[END_MACRO]
+
+[MACRO] DEFAULT_CHAR %out_value
+    %out_value = add 0, 0
+[END_MACRO]
+
+
+[MACRO] DEFAULT_PHANTOM_DATA %out_value
+    %out_value = add 0, 0
+[END_MACRO]
+
+[MACRO] DEFAULT_PHANTOM_PINNED %out_value
+    %out_value = add 0, 0
+[END_MACRO]
+
+[MACRO] DEFAULT_WRAPPING_U64 %out_value
+    %out_value = add 0, 0
+[END_MACRO]
+
+// Rust method-name alias over DEFAULT_WRAPPING_U64.
+[MACRO] DEFAULT_WRAPPING %out_value
+    EXPAND DEFAULT_WRAPPING_U64 %out_value
+[END_MACRO]
+
+[MACRO] DEFAULT_WRAPPING_U32 %out_value
+    %out_value = add 0, 0
+[END_MACRO]
+
+[MACRO] DEFAULT_WRAPPING_I64 %out_value
+    %out_value = add 0, 0
+[END_MACRO]
+
+[MACRO] DEFAULT_SATURATING_U64 %out_value
+    %out_value = add 0, 0
+[END_MACRO]
+
+// Rust method-name alias over DEFAULT_SATURATING_U64.
+[MACRO] DEFAULT_SATURATING %out_value
+    EXPAND DEFAULT_SATURATING_U64 %out_value
+[END_MACRO]
+
+[MACRO] DEFAULT_SATURATING_I64 %out_value
+    %out_value = add 0, 0
+[END_MACRO]

package/sa_std/duration.sa

@@ -0,0 +1,3 @@
+// Public Duration facade. Runtime and arithmetic macros live in time.sa.
+@import "time.sal"
+@import "time.sa"

package/sa_std/duration.sal

@@ -0,0 +1,2 @@
+// Standard layout aliases for Duration.
+@import "time.sal"