aboutsummaryrefslogtreecommitdiffstats
path: root/src/synth/synth-values.ads
diff options
context:
space:
mode:
Diffstat (limited to 'src/synth/synth-values.ads')
-rw-r--r--src/synth/synth-values.ads10
1 files changed, 10 insertions, 0 deletions
diff --git a/src/synth/synth-values.ads b/src/synth/synth-values.ads
index a889c4e81..cc452a556 100644
--- a/src/synth/synth-values.ads
+++ b/src/synth/synth-values.ads
@@ -38,6 +38,8 @@ package Synth.Values is
-- into a net.
Value_Wire,
+ Value_Mux2,
+
-- A non-vector array.
Value_Array,
@@ -78,6 +80,10 @@ package Synth.Values is
when Value_Wire =>
W : Wire_Id;
W_Range : Value_Range_Acc;
+ when Value_Mux2 =>
+ M_Cond : Value_Acc;
+ M_T : Value_Acc;
+ M_F : Value_Acc;
when Value_Lit =>
Lit : Simul.Environments.Iir_Value_Literal_Acc;
Lit_Type : Iir;
@@ -96,6 +102,10 @@ package Synth.Values is
function Create_Value_Wire (W : Wire_Id; Rng : Value_Range_Acc)
return Value_Acc;
+ -- Create a mux2.
+ function Create_Value_Mux2 (Cond : Value_Acc; T : Value_Acc; F : Value_Acc)
+ return Value_Acc;
+
-- Create a Value_Lit.
function Create_Value_Lit (Val : Iir_Value_Literal_Acc; Typ : Iir)
return Value_Acc;