Annotate the RISC-V prelude for C builtins.

Add some builtins to the C sail lib.
Enable some gcc warnings.

1 files changed, 6 insertions, 0 deletions

diff --git a/lib/sail.h b/lib/sail.h
index 37b6b685..8533cd21 100644
--- a/lib/sail.h
+++ b/lib/sail.h
@@ -77,6 +77,7 @@ bool eq_string(const sail_string, const sail_string);
 bool EQUAL(sail_string)(const sail_string, const sail_string);
 
 void concat_str(sail_string *stro, const sail_string str1, const sail_string str2);
+bool string_startswith(sail_string s, sail_string prefix);
 
 /* ***** Sail integers ***** */
 
@@ -319,6 +320,11 @@ unit prerr_real(const sail_string, const real);
 
 void random_real(real *rop, unit);
 
+/* ***** String utilities ***** */
+
+void string_length(sail_int *len, sail_string s);
+void string_drop(sail_string *dst, sail_string s, sail_int len);
+
 /* ***** Printing ***** */
 
 void string_of_int(sail_string *str, const sail_int i);