aboutsummaryrefslogtreecommitdiffstats
path: root/src/synth/synth-values.adb
diff options
context:
space:
mode:
authorTristan Gingold <tgingold@free.fr>2020-05-02 07:59:09 +0200
committerTristan Gingold <tgingold@free.fr>2020-05-02 07:59:09 +0200
commitaeb47655ddfed9d3fd85c4986d21a60f83b9a8c6 (patch)
treeaa27d773849c84fffd2fd25bb0893b1bc0ebe7ef /src/synth/synth-values.adb
parente98cc23b32e85d7f31ca6427d40c33df70749238 (diff)
downloadghdl-aeb47655ddfed9d3fd85c4986d21a60f83b9a8c6.tar.gz
ghdl-aeb47655ddfed9d3fd85c4986d21a60f83b9a8c6.tar.bz2
ghdl-aeb47655ddfed9d3fd85c4986d21a60f83b9a8c6.zip
synth: use static values for control nets when possible.
Diffstat (limited to 'src/synth/synth-values.adb')
-rw-r--r--src/synth/synth-values.adb19
1 files changed, 0 insertions, 19 deletions
diff --git a/src/synth/synth-values.adb b/src/synth/synth-values.adb
index 995f41d55..ed042c849 100644
--- a/src/synth/synth-values.adb
+++ b/src/synth/synth-values.adb
@@ -89,25 +89,6 @@ package body Synth.Values is
return (V.Typ, Strip_Alias_Const (V.Val));
end Strip_Alias_Const;
- function Is_Equal (L, R : Memtyp) return Boolean is
- begin
- if L = R then
- return True;
- end if;
-
- if L.Typ.Sz /= R.Typ.Sz then
- return False;
- end if;
-
- -- FIXME: not correct for records, not correct for floats!
- for I in 1 .. L.Typ.Sz loop
- if L.Mem (I - 1) /= R.Mem (I - 1) then
- return False;
- end if;
- end loop;
- return True;
- end Is_Equal;
-
function Is_Equal (L, R : Valtyp) return Boolean is
begin
return Is_Equal (Get_Memtyp (L), Get_Memtyp (R));