aboutsummaryrefslogtreecommitdiffstats
path: root/src/synth/synth-values.adb
diff options
context:
space:
mode:
Diffstat (limited to 'src/synth/synth-values.adb')
-rw-r--r--src/synth/synth-values.adb53
1 files changed, 53 insertions, 0 deletions
diff --git a/src/synth/synth-values.adb b/src/synth/synth-values.adb
index 030ceec81..a2c9f8623 100644
--- a/src/synth/synth-values.adb
+++ b/src/synth/synth-values.adb
@@ -592,6 +592,59 @@ package body Synth.Values is
return Atype.W;
end Get_Type_Width;
+ function Create_Value_Default (Typ : Type_Acc) return Value_Acc is
+ begin
+ case Typ.Kind is
+ when Type_Bit
+ | Type_Logic =>
+ -- FIXME: what about subtype ?
+ return Create_Value_Discrete (0, Typ);
+ when Type_Discrete =>
+ return Create_Value_Discrete (Typ.Drange.Left, Typ);
+ when Type_Float =>
+ return Create_Value_Float (Typ.Frange.Left, Typ);
+ when Type_Vector =>
+ declare
+ El_Typ : constant Type_Acc := Typ.Vec_El;
+ Arr : Value_Array_Acc;
+ begin
+ Arr := Create_Value_Array (Iir_Index32 (Typ.Vbound.Len));
+ for I in Arr.V'Range loop
+ Arr.V (I) := Create_Value_Default (El_Typ);
+ end loop;
+ return Create_Value_Array (Typ, Arr);
+ end;
+ when Type_Unbounded_Vector =>
+ raise Internal_Error;
+ when Type_Slice =>
+ raise Internal_Error;
+ when Type_Array =>
+ declare
+ El_Typ : constant Type_Acc := Typ.Vec_El;
+ Arr : Value_Array_Acc;
+ begin
+ Arr := Create_Value_Array
+ (Iir_Index32 (Get_Array_Flat_Length (Typ)));
+ for I in Arr.V'Range loop
+ Arr.V (I) := Create_Value_Default (El_Typ);
+ end loop;
+ return Create_Value_Array (Typ, Arr);
+ end;
+ when Type_Unbounded_Array =>
+ raise Internal_Error;
+ when Type_Record =>
+ declare
+ Els : Value_Array_Acc;
+ begin
+ Els := Create_Value_Array (Typ.Rec.Len);
+ for I in Els.V'Range loop
+ Els.V (I) := Create_Value_Default (Typ.Rec.E (I).Typ);
+ end loop;
+ return Create_Value_Record (Typ, Els);
+ end;
+ end case;
+ end Create_Value_Default;
+
procedure Init is
begin
Instance_Pool := Global_Pool'Access;