synth: use note messages for memories (instead of warnings).

4 files changed, 34 insertions, 28 deletions

diff --git a/src/synth/netlists-errors.ads b/src/synth/netlists-errors.ads
index d51504393..33765017d 100644
--- a/src/synth/netlists-errors.ads
+++ b/src/synth/netlists-errors.ads
@@ -19,11 +19,13 @@
 --  MA 02110-1301, USA.
 
 with Errorout; use Errorout;
+with Netlists.Locations;
 
 package Netlists.Errors is
    function "+" (N : Instance) return Earg_Type;
    function "+" (N : Net) return Earg_Type;
    function "+" (N : Sname) return Earg_Type;
-
+   function "+" (N : Instance) return Location_Type
+     renames Netlists.Locations.Get_Location;
    procedure Initialize;
 end Netlists.Errors;
diff --git a/src/synth/netlists-memories.adb b/src/synth/netlists-memories.adb
index 590171f49..4ab0bdc0b 100644
--- a/src/synth/netlists-memories.adb
+++ b/src/synth/netlists-memories.adb
@@ -80,7 +80,7 @@ package body Netlists.Memories is
            | Id_Dff =>
             Mem_Sz := Get_Width (Dff);
          when others =>
-            Warning_Msg_Synth
+            Info_Msg_Synth
               (Orig_Loc,
                "write to memory %n is not synchronous", (1 => +Orig));
             return;
@@ -116,9 +116,9 @@ package body Netlists.Memories is
                Data_W := W;
             elsif Data_W /= W then
                --  Different size.
-               Warning_Msg_Synth (Get_Location (Data_Inst),
-                                  "write to memory %n with different size",
-                                  (1 => +Orig));
+               Info_Msg_Synth
+                 (+Data_Inst, "write to memory %n with different size",
+                  (1 => +Orig));
                Data_W := 0;
                return;
             end if;
@@ -127,8 +127,8 @@ package body Netlists.Memories is
          elsif Data = Orig_Net then
             exit;
          else
-            Warning_Msg_Synth (Get_Location (Data_Inst),
-                               "full write to memory %n", (1 => +Orig));
+            Info_Msg_Synth
+              (+Data_Inst, "full write to memory %n", (1 => +Orig));
             Data_W := 0;
             return;
          end if;
@@ -146,9 +146,9 @@ package body Netlists.Memories is
                when Id_Dyn_Extract =>
                   --  Check offset
                   if Get_Param_Uns32 (Extr_Inst, 0) /= 0 then
-                     Warning_Msg_Synth (Get_Location (Extr_Inst),
-                                        "partial read from memory %n",
-                                        (1 => +Orig));
+                     Info_Msg_Synth
+                       (+Extr_Inst, "partial read from memory %n",
+                        (1 => +Orig));
                      Data_W := 0;
                      return;
                   end if;
@@ -157,9 +157,8 @@ package body Netlists.Memories is
                   if Data_W = 0 then
                      Data_W := W;
                   elsif Data_W /= W then
-                     Warning_Msg_Synth
-                       (Get_Location (Extr_Inst),
-                        "read from memory %n with different size",
+                     Info_Msg_Synth
+                       (+Extr_Inst, "read from memory %n with different size",
                         (1 => +Orig));
                      Data_W := 0;
                      return;
@@ -170,9 +169,8 @@ package body Netlists.Memories is
                   --  FIXME: check it has already been seen above.
                   null;
                when others =>
-                  Warning_Msg_Synth
-                    (Get_Location (Extr_Inst),
-                     "full read from memory %n", (1 => +Orig));
+                  Info_Msg_Synth
+                    (+Extr_Inst, "full read from memory %n", (1 => +Orig));
                   Data_W := 0;
                   return;
             end case;
@@ -399,9 +397,8 @@ package body Netlists.Memories is
          when Id_Dff =>
             Last := Build_Memory (Ctxt, Get_Width (Dff));
          when others =>
-            Error_Msg_Synth
-              (Get_Location (Orig), "write to memory %n is not synchronous",
-               (1 => +Orig));
+            Info_Msg_Synth
+              (+Orig, "write to memory %n is not synchronous", (1 => +Orig));
             return;
       end case;
 
@@ -581,12 +578,10 @@ package body Netlists.Memories is
                --  If the data input is a memory:
                --    * Save the memory, and the insert.
                if not Is_A_Memory (Data) then
-                  Warning_Msg_Synth
-                    (Get_Location (Inst), "dynamic write to a non-memory");
+                  Info_Msg_Synth (+Inst, "dynamic write to a non-memory");
                elsif Get_Param_Uns32 (Inst, 0) /= 0 then
                   --  Write from offset /= 0.
-                  Warning_Msg_Synth
-                    (Get_Location (Inst), "complex memory not handled");
+                  Info_Msg_Synth (+Inst, "complex memory not handled");
                else
                   Get (Memories, Data, Data);
                end if;
@@ -620,8 +615,7 @@ package body Netlists.Memories is
                end loop;
 
                if not Is_A_Memory (Data) then
-                  Warning_Msg_Synth
-                    (Get_Location (Inst), "dynamic read from a non-memory");
+                  Info_Msg_Synth (+Inst, "dynamic read from a non-memory");
                end if;
 
             when others =>
@@ -639,9 +633,9 @@ package body Netlists.Memories is
          begin
             Check_Memory_Ports (Inst, Data_W, Size);
             if Data_W /= 0 then
-               Warning_Msg_Synth (Get_Location (Inst),
-                                  "found memory %n, width: %v bits, depth: %v",
-                                  (1 => +Inst, 2 => +Data_W, 3 => +Size));
+               Info_Msg_Synth
+                 (+Inst, "found memory %n, width: %v bits, depth: %v",
+                  (1 => +Inst, 2 => +Data_W, 3 => +Size));
                if Get_Id (Inst) /= Id_Const_Bit then
                   Replace_RAM_Memory (Ctxt, Inst);
                end if;
diff --git a/src/synth/synth-errors.adb b/src/synth/synth-errors.adb
index be4ed43c9..9636d322b 100644
--- a/src/synth/synth-errors.adb
+++ b/src/synth/synth-errors.adb
@@ -50,4 +50,11 @@ package body Synth.Errors is
       Report_Msg (Msgid_Warning, Errorout.Elaboration, +Loc, Msg, Args);
    end Warning_Msg_Synth;
 
+   procedure Info_Msg_Synth (Loc : Location_Type;
+                             Msg : String;
+                             Args : Earg_Arr := No_Eargs) is
+   begin
+      Report_Msg (Msgid_Note, Errorout.Elaboration, +Loc, Msg, Args);
+   end Info_Msg_Synth;
+
 end Synth.Errors;
diff --git a/src/synth/synth-errors.ads b/src/synth/synth-errors.ads
index b6b5885c4..76506d430 100644
--- a/src/synth/synth-errors.ads
+++ b/src/synth/synth-errors.ads
@@ -34,4 +34,7 @@ package Synth.Errors is
    procedure Warning_Msg_Synth (Loc : Location_Type;
                                 Msg : String;
                                 Args : Earg_Arr := No_Eargs);
+   procedure Info_Msg_Synth (Loc : Location_Type;
+                             Msg : String;
+                             Args : Earg_Arr := No_Eargs);
 end Synth.Errors;