@salang/sa 0.1.2 → 0.1.4

package/sa_std/core/ascii.sal

@@ -0,0 +1,34 @@
+#def ASCII_CASE_MASK = 32
+#def ASCII_MAX = 127
+#def ASCII_DELETE = 127
+
+#def ASCII_TAB = 9
+#def ASCII_LF = 10
+#def ASCII_FF = 12
+#def ASCII_CR = 13
+#def ASCII_SPACE = 32
+#def ASCII_SINGLE_QUOTE = 39
+#def ASCII_DOUBLE_QUOTE = 34
+#def ASCII_BACKSLASH = 92
+
+#def ASCII_ESCAPE_N = 110
+#def ASCII_ESCAPE_R = 114
+#def ASCII_ESCAPE_T = 116
+#def ASCII_ESCAPE_X = 120
+
+#def ASCII_DIGIT_0 = 48
+#def ASCII_DIGIT_7 = 55
+#def ASCII_DIGIT_9 = 57
+
+#def ASCII_UPPER_A = 65
+#def ASCII_UPPER_F = 70
+#def ASCII_UPPER_Z = 90
+#def ASCII_LOWER_A = 97
+#def ASCII_LOWER_F = 102
+#def ASCII_LOWER_Z = 122
+
+#def ASCII_GRAPHIC_MIN = 33
+#def ASCII_GRAPHIC_MAX = 126
+
+#def AsciiChar_SIZE = 1
+#def AsciiChar_value = +0

package/sa_std/core/bit.sa

@@ -0,0 +1,41 @@
+[MACRO] BIT_MASK %out_mask, %bit_index
+    one = add 0, 1
+    %out_mask = shl one, %bit_index
+    !one
+[END_MACRO]
+
+[MACRO] BIT_SET %out_value, %value, %bit_index
+    EXPAND BIT_MASK __bit_mask_%out_value, %bit_index
+    %out_value = or %value, __bit_mask_%out_value
+    !__bit_mask_%out_value
+[END_MACRO]
+
+[MACRO] BIT_GET %out_value, %value, %bit_index
+    EXPAND BIT_MASK __bit_mask_%out_value, %bit_index
+    __bit_value_%out_value = and %value, __bit_mask_%out_value
+    %out_value = ne __bit_value_%out_value, 0
+    !__bit_value_%out_value
+    !__bit_mask_%out_value
+[END_MACRO]
+
+[MACRO] BIT_CLEAR %out_value, %value, %bit_index
+    EXPAND BIT_MASK __bit_mask_%out_value, %bit_index
+    __bit_not_mask_%out_value = xor __bit_mask_%out_value, -1
+    %out_value = and %value, __bit_not_mask_%out_value
+    !__bit_not_mask_%out_value
+    !__bit_mask_%out_value
+[END_MACRO]
+
+[MACRO] BIT_TEST %out_bool, %value, %bit_index
+    EXPAND BIT_GET %out_bool, %value, %bit_index
+[END_MACRO]
+
+[MACRO] BIT_INDEX_BYTE %out_index, %bit_index
+    %out_index = lshr %bit_index, 3
+[END_MACRO]
+
+[MACRO] BIT_INDEX_BIT %out_index, %bit_index
+    eight = add 0, 8
+    %out_index = rem %bit_index, eight
+    !eight
+[END_MACRO]

package/sa_std/core/box.sa

@@ -0,0 +1 @@
+@import "mem.sa"

package/sa_std/core/box.sal

@@ -0,0 +1,2 @@
+#def Box_SIZE = 8
+#def Box_value = +0

package/sa_std/core/cell.sa

@@ -0,0 +1,108 @@
+@import "cell.sal"
+
+[MACRO] CELL_NEW %out_cell
+    %out_cell = alloc Cell_SIZE
+    store %out_cell+Cell_value, 0 as i32
+[END_MACRO]
+
+[MACRO] CELL_NEW_VALUE %out_cell, %value
+    %out_cell = alloc Cell_SIZE
+    EXPAND CELL_SET %out_cell, %value
+[END_MACRO]
+
+[MACRO] CELL_DEFAULT %out_cell
+    EXPAND CELL_NEW %out_cell
+[END_MACRO]
+
+[MACRO] CELL_GET %out_value, %cell_reg
+    %out_value = load %cell_reg+Cell_value as i32
+[END_MACRO]
+
+[MACRO] CELL_SET %cell_reg, %value
+    store %cell_reg+Cell_value, %value as i32
+[END_MACRO]
+
+[MACRO] CELL_REPLACE %out_old, %cell_reg, %value
+    %out_old = load %cell_reg+Cell_value as i32
+    store %cell_reg+Cell_value, %value as i32
+[END_MACRO]
+
+[MACRO] CELL_U64_NEW %out_cell, %value
+    %out_cell = alloc CellU64_SIZE
+    store %out_cell+CellU64_value, %value as u64
+[END_MACRO]
+
+[MACRO] CELL_U64_DEFAULT %out_cell
+    %out_cell = alloc CellU64_SIZE
+    store %out_cell+CellU64_value, 0 as u64
+[END_MACRO]
+
+[MACRO] CELL_U64_GET %out_value, %cell_reg
+    %out_value = load %cell_reg+CellU64_value as u64
+[END_MACRO]
+
+[MACRO] CELL_U64_SET %cell_reg, %value
+    store %cell_reg+CellU64_value, %value as u64
+[END_MACRO]
+
+[MACRO] CELL_U64_REPLACE %out_old, %cell_reg, %value
+    %out_old = load %cell_reg+CellU64_value as u64
+    store %cell_reg+CellU64_value, %value as u64
+[END_MACRO]
+
+[MACRO] CELL_U64_TAKE %out_old, %cell_reg
+    %out_old = load %cell_reg+CellU64_value as u64
+    store %cell_reg+CellU64_value, 0 as u64
+[END_MACRO]
+
+[MACRO] CELL_U64_SWAP %left_cell, %right_cell
+    __cell_swap_left_%left_cell = load %left_cell+CellU64_value as u64
+    __cell_swap_right_%left_cell = load %right_cell+CellU64_value as u64
+    store %left_cell+CellU64_value, __cell_swap_right_%left_cell as u64
+    store %right_cell+CellU64_value, __cell_swap_left_%left_cell as u64
+    !__cell_swap_right_%left_cell
+    !__cell_swap_left_%left_cell
+[END_MACRO]
+
+[MACRO] CELL_U64_UPDATE %out_old, %out_new, %cell_reg, %update_fn
+    %out_old = load %cell_reg+CellU64_value as u64
+    %out_new = call %update_fn(%out_old)
+    store %cell_reg+CellU64_value, %out_new as u64
+[END_MACRO]
+
+[MACRO] CELL_U64_REPLACE_WITH %out_old, %out_new, %cell_reg, %update_fn
+    EXPAND CELL_U64_UPDATE %out_old, %out_new, %cell_reg, %update_fn
+[END_MACRO]
+
+[MACRO] CELL_U64_INTO_INNER %out_value, %cell_reg
+    %out_value = load %cell_reg+CellU64_value as u64
+[END_MACRO]
+
+[MACRO] CELL_U64_AS_PTR %out_ptr, %cell_reg
+    %out_ptr = ptr_add %cell_reg, CellU64_value
+[END_MACRO]
+
+[MACRO] CELL_U64_GET_MUT_PTR %out_ptr, %cell_reg
+    %out_ptr = ptr_add %cell_reg, CellU64_value
+[END_MACRO]
+
+[MACRO] CELL_U64_FROM_MUT_PTR %out_cell, %value_ptr
+    %out_cell = add %value_ptr, 0
+[END_MACRO]
+
+[MACRO] CELL_UPDATE %out_old, %cell_reg, %map_fn
+    EXPAND CELL_GET __cell_upd_cur_%out_old, %cell_reg
+    __cell_upd_next_%out_old = call %map_fn(__cell_upd_cur_%out_old)
+    EXPAND CELL_REPLACE %out_old, %cell_reg, __cell_upd_next_%out_old
+    !__cell_upd_next_%out_old
+    !__cell_upd_cur_%out_old
+[END_MACRO]
+
+[MACRO] CELL_SWAP %left_cell, %right_cell
+    EXPAND CELL_GET __cell_sw_l_%left_cell, %left_cell
+    EXPAND CELL_GET __cell_sw_r_%left_cell, %right_cell
+    EXPAND CELL_SET %left_cell, __cell_sw_r_%left_cell
+    EXPAND CELL_SET %right_cell, __cell_sw_l_%left_cell
+    !__cell_sw_r_%left_cell
+    !__cell_sw_l_%left_cell
+[END_MACRO]

package/sa_std/core/cell.sal

@@ -0,0 +1,5 @@
+#def Cell_SIZE = 4
+#def Cell_value = +0
+
+#def CellU64_SIZE = 8
+#def CellU64_value = +0

package/sa_std/core/cleanup.sa

@@ -0,0 +1,26 @@
+@import "box.sal"
+@import "box.sa"
+
+[MACRO] DEFER %resource_reg
+    !%resource_reg
+[END_MACRO]
+
+[MACRO] CLEANUP_ON_ERROR %cond, %resource_reg, %error_label
+    br %cond -> L_CLEANUP_ON_ERROR_OK_%resource_reg, %error_label
+L_CLEANUP_ON_ERROR_OK_%resource_reg:
+    !%resource_reg
+[END_MACRO]
+
+[MACRO] WITH_TEMP %out_reg, %size
+    %out_reg = alloc %size
+[END_MACRO]
+
+[MACRO] RETURN_CLEAN %resource_reg, %value
+    !%resource_reg
+    return %value
+[END_MACRO]
+
+[MACRO] FREE_AND_RETURN %resource_reg, %value
+    !%resource_reg
+    return %value
+[END_MACRO]

package/sa_std/core/control.sa

@@ -0,0 +1,20 @@
+[MACRO] MATCH_BOOL %out_value, %cond, %true_label, %false_label
+    %out_value = add %cond, 0
+    br %cond -> %true_label, %false_label
+[END_MACRO]
+
+[MACRO] ELIF %cond, %true_label, %false_label
+    br %cond -> %true_label, %false_label
+[END_MACRO]
+
+[MACRO] WHILE_LET %cond, %body_label, %done_label
+    br %cond -> %body_label, %done_label
+[END_MACRO]
+
+[MACRO] BREAK_IF %cond, %break_label, %cont_label
+    br %cond -> %break_label, %cont_label
+[END_MACRO]
+
+[MACRO] CONTINUE_IF %cond, %continue_label, %next_label
+    br %cond -> %continue_label, %next_label
+[END_MACRO]

package/sa_std/core/derive.sa

@@ -0,0 +1,60 @@
+@import "derive.sal"
+
+[MACRO] STRUCT_COPY_FIELD %dst_reg, %src_reg, %dst_offset, %src_offset
+    __derive_src_%dst_reg = load %src_reg+%src_offset as u64
+    store %dst_reg+%dst_offset, __derive_src_%dst_reg as u64
+    !__derive_src_%dst_reg
+[END_MACRO]
+
+[MACRO] PTR_FIELD %out_ptr, %base_reg, %offset
+    __derive_ptr_%out_ptr = ptr_add %base_reg, %offset
+    %out_ptr = add __derive_ptr_%out_ptr, 0
+    !__derive_ptr_%out_ptr
+[END_MACRO]
+
+[MACRO] FIELD_GET %out_value, %base_reg, %offset
+    %out_value = load %base_reg+%offset as u64
+[END_MACRO]
+
+[MACRO] FIELD_SET %base_reg, %offset, %value
+    store %base_reg+%offset, %value as u64
+[END_MACRO]
+
+[MACRO] STRUCT_NEW %out_reg, %size
+    %out_reg = alloc %size
+[END_MACRO]
+
+[MACRO] STRUCT_FREE %reg
+    !%reg
+[END_MACRO]
+
+[MACRO] STRUCT_COPY %dst_reg, %src_reg, %offset0, %offset1, %offset2, %offset3
+    EXPAND STRUCT_COPY_FIELD %dst_reg, %src_reg, %offset0, %offset0
+    EXPAND STRUCT_COPY_FIELD %dst_reg, %src_reg, %offset1, %offset1
+    EXPAND STRUCT_COPY_FIELD %dst_reg, %src_reg, %offset2, %offset2
+    EXPAND STRUCT_COPY_FIELD %dst_reg, %src_reg, %offset3, %offset3
+[END_MACRO]
+
+[MACRO] STRUCT_EQ_FIELD %out_bool, %lhs_reg, %rhs_reg, %offset
+    __derive_lhs_%out_bool = load %lhs_reg+%offset as u64
+    __derive_rhs_%out_bool = load %rhs_reg+%offset as u64
+    %out_bool = eq __derive_lhs_%out_bool, __derive_rhs_%out_bool
+    !__derive_rhs_%out_bool
+    !__derive_lhs_%out_bool
+[END_MACRO]
+
+[MACRO] STRUCT_EQ4 %out_bool, %lhs_reg, %rhs_reg, %offset0, %offset1, %offset2, %offset3
+    EXPAND STRUCT_EQ_FIELD eq0, %lhs_reg, %rhs_reg, %offset0
+    EXPAND STRUCT_EQ_FIELD eq1, %lhs_reg, %rhs_reg, %offset1
+    EXPAND STRUCT_EQ_FIELD eq2, %lhs_reg, %rhs_reg, %offset2
+    EXPAND STRUCT_EQ_FIELD eq3, %lhs_reg, %rhs_reg, %offset3
+    eq01 = and eq0, eq1
+    eq02 = and eq2, eq3
+    %out_bool = and eq01, eq02
+    !eq0
+    !eq1
+    !eq2
+    !eq3
+    !eq01
+    !eq02
+[END_MACRO]

package/sa_std/core/derive.sal

@@ -0,0 +1 @@
+#def Derive_RESULT = +0

package/sa_std/core/dispatch.sa

@@ -0,0 +1,7 @@
+@import "dispatch.sal"
+
+[MACRO] DISPATCH %dispatch_reg, %tag_a_label, %tag_b_label
+    __dispatch_tag = load %dispatch_reg+Dispatch_tag as u64
+    __dispatch_is_a = eq __dispatch_tag, Dispatch_TAG_A
+    br __dispatch_is_a -> %tag_a_label, %tag_b_label
+[END_MACRO]

package/sa_std/core/dispatch.sal

@@ -0,0 +1,5 @@
+#def Dispatch_SIZE = 16
+#def Dispatch_tag = +0
+#def Dispatch_payload = +8
+#def Dispatch_TAG_A = 0
+#def Dispatch_TAG_B = 1