netlists: initial infrastructure for attributes. For #1318

2 files changed, 62 insertions, 7 deletions

diff --git a/src/synth/netlists.adb b/src/synth/netlists.adb
index 168289b38..717a595f3 100644
--- a/src/synth/netlists.adb
+++ b/src/synth/netlists.adb
@@ -25,6 +25,7 @@ with Simple_IO;
 
 with Netlists.Utils; use Netlists.Utils;
 with Netlists.Gates;
+with Dyn_Interning;
 
 package body Netlists is
 
@@ -131,7 +132,8 @@ package body Netlists is
                              Last_Sub_Module => No_Module,
                              Next_Sub_Module => No_Module,
                              First_Instance => No_Instance,
-                             Last_Instance => No_Instance));
+                             Last_Instance => No_Instance,
+                             Attrs => null));
       Res := Modules_Table.Last;
       Self := Create_Self_Instance (Res);
       pragma Unreferenced (Self);
@@ -176,7 +178,8 @@ package body Netlists is
           Last_Sub_Module => No_Module,
           Next_Sub_Module => No_Module,
           First_Instance => No_Instance,
-          Last_Instance => No_Instance));
+          Last_Instance => No_Instance,
+          Attrs => null));
       Res := Modules_Table.Last;
 
       --  Append
@@ -1171,6 +1174,40 @@ package body Netlists is
       end if;
    end Write_Pval;
 
+   --  Attributes
+
+   type Attribute_Record is record
+      Inst : Instance;
+      First : Attribute;
+   end record;
+
+   function Attribute_Hash (Params : Instance) return Hash_Value_Type is
+   begin
+      return Hash_Value_Type (Params);
+   end Attribute_Hash;
+
+   function Attribute_Build (Params : Instance) return Attribute_Record is
+   begin
+      return Attribute_Record'(Inst => Params,
+                               First => No_Attribute);
+   end Attribute_Build;
+
+   function Attribute_Equal (Obj : Attribute_Record; Params : Instance)
+                             return Boolean is
+   begin
+      return Obj.Inst = Params;
+   end Attribute_Equal;
+
+   package Attribute_Tables is new Dyn_Interning
+     (Params_Type => Instance,
+      Object_Type => Attribute_Record,
+      Hash => Attribute_Hash,
+      Build => Attribute_Build,
+      Equal => Attribute_Equal);
+
+   type Attribute_Tables_Instance is new Attribute_Tables.Instance;
+   --  Statistics
+
    function Count_Free_Inputs (Head : Input) return Natural
    is
       Unused : Natural;
@@ -1306,7 +1343,8 @@ begin
                           Last_Sub_Module => No_Module,
                           Next_Sub_Module => No_Module,
                           First_Instance => No_Instance,
-                          Last_Instance => No_Instance));
+                          Last_Instance => No_Instance,
+                          Attrs => null));
    pragma Assert (Modules_Table.Last = No_Module);
 
    Modules_Table.Append ((Parent => No_Module,
@@ -1322,7 +1360,8 @@ begin
                           Last_Sub_Module => No_Module,
                           Next_Sub_Module => No_Module,
                           First_Instance => No_Instance,
-                          Last_Instance => No_Instance));
+                          Last_Instance => No_Instance,
+                          Attrs => null));
    pragma Assert (Modules_Table.Last = Free_Module);
 
    Instances_Table.Append ((Parent => No_Module,
diff --git a/src/synth/netlists.ads b/src/synth/netlists.ads
index e5560ba0a..37cd2279b 100644
--- a/src/synth/netlists.ads
+++ b/src/synth/netlists.ads
@@ -361,6 +361,23 @@ private
    type Net is new Uns32;
    No_Net : constant Net := 0;
 
+   type Instance is new Uns32;
+   No_Instance : constant Instance := 0;
+
+   type Attribute is new Uns32;
+   No_Attribute : Attribute := 0;
+
+   type Attribute_Tables_Instance;
+
+   type Attribute_Table_Acc is access Attribute_Tables_Instance;
+
+   type Attribute_Value is record
+      Name  : Name_Id;
+      Val   : Pval;
+      Typ   : Param_Type;
+      Chain : Attribute;
+   end record;
+
    type Module_Record is record
       Parent           : Module;
       Name             : Sname;
@@ -383,15 +400,14 @@ private
       --  FIXME: use an array instead ?
       First_Instance : Instance;
       Last_Instance  : Instance;
+
+      Attrs          : Attribute_Table_Acc;
    end record;
 
    function Get_First_Port_Desc (M : Module) return Port_Desc_Idx;
    function Get_First_Output (Inst : Instance) return Net;
    function Get_Port_Desc (Idx : Port_Desc_Idx) return Port_Desc;
 
-   type Instance is new Uns32;
-   No_Instance : constant Instance := 0;
-
    function Is_Valid (I : Instance) return Boolean;
 
    type Instance_Record is record