aboutsummaryrefslogtreecommitdiffstats
path: root/src/synth/synth-expr.ads
diff options
context:
space:
mode:
authorTristan Gingold <tgingold@free.fr>2020-04-09 22:03:47 +0200
committerTristan Gingold <tgingold@free.fr>2020-04-09 22:03:47 +0200
commitd0af178e8f4a5387303727630a9a0690a1627ada (patch)
tree0874912e831d0d0db6dfc0878fc49d34ff65ef3c /src/synth/synth-expr.ads
parent32a60efc00452a5eb037f5d1f5dabb687c170c99 (diff)
downloadghdl-d0af178e8f4a5387303727630a9a0690a1627ada.tar.gz
ghdl-d0af178e8f4a5387303727630a9a0690a1627ada.tar.bz2
ghdl-d0af178e8f4a5387303727630a9a0690a1627ada.zip
synth: use memtyp in synth-static_oper. Fix #1181
Diffstat (limited to 'src/synth/synth-expr.ads')
-rw-r--r--src/synth/synth-expr.ads3
1 files changed, 3 insertions, 0 deletions
diff --git a/src/synth/synth-expr.ads b/src/synth/synth-expr.ads
index 3a7318550..d03f2f92c 100644
--- a/src/synth/synth-expr.ads
+++ b/src/synth/synth-expr.ads
@@ -41,6 +41,9 @@ package Synth.Expr is
-- For a static value V, return the value.
function Get_Static_Discrete (V : Valtyp) return Int64;
+ -- Return the memory (as a memtyp) of static value V.
+ function Get_Value_Memtyp (V : Valtyp) return Memtyp;
+
-- Return True only if discrete value V is known to be positive or 0.
-- False means either not positive or unknown.
function Is_Positive (V : Valtyp) return Boolean;