Adds initial support for int16 type.

Author: modlfo

.gitignore

@@ -33,7 +33,6 @@ debug_*/
 .vscode/settings.json
 *.swp
 *.swo
-*~
 
 # Node.js (for VS Code extension)
 node_modules/
@@ -65,7 +64,6 @@ __pycache__/
 lsp-*.log
 
 # Emacs files
-*~
 \#*\#
 /.emacs.desktop
 /.emacs.desktop.lock
@@ -79,4 +77,5 @@ tramp
 [._]*.sw[a-p]
 [._]s[a-rt-v][a-z]
 [._]ss[a-gi-z]
-[._]sw[a-p]
+[._]sw[a-p]
+/src/lsp/vscode-extension/vult_lsp_js.js

runtime/vultin.hpp

@@ -99,6 +99,31 @@ static_inline int fix_to_int(fix16_t a) { return (a >> 16); }
 
 static_inline int int_clip(int v, int minv, int maxv) { return v > maxv ? maxv : (v < minv ? minv : v); }
 
+// Int16 type conversion functions
+static_inline int16_t int_to_int16(int a) { return (int16_t)(a < -32768 ? -32768 : (a > 32767 ? 32767 : a)); }
+static_inline int16_t float_to_int16(float a) { return int_to_int16((int)a); }
+static_inline int16_t bool_to_int16(bool a) { return a ? 1 : 0; }
+static_inline int16_t fix_to_int16(fix16_t a) { return int_to_int16(fix_to_int(a)); }
+static_inline int16_t int16_to_int16(int16_t a) { return a; }
+
+static_inline int int16_to_int(int16_t a) { return (int)a; }
+static_inline float int16_to_float(int16_t a) { return (float)a; }
+static_inline bool int16_to_bool(int16_t a) { return a != 0; }
+static_inline fix16_t int16_to_fix(int16_t a) { return int_to_fix((int)a); }
+static_inline std::string int16_to_string(int16_t a) { return std::to_string(a); }
+
+// Int16 arithmetic operations with clamping
+static_inline int16_t int16_add(int16_t a, int16_t b) { return int_to_int16((int)a + (int)b); }
+static_inline int16_t int16_sub(int16_t a, int16_t b) { return int_to_int16((int)a - (int)b); }
+static_inline int16_t int16_mul(int16_t a, int16_t b) { return int_to_int16((int)a * (int)b); }
+static_inline int16_t int16_div(int16_t a, int16_t b) { return b == 0 ? 0 : int_to_int16((int)a / (int)b); }
+static_inline int16_t int16_mod(int16_t a, int16_t b) { return b == 0 ? 0 : (int16_t)((int)a % (int)b); }
+
+static_inline int16_t int16_clip(int16_t v, int16_t minv, int16_t maxv) { return v > maxv ? maxv : (v < minv ? minv : v); }
+static_inline int16_t int16_abs(int16_t a) { return a < 0 ? -a : a; }
+static_inline int16_t int16_min(int16_t a, int16_t b) { return a < b ? a : b; }
+static_inline int16_t int16_max(int16_t a, int16_t b) { return a > b ? a : b; }
+
 // Basic operations for fixed point numbers
 static_inline fix16_t fix_add(fix16_t x, fix16_t y) { return x + y; }
 
@@ -175,6 +200,7 @@ static_inline uint8_t bool_not(uint8_t x) { return !x; }
 /* Tables */
 static_inline fix16_t *fix_wrap_array(const fix16_t x[]) { return (fix16_t *)x; };
 static_inline float *float_wrap_array(const float x[]) { return (float *)x; };
+static_inline int16_t *int16_wrap_array(const int16_t x[]) { return (int16_t *)x; };
 
 /* Random numbers */
 float float_random();

src/core/env.ml

@@ -184,6 +184,7 @@ let builtin_functions =
     ; "int", C.valid_int
     ; "real", C.valid_real
     ; "fix16", C.valid_fix16
+    ; "int16", C.valid_int16
     ; "string", C.valid_string
     ; "bool", C.valid_bool
     ; "u-", C.num_num
@@ -218,7 +219,7 @@ let builtin_functions =
 
 
 let builtin_types =
-  [ "int"; "real"; "fix16"; "bool"; "string"; "unit" ]
+  [ "int"; "int16"; "real"; "fix16"; "bool"; "string"; "unit" ]
   |> CCList.map (fun n ->
          ( n
          , { path = Pparser.Syntax.{ id = n; n = None; loc = Loc.default }

src/core/initializer.ml

@@ -40,6 +40,7 @@ let rec getInitRHS (t : type_) =
   | { t = TEmptyType; _ } -> C.enull
   | { t = TVoid _; _ } -> C.eunit
   | { t = TInt; loc; _ } -> C.eint ~loc 0
+  | { t = TInt16; loc; _ } -> C.eint16 ~loc 0
   | { t = TReal; loc; _ } -> C.ereal ~loc 0.0
   | { t = TFix16; loc; _ } -> C.efix16 ~loc 0.0
   | { t = TString; loc; _ } -> C.estring ~loc ""
@@ -67,6 +68,9 @@ let rec initStatement (cstyle : cstyle) lhs rhs (t : type_) =
   | { t = TInt; loc; _ } ->
     let rhs = getInitRHS t in
     { s = StmtBind (lhs, rhs); loc }
+  | { t = TInt16; loc; _ } ->
+    let rhs = getInitRHS t in
+    { s = StmtBind (lhs, rhs); loc }
   | { t = TReal; loc; _ } ->
     let rhs = getInitRHS t in
     { s = StmtBind (lhs, rhs); loc }