@salang/sa 0.1.2 → 0.1.4

package/sa_std/char.sal

@@ -0,0 +1,50 @@
+#def CHAR_MAX = 1114111
+#def CHAR_SIZE = 4
+#def CHAR_ALIGN = 4
+#def CHAR_DEFAULT = 0
+#def CHAR_REPLACEMENT = 65533
+#def CHAR_REPLACEMENT_CHARACTER = CHAR_REPLACEMENT
+#def CHAR_MAX_LEN_UTF8 = 4
+#def CHAR_MAX_LEN_UTF16 = 2
+#def CHAR_SURROGATE_MIN = 55296
+#def CHAR_SURROGATE_MAX = 57343
+
+#def CHAR_UTF8_ONE_MAX = 127
+#def CHAR_UTF8_TWO_MAX = 2047
+#def CHAR_UTF8_THREE_MAX = 65535
+
+#def CHAR_UTF8_CONT_TAG = 128
+#def CHAR_UTF8_TWO_TAG = 192
+#def CHAR_UTF8_THREE_TAG = 224
+#def CHAR_UTF8_FOUR_TAG = 240
+#def CHAR_UTF8_CONT_MASK = 63
+
+#def CHAR_UTF16_BMP_MAX = 65535
+#def CHAR_UTF16_SUPPLEMENTARY_BASE = 65536
+#def CHAR_UTF16_SURROGATE_OFFSET = 55232
+#def CHAR_UTF16_HIGH_SURROGATE_MIN = 55296
+#def CHAR_UTF16_HIGH_SURROGATE_MAX = 56319
+#def CHAR_UTF16_LOW_SURROGATE_MIN = 56320
+#def CHAR_UTF16_LOW_SURROGATE_MAX = 57343
+#def CHAR_UTF16_TRAIL_MASK = 1023
+
+#def CHAR_ESCAPE_BACKSLASH = 92
+#def CHAR_ESCAPE_U = 117
+#def CHAR_ESCAPE_LBRACE = 123
+#def CHAR_ESCAPE_RBRACE = 125
+
+#def ParseCharError_SIZE = 8
+#def ParseCharError_kind = +0
+#def PARSE_CHAR_ERROR_EMPTY_STRING = 0
+#def PARSE_CHAR_ERROR_TOO_MANY_CHARS = 1
+
+#def DecodeUtf16Error_SIZE = 8
+#def DecodeUtf16Error_unpaired_surrogate = +0
+
+#def CharTryFromError_SIZE = 0
+#def CharTryFromError_ALIGN = 1
+
+#def TryFromCharError_SIZE = 0
+#def TryFromCharError_ALIGN = 1
+
+#def CHAR_MIN = 0

package/sa_std/cmp.sa

@@ -0,0 +1,554 @@
+@import "cmp.sal"
+@import "hash.sa"
+
+[MACRO] CMP_ORDERING_IS_LT %out_bool, %ordering
+    %out_bool = eq %ordering, CMP_ORDERING_LESS
+[END_MACRO]
+
+[MACRO] CMP_ORDERING_IS_EQ %out_bool, %ordering
+    %out_bool = eq %ordering, CMP_ORDERING_EQUAL
+[END_MACRO]
+
+[MACRO] CMP_ORDERING_IS_GT %out_bool, %ordering
+    %out_bool = eq %ordering, CMP_ORDERING_GREATER
+[END_MACRO]
+
+[MACRO] CMP_ORDERING_IS_NE %out_bool, %ordering
+    __cmp_ordering_is_eq_%out_bool = eq %ordering, CMP_ORDERING_EQUAL
+    %out_bool = eq __cmp_ordering_is_eq_%out_bool, 0
+    !__cmp_ordering_is_eq_%out_bool
+[END_MACRO]
+
+[MACRO] CMP_ORDERING_IS_LE %out_bool, %ordering
+    __cmp_ordering_is_lt_%out_bool = eq %ordering, CMP_ORDERING_LESS
+    __cmp_ordering_is_eq_%out_bool = eq %ordering, CMP_ORDERING_EQUAL
+    %out_bool = or __cmp_ordering_is_lt_%out_bool, __cmp_ordering_is_eq_%out_bool
+    !__cmp_ordering_is_eq_%out_bool
+    !__cmp_ordering_is_lt_%out_bool
+[END_MACRO]
+
+[MACRO] CMP_ORDERING_IS_GE %out_bool, %ordering
+    __cmp_ordering_is_gt_%out_bool = eq %ordering, CMP_ORDERING_GREATER
+    __cmp_ordering_is_eq_%out_bool = eq %ordering, CMP_ORDERING_EQUAL
+    %out_bool = or __cmp_ordering_is_gt_%out_bool, __cmp_ordering_is_eq_%out_bool
+    !__cmp_ordering_is_eq_%out_bool
+    !__cmp_ordering_is_gt_%out_bool
+[END_MACRO]
+
+[MACRO] CMP_ORDERING_THEN %out_ordering, %ordering, %other_ordering
+    __cmp_ordering_then_eq_%out_ordering = eq %ordering, CMP_ORDERING_EQUAL
+    br __cmp_ordering_then_eq_%out_ordering -> L_CMP_ORDERING_THEN_OTHER_%out_ordering, L_CMP_ORDERING_THEN_SELF_%out_ordering
+L_CMP_ORDERING_THEN_OTHER_%out_ordering:
+    %out_ordering = add %other_ordering, 0
+    !__cmp_ordering_then_eq_%out_ordering
+    jmp L_CMP_ORDERING_THEN_DONE_%out_ordering
+L_CMP_ORDERING_THEN_SELF_%out_ordering:
+    %out_ordering = add %ordering, 0
+    !__cmp_ordering_then_eq_%out_ordering
+L_CMP_ORDERING_THEN_DONE_%out_ordering:
+[END_MACRO]
+
+[MACRO] CMP_ORDERING_THEN_WITH %out_ordering, %ordering, %fn
+    __cmp_ordering_then_with_eq_%out_ordering = eq %ordering, CMP_ORDERING_EQUAL
+    br __cmp_ordering_then_with_eq_%out_ordering -> L_CMP_ORDERING_THEN_WITH_CALL_%out_ordering, L_CMP_ORDERING_THEN_WITH_SELF_%out_ordering
+L_CMP_ORDERING_THEN_WITH_CALL_%out_ordering:
+    %out_ordering = call %fn()
+    !__cmp_ordering_then_with_eq_%out_ordering
+    jmp L_CMP_ORDERING_THEN_WITH_DONE_%out_ordering
+L_CMP_ORDERING_THEN_WITH_SELF_%out_ordering:
+    %out_ordering = add %ordering, 0
+    !__cmp_ordering_then_with_eq_%out_ordering
+L_CMP_ORDERING_THEN_WITH_DONE_%out_ordering:
+[END_MACRO]
+
+[MACRO] CMP_ORDERING_REVERSE %out_ordering, %ordering
+    __cmp_is_less_%out_ordering = eq %ordering, CMP_ORDERING_LESS
+    br __cmp_is_less_%out_ordering -> L_CMP_REVERSE_LESS_%out_ordering, L_CMP_REVERSE_CHECK_GREATER_%out_ordering
+L_CMP_REVERSE_LESS_%out_ordering:
+    %out_ordering = add 0, CMP_ORDERING_GREATER
+    jmp L_CMP_REVERSE_END_%out_ordering
+L_CMP_REVERSE_CHECK_GREATER_%out_ordering:
+    __cmp_is_greater_%out_ordering = eq %ordering, CMP_ORDERING_GREATER
+    br __cmp_is_greater_%out_ordering -> L_CMP_REVERSE_GREATER_%out_ordering, L_CMP_REVERSE_EQUAL_%out_ordering
+L_CMP_REVERSE_GREATER_%out_ordering:
+    %out_ordering = add 0, CMP_ORDERING_LESS
+    !__cmp_is_greater_%out_ordering
+    jmp L_CMP_REVERSE_END_%out_ordering
+L_CMP_REVERSE_EQUAL_%out_ordering:
+    %out_ordering = add 0, CMP_ORDERING_EQUAL
+    !__cmp_is_greater_%out_ordering
+L_CMP_REVERSE_END_%out_ordering:
+    !__cmp_is_less_%out_ordering
+[END_MACRO]
+
+[MACRO] CMP_COMPARE_U64 %out_ordering, %lhs, %rhs
+    __cmp_lt_%out_ordering = ult %lhs, %rhs
+    br __cmp_lt_%out_ordering -> L_CMP_COMPARE_U64_LESS_%out_ordering, L_CMP_COMPARE_U64_CHECK_GT_%out_ordering
+L_CMP_COMPARE_U64_LESS_%out_ordering:
+    %out_ordering = add 0, CMP_ORDERING_LESS
+    jmp L_CMP_COMPARE_U64_END_%out_ordering
+L_CMP_COMPARE_U64_CHECK_GT_%out_ordering:
+    __cmp_gt_%out_ordering = ugt %lhs, %rhs
+    br __cmp_gt_%out_ordering -> L_CMP_COMPARE_U64_GREATER_%out_ordering, L_CMP_COMPARE_U64_EQUAL_%out_ordering
+L_CMP_COMPARE_U64_GREATER_%out_ordering:
+    %out_ordering = add 0, CMP_ORDERING_GREATER
+    !__cmp_gt_%out_ordering
+    jmp L_CMP_COMPARE_U64_END_%out_ordering
+L_CMP_COMPARE_U64_EQUAL_%out_ordering:
+    %out_ordering = add 0, CMP_ORDERING_EQUAL
+    !__cmp_gt_%out_ordering
+L_CMP_COMPARE_U64_END_%out_ordering:
+    !__cmp_lt_%out_ordering
+[END_MACRO]
+
+// Rust method-name alias over CMP_COMPARE_U64.
+[MACRO] CMP_COMPARE %out_ordering, %lhs, %rhs
+    EXPAND CMP_COMPARE_U64 %out_ordering, %lhs, %rhs
+[END_MACRO]
+
+[MACRO] CMP_COMPARE_I64 %out_ordering, %lhs, %rhs
+    __cmp_lt_%out_ordering = slt %lhs, %rhs
+    br __cmp_lt_%out_ordering -> L_CMP_COMPARE_I64_LESS_%out_ordering, L_CMP_COMPARE_I64_CHECK_GT_%out_ordering
+L_CMP_COMPARE_I64_LESS_%out_ordering:
+    %out_ordering = add 0, CMP_ORDERING_LESS
+    jmp L_CMP_COMPARE_I64_END_%out_ordering
+L_CMP_COMPARE_I64_CHECK_GT_%out_ordering:
+    __cmp_gt_%out_ordering = sgt %lhs, %rhs
+    br __cmp_gt_%out_ordering -> L_CMP_COMPARE_I64_GREATER_%out_ordering, L_CMP_COMPARE_I64_EQUAL_%out_ordering
+L_CMP_COMPARE_I64_GREATER_%out_ordering:
+    %out_ordering = add 0, CMP_ORDERING_GREATER
+    !__cmp_gt_%out_ordering
+    jmp L_CMP_COMPARE_I64_END_%out_ordering
+L_CMP_COMPARE_I64_EQUAL_%out_ordering:
+    %out_ordering = add 0, CMP_ORDERING_EQUAL
+    !__cmp_gt_%out_ordering
+L_CMP_COMPARE_I64_END_%out_ordering:
+    !__cmp_lt_%out_ordering
+[END_MACRO]
+
+[MACRO] CMP_MIN_U64 %out_value, %lhs, %rhs
+    __cmp_take_lhs_%out_value = ule %lhs, %rhs
+    br __cmp_take_lhs_%out_value -> L_CMP_MIN_U64_LHS_%out_value, L_CMP_MIN_U64_RHS_%out_value
+L_CMP_MIN_U64_LHS_%out_value:
+    %out_value = add %lhs, 0
+    !__cmp_take_lhs_%out_value
+    jmp L_CMP_MIN_U64_END_%out_value
+L_CMP_MIN_U64_RHS_%out_value:
+    %out_value = add %rhs, 0
+    !__cmp_take_lhs_%out_value
+L_CMP_MIN_U64_END_%out_value:
+[END_MACRO]
+
+// Rust method-name alias over CMP_MIN_U64.
+[MACRO] CMP_MIN %out_value, %lhs, %rhs
+    EXPAND CMP_MIN_U64 %out_value, %lhs, %rhs
+[END_MACRO]
+
+[MACRO] CMP_MAX_U64 %out_value, %lhs, %rhs
+    __cmp_take_lhs_%out_value = uge %lhs, %rhs
+    br __cmp_take_lhs_%out_value -> L_CMP_MAX_U64_LHS_%out_value, L_CMP_MAX_U64_RHS_%out_value
+L_CMP_MAX_U64_LHS_%out_value:
+    %out_value = add %lhs, 0
+    !__cmp_take_lhs_%out_value
+    jmp L_CMP_MAX_U64_END_%out_value
+L_CMP_MAX_U64_RHS_%out_value:
+    %out_value = add %rhs, 0
+    !__cmp_take_lhs_%out_value
+L_CMP_MAX_U64_END_%out_value:
+[END_MACRO]
+
+// Rust method-name alias over CMP_MAX_U64.
+[MACRO] CMP_MAX %out_value, %lhs, %rhs
+    EXPAND CMP_MAX_U64 %out_value, %lhs, %rhs
+[END_MACRO]
+
+[MACRO] CMP_MIN_BY_U64 %out_value, %lhs, %rhs, %compare_fn
+    __cmp_min_by_ordering_%out_value = call %compare_fn(%lhs, %rhs)
+    __cmp_min_by_take_lhs_%out_value = eq __cmp_min_by_ordering_%out_value, CMP_ORDERING_GREATER
+    br __cmp_min_by_take_lhs_%out_value -> L_CMP_MIN_BY_U64_RHS_%out_value, L_CMP_MIN_BY_U64_LHS_%out_value
+L_CMP_MIN_BY_U64_LHS_%out_value:
+    %out_value = add %lhs, 0
+    jmp L_CMP_MIN_BY_U64_DONE_%out_value
+L_CMP_MIN_BY_U64_RHS_%out_value:
+    %out_value = add %rhs, 0
+L_CMP_MIN_BY_U64_DONE_%out_value:
+    !__cmp_min_by_take_lhs_%out_value
+    !__cmp_min_by_ordering_%out_value
+[END_MACRO]
+
+// Rust method-name alias over CMP_MIN_BY_U64.
+[MACRO] CMP_MIN_BY %out_value, %lhs, %rhs, %compare_fn
+    EXPAND CMP_MIN_BY_U64 %out_value, %lhs, %rhs, %compare_fn
+[END_MACRO]
+
+[MACRO] CMP_MAX_BY_U64 %out_value, %lhs, %rhs, %compare_fn
+    __cmp_max_by_ordering_%out_value = call %compare_fn(%lhs, %rhs)
+    __cmp_max_by_take_rhs_%out_value = eq __cmp_max_by_ordering_%out_value, CMP_ORDERING_LESS
+    br __cmp_max_by_take_rhs_%out_value -> L_CMP_MAX_BY_U64_RHS_%out_value, L_CMP_MAX_BY_U64_LHS_%out_value
+L_CMP_MAX_BY_U64_LHS_%out_value:
+    %out_value = add %lhs, 0
+    jmp L_CMP_MAX_BY_U64_DONE_%out_value
+L_CMP_MAX_BY_U64_RHS_%out_value:
+    %out_value = add %rhs, 0
+L_CMP_MAX_BY_U64_DONE_%out_value:
+    !__cmp_max_by_take_rhs_%out_value
+    !__cmp_max_by_ordering_%out_value
+[END_MACRO]
+
+// Rust method-name alias over CMP_MAX_BY_U64.
+[MACRO] CMP_MAX_BY %out_value, %lhs, %rhs, %compare_fn
+    EXPAND CMP_MAX_BY_U64 %out_value, %lhs, %rhs, %compare_fn
+[END_MACRO]
+
+[MACRO] CMP_MIN_BY_KEY_U64 %out_value, %lhs, %rhs, %key_fn
+    __cmp_min_key_lhs_%out_value = call %key_fn(%lhs)
+    __cmp_min_key_rhs_%out_value = call %key_fn(%rhs)
+    __cmp_min_key_take_lhs_%out_value = ule __cmp_min_key_lhs_%out_value, __cmp_min_key_rhs_%out_value
+    br __cmp_min_key_take_lhs_%out_value -> L_CMP_MIN_BY_KEY_U64_LHS_%out_value, L_CMP_MIN_BY_KEY_U64_RHS_%out_value
+L_CMP_MIN_BY_KEY_U64_LHS_%out_value:
+    %out_value = add %lhs, 0
+    jmp L_CMP_MIN_BY_KEY_U64_DONE_%out_value
+L_CMP_MIN_BY_KEY_U64_RHS_%out_value:
+    %out_value = add %rhs, 0
+L_CMP_MIN_BY_KEY_U64_DONE_%out_value:
+    !__cmp_min_key_take_lhs_%out_value
+    !__cmp_min_key_rhs_%out_value
+    !__cmp_min_key_lhs_%out_value
+[END_MACRO]
+
+// Rust method-name alias over CMP_MIN_BY_KEY_U64.
+[MACRO] CMP_MIN_BY_KEY %out_value, %lhs, %rhs, %key_fn
+    EXPAND CMP_MIN_BY_KEY_U64 %out_value, %lhs, %rhs, %key_fn
+[END_MACRO]
+
+[MACRO] CMP_MAX_BY_KEY_U64 %out_value, %lhs, %rhs, %key_fn
+    __cmp_max_key_lhs_%out_value = call %key_fn(%lhs)
+    __cmp_max_key_rhs_%out_value = call %key_fn(%rhs)
+    __cmp_max_key_take_lhs_%out_value = uge __cmp_max_key_lhs_%out_value, __cmp_max_key_rhs_%out_value
+    br __cmp_max_key_take_lhs_%out_value -> L_CMP_MAX_BY_KEY_U64_LHS_%out_value, L_CMP_MAX_BY_KEY_U64_RHS_%out_value
+L_CMP_MAX_BY_KEY_U64_LHS_%out_value:
+    %out_value = add %lhs, 0
+    jmp L_CMP_MAX_BY_KEY_U64_DONE_%out_value
+L_CMP_MAX_BY_KEY_U64_RHS_%out_value:
+    %out_value = add %rhs, 0
+L_CMP_MAX_BY_KEY_U64_DONE_%out_value:
+    !__cmp_max_key_take_lhs_%out_value
+    !__cmp_max_key_rhs_%out_value
+    !__cmp_max_key_lhs_%out_value
+[END_MACRO]
+
+// Rust method-name alias over CMP_MAX_BY_KEY_U64.
+[MACRO] CMP_MAX_BY_KEY %out_value, %lhs, %rhs, %key_fn
+    EXPAND CMP_MAX_BY_KEY_U64 %out_value, %lhs, %rhs, %key_fn
+[END_MACRO]
+
+[MACRO] CMP_MIN_I64 %out_value, %lhs, %rhs
+    __cmp_take_lhs_%out_value = sle %lhs, %rhs
+    br __cmp_take_lhs_%out_value -> L_CMP_MIN_I64_LHS_%out_value, L_CMP_MIN_I64_RHS_%out_value
+L_CMP_MIN_I64_LHS_%out_value:
+    %out_value = add %lhs, 0
+    !__cmp_take_lhs_%out_value
+    jmp L_CMP_MIN_I64_END_%out_value
+L_CMP_MIN_I64_RHS_%out_value:
+    %out_value = add %rhs, 0
+    !__cmp_take_lhs_%out_value
+L_CMP_MIN_I64_END_%out_value:
+[END_MACRO]
+
+[MACRO] CMP_MAX_I64 %out_value, %lhs, %rhs
+    __cmp_take_lhs_%out_value = sge %lhs, %rhs
+    br __cmp_take_lhs_%out_value -> L_CMP_MAX_I64_LHS_%out_value, L_CMP_MAX_I64_RHS_%out_value
+L_CMP_MAX_I64_LHS_%out_value:
+    %out_value = add %lhs, 0
+    !__cmp_take_lhs_%out_value
+    jmp L_CMP_MAX_I64_END_%out_value
+L_CMP_MAX_I64_RHS_%out_value:
+    %out_value = add %rhs, 0
+    !__cmp_take_lhs_%out_value
+L_CMP_MAX_I64_END_%out_value:
+[END_MACRO]
+
+[MACRO] CMP_CLAMP_U64 %out_value, %value, %min_value, %max_value
+    __cmp_below_min_%out_value = ult %value, %min_value
+    br __cmp_below_min_%out_value -> L_CMP_CLAMP_U64_MIN_%out_value, L_CMP_CLAMP_U64_CHECK_MAX_%out_value
+L_CMP_CLAMP_U64_MIN_%out_value:
+    %out_value = add %min_value, 0
+    jmp L_CMP_CLAMP_U64_END_%out_value
+L_CMP_CLAMP_U64_CHECK_MAX_%out_value:
+    __cmp_above_max_%out_value = ugt %value, %max_value
+    br __cmp_above_max_%out_value -> L_CMP_CLAMP_U64_MAX_%out_value, L_CMP_CLAMP_U64_VALUE_%out_value
+L_CMP_CLAMP_U64_MAX_%out_value:
+    %out_value = add %max_value, 0
+    !__cmp_above_max_%out_value
+    jmp L_CMP_CLAMP_U64_END_%out_value
+L_CMP_CLAMP_U64_VALUE_%out_value:
+    %out_value = add %value, 0
+    !__cmp_above_max_%out_value
+L_CMP_CLAMP_U64_END_%out_value:
+    !__cmp_below_min_%out_value
+[END_MACRO]
+
+// Rust method-name alias over CMP_CLAMP_U64.
+[MACRO] CMP_CLAMP %out_value, %value, %min_value, %max_value
+    EXPAND CMP_CLAMP_U64 %out_value, %value, %min_value, %max_value
+[END_MACRO]
+
+[MACRO] CMP_TRY_CLAMP_U64 %out_ok, %out_value, %value, %min_value, %max_value
+    __cmp_range_ok_%out_ok = ule %min_value, %max_value
+    br __cmp_range_ok_%out_ok -> L_CMP_TRY_CLAMP_U64_OK_%out_ok, L_CMP_TRY_CLAMP_U64_BAD_%out_ok
+L_CMP_TRY_CLAMP_U64_OK_%out_ok:
+    EXPAND CMP_CLAMP_U64 %out_value, %value, %min_value, %max_value
+    %out_ok = add 0, 1
+    !__cmp_range_ok_%out_ok
+    jmp L_CMP_TRY_CLAMP_U64_END_%out_ok
+L_CMP_TRY_CLAMP_U64_BAD_%out_ok:
+    %out_value = add 0, 0
+    %out_ok = add 0, 0
+    !__cmp_range_ok_%out_ok
+L_CMP_TRY_CLAMP_U64_END_%out_ok:
+[END_MACRO]
+
+// Rust method-name alias over CMP_TRY_CLAMP_U64.
+[MACRO] CMP_TRY_CLAMP %out_ok, %out_value, %value, %min_value, %max_value
+    EXPAND CMP_TRY_CLAMP_U64 %out_ok, %out_value, %value, %min_value, %max_value
+[END_MACRO]
+
+[MACRO] CMP_CLAMP_I64 %out_value, %value, %min_value, %max_value
+    __cmp_below_min_%out_value = slt %value, %min_value
+    br __cmp_below_min_%out_value -> L_CMP_CLAMP_I64_MIN_%out_value, L_CMP_CLAMP_I64_CHECK_MAX_%out_value
+L_CMP_CLAMP_I64_MIN_%out_value:
+    %out_value = add %min_value, 0
+    jmp L_CMP_CLAMP_I64_END_%out_value
+L_CMP_CLAMP_I64_CHECK_MAX_%out_value:
+    __cmp_above_max_%out_value = sgt %value, %max_value
+    br __cmp_above_max_%out_value -> L_CMP_CLAMP_I64_MAX_%out_value, L_CMP_CLAMP_I64_VALUE_%out_value
+L_CMP_CLAMP_I64_MAX_%out_value:
+    %out_value = add %max_value, 0
+    !__cmp_above_max_%out_value
+    jmp L_CMP_CLAMP_I64_END_%out_value
+L_CMP_CLAMP_I64_VALUE_%out_value:
+    %out_value = add %value, 0
+    !__cmp_above_max_%out_value
+L_CMP_CLAMP_I64_END_%out_value:
+    !__cmp_below_min_%out_value
+[END_MACRO]
+
+[MACRO] CMP_TRY_CLAMP_I64 %out_ok, %out_value, %value, %min_value, %max_value
+    __cmp_range_ok_%out_ok = sle %min_value, %max_value
+    br __cmp_range_ok_%out_ok -> L_CMP_TRY_CLAMP_I64_OK_%out_ok, L_CMP_TRY_CLAMP_I64_BAD_%out_ok
+L_CMP_TRY_CLAMP_I64_OK_%out_ok:
+    EXPAND CMP_CLAMP_I64 %out_value, %value, %min_value, %max_value
+    %out_ok = add 0, 1
+    !__cmp_range_ok_%out_ok
+    jmp L_CMP_TRY_CLAMP_I64_END_%out_ok
+L_CMP_TRY_CLAMP_I64_BAD_%out_ok:
+    %out_value = add 0, 0
+    %out_ok = add 0, 0
+    !__cmp_range_ok_%out_ok
+L_CMP_TRY_CLAMP_I64_END_%out_ok:
+[END_MACRO]
+
+[MACRO] CMP_REVERSE_U64_NEW %reverse_ptr, %value
+    store %reverse_ptr+CmpReverseU64_value, %value as u64
+[END_MACRO]
+
+[MACRO] CMP_REVERSE_U64_GET %out_value, %reverse_ptr
+    %out_value = load %reverse_ptr+CmpReverseU64_value as u64
+[END_MACRO]
+
+[MACRO] CMP_REVERSE_U64_SET %reverse_ptr, %value
+    store %reverse_ptr+CmpReverseU64_value, %value as u64
+[END_MACRO]
+
+[MACRO] CMP_REVERSE_U64_COPY %dst_reverse, %src_reverse
+    __cmp_reverse_u64_copy_value_%dst_reverse = load %src_reverse+CmpReverseU64_value as u64
+    store %dst_reverse+CmpReverseU64_value, __cmp_reverse_u64_copy_value_%dst_reverse as u64
+    !__cmp_reverse_u64_copy_value_%dst_reverse
+[END_MACRO]
+
+[MACRO] CMP_REVERSE_U64_DEFAULT %reverse_ptr
+    EXPAND CMP_REVERSE_U64_NEW %reverse_ptr, 0
+[END_MACRO]
+
+[MACRO] CMP_REVERSE_U64_CLONE %dst_reverse, %src_reverse
+    EXPAND CMP_REVERSE_U64_COPY %dst_reverse, %src_reverse
+[END_MACRO]
+
+[MACRO] CMP_REVERSE_U64_CLONE_FROM %dst_reverse, %src_reverse
+    EXPAND CMP_REVERSE_U64_COPY %dst_reverse, %src_reverse
+[END_MACRO]
+
+[MACRO] DEFAULT_HASHER_WRITE_CMP_REVERSE_U64 %hasher, %reverse_ptr
+    __cmp_reverse_u64_hash_value_%hasher = load %reverse_ptr+CmpReverseU64_value as u64
+    EXPAND DEFAULT_HASHER_WRITE_U64 %hasher, __cmp_reverse_u64_hash_value_%hasher
+    !__cmp_reverse_u64_hash_value_%hasher
+[END_MACRO]
+
+// Rust method-name alias over DEFAULT_HASHER_WRITE_CMP_REVERSE_U64.
+[MACRO] DEFAULT_HASHER_WRITE_CMP_REVERSE %hasher, %reverse_ptr
+    EXPAND DEFAULT_HASHER_WRITE_CMP_REVERSE_U64 %hasher, %reverse_ptr
+[END_MACRO]
+
+[MACRO] CMP_REVERSE_U64_HASH %out_hash, %reverse_ptr
+    __cmp_reverse_u64_hash_hasher_%out_hash = stack_alloc DefaultHasher_SIZE
+    EXPAND DEFAULT_HASHER_NEW __cmp_reverse_u64_hash_hasher_%out_hash
+    EXPAND DEFAULT_HASHER_WRITE_CMP_REVERSE_U64 __cmp_reverse_u64_hash_hasher_%out_hash, %reverse_ptr
+    EXPAND DEFAULT_HASHER_FINISH %out_hash, __cmp_reverse_u64_hash_hasher_%out_hash
+[END_MACRO]
+
+[MACRO] BUILD_HASHER_DEFAULT_HASH_ONE_CMP_REVERSE_U64 %out_hash, %builder, %reverse_ptr
+    __build_hash_one_cmp_reverse_u64_hasher_%out_hash = stack_alloc DefaultHasher_SIZE
+    EXPAND BUILD_HASHER_DEFAULT_BUILD __build_hash_one_cmp_reverse_u64_hasher_%out_hash, %builder
+    EXPAND DEFAULT_HASHER_WRITE_CMP_REVERSE_U64 __build_hash_one_cmp_reverse_u64_hasher_%out_hash, %reverse_ptr
+    EXPAND DEFAULT_HASHER_FINISH %out_hash, __build_hash_one_cmp_reverse_u64_hasher_%out_hash
+[END_MACRO]
+
+// Rust method-name alias over BUILD_HASHER_DEFAULT_HASH_ONE_CMP_REVERSE_U64.
+[MACRO] BUILD_HASHER_DEFAULT_HASH_ONE_CMP_REVERSE %out_hash, %builder, %reverse_ptr
+    EXPAND BUILD_HASHER_DEFAULT_HASH_ONE_CMP_REVERSE_U64 %out_hash, %builder, %reverse_ptr
+[END_MACRO]
+
+[MACRO] RANDOM_STATE_HASH_ONE_CMP_REVERSE_U64 %out_hash, %state, %reverse_ptr
+    __random_state_hash_one_cmp_reverse_u64_hasher_%out_hash = stack_alloc DefaultHasher_SIZE
+    EXPAND RANDOM_STATE_BUILD __random_state_hash_one_cmp_reverse_u64_hasher_%out_hash, %state
+    EXPAND DEFAULT_HASHER_WRITE_CMP_REVERSE_U64 __random_state_hash_one_cmp_reverse_u64_hasher_%out_hash, %reverse_ptr
+    EXPAND DEFAULT_HASHER_FINISH %out_hash, __random_state_hash_one_cmp_reverse_u64_hasher_%out_hash
+[END_MACRO]
+
+// Rust method-name alias over RANDOM_STATE_HASH_ONE_CMP_REVERSE_U64.
+[MACRO] RANDOM_STATE_HASH_ONE_CMP_REVERSE %out_hash, %state, %reverse_ptr
+    EXPAND RANDOM_STATE_HASH_ONE_CMP_REVERSE_U64 %out_hash, %state, %reverse_ptr
+[END_MACRO]
+
+[MACRO] CMP_REVERSE_U64_COMPARE %out_ordering, %lhs_reverse, %rhs_reverse
+    __cmp_reverse_u64_lhs_%out_ordering = load %lhs_reverse+CmpReverseU64_value as u64
+    __cmp_reverse_u64_rhs_%out_ordering = load %rhs_reverse+CmpReverseU64_value as u64
+    EXPAND CMP_COMPARE_U64 __cmp_reverse_u64_inner_%out_ordering, __cmp_reverse_u64_lhs_%out_ordering, __cmp_reverse_u64_rhs_%out_ordering
+    EXPAND CMP_ORDERING_REVERSE %out_ordering, __cmp_reverse_u64_inner_%out_ordering
+    !__cmp_reverse_u64_inner_%out_ordering
+    !__cmp_reverse_u64_rhs_%out_ordering
+    !__cmp_reverse_u64_lhs_%out_ordering
+[END_MACRO]
+
+[MACRO] CMP_REVERSE_U64_MIN_VALUE %out_value, %lhs_reverse, %rhs_reverse
+    EXPAND CMP_REVERSE_U64_COMPARE __cmp_reverse_u64_min_ord_%out_value, %lhs_reverse, %rhs_reverse
+    __cmp_reverse_u64_min_take_rhs_%out_value = eq __cmp_reverse_u64_min_ord_%out_value, CMP_ORDERING_GREATER
+    br __cmp_reverse_u64_min_take_rhs_%out_value -> L_CMP_REVERSE_U64_MIN_RHS_%out_value, L_CMP_REVERSE_U64_MIN_LHS_%out_value
+L_CMP_REVERSE_U64_MIN_LHS_%out_value:
+    EXPAND CMP_REVERSE_U64_GET %out_value, %lhs_reverse
+    jmp L_CMP_REVERSE_U64_MIN_DONE_%out_value
+L_CMP_REVERSE_U64_MIN_RHS_%out_value:
+    EXPAND CMP_REVERSE_U64_GET %out_value, %rhs_reverse
+L_CMP_REVERSE_U64_MIN_DONE_%out_value:
+    !__cmp_reverse_u64_min_take_rhs_%out_value
+    !__cmp_reverse_u64_min_ord_%out_value
+[END_MACRO]
+
+[MACRO] CMP_REVERSE_U64_MAX_VALUE %out_value, %lhs_reverse, %rhs_reverse
+    EXPAND CMP_REVERSE_U64_COMPARE __cmp_reverse_u64_max_ord_%out_value, %lhs_reverse, %rhs_reverse
+    __cmp_reverse_u64_max_take_rhs_%out_value = eq __cmp_reverse_u64_max_ord_%out_value, CMP_ORDERING_LESS
+    br __cmp_reverse_u64_max_take_rhs_%out_value -> L_CMP_REVERSE_U64_MAX_RHS_%out_value, L_CMP_REVERSE_U64_MAX_LHS_%out_value
+L_CMP_REVERSE_U64_MAX_LHS_%out_value:
+    EXPAND CMP_REVERSE_U64_GET %out_value, %lhs_reverse
+    jmp L_CMP_REVERSE_U64_MAX_DONE_%out_value
+L_CMP_REVERSE_U64_MAX_RHS_%out_value:
+    EXPAND CMP_REVERSE_U64_GET %out_value, %rhs_reverse
+L_CMP_REVERSE_U64_MAX_DONE_%out_value:
+    !__cmp_reverse_u64_max_take_rhs_%out_value
+    !__cmp_reverse_u64_max_ord_%out_value
+[END_MACRO]
+
+[MACRO] CMP_REVERSE_I64_NEW %reverse_ptr, %value
+    store %reverse_ptr+CmpReverseI64_value, %value as i64
+[END_MACRO]
+
+[MACRO] CMP_REVERSE_I64_GET %out_value, %reverse_ptr
+    %out_value = load %reverse_ptr+CmpReverseI64_value as i64
+[END_MACRO]
+
+[MACRO] CMP_REVERSE_I64_SET %reverse_ptr, %value
+    store %reverse_ptr+CmpReverseI64_value, %value as i64
+[END_MACRO]
+
+[MACRO] CMP_REVERSE_I64_COPY %dst_reverse, %src_reverse
+    __cmp_reverse_i64_copy_value_%dst_reverse = load %src_reverse+CmpReverseI64_value as i64
+    store %dst_reverse+CmpReverseI64_value, __cmp_reverse_i64_copy_value_%dst_reverse as i64
+    !__cmp_reverse_i64_copy_value_%dst_reverse
+[END_MACRO]
+
+[MACRO] CMP_REVERSE_I64_DEFAULT %reverse_ptr
+    EXPAND CMP_REVERSE_I64_NEW %reverse_ptr, 0
+[END_MACRO]
+
+[MACRO] CMP_REVERSE_I64_CLONE %dst_reverse, %src_reverse
+    EXPAND CMP_REVERSE_I64_COPY %dst_reverse, %src_reverse
+[END_MACRO]
+
+[MACRO] CMP_REVERSE_I64_CLONE_FROM %dst_reverse, %src_reverse
+    EXPAND CMP_REVERSE_I64_COPY %dst_reverse, %src_reverse
+[END_MACRO]
+
+[MACRO] DEFAULT_HASHER_WRITE_CMP_REVERSE_I64 %hasher, %reverse_ptr
+    __cmp_reverse_i64_hash_value_%hasher = load %reverse_ptr+CmpReverseI64_value as i64
+    EXPAND DEFAULT_HASHER_WRITE_I64 %hasher, __cmp_reverse_i64_hash_value_%hasher
+    !__cmp_reverse_i64_hash_value_%hasher
+[END_MACRO]
+
+[MACRO] CMP_REVERSE_I64_HASH %out_hash, %reverse_ptr
+    __cmp_reverse_i64_hash_hasher_%out_hash = stack_alloc DefaultHasher_SIZE
+    EXPAND DEFAULT_HASHER_NEW __cmp_reverse_i64_hash_hasher_%out_hash
+    EXPAND DEFAULT_HASHER_WRITE_CMP_REVERSE_I64 __cmp_reverse_i64_hash_hasher_%out_hash, %reverse_ptr
+    EXPAND DEFAULT_HASHER_FINISH %out_hash, __cmp_reverse_i64_hash_hasher_%out_hash
+[END_MACRO]
+
+[MACRO] BUILD_HASHER_DEFAULT_HASH_ONE_CMP_REVERSE_I64 %out_hash, %builder, %reverse_ptr
+    __build_hash_one_cmp_reverse_i64_hasher_%out_hash = stack_alloc DefaultHasher_SIZE
+    EXPAND BUILD_HASHER_DEFAULT_BUILD __build_hash_one_cmp_reverse_i64_hasher_%out_hash, %builder
+    EXPAND DEFAULT_HASHER_WRITE_CMP_REVERSE_I64 __build_hash_one_cmp_reverse_i64_hasher_%out_hash, %reverse_ptr
+    EXPAND DEFAULT_HASHER_FINISH %out_hash, __build_hash_one_cmp_reverse_i64_hasher_%out_hash
+[END_MACRO]
+
+[MACRO] RANDOM_STATE_HASH_ONE_CMP_REVERSE_I64 %out_hash, %state, %reverse_ptr
+    __random_state_hash_one_cmp_reverse_i64_hasher_%out_hash = stack_alloc DefaultHasher_SIZE
+    EXPAND RANDOM_STATE_BUILD __random_state_hash_one_cmp_reverse_i64_hasher_%out_hash, %state
+    EXPAND DEFAULT_HASHER_WRITE_CMP_REVERSE_I64 __random_state_hash_one_cmp_reverse_i64_hasher_%out_hash, %reverse_ptr
+    EXPAND DEFAULT_HASHER_FINISH %out_hash, __random_state_hash_one_cmp_reverse_i64_hasher_%out_hash
+[END_MACRO]
+
+[MACRO] CMP_REVERSE_I64_COMPARE %out_ordering, %lhs_reverse, %rhs_reverse
+    __cmp_reverse_i64_lhs_%out_ordering = load %lhs_reverse+CmpReverseI64_value as i64
+    __cmp_reverse_i64_rhs_%out_ordering = load %rhs_reverse+CmpReverseI64_value as i64
+    EXPAND CMP_COMPARE_I64 __cmp_reverse_i64_inner_%out_ordering, __cmp_reverse_i64_lhs_%out_ordering, __cmp_reverse_i64_rhs_%out_ordering
+    EXPAND CMP_ORDERING_REVERSE %out_ordering, __cmp_reverse_i64_inner_%out_ordering
+    !__cmp_reverse_i64_inner_%out_ordering
+    !__cmp_reverse_i64_rhs_%out_ordering
+    !__cmp_reverse_i64_lhs_%out_ordering
+[END_MACRO]
+
+[MACRO] CMP_REVERSE_I64_MIN_VALUE %out_value, %lhs_reverse, %rhs_reverse
+    EXPAND CMP_REVERSE_I64_COMPARE __cmp_reverse_i64_min_ord_%out_value, %lhs_reverse, %rhs_reverse
+    __cmp_reverse_i64_min_take_rhs_%out_value = eq __cmp_reverse_i64_min_ord_%out_value, CMP_ORDERING_GREATER
+    br __cmp_reverse_i64_min_take_rhs_%out_value -> L_CMP_REVERSE_I64_MIN_RHS_%out_value, L_CMP_REVERSE_I64_MIN_LHS_%out_value
+L_CMP_REVERSE_I64_MIN_LHS_%out_value:
+    EXPAND CMP_REVERSE_I64_GET %out_value, %lhs_reverse
+    jmp L_CMP_REVERSE_I64_MIN_DONE_%out_value
+L_CMP_REVERSE_I64_MIN_RHS_%out_value:
+    EXPAND CMP_REVERSE_I64_GET %out_value, %rhs_reverse
+L_CMP_REVERSE_I64_MIN_DONE_%out_value:
+    !__cmp_reverse_i64_min_take_rhs_%out_value
+    !__cmp_reverse_i64_min_ord_%out_value
+[END_MACRO]
+
+[MACRO] CMP_REVERSE_I64_MAX_VALUE %out_value, %lhs_reverse, %rhs_reverse
+    EXPAND CMP_REVERSE_I64_COMPARE __cmp_reverse_i64_max_ord_%out_value, %lhs_reverse, %rhs_reverse
+    __cmp_reverse_i64_max_take_rhs_%out_value = eq __cmp_reverse_i64_max_ord_%out_value, CMP_ORDERING_LESS
+    br __cmp_reverse_i64_max_take_rhs_%out_value -> L_CMP_REVERSE_I64_MAX_RHS_%out_value, L_CMP_REVERSE_I64_MAX_LHS_%out_value
+L_CMP_REVERSE_I64_MAX_LHS_%out_value:
+    EXPAND CMP_REVERSE_I64_GET %out_value, %lhs_reverse
+    jmp L_CMP_REVERSE_I64_MAX_DONE_%out_value
+L_CMP_REVERSE_I64_MAX_RHS_%out_value:
+    EXPAND CMP_REVERSE_I64_GET %out_value, %rhs_reverse
+L_CMP_REVERSE_I64_MAX_DONE_%out_value:
+    !__cmp_reverse_i64_max_take_rhs_%out_value
+    !__cmp_reverse_i64_max_ord_%out_value
+[END_MACRO]

package/sa_std/cmp.sal

@@ -0,0 +1,14 @@
+#def CMP_ORDERING_LESS = -1
+#def CMP_ORDERING_EQUAL = 0
+#def CMP_ORDERING_GREATER = 1
+#def CMP_ORDERING_DEFAULT_VALUE = CMP_ORDERING_EQUAL
+
+#def CmpReverseU64_SIZE = 8
+#def CmpReverseU64_value = +0
+
+#def CmpReverseI64_SIZE = 8
+#def CmpReverseI64_value = +0
+
+
+#def CMP_ORDERING_MIN = -1
+#def CMP_ORDERING_MAX = 1

package/sa_std/collections/binary_heap.sa

@@ -0,0 +1 @@
+@import "../binary_heap.sa"

package/sa_std/collections/btree_map.sa

@@ -0,0 +1 @@
+@import "../btree_map.sa"

package/sa_std/collections/btree_set.sa

@@ -0,0 +1 @@
+@import "../btree_set.sa"

package/sa_std/collections/hashmap.sa

@@ -0,0 +1 @@
+@import "../hashmap.sa"

package/sa_std/collections/hashset.sa

@@ -0,0 +1 @@
+@import "../hashset.sa"