diff options
| author | Tristan Gingold <tgingold@free.fr> | 2023-01-13 07:53:30 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2023-01-14 08:37:14 +0100 |
| commit | 73ebf9e63eb51ac79e9929dba1607d85a706bf07 (patch) | |
| tree | 4098f1bacf701d52c9f1f5d03929a70409fb25c1 /src/synth | |
| parent | 86f025cb0901a002b252acc9d35b23f28f7f0080 (diff) | |
| download | ghdl-73ebf9e63eb51ac79e9929dba1607d85a706bf07.tar.gz ghdl-73ebf9e63eb51ac79e9929dba1607d85a706bf07.tar.bz2 ghdl-73ebf9e63eb51ac79e9929dba1607d85a706bf07.zip | |
synth-vhdl_eval: remove useless type unsharing for concat
Diffstat (limited to 'src/synth')
| -rw-r--r-- | src/synth/synth-vhdl_eval.adb | 16 |
1 files changed, 4 insertions, 12 deletions
diff --git a/src/synth/synth-vhdl_eval.adb b/src/synth/synth-vhdl_eval.adb index d9b1bc2a8..5b4728c4d 100644 --- a/src/synth/synth-vhdl_eval.adb +++ b/src/synth/synth-vhdl_eval.adb @@ -1299,7 +1299,7 @@ package body Synth.Vhdl_Eval is Iir_Index32 (Get_Bound_Length (Param2.Typ)); Le_Typ : constant Type_Acc := Get_Array_Element (Param1.Typ); Re_Typ : constant Type_Acc := Get_Array_Element (Param2.Typ); - El_Typ : Type_Acc; + El_Typ : constant Type_Acc := Le_Typ; Bnd : Bound_Type; Res_St : Type_Acc; Res : Memtyp; @@ -1345,8 +1345,6 @@ package body Synth.Vhdl_Eval is return Null_Memtyp; end if; end if; - El_Typ := Unshare_Type_Expr (Le_Typ, - Get_Array_Element (Res_Typ)); Res_St := Create_Onedimensional_Array_Subtype (Res_Typ, Bnd, El_Typ); Res := Create_Memory (Res_St); @@ -1364,7 +1362,7 @@ package body Synth.Vhdl_Eval is Rlen : constant Iir_Index32 := Iir_Index32 (Get_Bound_Length (Param2.Typ)); Re_Typ : constant Type_Acc := Get_Array_Element (Param2.Typ); - El_Typ : Type_Acc; + El_Typ : constant Type_Acc := Re_Typ; Bnd : Bound_Type; Res_St : Type_Acc; Res : Memtyp; @@ -1372,8 +1370,6 @@ package body Synth.Vhdl_Eval is Check_Matching_Bounds (Param1.Typ, Re_Typ, Expr); Bnd := Elab.Vhdl_Types.Create_Bounds_From_Length (Get_Uarray_Index (Res_Typ).Drange, 1 + Rlen); - El_Typ := Unshare_Type_Expr (Re_Typ, - Get_Array_Element (Res_Typ)); Res_St := Create_Onedimensional_Array_Subtype (Res_Typ, Bnd, El_Typ); Res := Create_Memory (Res_St); @@ -1387,7 +1383,7 @@ package body Synth.Vhdl_Eval is Llen : constant Iir_Index32 := Iir_Index32 (Get_Bound_Length (Param1.Typ)); Le_Typ : constant Type_Acc := Get_Array_Element (Param1.Typ); - El_Typ : Type_Acc; + El_Typ : constant Type_Acc := Le_Typ; Bnd : Bound_Type; Res_St : Type_Acc; Res : Memtyp; @@ -1395,8 +1391,6 @@ package body Synth.Vhdl_Eval is Check_Matching_Bounds (Le_Typ, Param2.Typ, Expr); Bnd := Elab.Vhdl_Types.Create_Bounds_From_Length (Get_Uarray_Index (Res_Typ).Drange, Llen + 1); - El_Typ := Unshare_Type_Expr (Le_Typ, - Get_Array_Element (Res_Typ)); Res_St := Create_Onedimensional_Array_Subtype (Res_Typ, Bnd, El_Typ); Res := Create_Memory (Res_St); @@ -1408,7 +1402,7 @@ package body Synth.Vhdl_Eval is when Iir_Predefined_Element_Element_Concat => declare Le_Typ : constant Type_Acc := Param1.Typ; - El_Typ : Type_Acc; + El_Typ : constant Type_Acc := Le_Typ; Bnd : Bound_Type; Res_St : Type_Acc; Res : Memtyp; @@ -1416,8 +1410,6 @@ package body Synth.Vhdl_Eval is Check_Matching_Bounds (Param1.Typ, Param2.Typ, Expr); Bnd := Elab.Vhdl_Types.Create_Bounds_From_Length (Get_Uarray_Index (Res_Typ).Drange, 2); - El_Typ := Unshare_Type_Expr (Le_Typ, - Get_Array_Element (Res_Typ)); Res_St := Create_Onedimensional_Array_Subtype (Res_Typ, Bnd, El_Typ); Res := Create_Memory (Res_St); |