diff options
author | Tristan Gingold <tgingold@free.fr> | 2020-04-09 22:03:47 +0200 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2020-04-09 22:03:47 +0200 |
commit | d0af178e8f4a5387303727630a9a0690a1627ada (patch) | |
tree | 0874912e831d0d0db6dfc0878fc49d34ff65ef3c /src/synth/synth-expr.ads | |
parent | 32a60efc00452a5eb037f5d1f5dabb687c170c99 (diff) | |
download | ghdl-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.ads | 3 |
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; |