@salang/sa 0.1.2 → 0.1.4

package/sa_std/string.sai

@@ -0,0 +1,25 @@
+@extern sa_str_is_ascii(ptr: ptr, len: u64) -> i32
+@extern sa_str_eq_ignore_ascii_case(left: ptr, left_len: u64, right: ptr, right_len: u64) -> i32
+@extern sa_str_trim_ascii_start_index(ptr: ptr, len: u64) -> u64
+@extern sa_str_trim_ascii_end_len(ptr: ptr, len: u64) -> u64
+@extern sa_str_utf8_char_count(ptr: ptr, len: u64) -> u64
+@extern sa_str_utf8_validate(ptr: ptr, len: u64) -> i32
+@extern sa_str_utf8_char_at(ptr: ptr, len: u64, char_index: u64, out_codepoint: ptr) -> i32
+@extern sa_str_utf8_char_at_byte(ptr: ptr, len: u64, byte_index: u64, out_codepoint: ptr, out_len: ptr) -> i32
+@extern sa_str_utf8_lossy_next(ptr: ptr, len: u64, byte_index: u64, out_codepoint: ptr, out_len: ptr) -> i32
+@extern sa_str_utf8_char_range_at(ptr: ptr, len: u64, char_index: u64, out_start: ptr, out_len: ptr) -> i32
+@extern sa_string_concat(left: ptr, left_len: u64, right: ptr, right_len: u64) -> u64
+@extern sa_string_from_char_code(code: i32) -> u64
+@extern sa_string_index_of(hay_ptr: ptr, hay_len: u64, ndl_ptr: ptr, ndl_len: u64, from: u64) -> i32
+@extern sa_string_last_index_of(hay_ptr: ptr, hay_len: u64, ndl_ptr: ptr, ndl_len: u64, from: u64) -> i32
+@extern sa_string_starts_with(hay_ptr: ptr, hay_len: u64, ndl_ptr: ptr, ndl_len: u64) -> i32
+@extern sa_string_ends_with(hay_ptr: ptr, hay_len: u64, ndl_ptr: ptr, ndl_len: u64) -> i32
+@extern sa_string_to_lower_ascii(ptr: ptr, len: u64) -> u64
+@extern sa_string_to_upper_ascii(ptr: ptr, len: u64) -> u64
+@extern sa_parse_float(ptr: ptr, len: u64) -> f64
+@extern sa_string_repeat(ptr: ptr, len: u64, count: u64) -> u64
+@extern sa_string_pad_start(ptr: ptr, len: u64, target_len: u64, pad_ptr: ptr, pad_len: u64) -> u64
+@extern sa_string_pad_end(ptr: ptr, len: u64, target_len: u64, pad_ptr: ptr, pad_len: u64) -> u64
+@extern sa_string_replace(hay_ptr: ptr, hay_len: u64, ndl_ptr: ptr, ndl_len: u64, rep_ptr: ptr, rep_len: u64, all: u64) -> u64
+@extern sa_string_code_point_at(ptr: ptr, len: u64, idx: u64) -> i32
+@extern sa_string_from_code_point(code: i32) -> u64

package/sa_std/string.sal

@@ -0,0 +1,17 @@
+@import "alloc/vec.sal"
+@import "ffi.sal"
+
+#def FromUtf8Error_SIZE = 40
+#def FromUtf8Error_ALIGN = 8
+#def FromUtf8Error_bytes = +0
+#def FromUtf8Error_error = +24
+#def FromUtf8Error_utf8_error = FromUtf8Error_error
+
+#def FromUtf16Error_SIZE = 8
+#def FromUtf16Error_ALIGN = 8
+#def FromUtf16Error_kind = +0
+#def FROM_UTF16_ERROR_LONE_SURROGATE = 0
+#def FROM_UTF16_ERROR_ODD_BYTES = 1
+
+#def ParseBoolError_SIZE = 0
+#def ParseBoolError_ALIGN = 1

package/sa_std/string_format.sa

@@ -0,0 +1,269 @@
+@import "fmt.sai"
+@import "io.sai"
+@import "vec.sa"
+@import "core/slice.sal"
+@import "core/slice.sa"
+
+@const FORMAT_NEWLINE = utf8:"\n"
+
+[MACRO] STRFMT_I64 %out_buf, %value, %base
+    %out_buf = call @sa_fmt_i64(%value, %base)
+[END_MACRO]
+
+[MACRO] STRFMT_U64 %out_buf, %value, %base
+    %out_buf = call @sa_fmt_u64(%value, %base)
+[END_MACRO]
+
+// Rust method-name alias over STRFMT_U64.
+[MACRO] STRFMT %out_buf, %value, %base
+    EXPAND STRFMT_U64 %out_buf, %value, %base
+[END_MACRO]
+
+[MACRO] STRFMT_F64 %out_buf, %value, %precision
+    %out_buf = call @sa_fmt_f64(%value, %precision)
+[END_MACRO]
+
+[MACRO] STRFMT_BOOL %out_buf, %value
+    %out_buf = call @sa_fmt_bool(%value)
+[END_MACRO]
+
+[MACRO] STRFMT_BYTES %out_buf, %buf, %len
+    %out_buf = call @sa_fmt_bytes(&%buf, %len)
+[END_MACRO]
+
+[MACRO] STRFMT_I64_INTO %out_ok, %out_len_ptr, %value, %base, %buf, %cap
+    %out_ok = call @sa_fmt_i64_into(%value, %base, %buf, %cap, &%out_len_ptr)
+[END_MACRO]
+
+[MACRO] STRFMT_U64_INTO %out_ok, %out_len_ptr, %value, %base, %buf, %cap
+    %out_ok = call @sa_fmt_u64_into(%value, %base, %buf, %cap, &%out_len_ptr)
+[END_MACRO]
+
+[MACRO] STRFMT_F64_INTO %out_ok, %out_len_ptr, %value, %precision, %buf, %cap
+    %out_ok = call @sa_fmt_f64_into(%value, %precision, %buf, %cap, &%out_len_ptr)
+[END_MACRO]
+
+[MACRO] STRFMT_BOOL_INTO %out_ok, %out_len_ptr, %value, %buf, %cap
+    %out_ok = call @sa_fmt_bool_into(%value, %buf, %cap, &%out_len_ptr)
+[END_MACRO]
+
+[MACRO] STRFMT_BYTES_INTO %out_ok, %out_len_ptr, %src, %src_len, %buf, %cap
+    %out_ok = call @sa_fmt_bytes_into(&%src, %src_len, %buf, %cap, &%out_len_ptr)
+[END_MACRO]
+
+[MACRO] STRFMT_DATA %out_ptr, %buffer
+    %out_ptr = call @sa_fmt_buffer_data(%buffer)
+[END_MACRO]
+
+[MACRO] STRFMT_LEN %out_len, %buffer
+    %out_len = call @sa_fmt_buffer_len(%buffer)
+[END_MACRO]
+
+[MACRO] STRFMT_WRITE_TO %out_ok, %buffer, %writer
+    %out_ok = call @sa_fmt_buffer_write_to(%buffer, %writer)
+[END_MACRO]
+
+[MACRO] STRFMT_FREE %out_ok, %buffer
+    %out_ok = call @sa_fmt_buffer_free(^%buffer)
+[END_MACRO]
+
+[MACRO] FORMAT_BEGIN %out_string, %capacity
+    %out_string = call @sa_vec_with_capacity(%capacity, 1)
+[END_MACRO]
+
+[MACRO] FORMAT_PUSH_BYTES %tag, %string_reg, %src_ptr, %src_len
+    %string_reg = call @sa_vec_reserve(^%string_reg, %src_len, 1)
+    __format_view_%tag = & %string_reg
+    __format_dst_buf_%tag = load __format_view_%tag+Vec_ptr as ptr
+    __format_dst_len_%tag = load __format_view_%tag+Vec_len as u64
+    __format_dst_ptr_%tag = ptr_add __format_dst_buf_%tag, __format_dst_len_%tag
+    call @sa_mem_copy(&__format_dst_ptr_%tag, &%src_ptr, %src_len)
+    __format_next_len_%tag = add __format_dst_len_%tag, %src_len
+    store __format_view_%tag+Vec_len, __format_next_len_%tag as u64
+    !__format_next_len_%tag
+    !__format_dst_ptr_%tag
+    !__format_dst_len_%tag
+    !__format_dst_buf_%tag
+    !__format_view_%tag
+[END_MACRO]
+
+[MACRO] FORMAT_PUSH_SLICE %tag, %string_reg, %slice_reg
+    __format_slice_ptr_%tag = load %slice_reg+Slice_ptr as ptr
+    __format_slice_len_%tag = load %slice_reg+Slice_len as u64
+    EXPAND FORMAT_PUSH_BYTES %tag, %string_reg, __format_slice_ptr_%tag, __format_slice_len_%tag
+    !__format_slice_len_%tag
+    !__format_slice_ptr_%tag
+[END_MACRO]
+
+[MACRO] FORMAT_PUSH_I64 %tag, %string_reg, %value
+    EXPAND STRFMT_I64 __format_fmt_buf_%tag, %value, 10
+    EXPAND STRFMT_DATA __format_fmt_ptr_%tag, __format_fmt_buf_%tag
+    EXPAND STRFMT_LEN __format_fmt_len_%tag, __format_fmt_buf_%tag
+    EXPAND FORMAT_PUSH_BYTES %tag, %string_reg, __format_fmt_ptr_%tag, __format_fmt_len_%tag
+    EXPAND STRFMT_FREE __format_fmt_free_ok_%tag, __format_fmt_buf_%tag
+    !__format_fmt_free_ok_%tag
+    !__format_fmt_len_%tag
+    !__format_fmt_ptr_%tag
+[END_MACRO]
+
+[MACRO] FORMAT_PUSH_U64 %tag, %string_reg, %value
+    EXPAND STRFMT_U64 __format_fmt_buf_%tag, %value, 10
+    EXPAND STRFMT_DATA __format_fmt_ptr_%tag, __format_fmt_buf_%tag
+    EXPAND STRFMT_LEN __format_fmt_len_%tag, __format_fmt_buf_%tag
+    EXPAND FORMAT_PUSH_BYTES %tag, %string_reg, __format_fmt_ptr_%tag, __format_fmt_len_%tag
+    EXPAND STRFMT_FREE __format_fmt_free_ok_%tag, __format_fmt_buf_%tag
+    !__format_fmt_free_ok_%tag
+    !__format_fmt_len_%tag
+    !__format_fmt_ptr_%tag
+[END_MACRO]
+
+// Rust method-name alias over FORMAT_PUSH_U64.
+[MACRO] FORMAT_PUSH %tag, %string_reg, %value
+    EXPAND FORMAT_PUSH_U64 %tag, %string_reg, %value
+[END_MACRO]
+
+[MACRO] FORMAT_PUSH_F64 %tag, %string_reg, %value, %precision
+    EXPAND STRFMT_F64 __format_fmt_buf_%tag, %value, %precision
+    EXPAND STRFMT_DATA __format_fmt_ptr_%tag, __format_fmt_buf_%tag
+    EXPAND STRFMT_LEN __format_fmt_len_%tag, __format_fmt_buf_%tag
+    EXPAND FORMAT_PUSH_BYTES %tag, %string_reg, __format_fmt_ptr_%tag, __format_fmt_len_%tag
+    EXPAND STRFMT_FREE __format_fmt_free_ok_%tag, __format_fmt_buf_%tag
+    !__format_fmt_free_ok_%tag
+    !__format_fmt_len_%tag
+    !__format_fmt_ptr_%tag
+[END_MACRO]
+
+[MACRO] FORMAT_PUSH_BOOL %tag, %string_reg, %value
+    EXPAND STRFMT_BOOL __format_fmt_buf_%tag, %value
+    EXPAND STRFMT_DATA __format_fmt_ptr_%tag, __format_fmt_buf_%tag
+    EXPAND STRFMT_LEN __format_fmt_len_%tag, __format_fmt_buf_%tag
+    EXPAND FORMAT_PUSH_BYTES %tag, %string_reg, __format_fmt_ptr_%tag, __format_fmt_len_%tag
+    EXPAND STRFMT_FREE __format_fmt_free_ok_%tag, __format_fmt_buf_%tag
+    !__format_fmt_free_ok_%tag
+    !__format_fmt_len_%tag
+    !__format_fmt_ptr_%tag
+[END_MACRO]
+
+[MACRO] FORMAT_AS_STR %out_slice, %string_reg
+    __format_as_str_view_%out_slice = & %string_reg
+    __format_as_str_ptr_%out_slice = load __format_as_str_view_%out_slice+Vec_ptr as ptr
+    __format_as_str_len_%out_slice = load __format_as_str_view_%out_slice+Vec_len as u64
+    %out_slice = alloc Slice_SIZE
+    EXPAND SLICE_NEW %out_slice, __format_as_str_ptr_%out_slice, __format_as_str_len_%out_slice
+    !__format_as_str_len_%out_slice
+    !__format_as_str_ptr_%out_slice
+    !__format_as_str_view_%out_slice
+[END_MACRO]
+
+[MACRO] FORMAT_FREE %string_reg
+    call @sa_vec_free(^%string_reg)
+[END_MACRO]
+
+// Fixed-arity formatting facades for the common Rust/std scalar surfaces.
+[MACRO] FORMAT_U64_TO_STRING %out_buf, %value
+    EXPAND STRFMT_U64 %out_buf, %value, 10
+[END_MACRO]
+
+[MACRO] FORMAT_I64_TO_STRING %out_buf, %value
+    EXPAND STRFMT_I64 %out_buf, %value, 10
+[END_MACRO]
+
+[MACRO] FORMAT_F64_TO_STRING %out_buf, %value, %precision
+    EXPAND STRFMT_F64 %out_buf, %value, %precision
+[END_MACRO]
+
+[MACRO] FORMAT_BOOL_TO_STRING %out_buf, %value
+    EXPAND STRFMT_BOOL %out_buf, %value
+[END_MACRO]
+
+// Bare aliases default to the u64 concrete lowering, matching the existing
+// method-name alias convention used throughout sa_std.
+[MACRO] FORMAT_TO_STRING %out_buf, %value
+    EXPAND FORMAT_U64_TO_STRING %out_buf, %value
+[END_MACRO]
+
+// Concrete formatted writes. The returned status is zero on success; the
+// writeln variants combine the value and newline write statuses.
+[MACRO] FORMAT_WRITE_U64 %out_status, %handle, %value
+    EXPAND FORMAT_U64_TO_STRING __format_write_u64_buf_%out_status, %value
+    EXPAND STRFMT_DATA __format_write_u64_ptr_%out_status, __format_write_u64_buf_%out_status
+    EXPAND STRFMT_LEN __format_write_u64_len_%out_status, __format_write_u64_buf_%out_status
+    %out_status = call @sa_io_write_all(%handle, __format_write_u64_ptr_%out_status, __format_write_u64_len_%out_status)
+    EXPAND STRFMT_FREE __format_write_u64_free_%out_status, __format_write_u64_buf_%out_status
+    !__format_write_u64_free_%out_status
+    !__format_write_u64_len_%out_status
+    !__format_write_u64_ptr_%out_status
+[END_MACRO]
+
+[MACRO] FORMAT_WRITE_I64 %out_status, %handle, %value
+    EXPAND FORMAT_I64_TO_STRING __format_write_i64_buf_%out_status, %value
+    EXPAND STRFMT_DATA __format_write_i64_ptr_%out_status, __format_write_i64_buf_%out_status
+    EXPAND STRFMT_LEN __format_write_i64_len_%out_status, __format_write_i64_buf_%out_status
+    %out_status = call @sa_io_write_all(%handle, __format_write_i64_ptr_%out_status, __format_write_i64_len_%out_status)
+    EXPAND STRFMT_FREE __format_write_i64_free_%out_status, __format_write_i64_buf_%out_status
+    !__format_write_i64_free_%out_status
+    !__format_write_i64_len_%out_status
+    !__format_write_i64_ptr_%out_status
+[END_MACRO]
+
+[MACRO] FORMAT_WRITE_F64 %out_status, %handle, %value, %precision
+    EXPAND FORMAT_F64_TO_STRING __format_write_f64_buf_%out_status, %value, %precision
+    EXPAND STRFMT_DATA __format_write_f64_ptr_%out_status, __format_write_f64_buf_%out_status
+    EXPAND STRFMT_LEN __format_write_f64_len_%out_status, __format_write_f64_buf_%out_status
+    %out_status = call @sa_io_write_all(%handle, __format_write_f64_ptr_%out_status, __format_write_f64_len_%out_status)
+    EXPAND STRFMT_FREE __format_write_f64_free_%out_status, __format_write_f64_buf_%out_status
+    !__format_write_f64_free_%out_status
+    !__format_write_f64_len_%out_status
+    !__format_write_f64_ptr_%out_status
+[END_MACRO]
+
+[MACRO] FORMAT_WRITE_BOOL %out_status, %handle, %value
+    EXPAND FORMAT_BOOL_TO_STRING __format_write_bool_buf_%out_status, %value
+    EXPAND STRFMT_DATA __format_write_bool_ptr_%out_status, __format_write_bool_buf_%out_status
+    EXPAND STRFMT_LEN __format_write_bool_len_%out_status, __format_write_bool_buf_%out_status
+    %out_status = call @sa_io_write_all(%handle, __format_write_bool_ptr_%out_status, __format_write_bool_len_%out_status)
+    EXPAND STRFMT_FREE __format_write_bool_free_%out_status, __format_write_bool_buf_%out_status
+    !__format_write_bool_free_%out_status
+    !__format_write_bool_len_%out_status
+    !__format_write_bool_ptr_%out_status
+[END_MACRO]
+
+[MACRO] FORMAT_WRITELN_U64 %out_status, %handle, %value
+    EXPAND FORMAT_WRITE_U64 __format_writeln_u64_value_status_%out_status, %handle, %value
+    __format_writeln_u64_newline_status_%out_status = call @sa_io_write_all(%handle, &FORMAT_NEWLINE, 1)
+    %out_status = add __format_writeln_u64_value_status_%out_status, __format_writeln_u64_newline_status_%out_status
+    !__format_writeln_u64_value_status_%out_status
+    !__format_writeln_u64_newline_status_%out_status
+[END_MACRO]
+
+[MACRO] FORMAT_WRITELN_I64 %out_status, %handle, %value
+    EXPAND FORMAT_WRITE_I64 __format_writeln_i64_value_status_%out_status, %handle, %value
+    __format_writeln_i64_newline_status_%out_status = call @sa_io_write_all(%handle, &FORMAT_NEWLINE, 1)
+    %out_status = add __format_writeln_i64_value_status_%out_status, __format_writeln_i64_newline_status_%out_status
+    !__format_writeln_i64_value_status_%out_status
+    !__format_writeln_i64_newline_status_%out_status
+[END_MACRO]
+
+[MACRO] FORMAT_WRITELN_F64 %out_status, %handle, %value, %precision
+    EXPAND FORMAT_WRITE_F64 __format_writeln_f64_value_status_%out_status, %handle, %value, %precision
+    __format_writeln_f64_newline_status_%out_status = call @sa_io_write_all(%handle, &FORMAT_NEWLINE, 1)
+    %out_status = add __format_writeln_f64_value_status_%out_status, __format_writeln_f64_newline_status_%out_status
+    !__format_writeln_f64_value_status_%out_status
+    !__format_writeln_f64_newline_status_%out_status
+[END_MACRO]
+
+[MACRO] FORMAT_WRITELN_BOOL %out_status, %handle, %value
+    EXPAND FORMAT_WRITE_BOOL __format_writeln_bool_value_status_%out_status, %handle, %value
+    __format_writeln_bool_newline_status_%out_status = call @sa_io_write_all(%handle, &FORMAT_NEWLINE, 1)
+    %out_status = add __format_writeln_bool_value_status_%out_status, __format_writeln_bool_newline_status_%out_status
+    !__format_writeln_bool_value_status_%out_status
+    !__format_writeln_bool_newline_status_%out_status
+[END_MACRO]
+
+[MACRO] FORMAT_WRITE %out_status, %handle, %value
+    EXPAND FORMAT_WRITE_U64 %out_status, %handle, %value
+[END_MACRO]
+
+[MACRO] FORMAT_WRITELN %out_status, %handle, %value
+    EXPAND FORMAT_WRITELN_U64 %out_status, %handle, %value
+[END_MACRO]