From 2c1c51961305f0b9eae24242c36f7981c6cf5596 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Mon, 4 May 2020 09:36:20 +0200
Subject: synth: add comments.

---
 src/synth/synth-environment.adb | 2 --
 src/synth/synth-stmts.adb       | 3 +++
 2 files changed, 3 insertions(+), 2 deletions(-)

(limited to 'src')

diff --git a/src/synth/synth-environment.adb b/src/synth/synth-environment.adb
index 5a24fd4ba..59b3938f5 100644
--- a/src/synth/synth-environment.adb
+++ b/src/synth/synth-environment.adb
@@ -489,8 +489,6 @@ package body Synth.Environment is
             Asgn := Asgn_Rec.Chain;
          end;
       end loop;
-
-      --  FIXME: free wires.
    end Pop_And_Merge_Phi;
 
    procedure Propagate_Phi_Until_Mark (Ctxt : Builders.Context_Acc;
diff --git a/src/synth/synth-stmts.adb b/src/synth/synth-stmts.adb
index 823598b1f..323f04cb6 100644
--- a/src/synth/synth-stmts.adb
+++ b/src/synth/synth-stmts.adb
@@ -1824,6 +1824,7 @@ package body Synth.Stmts is
          C.W_Val := Alloc_Wire (Wire_Variable, Imp);
       end if;
 
+      --  Create a phi so that all assignments are gathered.
       Push_Phi;
 
       Synth_Subprogram_Association_Wires (Sub_Inst, Init);
@@ -1885,6 +1886,8 @@ package body Synth.Stmts is
       Propagate_Phi_Until_Mark (Ctxt, Subprg_Phi, Wire_Mark);
 
       --  Free wires.
+      --  These wires are currently unassigned because they were created
+      --  within the Phi.
       Free_Wire (C.W_En);
       Free_Wire (C.W_Ret);
       if Is_Func then
-- 
cgit v1.2.3