synth: add traces for debugging.

2 files changed, 21 insertions, 0 deletions

diff --git a/src/synth/synth-flags.ads b/src/synth/synth-flags.ads
index 163903ee7..4a85cb09a 100644
--- a/src/synth/synth-flags.ads
+++ b/src/synth/synth-flags.ads
@@ -26,4 +26,6 @@ package Synth.Flags is
    Flag_Debug_Nomemory : Boolean := False;
 
    Flag_Debug_Noexpand : Boolean := False;
+
+   Flag_Trace_Statements : Boolean := False;
 end Synth.Flags;
diff --git a/src/synth/synth-stmts.adb b/src/synth/synth-stmts.adb
index 2df7705fb..95f5e48f6 100644
--- a/src/synth/synth-stmts.adb
+++ b/src/synth/synth-stmts.adb
@@ -22,8 +22,11 @@ with Ada.Unchecked_Deallocation;
 
 with Grt.Algos;
 with Areapools;
+with Name_Table;
 with Std_Names;
 with Errorout; use Errorout;
+with Files_Map;
+with Simple_IO;
 
 with Vhdl.Errors; use Vhdl.Errors;
 with Vhdl.Types;
@@ -45,6 +48,7 @@ with Synth.Insts; use Synth.Insts;
 with Synth.Source;
 with Synth.Static_Proc;
 with Synth.Heap;
+with Synth.Flags;
 
 with Netlists.Builders; use Netlists.Builders;
 with Netlists.Gates;
@@ -1980,6 +1984,21 @@ package body Synth.Stmts is
          if Has_Phi then
             Push_Phi;
          end if;
+
+         if Flags.Flag_Trace_Statements then
+            declare
+               Name : Name_Id;
+               Line : Natural;
+               Col : Natural;
+            begin
+               Files_Map.Location_To_Position
+                 (Get_Location (Stmt), Name, Line, Col);
+               Simple_IO.Put_Line ("Execute statement at "
+                                     & Name_Table.Image (Name)
+                                     & Natural'Image (Line));
+            end;
+         end if;
+
          case Get_Kind (Stmt) is
             when Iir_Kind_If_Statement =>
                Synth_If_Statement (C, Stmt);