synth: handle static add sgn int.

1 files changed, 18 insertions, 0 deletions

diff --git a/src/synth/synth-static_oper.adb b/src/synth/synth-static_oper.adb
index c25775bae..fb79af54c 100644
--- a/src/synth/synth-static_oper.adb
+++ b/src/synth/synth-static_oper.adb
@@ -108,6 +108,21 @@ package body Synth.Static_Oper is
       end;
    end Synth_Add_Uns_Uns;
 
+   function Synth_Add_Sgn_Int (L, R : Value_Acc; Loc : Syn_Src)
+                              return Value_Acc
+   is
+      pragma Unreferenced (Loc);
+      L_Arr : Std_Logic_Vector (1 .. Natural (L.Arr.Len));
+      R_Val : constant Int64 := R.Scal;
+   begin
+      To_Std_Logic_Vector (L, L_Arr);
+      declare
+         Res_Arr : constant Std_Logic_Vector := Add_Sgn_Int (L_Arr, R_Val);
+      begin
+         return To_Value_Acc (Res_Arr, L.Typ.Vec_El);
+      end;
+   end Synth_Add_Sgn_Int;
+
    function Synth_Static_Dyadic_Predefined (Syn_Inst : Synth_Instance_Acc;
                                             Imp : Node;
                                             Left : Value_Acc;
@@ -206,6 +221,9 @@ package body Synth.Static_Oper is
          when Iir_Predefined_Ieee_Numeric_Std_Add_Uns_Uns =>
             return Synth_Add_Uns_Uns (Left, Right, Expr);
 
+         when Iir_Predefined_Ieee_Numeric_Std_Add_Sgn_Int =>
+            return Synth_Add_Sgn_Int (Left, Right, Expr);
+
          when others =>
             Error_Msg_Synth
               (+Expr, "synth_static_dyadic_predefined: unhandled "