diff options
author | Tristan Gingold <tgingold@free.fr> | 2019-11-29 19:08:41 +0100 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2019-11-29 19:08:41 +0100 |
commit | 09de5ec9c9e8c66b2690c53b4e89ce81c5d447e5 (patch) | |
tree | d0fcbd09352c32ee645a4956467aa35a1aec1da0 /src/synth/synth-static_oper.adb | |
parent | f19f6a799f1f064dc96a34165e0f528418a1bc9d (diff) | |
download | ghdl-09de5ec9c9e8c66b2690c53b4e89ce81c5d447e5.tar.gz ghdl-09de5ec9c9e8c66b2690c53b4e89ce81c5d447e5.tar.bz2 ghdl-09de5ec9c9e8c66b2690c53b4e89ce81c5d447e5.zip |
synth-static_oper: add support for array array concat. Fix #1046
Diffstat (limited to 'src/synth/synth-static_oper.adb')
-rw-r--r-- | src/synth/synth-static_oper.adb | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/src/synth/synth-static_oper.adb b/src/synth/synth-static_oper.adb index 7e5cb7a84..3fc12174b 100644 --- a/src/synth/synth-static_oper.adb +++ b/src/synth/synth-static_oper.adb @@ -20,9 +20,12 @@ with Types; use Types; +with Vhdl.Utils; use Vhdl.Utils; + with Synth.Errors; use Synth.Errors; with Synth.Source; use Synth.Source; with Synth.Expr; use Synth.Expr; +with Synth.Oper; with Synth.Ieee.Std_Logic_1164; use Synth.Ieee.Std_Logic_1164; with Synth.Ieee.Numeric_Std; use Synth.Ieee.Numeric_Std; @@ -267,6 +270,29 @@ package body Synth.Static_Oper is when Iir_Predefined_Floating_Div => return Create_Value_Float (Left.Fp / Right.Fp, Res_Typ); + when Iir_Predefined_Array_Array_Concat => + declare + Ret_Typ : constant Type_Acc := + Get_Value_Type (Syn_Inst, Get_Return_Type (Imp)); + Bnd : Bound_Type; + Res_Typ : Type_Acc; + Arr : Value_Array_Acc; + begin + Bnd := Oper.Create_Bounds_From_Length + (Syn_Inst, Get_Index_Type (Get_Type (Expr), 0), + Left.Arr.Len + Right.Arr.Len); + Res_Typ := Create_Onedimensional_Array_Subtype + (Ret_Typ, Bnd); + Arr := Create_Value_Array (Left.Arr.Len + Right.Arr.Len); + for I in Left.Arr.V'Range loop + Arr.V (I) := Left.Arr.V (I); + end loop; + for I in Right.Arr.V'Range loop + Arr.V (Left.Arr.Len + I) := Right.Arr.V (I); + end loop; + return Create_Value_Const_Array (Res_Typ, Arr); + end; + when Iir_Predefined_Array_Equality | Iir_Predefined_Record_Equality => return Create_Value_Discrete |