vhdl: recognize ieee.numeric_std std_match.

2 files changed, 39 insertions, 0 deletions

diff --git a/src/vhdl/vhdl-ieee-numeric.adb b/src/vhdl/vhdl-ieee-numeric.adb
index 4a9ba8508..a1ac7927e 100644
--- a/src/vhdl/vhdl-ieee-numeric.adb
+++ b/src/vhdl/vhdl-ieee-numeric.adb
@@ -429,6 +429,36 @@ package body Vhdl.Ieee.Numeric is
             raise Error;
          end if;
       end Handle_Resize;
+
+      procedure Handle_Std_Match
+      is
+         Predefined : Iir_Predefined_Functions;
+      begin
+         if Arg1_Kind /= Arg2_Kind or else Arg1_Sign /= Arg2_Sign then
+            raise Error;
+         end if;
+
+         if Arg1_Kind = Arg_Scal and Arg1_Sign = Type_Log then
+            Predefined := Iir_Predefined_Ieee_Numeric_Std_Match_Log;
+         elsif Arg1_Kind = Arg_Vect then
+            case Arg1_Sign is
+               when Type_Unsigned =>
+                  Predefined := Iir_Predefined_Ieee_Numeric_Std_Match_Uns;
+               when Type_Signed =>
+                  Predefined := Iir_Predefined_Ieee_Numeric_Std_Match_Sgn;
+               when Type_Suv =>
+                  Predefined := Iir_Predefined_Ieee_Numeric_Std_Match_Suv;
+               when Type_Slv =>
+                  Predefined := Iir_Predefined_Ieee_Numeric_Std_Match_Slv;
+               when Type_Log =>
+                  raise Error;
+            end case;
+         else
+            raise Error;
+         end if;
+
+         Set_Implicit_Definition (Decl, Predefined);
+      end Handle_Std_Match;
    begin
       Decl := Get_Declaration_Chain (Pkg_Decl);
 
@@ -537,6 +567,8 @@ package body Vhdl.Ieee.Numeric is
                         Handle_To_Signed;
                      when Name_Resize =>
                         Handle_Resize;
+                     when Name_Std_Match =>
+                        Handle_Std_Match;
                      when others =>
                         null;
                   end case;
diff --git a/src/vhdl/vhdl-nodes.ads b/src/vhdl/vhdl-nodes.ads
index a0cd6b429..3a2bcb20b 100644
--- a/src/vhdl/vhdl-nodes.ads
+++ b/src/vhdl/vhdl-nodes.ads
@@ -5005,6 +5005,13 @@ package Vhdl.Nodes is
       Iir_Predefined_Ieee_Numeric_Std_Neg_Uns,
       Iir_Predefined_Ieee_Numeric_Std_Neg_Sgn,
 
+      --  Std_Match functions.
+      Iir_Predefined_Ieee_Numeric_Std_Match_Log,
+      Iir_Predefined_Ieee_Numeric_Std_Match_Uns,
+      Iir_Predefined_Ieee_Numeric_Std_Match_Sgn,
+      Iir_Predefined_Ieee_Numeric_Std_Match_Slv,
+      Iir_Predefined_Ieee_Numeric_Std_Match_Suv,
+
       --  Math_Real
       Iir_Predefined_Ieee_Math_Real_Ceil,
       Iir_Predefined_Ieee_Math_Real_Log2,