aboutsummaryrefslogtreecommitdiffstats
path: root/src/synth/synth-values.adb
diff options
context:
space:
mode:
authorTristan Gingold <tgingold@free.fr>2019-09-17 18:41:28 +0200
committerTristan Gingold <tgingold@free.fr>2019-09-18 18:45:25 +0200
commit40e085168bdbaabd1730bffa1de7e450ae2fc0b7 (patch)
treef87cee45f3f4019e3f2bc43806cef3c93c76d718 /src/synth/synth-values.adb
parentca31e81a60f0ae87ec6bb9270b53c0b8483af2e9 (diff)
downloadghdl-40e085168bdbaabd1730bffa1de7e450ae2fc0b7.tar.gz
ghdl-40e085168bdbaabd1730bffa1de7e450ae2fc0b7.tar.bz2
ghdl-40e085168bdbaabd1730bffa1de7e450ae2fc0b7.zip
synth: remove value_mux2.
Diffstat (limited to 'src/synth/synth-values.adb')
-rw-r--r--src/synth/synth-values.adb19
1 files changed, 1 insertions, 18 deletions
diff --git a/src/synth/synth-values.adb b/src/synth/synth-values.adb
index 08a1daa36..223aeb5cb 100644
--- a/src/synth/synth-values.adb
+++ b/src/synth/synth-values.adb
@@ -46,8 +46,7 @@ package body Synth.Values is
| Value_Float =>
return True;
when Value_Net
- | Value_Wire
- | Value_Mux2 =>
+ | Value_Wire =>
return False;
when Value_Const_Array
| Value_Const_Record =>
@@ -73,8 +72,6 @@ package body Synth.Values is
return Netlists.Utils.Is_Const_Net (Val.N);
when Value_Wire =>
return Is_Const_Wire (Val.W);
- when Value_Mux2 =>
- return False;
when Value_Const_Array
| Value_Const_Record =>
return True;
@@ -350,20 +347,6 @@ package body Synth.Values is
Value_Type_Net'(Kind => Value_Net, N => N, Typ => Ntype)));
end Create_Value_Net;
- function Create_Value_Mux2 (Cond : Value_Acc; T : Value_Acc; F : Value_Acc)
- return Value_Acc
- is
- subtype Value_Type_Mux2 is Value_Type (Value_Mux2);
- function Alloc is new Areapools.Alloc_On_Pool_Addr (Value_Type_Mux2);
- pragma Assert (F = null or else T.Typ = F.Typ);
- begin
- return To_Value_Acc
- (Alloc (Current_Pool,
- (Kind => Value_Mux2,
- Typ => T.Typ,
- M_Cond => Cond, M_T => T, M_F => F)));
- end Create_Value_Mux2;
-
function Create_Value_Discrete (Val : Int64; Vtype : Type_Acc)
return Value_Acc
is