synth: array inequality, integer in choices.

2 files changed, 11 insertions, 0 deletions

diff --git a/src/synth/synth-expr.adb b/src/synth/synth-expr.adb
index 5ace33ed3..caf0135df 100644
--- a/src/synth/synth-expr.adb
+++ b/src/synth/synth-expr.adb
@@ -784,6 +784,13 @@ package body Synth.Expr is
             else
                raise Internal_Error;
             end if;
+         when Iir_Predefined_Array_Inequality =>
+            --  TODO: check size, handle non-vector.
+            if Is_Vector_Type (Ltype) then
+               return Synth_Compare (Id_Ne);
+            else
+               raise Internal_Error;
+            end if;
          when Iir_Predefined_Array_Greater =>
             --  TODO: check size, non-vector.
             --  TODO: that's certainly not the correct operator.
diff --git a/src/synth/synth-stmts.adb b/src/synth/synth-stmts.adb
index 53d4f4515..5aad73c76 100644
--- a/src/synth/synth-stmts.adb
+++ b/src/synth/synth-stmts.adb
@@ -355,6 +355,10 @@ package body Synth.Stmts is
          when Iir_Kind_Enumeration_Type_Definition =>
             Dc := 0;
             Val := Uns64 (Get_Enum_Pos (Strip_Denoting_Name (Expr)));
+         when Iir_Kind_Integer_Type_Definition =>
+            --  TODO: signed values.
+            Dc := 0;
+            Val := Uns64 (Get_Value (Expr));
          when others =>
             Error_Kind ("convert_to_uns64", Expr_Type);
       end case;