diff options
| author | Tristan Gingold <tgingold@free.fr> | 2019-09-24 20:15:54 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2019-09-25 06:59:31 +0200 |
| commit | 010aca1966eeb260529041d209d69a92654465f8 (patch) | |
| tree | c6ee61df644a096924bcdbe1de0f4dd325dcd4b0 /src/synth/synth-expr.ads | |
| parent | ce6232cf23bf794e5b8df88a5e7c0eed5408b3e0 (diff) | |
| download | ghdl-010aca1966eeb260529041d209d69a92654465f8.tar.gz ghdl-010aca1966eeb260529041d209d69a92654465f8.tar.bz2 ghdl-010aca1966eeb260529041d209d69a92654465f8.zip | |
synth: rework type for expression.
Diffstat (limited to 'src/synth/synth-expr.ads')
| -rw-r--r-- | src/synth/synth-expr.ads | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/synth/synth-expr.ads b/src/synth/synth-expr.ads index 142a8a3a2..dbe092434 100644 --- a/src/synth/synth-expr.ads +++ b/src/synth/synth-expr.ads @@ -58,12 +58,17 @@ package Synth.Expr is function Concat_Array (Arr : Net_Array_Acc) return Net; function Synth_Expression_With_Type - (Syn_Inst : Synth_Instance_Acc; Expr : Node; Expr_Type : Node) + (Syn_Inst : Synth_Instance_Acc; Expr : Node; Expr_Type : Type_Acc) return Value_Acc; function Synth_Expression (Syn_Inst : Synth_Instance_Acc; Expr : Node) return Value_Acc; + -- Use base type of EXPR to synthesize EXPR. Useful when the type of + -- EXPR is defined by itself or a range. + function Synth_Expression_With_Basetype + (Syn_Inst : Synth_Instance_Acc; Expr : Node) return Value_Acc; + function Synth_Bounds_From_Range (Syn_Inst : Synth_Instance_Acc; Atype : Node) return Bound_Type; |