vhdl: move std_standard package to vhdl child.

1 files changed, 0 insertions, 1363 deletions

diff --git a/src/vhdl/std_package.adb b/src/vhdl/std_package.adb
deleted file mode 100644
index 5dd659d6a..000000000
--- a/src/vhdl/std_package.adb
+++ /dev/null
@@ -1,1363 +0,0 @@
---  std.standard package declarations.
---  Copyright (C) 2002, 2003, 2004, 2005 Tristan Gingold
---
---  GHDL is free software; you can redistribute it and/or modify it under
---  the terms of the GNU General Public License as published by the Free
---  Software Foundation; either version 2, or (at your option) any later
---  version.
---
---  GHDL is distributed in the hope that it will be useful, but WITHOUT ANY
---  WARRANTY; without even the implied warranty of MERCHANTABILITY or
---  FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
---  for more details.
---
---  You should have received a copy of the GNU General Public License
---  along with GHDL; see the file COPYING.  If not, write to the Free
---  Software Foundation, 59 Temple Place - Suite 330, Boston, MA
---  02111-1307, USA.
-
-with Files_Map;
-with Name_Table;
-with Str_Table;
-with Std_Names; use Std_Names;
-with Flags; use Flags;
-with Iirs_Utils;
-with Vhdl.Sem_Utils;
-with Iir_Chains;
-
-package body Std_Package is
-   type Bound_Array is array (Boolean) of Iir_Int64;
-   Low_Bound : constant Bound_Array := (False => -(2 ** 31),
-                                        True => -(2 ** 63));
-   High_Bound : constant Bound_Array := (False => (2 ** 31) - 1,
-                                         True => (2 ** 63) - 1);
-
-   Std_Filename : Name_Id := Null_Identifier;
-
-   --  Could be public.
-   Time_Fs_Unit: Iir_Unit_Declaration;
-   Time_Ps_Unit: Iir_Unit_Declaration;
-   Time_Ns_Unit: Iir_Unit_Declaration;
-   Time_Us_Unit: Iir_Unit_Declaration;
-   Time_Ms_Unit: Iir_Unit_Declaration;
-   Time_Sec_Unit: Iir_Unit_Declaration;
-   Time_Min_Unit: Iir_Unit_Declaration;
-   Time_Hr_Unit: Iir_Unit_Declaration;
-
-   function Create_Std_Iir (Kind : Iir_Kind) return Iir
-   is
-      Res : Iir;
-   begin
-      Res := Create_Iir (Kind);
-      Set_Location (Res, Std_Location);
-      return Res;
-   end Create_Std_Iir;
-
-   function Create_Std_Decl (Kind : Iir_Kind) return Iir
-   is
-      Res : Iir;
-   begin
-      Res := Create_Std_Iir (Kind);
-      Set_Parent (Res, Standard_Package);
-      return Res;
-   end Create_Std_Decl;
-
-   function Create_Std_Type_Mark (Ref : Iir) return Iir
-   is
-      Res : Iir;
-   begin
-      Res := Iirs_Utils.Build_Simple_Name (Ref, Std_Location);
-      Set_Type (Res, Get_Type (Ref));
-      return Res;
-   end Create_Std_Type_Mark;
-
-   procedure Create_First_Nodes
-   is
-      procedure Create_Known_Iir (Kind : Iir_Kind; Val : Iir) is
-      begin
-         if Create_Std_Iir (Kind) /= Val then
-            raise Internal_Error;
-         end if;
-      end Create_Known_Iir;
-   begin
-      Std_Filename := Name_Table.Get_Identifier ("*std_standard*");
-      Std_Source_File := Files_Map.Create_Virtual_Source_File (Std_Filename);
-      Std_Location := Files_Map.File_To_Location (Std_Source_File);
-
-      if Create_Iir_Error /= Error_Mark then
-         raise Internal_Error;
-      end if;
-      Set_Location (Error_Mark, Std_Location);
-
-      Create_Known_Iir (Iir_Kind_Integer_Type_Definition,
-                        Universal_Integer_Type_Definition);
-      Create_Known_Iir (Iir_Kind_Floating_Type_Definition,
-                        Universal_Real_Type_Definition);
-
-      Create_Known_Iir (Iir_Kind_Integer_Type_Definition,
-                        Convertible_Integer_Type_Definition);
-      Create_Known_Iir (Iir_Kind_Floating_Type_Definition,
-                        Convertible_Real_Type_Definition);
-
-      Create_Known_Iir (Iir_Kind_Wildcard_Type_Definition,
-                        Wildcard_Any_Type);
-      Create_Known_Iir (Iir_Kind_Wildcard_Type_Definition,
-                        Wildcard_Any_Aggregate_Type);
-      Create_Known_Iir (Iir_Kind_Wildcard_Type_Definition,
-                        Wildcard_Any_String_Type);
-      Create_Known_Iir (Iir_Kind_Wildcard_Type_Definition,
-                        Wildcard_Any_Access_Type);
-   end Create_First_Nodes;
-
-   procedure Create_Std_Standard_Package (Parent : Iir_Library_Declaration)
-   is
-      function Get_Std_Character (Char: Character) return Name_Id
-        renames Name_Table.Get_Identifier;
-
-      procedure Set_Std_Identifier (Decl : Iir; Name : Name_Id) is
-      begin
-         Set_Identifier (Decl, Name);
-         Set_Visible_Flag (Decl, True);
-      end Set_Std_Identifier;
-
-      function Create_Std_Integer (Val : Iir_Int64; Lit_Type : Iir)
-        return Iir_Integer_Literal
-      is
-         Res : Iir_Integer_Literal;
-      begin
-         Res := Create_Std_Iir (Iir_Kind_Integer_Literal);
-         Set_Value (Res, Val);
-         Set_Type (Res, Lit_Type);
-         Set_Expr_Staticness (Res, Locally);
-         return Res;
-      end Create_Std_Integer;
-
-      function Create_Std_Fp (Val : Iir_Fp64; Lit_Type : Iir)
-        return Iir_Floating_Point_Literal
-      is
-         Res : Iir_Floating_Point_Literal;
-      begin
-         Res := Create_Std_Iir (Iir_Kind_Floating_Point_Literal);
-         Set_Fp_Value (Res, Val);
-         Set_Type (Res, Lit_Type);
-         Set_Expr_Staticness (Res, Locally);
-         return Res;
-      end Create_Std_Fp;
-
-      function Create_Std_Range_Expr (Left, Right : Iir; Rtype : Iir)
-        return Iir
-      is
-         Res : Iir;
-      begin
-         Res := Create_Std_Iir (Iir_Kind_Range_Expression);
-         Set_Left_Limit (Res, Left);
-         Set_Left_Limit_Expr (Res, Left);
-         Set_Direction (Res, Iir_To);
-         Set_Right_Limit (Res, Right);
-         Set_Right_Limit_Expr (Res, Right);
-         Set_Expr_Staticness (Res, Locally);
-         Set_Type (Res, Rtype);
-         return Res;
-      end Create_Std_Range_Expr;
-
-      function Create_Std_Literal (Name : Name_Id;
-                                   Pos : Natural;
-                                   Sub_Type : Iir_Enumeration_Type_Definition)
-                                  return Iir_Enumeration_Literal
-      is
-         List : constant Iir_Flist := Get_Enumeration_Literal_List (Sub_Type);
-         Res : Iir_Enumeration_Literal;
-      begin
-         Res := Create_Std_Decl (Iir_Kind_Enumeration_Literal);
-         Set_Std_Identifier (Res, Name);
-         Set_Type (Res, Sub_Type);
-         Set_Expr_Staticness (Res, Locally);
-         Set_Name_Staticness (Res, Locally);
-         Set_Enum_Pos (Res, Iir_Int32 (Pos));
-         Vhdl.Sem_Utils.Compute_Subprogram_Hash (Res);
-         Set_Nth_Element (List, Pos, Res);
-         return Res;
-      end Create_Std_Literal;
-
-      --  Append a declaration DECL to Standard_Package.
-      Last_Decl : Iir := Null_Iir;
-      procedure Add_Decl (Decl : Iir) is
-      begin
-         if Last_Decl = Null_Iir then
-            Set_Declaration_Chain (Standard_Package, Decl);
-         else
-            Set_Chain (Last_Decl, Decl);
-         end if;
-         Last_Decl := Decl;
-      end Add_Decl;
-
-      procedure Add_Implicit_Operations (Decl : Iir)
-      is
-         Nxt : Iir;
-      begin
-         Vhdl.Sem_Utils.Create_Implicit_Operations (Decl, True);
-
-         --  Update Last_Decl
-         loop
-            Nxt := Get_Chain (Last_Decl);
-            exit when Nxt = Null_Iir;
-            Last_Decl := Nxt;
-         end loop;
-      end Add_Implicit_Operations;
-
-      --  Find implicit declaration of "**" for type declaration TYPE_DECL
-      --  and append it at the current end of std_package.
-      procedure Relocate_Exp_At_End (Type_Decl : Iir)
-      is
-         Prev_El, El : Iir;
-      begin
-         pragma Assert
-           (Get_Kind (Type_Decl) = Iir_Kind_Anonymous_Type_Declaration);
-         El := Type_Decl;
-         loop
-            Prev_El := El;
-            El := Get_Chain (El);
-            pragma Assert (Get_Kind (El) = Iir_Kind_Function_Declaration);
-            exit when
-              Get_Implicit_Definition (El) = Iir_Predefined_Integer_Exp;
-            exit when
-              Get_Implicit_Definition (El) = Iir_Predefined_Floating_Exp;
-         end loop;
-
-         --  EL must not be the last element, otherwise Add_Decl will break
-         --  the chain.
-         pragma Assert (Is_Valid (Get_Chain (El)));
-
-         --  Remove from the chain.
-         Set_Chain (Prev_El, Get_Chain (El));
-         Set_Chain (El, Null_Iir);
-
-         --  Append.
-         Add_Decl (El);
-      end Relocate_Exp_At_End;
-
-      procedure Create_Std_Type (Decl : out Iir; Def : Iir; Name : Name_Id) is
-      begin
-         Decl := Create_Std_Decl (Iir_Kind_Type_Declaration);
-         Set_Std_Identifier (Decl, Name);
-         Set_Type_Definition (Decl, Def);
-         Add_Decl (Decl);
-         Set_Type_Declarator (Def, Decl);
-      end Create_Std_Type;
-
-      procedure Create_Integer_Type (Type_Definition : Iir;
-                                     Type_Decl : out Iir;
-                                     Type_Name : Name_Id)
-      is
-      begin
-         --Integer_Type_Definition :=
-         --  Create_Std_Iir (Iir_Kind_Integer_Type_Definition);
-         Set_Base_Type (Type_Definition, Type_Definition);
-         Set_Type_Staticness (Type_Definition, Locally);
-         Set_Signal_Type_Flag (Type_Definition, True);
-         Set_Has_Signal_Flag (Type_Definition, not Flags.Flag_Whole_Analyze);
-
-         Type_Decl := Create_Std_Decl (Iir_Kind_Anonymous_Type_Declaration);
-         Set_Identifier (Type_Decl, Type_Name);
-         Set_Type_Definition (Type_Decl, Type_Definition);
-         Set_Type_Declarator (Type_Definition, Type_Decl);
-      end Create_Integer_Type;
-
-      procedure Create_Integer_Subtype (Type_Definition : Iir;
-                                        Type_Decl : Iir;
-                                        Subtype_Definition : out Iir;
-                                        Subtype_Decl : out Iir;
-                                        Is_64 : Boolean)
-      is
-         Constraint : Iir;
-      begin
-         Subtype_Definition :=
-           Create_Std_Iir (Iir_Kind_Integer_Subtype_Definition);
-         Set_Base_Type (Subtype_Definition, Type_Definition);
-         Constraint := Create_Std_Range_Expr
-           (Create_Std_Integer (Low_Bound (Is_64),
-                                Universal_Integer_Type_Definition),
-            Create_Std_Integer (High_Bound (Is_64),
-                                Universal_Integer_Type_Definition),
-            Universal_Integer_Type_Definition);
-         Set_Range_Constraint (Subtype_Definition, Constraint);
-         Set_Type_Staticness (Subtype_Definition, Locally);
-         Set_Signal_Type_Flag (Subtype_Definition, True);
-         Set_Has_Signal_Flag (Subtype_Definition,
-                              not Flags.Flag_Whole_Analyze);
-
-         --  subtype is
-         Subtype_Decl := Create_Std_Decl (Iir_Kind_Subtype_Declaration);
-         Set_Std_Identifier (Subtype_Decl, Get_Identifier (Type_Decl));
-         Set_Type (Subtype_Decl, Subtype_Definition);
-         Set_Subtype_Indication (Subtype_Decl, Subtype_Definition);
-         Set_Type_Declarator (Subtype_Definition, Subtype_Decl);
-         Set_Subtype_Definition (Type_Decl, Subtype_Definition);
-      end Create_Integer_Subtype;
-
-      --  Create an array of EL_TYPE, indexed by Natural.
-      procedure Create_Array_Type
-        (Def : out Iir; Decl : out Iir; El_Decl : Iir; Name : Name_Id)
-      is
-         Index_List : Iir_Flist;
-         Index : Iir;
-         Element : Iir;
-      begin
-         Element := Create_Std_Type_Mark (El_Decl);
-         Index := Create_Std_Type_Mark (Natural_Subtype_Declaration);
-
-         Def := Create_Std_Iir (Iir_Kind_Array_Type_Definition);
-         Set_Base_Type (Def, Def);
-
-         Index_List := Create_Iir_Flist (1);
-         Set_Index_Subtype_Definition_List (Def, Index_List);
-         Set_Index_Subtype_List (Def, Index_List);
-         Set_Nth_Element (Index_List, 0, Index);
-
-         Set_Element_Subtype_Indication (Def, Element);
-         Set_Element_Subtype (Def, Get_Type (El_Decl));
-         Set_Type_Staticness (Def, None);
-         Set_Signal_Type_Flag (Def, True);
-         Set_Has_Signal_Flag (Def, not Flags.Flag_Whole_Analyze);
-
-         Create_Std_Type (Decl, Def, Name);
-
-         Add_Implicit_Operations (Decl);
-      end Create_Array_Type;
-
-      --  Create:
-      --  function TO_STRING (VALUE: inter_type) return STRING;
-      procedure Create_To_String (Inter_Type : Iir;
-                                  Imp : Iir_Predefined_Functions;
-                                  Name : Name_Id := Std_Names.Name_To_String;
-                                  Inter2_Id : Name_Id := Null_Identifier;
-                                  Inter2_Type : Iir := Null_Iir)
-      is
-         Decl : Iir_Function_Declaration;
-         Inter : Iir_Interface_Constant_Declaration;
-         Inter2 : Iir_Interface_Constant_Declaration;
-      begin
-         Decl := Create_Std_Decl (Iir_Kind_Function_Declaration);
-         Set_Std_Identifier (Decl, Name);
-         Set_Return_Type (Decl, String_Type_Definition);
-         Set_Pure_Flag (Decl, True);
-         Set_Implicit_Definition (Decl, Imp);
-
-         Inter := Create_Iir (Iir_Kind_Interface_Constant_Declaration);
-         Set_Identifier (Inter, Std_Names.Name_Value);
-         Set_Type (Inter, Inter_Type);
-         Set_Mode (Inter, Iir_In_Mode);
-         Set_Visible_Flag (Inter, True);
-         Set_Interface_Declaration_Chain (Decl, Inter);
-
-         if Inter2_Id /= Null_Identifier then
-            Inter2 := Create_Iir (Iir_Kind_Interface_Constant_Declaration);
-            Set_Identifier (Inter2, Inter2_Id);
-            Set_Type (Inter2, Inter2_Type);
-            Set_Mode (Inter2, Iir_In_Mode);
-            Set_Visible_Flag (Inter2, True);
-            Set_Chain (Inter, Inter2);
-         end if;
-
-         Vhdl.Sem_Utils.Compute_Subprogram_Hash (Decl);
-         Add_Decl (Decl);
-      end Create_To_String;
-
-      --  Create:
-      --  function NAME (signal S : I inter_type) return BOOLEAN;
-      procedure Create_Edge_Function
-        (Name : Name_Id; Func : Iir_Predefined_Functions; Inter_Type : Iir)
-      is
-         Decl : Iir_Function_Declaration;
-         Inter : Iir_Interface_Constant_Declaration;
-      begin
-         Decl := Create_Std_Decl (Iir_Kind_Function_Declaration);
-         Set_Std_Identifier (Decl, Name);
-         Set_Return_Type (Decl, Boolean_Type_Definition);
-         Set_Pure_Flag (Decl, True);
-         Set_Implicit_Definition (Decl, Func);
-
-         Inter := Create_Iir (Iir_Kind_Interface_Signal_Declaration);
-         Set_Identifier (Inter, Std_Names.Name_S);
-         Set_Type (Inter, Inter_Type);
-         Set_Mode (Inter, Iir_In_Mode);
-         Set_Visible_Flag (Inter, True);
-         Set_Interface_Declaration_Chain (Decl, Inter);
-
-         Vhdl.Sem_Utils.Compute_Subprogram_Hash (Decl);
-         Add_Decl (Decl);
-      end Create_Edge_Function;
-
-      procedure Create_Wildcard_Type (Def : Iir; Name : String)
-      is
-         Decl : Iir;
-      begin
-         Decl := Create_Std_Decl (Iir_Kind_Type_Declaration);
-         Set_Identifier (Decl, Name_Table.Get_Identifier (Name));
-         Set_Base_Type (Def, Def);
-         Set_Type_Staticness (Def, None);
-         Set_Type_Definition (Decl, Def);
-         Set_Type_Declarator (Def, Decl);
-
-         Set_Chain (Decl, Wildcard_Type_Declaration_Chain);
-         Wildcard_Type_Declaration_Chain := Decl;
-      end Create_Wildcard_Type;
-
-   begin
-      --  Create design file.
-      Std_Standard_File := Create_Std_Iir (Iir_Kind_Design_File);
-      Set_Parent (Std_Standard_File, Parent);
-      Set_Design_File_Filename (Std_Standard_File, Std_Filename);
-
-      declare
-         Std_Time_Stamp : constant Time_Stamp_String :=
-           "20020601000000.000";
-         Id : Time_Stamp_Id;
-      begin
-         Id := Time_Stamp_Id (Str_Table.Create_String8);
-         for I in Time_Stamp_String'Range loop
-            Str_Table.Append_String8_Char (Std_Time_Stamp (I));
-         end loop;
-         Set_Analysis_Time_Stamp (Std_Standard_File, Id);
-      end;
-
-      --  Create design unit.
-      Std_Standard_Unit := Create_Std_Iir (Iir_Kind_Design_Unit);
-      Set_Identifier (Std_Standard_Unit, Name_Standard);
-      Set_First_Design_Unit (Std_Standard_File, Std_Standard_Unit);
-      Set_Last_Design_Unit (Std_Standard_File, Std_Standard_Unit);
-      Set_Design_File (Std_Standard_Unit, Std_Standard_File);
-      Set_Date_State (Std_Standard_Unit, Date_Analyze);
-      Set_Dependence_List (Std_Standard_Unit, Create_Iir_List);
-
-      Set_Date (Std_Standard_Unit, Date_Valid'First);
-
-      -- Adding "package STANDARD is"
-      Standard_Package := Create_Std_Iir (Iir_Kind_Package_Declaration);
-      Set_Std_Identifier (Standard_Package, Name_Standard);
-      Set_Need_Body (Standard_Package, False);
-
-      Set_Library_Unit (Std_Standard_Unit, Standard_Package);
-      Set_Design_Unit (Standard_Package, Std_Standard_Unit);
-
-      -- boolean
-      begin
-         -- (false, true)
-         Boolean_Type_Definition :=
-           Create_Std_Iir (Iir_Kind_Enumeration_Type_Definition);
-         Set_Base_Type (Boolean_Type_Definition, Boolean_Type_Definition);
-         Set_Enumeration_Literal_List
-           (Boolean_Type_Definition, Create_Iir_Flist (2));
-         Boolean_False := Create_Std_Literal
-           (Name_False, 0, Boolean_Type_Definition);
-         Boolean_True := Create_Std_Literal
-           (Name_True, 1, Boolean_Type_Definition);
-         Set_Type_Staticness (Boolean_Type_Definition, Locally);
-         Set_Signal_Type_Flag (Boolean_Type_Definition, True);
-         Set_Has_Signal_Flag (Boolean_Type_Definition,
-                              not Flags.Flag_Whole_Analyze);
-
-         -- type boolean is
-         Create_Std_Type (Boolean_Type_Declaration, Boolean_Type_Definition,
-                          Name_Boolean);
-
-         Iirs_Utils.Create_Range_Constraint_For_Enumeration_Type
-           (Boolean_Type_Definition);
-         Add_Implicit_Operations (Boolean_Type_Declaration);
-      end;
-
-      if Vhdl_Std >= Vhdl_08 then
-         --  Rising_Edge and Falling_Edge
-         Create_Edge_Function
-           (Std_Names.Name_Rising_Edge, Iir_Predefined_Boolean_Rising_Edge,
-            Boolean_Type_Definition);
-         Create_Edge_Function
-           (Std_Names.Name_Falling_Edge, Iir_Predefined_Boolean_Falling_Edge,
-            Boolean_Type_Definition);
-      end if;
-
-      -- bit.
-      begin
-         -- ('0', '1')
-         Bit_Type_Definition :=
-           Create_Std_Iir (Iir_Kind_Enumeration_Type_Definition);
-         Set_Enumeration_Literal_List
-           (Bit_Type_Definition, Create_Iir_Flist (2));
-         Set_Base_Type (Bit_Type_Definition, Bit_Type_Definition);
-         Set_Is_Character_Type (Bit_Type_Definition, True);
-         Bit_0 := Create_Std_Literal
-           (Get_Std_Character ('0'), 0, Bit_Type_Definition);
-         Bit_1 := Create_Std_Literal
-           (Get_Std_Character ('1'), 1, Bit_Type_Definition);
-         Set_Type_Staticness (Bit_Type_Definition, Locally);
-         Set_Signal_Type_Flag (Bit_Type_Definition, True);
-         Set_Has_Signal_Flag (Bit_Type_Definition,
-                              not Flags.Flag_Whole_Analyze);
-         Set_Only_Characters_Flag (Bit_Type_Definition, True);
-
-         -- type bit is
-         Create_Std_Type (Bit_Type_Declaration, Bit_Type_Definition, Name_Bit);
-
-         Iirs_Utils.Create_Range_Constraint_For_Enumeration_Type
-           (Bit_Type_Definition);
-         Add_Implicit_Operations (Bit_Type_Declaration);
-      end;
-
-      if Vhdl_Std >= Vhdl_08 then
-         --  Rising_Edge and Falling_Edge
-         Create_Edge_Function
-           (Std_Names.Name_Rising_Edge, Iir_Predefined_Bit_Rising_Edge,
-            Bit_Type_Definition);
-         Create_Edge_Function
-           (Std_Names.Name_Falling_Edge, Iir_Predefined_Bit_Falling_Edge,
-            Bit_Type_Definition);
-      end if;
-
-      -- characters.
-      declare
-         El: Iir;
-         pragma Unreferenced (El);
-         Len : Natural;
-      begin
-         Character_Type_Definition :=
-           Create_Std_Iir (Iir_Kind_Enumeration_Type_Definition);
-         Set_Base_Type (Character_Type_Definition, Character_Type_Definition);
-         Set_Is_Character_Type (Character_Type_Definition, True);
-         if Vhdl_Std = Vhdl_87 then
-            Len := 128;
-         else
-            Len := 256;
-         end if;
-         Set_Enumeration_Literal_List
-           (Character_Type_Definition, Create_Iir_Flist (Len));
-
-         for I in Name_Nul .. Name_Usp loop
-            El := Create_Std_Literal
-              (I, Natural (I - Name_Nul), Character_Type_Definition);
-         end loop;
-         for I in Character'(' ') .. Character'('~') loop
-            El := Create_Std_Literal
-              (Get_Std_Character (I), Character'Pos (I),
-               Character_Type_Definition);
-         end loop;
-         El := Create_Std_Literal (Name_Del, 127, Character_Type_Definition);
-         if Vhdl_Std /= Vhdl_87 then
-            for I in Name_C128 .. Name_C159 loop
-               El := Create_Std_Literal
-                 (I, 128 + Natural (I - Name_C128), Character_Type_Definition);
-            end loop;
-            for I in Character'Val (160) .. Character'Val (255) loop
-               El := Create_Std_Literal
-                 (Get_Std_Character (I), Character'Pos (I),
-                  Character_Type_Definition);
-            end loop;
-         end if;
-         Set_Type_Staticness (Character_Type_Definition, Locally);
-         Set_Signal_Type_Flag (Character_Type_Definition, True);
-         Set_Has_Signal_Flag (Character_Type_Definition,
-                              not Flags.Flag_Whole_Analyze);
-
-         -- type character is
-         Create_Std_Type
-           (Character_Type_Declaration, Character_Type_Definition,
-            Name_Character);
-
-         Iirs_Utils.Create_Range_Constraint_For_Enumeration_Type
-           (Character_Type_Definition);
-         Add_Implicit_Operations (Character_Type_Declaration);
-      end;
-
-      -- severity level.
-      begin
-         -- (note, warning, error, failure)
-         Severity_Level_Type_Definition :=
-           Create_Std_Iir (Iir_Kind_Enumeration_Type_Definition);
-         Set_Base_Type (Severity_Level_Type_Definition,
-                        Severity_Level_Type_Definition);
-         Set_Enumeration_Literal_List
-           (Severity_Level_Type_Definition, Create_Iir_Flist (4));
-
-         Severity_Level_Note := Create_Std_Literal
-           (Name_Note, 0, Severity_Level_Type_Definition);
-         Severity_Level_Warning := Create_Std_Literal
-           (Name_Warning, 1, Severity_Level_Type_Definition);
-         Severity_Level_Error := Create_Std_Literal
-           (Name_Error, 2, Severity_Level_Type_Definition);
-         Severity_Level_Failure := Create_Std_Literal
-           (Name_Failure, 3, Severity_Level_Type_Definition);
-         Set_Type_Staticness (Severity_Level_Type_Definition, Locally);
-         Set_Signal_Type_Flag (Severity_Level_Type_Definition, True);
-         Set_Has_Signal_Flag (Severity_Level_Type_Definition,
-                              not Flags.Flag_Whole_Analyze);
-
-         -- type severity_level is
-         Create_Std_Type
-           (Severity_Level_Type_Declaration, Severity_Level_Type_Definition,
-            Name_Severity_Level);
-
-         Iirs_Utils.Create_Range_Constraint_For_Enumeration_Type
-           (Severity_Level_Type_Definition);
-         Add_Implicit_Operations (Severity_Level_Type_Declaration);
-      end;
-
-      -- universal integer
-      begin
-         Create_Integer_Type (Universal_Integer_Type_Definition,
-                              Universal_Integer_Type_Declaration,
-                              Name_Universal_Integer);
-         Add_Decl (Universal_Integer_Type_Declaration);
-
-         Create_Integer_Subtype (Universal_Integer_Type_Definition,
-                                 Universal_Integer_Type_Declaration,
-                                 Universal_Integer_Subtype_Definition,
-                                 Universal_Integer_Subtype_Declaration,
-                                 Flags.Flag_Time_64 or Flags.Flag_Integer_64);
-
-         Add_Decl (Universal_Integer_Subtype_Declaration);
-         Set_Subtype_Definition (Universal_Integer_Type_Declaration,
-                                 Universal_Integer_Subtype_Definition);
-
-         --  Do not create implicit operations yet, since "**" needs integer
-         --  type.
-      end;
-
-      --  Universal integer constant 1.
-      Universal_Integer_One :=
-        Create_Std_Integer (1, Universal_Integer_Type_Definition);
-
-      -- Universal real.
-      declare
-         Constraint : Iir_Range_Expression;
-      begin
-         Set_Base_Type (Universal_Real_Type_Definition,
-                        Universal_Real_Type_Definition);
-         Set_Type_Staticness (Universal_Real_Type_Definition, Locally);
-         Set_Signal_Type_Flag (Universal_Real_Type_Definition, True);
-         Set_Has_Signal_Flag (Universal_Real_Type_Definition, False);
-
-         --  type universal_real is ...
-         Universal_Real_Type_Declaration :=
-           Create_Std_Decl (Iir_Kind_Anonymous_Type_Declaration);
-         Set_Identifier (Universal_Real_Type_Declaration, Name_Universal_Real);
-         Set_Type_Definition (Universal_Real_Type_Declaration,
-                              Universal_Real_Type_Definition);
-         Set_Type_Declarator (Universal_Real_Type_Definition,
-                              Universal_Real_Type_Declaration);
-         Add_Decl (Universal_Real_Type_Declaration);
-
-         Universal_Real_Subtype_Definition :=
-           Create_Std_Iir (Iir_Kind_Floating_Subtype_Definition);
-         Set_Base_Type (Universal_Real_Subtype_Definition,
-                        Universal_Real_Type_Definition);
-         Constraint := Create_Std_Range_Expr
-           (Create_Std_Fp (Iir_Fp64'First, Universal_Real_Type_Definition),
-            Create_Std_Fp (Iir_Fp64'Last, Universal_Real_Type_Definition),
-            Universal_Real_Type_Definition);
-         Set_Range_Constraint (Universal_Real_Subtype_Definition, Constraint);
-         Set_Type_Staticness (Universal_Real_Subtype_Definition, Locally);
-         Set_Signal_Type_Flag (Universal_Real_Subtype_Definition, True);
-         Set_Has_Signal_Flag (Universal_Real_Subtype_Definition, False);
-
-         --  subtype universal_real is ...
-         Universal_Real_Subtype_Declaration :=
-           Create_Std_Decl (Iir_Kind_Subtype_Declaration);
-         Set_Identifier (Universal_Real_Subtype_Declaration,
-                         Name_Universal_Real);
-         Set_Type (Universal_Real_Subtype_Declaration,
-                   Universal_Real_Subtype_Definition);
-         Set_Subtype_Indication (Universal_Real_Subtype_Declaration,
-                                 Universal_Real_Subtype_Definition);
-         Set_Type_Declarator (Universal_Real_Subtype_Definition,
-                              Universal_Real_Subtype_Declaration);
-         Set_Subtype_Definition (Universal_Real_Type_Declaration,
-                                 Universal_Real_Subtype_Definition);
-
-         Add_Decl (Universal_Real_Subtype_Declaration);
-
-         --  Do not create implicit operations yet, since "**" needs integer
-         --  type.
-      end;
-
-      -- Convertible type.
-      begin
-         Create_Integer_Type (Convertible_Integer_Type_Definition,
-                              Convertible_Integer_Type_Declaration,
-                              Name_Convertible_Integer);
-         Create_Integer_Subtype (Convertible_Integer_Type_Definition,
-                                 Convertible_Integer_Type_Declaration,
-                                 Convertible_Integer_Subtype_Definition,
-                                 Convertible_Integer_Subtype_Declaration,
-                                 Flags.Flag_Time_64 or Flags.Flag_Integer_64);
-
-         --  Not added in std.standard.
-      end;
-
-      begin
-         Set_Base_Type (Convertible_Real_Type_Definition,
-                        Convertible_Real_Type_Definition);
-         Set_Type_Staticness (Convertible_Real_Type_Definition, Locally);
-         Set_Signal_Type_Flag (Convertible_Real_Type_Definition, True);
-         Set_Has_Signal_Flag (Convertible_Real_Type_Definition, False);
-
-         Convertible_Real_Type_Declaration :=
-           Create_Std_Decl (Iir_Kind_Anonymous_Type_Declaration);
-         Set_Identifier (Convertible_Real_Type_Declaration,
-                         Name_Convertible_Real);
-         Set_Type_Definition (Convertible_Real_Type_Declaration,
-                              Convertible_Real_Type_Definition);
-         Set_Type_Declarator (Convertible_Real_Type_Definition,
-                              Convertible_Real_Type_Declaration);
-      end;
-
-      -- integer type.
-      begin
-         Integer_Type_Definition :=
-           Create_Std_Iir (Iir_Kind_Integer_Type_Definition);
-         Create_Integer_Type (Integer_Type_Definition,
-                              Integer_Type_Declaration,
-                              Name_Integer);
-         Add_Decl (Integer_Type_Declaration);
-
-         --  Now that Integer is declared, create operations for universal
-         --  types.  They will be inserted just after the type declaration,
-         --  but cannot be done before as "**" relies on Integer.
-         Add_Implicit_Operations (Universal_Integer_Type_Declaration);
-         Add_Implicit_Operations (Universal_Real_Type_Declaration);
-
-         --  Don't define "**" for universal types before the declaration of
-         --  Integer, so move them.
-         Relocate_Exp_At_End (Universal_Integer_Type_Declaration);
-         Relocate_Exp_At_End (Universal_Real_Type_Declaration);
-
-         Add_Implicit_Operations (Integer_Type_Declaration);
-
-         Create_Integer_Subtype (Integer_Type_Definition,
-                                 Integer_Type_Declaration,
-                                 Integer_Subtype_Definition,
-                                 Integer_Subtype_Declaration,
-                                 Flags.Flag_Integer_64);
-         Add_Decl (Integer_Subtype_Declaration);
-      end;
-
-      -- Real type.
-      declare
-         Constraint : Iir_Range_Expression;
-      begin
-         Real_Type_Definition :=
-           Create_Std_Iir (Iir_Kind_Floating_Type_Definition);
-         Set_Base_Type (Real_Type_Definition, Real_Type_Definition);
-         Set_Type_Staticness (Real_Type_Definition, Locally);
-         Set_Signal_Type_Flag (Real_Type_Definition, True);
-         Set_Has_Signal_Flag (Real_Type_Definition,
-                              not Flags.Flag_Whole_Analyze);
-
-         Real_Type_Declaration :=
-           Create_Std_Decl (Iir_Kind_Anonymous_Type_Declaration);
-         Set_Identifier (Real_Type_Declaration, Name_Real);
-         Set_Type_Definition (Real_Type_Declaration, Real_Type_Definition);
-         Set_Type_Declarator (Real_Type_Definition, Real_Type_Declaration);
-         Add_Decl (Real_Type_Declaration);
-
-         Add_Implicit_Operations (Real_Type_Declaration);
-
-         Real_Subtype_Definition :=
-           Create_Std_Iir (Iir_Kind_Floating_Subtype_Definition);
-         Set_Base_Type (Real_Subtype_Definition, Real_Type_Definition);
-         Constraint := Create_Std_Range_Expr
-           (Create_Std_Fp (Iir_Fp64'First, Universal_Real_Type_Definition),
-            Create_Std_Fp (Iir_Fp64'Last, Universal_Real_Type_Definition),
-             Universal_Real_Type_Definition);
-         Set_Range_Constraint (Real_Subtype_Definition, Constraint);
-         Set_Type_Staticness (Real_Subtype_Definition, Locally);
-         Set_Signal_Type_Flag (Real_Subtype_Definition, True);
-         Set_Has_Signal_Flag (Real_Subtype_Definition,
-                              not Flags.Flag_Whole_Analyze);
-
-         Real_Subtype_Declaration :=
-           Create_Std_Decl (Iir_Kind_Subtype_Declaration);
-         Set_Std_Identifier (Real_Subtype_Declaration, Name_Real);
-         Set_Type (Real_Subtype_Declaration, Real_Subtype_Definition);
-         Set_Subtype_Indication (Real_Subtype_Declaration,
-                                 Real_Subtype_Definition);
-         Set_Type_Declarator
-           (Real_Subtype_Definition, Real_Subtype_Declaration);
-         Add_Decl (Real_Subtype_Declaration);
-
-         Set_Subtype_Definition
-           (Real_Type_Declaration, Real_Subtype_Definition);
-      end;
-
-      -- time definition
-      declare
-         Time_Staticness : Iir_Staticness;
-         Last_Unit : Iir_Unit_Declaration;
-         use Iir_Chains.Unit_Chain_Handling;
-
-         function Create_Std_Phys_Lit_Wo_Unit (Value : Iir_Int64; Unit : Iir)
-                                      return Iir_Physical_Int_Literal
-         is
-            Lit: Iir_Physical_Int_Literal;
-         begin
-            Lit := Create_Std_Iir (Iir_Kind_Physical_Int_Literal);
-            Set_Value (Lit, Value);
-            pragma Assert (Get_Kind (Unit) = Iir_Kind_Unit_Declaration);
-            Set_Physical_Unit (Lit, Unit);
-            Set_Type (Lit, Time_Type_Definition);
-            Set_Expr_Staticness (Lit, Time_Staticness);
-            return Lit;
-         end Create_Std_Phys_Lit_Wo_Unit;
-
-         function Create_Std_Phys_Lit (Value : Iir_Int64; Unit : Iir)
-                                      return Iir_Physical_Int_Literal
-         is
-            Lit: Iir_Physical_Int_Literal;
-            Unit_Name : Iir;
-         begin
-            Lit := Create_Std_Phys_Lit_Wo_Unit (Value, Unit);
-            Unit_Name := Create_Std_Iir (Iir_Kind_Simple_Name);
-            Set_Identifier (Unit_Name, Get_Identifier (Unit));
-            Set_Unit_Name (Lit, Unit_Name);
-            return Lit;
-         end Create_Std_Phys_Lit;
-
-         procedure Create_Unit (Unit : out Iir_Unit_Declaration;
-                                Multiplier_Value : Iir_Int64;
-                                Multiplier : in Iir_Unit_Declaration;
-                                Name : Name_Id)
-         is
-            Lit, Lit1 : Iir_Physical_Int_Literal;
-         begin
-            Unit := Create_Std_Decl (Iir_Kind_Unit_Declaration);
-            Set_Std_Identifier (Unit, Name);
-            Set_Type (Unit, Time_Type_Definition);
-
-            Lit1 := Create_Std_Phys_Lit (Multiplier_Value, Multiplier);
-            Lit := Create_Std_Phys_Lit
-              (Multiplier_Value
-               * Get_Value (Get_Physical_Literal (Multiplier)),
-               Get_Physical_Unit (Get_Physical_Literal (Multiplier)));
-            Set_Literal_Origin (Lit, Lit1);
-            Set_Physical_Literal (Unit, Lit);
-
-            Set_Expr_Staticness (Unit, Time_Staticness);
-            Set_Name_Staticness (Unit, Locally);
-            Append (Last_Unit, Time_Type_Definition, Unit);
-         end Create_Unit;
-
-         Constraint : Iir_Range_Expression;
-      begin
-         if Vhdl_Std >= Vhdl_93c then
-            Time_Staticness := Globally;
-         else
-            Time_Staticness := Locally;
-         end if;
-
-         Time_Type_Definition :=
-           Create_Std_Iir (Iir_Kind_Physical_Type_Definition);
-         Set_Base_Type (Time_Type_Definition, Time_Type_Definition);
-         Set_Type_Staticness (Time_Type_Definition, Locally);--Time_Staticness
-         Set_Signal_Type_Flag (Time_Type_Definition, True);
-         Set_Has_Signal_Flag (Time_Type_Definition,
-                              not Flags.Flag_Whole_Analyze);
-         Set_End_Has_Reserved_Id (Time_Type_Definition, True);
-
-         Build_Init (Last_Unit);
-
-         Time_Fs_Unit := Create_Std_Decl (Iir_Kind_Unit_Declaration);
-         Set_Std_Identifier (Time_Fs_Unit, Name_Fs);
-         Set_Type (Time_Fs_Unit, Time_Type_Definition);
-         Set_Expr_Staticness (Time_Fs_Unit, Time_Staticness);
-         Set_Name_Staticness (Time_Fs_Unit, Locally);
-         Set_Physical_Literal
-           (Time_Fs_Unit, Create_Std_Phys_Lit (1, Time_Fs_Unit));
-         Append (Last_Unit, Time_Type_Definition, Time_Fs_Unit);
-
-         Create_Unit (Time_Ps_Unit, 1000, Time_Fs_Unit, Name_Ps);
-         Create_Unit (Time_Ns_Unit, 1000, Time_Ps_Unit, Name_Ns);
-         Create_Unit (Time_Us_Unit, 1000, Time_Ns_Unit, Name_Us);
-         Create_Unit (Time_Ms_Unit, 1000, Time_Us_Unit, Name_Ms);
-         Create_Unit (Time_Sec_Unit, 1000, Time_Ms_Unit, Name_Sec);
-         Create_Unit (Time_Min_Unit, 60, Time_Sec_Unit, Name_Min);
-         Create_Unit (Time_Hr_Unit, 60, Time_Min_Unit, Name_Hr);
-
-         --  type is
-         Time_Type_Declaration :=
-           Create_Std_Decl (Iir_Kind_Anonymous_Type_Declaration);
-         Set_Identifier (Time_Type_Declaration, Name_Time);
-         Set_Type_Definition (Time_Type_Declaration, Time_Type_Definition);
-         Set_Type_Declarator (Time_Type_Definition, Time_Type_Declaration);
-         Add_Decl (Time_Type_Declaration);
-
-         Add_Implicit_Operations (Time_Type_Declaration);
-
-         Time_Subtype_Definition :=
-           Create_Std_Iir (Iir_Kind_Physical_Subtype_Definition);
-         Constraint := Create_Std_Range_Expr
-           (Create_Std_Phys_Lit_Wo_Unit (Low_Bound (Flags.Flag_Time_64),
-                                         Time_Fs_Unit),
-            Create_Std_Phys_Lit_Wo_Unit (High_Bound (Flags.Flag_Time_64),
-                                         Time_Fs_Unit),
-            Time_Type_Definition);
-         Set_Range_Constraint (Time_Subtype_Definition, Constraint);
-         Set_Base_Type (Time_Subtype_Definition, Time_Type_Definition);
-         --Set_Subtype_Type_Mark (Time_Subtype_Definition,
-         --                       Time_Type_Definition);
-         Set_Type_Staticness (Time_Subtype_Definition, Time_Staticness);
-         Set_Signal_Type_Flag (Time_Subtype_Definition, True);
-         Set_Has_Signal_Flag (Time_Subtype_Definition,
-                              not Flags.Flag_Whole_Analyze);
-
-         --  subtype time is
-         Time_Subtype_Declaration :=
-           Create_Std_Decl (Iir_Kind_Subtype_Declaration);
-         Set_Std_Identifier (Time_Subtype_Declaration, Name_Time);
-         Set_Type (Time_Subtype_Declaration, Time_Subtype_Definition);
-         Set_Subtype_Indication (Time_Subtype_Declaration,
-                                 Time_Subtype_Definition);
-         Set_Type_Declarator (Time_Subtype_Definition,
-                              Time_Subtype_Declaration);
-         Add_Decl (Time_Subtype_Declaration);
-         Set_Subtype_Definition
-           (Time_Type_Declaration, Time_Subtype_Definition);
-
-         --  VHDL93
-         --  subtype DELAY_LENGTH is TIME range 0 to TIME'HIGH
-         if Vhdl_Std >= Vhdl_93c then
-            Delay_Length_Subtype_Definition :=
-              Create_Std_Iir (Iir_Kind_Physical_Subtype_Definition);
-            Set_Subtype_Type_Mark
-              (Delay_Length_Subtype_Definition,
-               Create_Std_Type_Mark (Time_Subtype_Declaration));
-            Constraint := Create_Std_Range_Expr
-              (Create_Std_Phys_Lit (0, Time_Fs_Unit),
-               Create_Std_Phys_Lit (High_Bound (Flags.Flag_Time_64),
-                                    Time_Fs_Unit),
-               Time_Type_Definition);
-            Set_Range_Constraint (Delay_Length_Subtype_Definition, Constraint);
-            Set_Base_Type
-              (Delay_Length_Subtype_Definition, Time_Type_Definition);
-            Set_Type_Staticness
-              (Delay_Length_Subtype_Definition, Time_Staticness);
-            Set_Signal_Type_Flag (Delay_Length_Subtype_Definition, True);
-            Set_Has_Signal_Flag (Delay_Length_Subtype_Definition,
-                                 not Flags.Flag_Whole_Analyze);
-
-            --  subtype delay_length is ...
-            Delay_Length_Subtype_Declaration :=
-              Create_Std_Decl (Iir_Kind_Subtype_Declaration);
-            Set_Std_Identifier (Delay_Length_Subtype_Declaration,
-                                Name_Delay_Length);
-            Set_Type (Delay_Length_Subtype_Declaration,
-                      Delay_Length_Subtype_Definition);
-            Set_Type_Declarator (Delay_Length_Subtype_Definition,
-                                 Delay_Length_Subtype_Declaration);
-            Set_Subtype_Indication (Delay_Length_Subtype_Declaration,
-                                    Delay_Length_Subtype_Definition);
-            Add_Decl (Delay_Length_Subtype_Declaration);
-         else
-            Delay_Length_Subtype_Definition := Null_Iir;
-            Delay_Length_Subtype_Declaration := Null_Iir;
-         end if;
-      end;
-
-      --  VHDL87:
-      --  function NOW return TIME
-      --
-      --  impure function NOW return DELAY_LENGTH.
-      declare
-         Function_Now : Iir_Function_Declaration;
-      begin
-         Function_Now := Create_Std_Decl (Iir_Kind_Function_Declaration);
-         Set_Std_Identifier (Function_Now, Std_Names.Name_Now);
-         if Vhdl_Std = Vhdl_87 then
-            Set_Return_Type (Function_Now, Time_Subtype_Definition);
-         else
-            Set_Return_Type (Function_Now, Delay_Length_Subtype_Definition);
-         end if;
-         if Vhdl_Std = Vhdl_02 then
-            Set_Pure_Flag (Function_Now, True);
-         else
-            Set_Pure_Flag (Function_Now, False);
-         end if;
-         Set_Implicit_Definition (Function_Now, Iir_Predefined_Now_Function);
-         Vhdl.Sem_Utils.Compute_Subprogram_Hash (Function_Now);
-         Add_Decl (Function_Now);
-      end;
-
-      -- natural subtype
-      declare
-         Constraint : Iir_Range_Expression;
-      begin
-         Natural_Subtype_Definition :=
-           Create_Std_Iir (Iir_Kind_Integer_Subtype_Definition);
-         Set_Base_Type (Natural_Subtype_Definition, Integer_Type_Definition);
-         Set_Subtype_Type_Mark
-           (Natural_Subtype_Definition,
-            Create_Std_Type_Mark (Integer_Subtype_Declaration));
-         Constraint := Create_Std_Range_Expr
-           (Create_Std_Integer (0, Integer_Type_Definition),
-            Create_Std_Integer (High_Bound (Flags.Flag_Integer_64),
-                                Integer_Type_Definition),
-            Integer_Type_Definition);
-         Set_Range_Constraint (Natural_Subtype_Definition, Constraint);
-         Set_Type_Staticness (Natural_Subtype_Definition, Locally);
-         Set_Signal_Type_Flag (Natural_Subtype_Definition, True);
-         Set_Has_Signal_Flag (Natural_Subtype_Definition,
-                              not Flags.Flag_Whole_Analyze);
-
-         Natural_Subtype_Declaration :=
-           Create_Std_Decl (Iir_Kind_Subtype_Declaration);
-         Set_Std_Identifier (Natural_Subtype_Declaration, Name_Natural);
-         Set_Type (Natural_Subtype_Declaration, Natural_Subtype_Definition);
-         Set_Subtype_Indication (Natural_Subtype_Declaration,
-                                 Natural_Subtype_Definition);
-         Add_Decl (Natural_Subtype_Declaration);
-         Set_Type_Declarator (Natural_Subtype_Definition,
-                              Natural_Subtype_Declaration);
-      end;
-
-      -- positive subtype
-      declare
-         Constraint : Iir_Range_Expression;
-      begin
-         Positive_Subtype_Definition :=
-           Create_Std_Iir (Iir_Kind_Integer_Subtype_Definition);
-         Set_Base_Type (Positive_Subtype_Definition,
-                        Integer_Type_Definition);
-         Set_Subtype_Type_Mark
-           (Positive_Subtype_Definition,
-            Create_Std_Type_Mark (Integer_Subtype_Declaration));
-         Constraint := Create_Std_Range_Expr
-           (Create_Std_Integer (1, Integer_Type_Definition),
-            Create_Std_Integer (High_Bound (Flags.Flag_Integer_64),
-                                Integer_Type_Definition),
-             Integer_Type_Definition);
-         Set_Range_Constraint (Positive_Subtype_Definition, Constraint);
-         Set_Type_Staticness (Positive_Subtype_Definition, Locally);
-         Set_Signal_Type_Flag (Positive_Subtype_Definition, True);
-         Set_Has_Signal_Flag (Positive_Subtype_Definition,
-                              not Flags.Flag_Whole_Analyze);
-
-         Positive_Subtype_Declaration :=
-           Create_Std_Decl (Iir_Kind_Subtype_Declaration);
-         Set_Std_Identifier (Positive_Subtype_Declaration, Name_Positive);
-         Set_Type (Positive_Subtype_Declaration, Positive_Subtype_Definition);
-         Set_Subtype_Indication (Positive_Subtype_Declaration,
-                                 Positive_Subtype_Definition);
-         Add_Decl (Positive_Subtype_Declaration);
-         Set_Type_Declarator (Positive_Subtype_Definition,
-                              Positive_Subtype_Declaration);
-      end;
-
-      -- string type.
-      -- type string is array (positive range <>) of character;
-      declare
-         Element : Iir;
-         Index_List : Iir_Flist;
-      begin
-         Element := Create_Std_Type_Mark (Character_Type_Declaration);
-
-         String_Type_Definition :=
-           Create_Std_Iir (Iir_Kind_Array_Type_Definition);
-         Set_Base_Type (String_Type_Definition, String_Type_Definition);
-         Index_List := Create_Iir_Flist (1);
-         Set_Nth_Element (Index_List, 0,
-                         Create_Std_Type_Mark (Positive_Subtype_Declaration));
-         Set_Index_Subtype_Definition_List (String_Type_Definition,
-                                            Index_List);
-         Set_Index_Subtype_List (String_Type_Definition, Index_List);
-         Set_Element_Subtype_Indication (String_Type_Definition, Element);
-         Set_Element_Subtype (String_Type_Definition,
-                              Character_Type_Definition);
-         Set_Type_Staticness (String_Type_Definition, None);
-         Set_Signal_Type_Flag (String_Type_Definition, True);
-         Set_Has_Signal_Flag (String_Type_Definition,
-                              not Flags.Flag_Whole_Analyze);
-
-         Create_Std_Type
-           (String_Type_Declaration, String_Type_Definition, Name_String);
-
-         Add_Implicit_Operations (String_Type_Declaration);
-      end;
-
-      if Vhdl_Std >= Vhdl_08 then
-         --  type Boolean_Vector is array (Natural range <>) of Boolean;
-         Create_Array_Type
-           (Boolean_Vector_Type_Definition, Boolean_Vector_Type_Declaration,
-            Boolean_Type_Declaration, Name_Boolean_Vector);
-      end if;
-
-      -- bit_vector type.
-      -- type bit_vector is array (natural range <>) of bit;
-      Create_Array_Type
-        (Bit_Vector_Type_Definition, Bit_Vector_Type_Declaration,
-         Bit_Type_Declaration, Name_Bit_Vector);
-
-      --  LRM08 5.3.2.4 Predefined operations on array types
-      --  The following operations are implicitly declared in package
-      --  STD.STANDARD immediately following the declaration of type
-      --  BIT_VECTOR:
-      if Vhdl_Std >= Vhdl_08 then
-         Create_To_String (Bit_Vector_Type_Definition,
-                           Iir_Predefined_Bit_Vector_To_Ostring,
-                           Name_To_Ostring);
-         Create_To_String (Bit_Vector_Type_Definition,
-                           Iir_Predefined_Bit_Vector_To_Hstring,
-                           Name_To_Hstring);
-      end if;
-
-      --  VHDL 2008
-      --  Vector types
-      if Vhdl_Std >= Vhdl_08 then
-         -- type integer_vector is array (natural range <>) of Integer;
-         Create_Array_Type
-           (Integer_Vector_Type_Definition, Integer_Vector_Type_Declaration,
-            Integer_Subtype_Declaration, Name_Integer_Vector);
-
-         -- type Real_vector is array (natural range <>) of Real;
-         Create_Array_Type
-           (Real_Vector_Type_Definition, Real_Vector_Type_Declaration,
-            Real_Subtype_Declaration, Name_Real_Vector);
-
-         -- type Time_vector is array (natural range <>) of Time;
-         Create_Array_Type
-           (Time_Vector_Type_Definition, Time_Vector_Type_Declaration,
-            Time_Subtype_Declaration, Name_Time_Vector);
-      end if;
-
-      --  VHDL93:
-      --  type file_open_kind is (read_mode, write_mode, append_mode);
-      if Vhdl_Std >= Vhdl_93c then
-         File_Open_Kind_Type_Definition :=
-           Create_Std_Iir (Iir_Kind_Enumeration_Type_Definition);
-         Set_Base_Type (File_Open_Kind_Type_Definition,
-                        File_Open_Kind_Type_Definition);
-         Set_Enumeration_Literal_List
-           (File_Open_Kind_Type_Definition, Create_Iir_Flist (3));
-
-         File_Open_Kind_Read_Mode := Create_Std_Literal
-           (Name_Read_Mode, 0, File_Open_Kind_Type_Definition);
-         File_Open_Kind_Write_Mode := Create_Std_Literal
-           (Name_Write_Mode, 1, File_Open_Kind_Type_Definition);
-         File_Open_Kind_Append_Mode := Create_Std_Literal
-           (Name_Append_Mode, 2, File_Open_Kind_Type_Definition);
-         Set_Type_Staticness (File_Open_Kind_Type_Definition, Locally);
-         Set_Signal_Type_Flag (File_Open_Kind_Type_Definition, True);
-         Set_Has_Signal_Flag (File_Open_Kind_Type_Definition,
-                              not Flags.Flag_Whole_Analyze);
-
-         --  type file_open_kind is
-         Create_Std_Type
-           (File_Open_Kind_Type_Declaration, File_Open_Kind_Type_Definition,
-            Name_File_Open_Kind);
-
-         Iirs_Utils.Create_Range_Constraint_For_Enumeration_Type
-           (File_Open_Kind_Type_Definition);
-         Add_Implicit_Operations (File_Open_Kind_Type_Declaration);
-      else
-         File_Open_Kind_Type_Declaration := Null_Iir;
-         File_Open_Kind_Type_Definition := Null_Iir;
-         File_Open_Kind_Read_Mode := Null_Iir;
-         File_Open_Kind_Write_Mode := Null_Iir;
-         File_Open_Kind_Append_Mode := Null_Iir;
-      end if;
-
-      --  VHDL93:
-      --  type file_open_status is
-      --      (open_ok, status_error, name_error, mode_error);
-      if Vhdl_Std >= Vhdl_93c then
-         File_Open_Status_Type_Definition :=
-           Create_Std_Iir (Iir_Kind_Enumeration_Type_Definition);
-         Set_Base_Type (File_Open_Status_Type_Definition,
-                        File_Open_Status_Type_Definition);
-         Set_Enumeration_Literal_List
-           (File_Open_Status_Type_Definition, Create_Iir_Flist (4));
-
-         File_Open_Status_Open_Ok := Create_Std_Literal
-           (Name_Open_Ok, 0, File_Open_Status_Type_Definition);
-         File_Open_Status_Status_Error := Create_Std_Literal
-           (Name_Status_Error, 1, File_Open_Status_Type_Definition);
-         File_Open_Status_Name_Error := Create_Std_Literal
-           (Name_Name_Error, 2, File_Open_Status_Type_Definition);
-         File_Open_Status_Mode_Error := Create_Std_Literal
-           (Name_Mode_Error, 3, File_Open_Status_Type_Definition);
-         Set_Type_Staticness (File_Open_Status_Type_Definition, Locally);
-         Set_Signal_Type_Flag (File_Open_Status_Type_Definition, True);
-         Set_Has_Signal_Flag (File_Open_Status_Type_Definition,
-                              not Flags.Flag_Whole_Analyze);
-
-         --  type file_open_kind is
-         Create_Std_Type (File_Open_Status_Type_Declaration,
-                          File_Open_Status_Type_Definition,
-                          Name_File_Open_Status);
-         Iirs_Utils.Create_Range_Constraint_For_Enumeration_Type
-           (File_Open_Status_Type_Definition);
-         Add_Implicit_Operations (File_Open_Status_Type_Declaration);
-      else
-         File_Open_Status_Type_Declaration := Null_Iir;
-         File_Open_Status_Type_Definition := Null_Iir;
-         File_Open_Status_Open_Ok := Null_Iir;
-         File_Open_Status_Status_Error := Null_Iir;
-         File_Open_Status_Name_Error := Null_Iir;
-         File_Open_Status_Mode_Error := Null_Iir;
-      end if;
-
-      --  VHDL93:
-      --  attribute FOREIGN: string;
-      if Vhdl_Std >= Vhdl_93c then
-         Foreign_Attribute := Create_Std_Decl (Iir_Kind_Attribute_Declaration);
-         Set_Std_Identifier (Foreign_Attribute, Name_Foreign);
-         Set_Type_Mark (Foreign_Attribute,
-                        Create_Std_Type_Mark (String_Type_Declaration));
-         Set_Type (Foreign_Attribute, String_Type_Definition);
-         Add_Decl (Foreign_Attribute);
-      else
-         Foreign_Attribute := Null_Iir;
-      end if;
-
-      if Vhdl_Std >= Vhdl_08 then
-         Create_To_String (Boolean_Type_Definition,
-                           Iir_Predefined_Enum_To_String);
-         Create_To_String (Bit_Type_Definition,
-                           Iir_Predefined_Enum_To_String);
-         Create_To_String (Character_Type_Definition,
-                           Iir_Predefined_Enum_To_String);
-         Create_To_String (Severity_Level_Type_Definition,
-                           Iir_Predefined_Enum_To_String);
-         Create_To_String (Universal_Integer_Type_Definition,
-                           Iir_Predefined_Integer_To_String);
-         Create_To_String (Universal_Real_Type_Definition,
-                           Iir_Predefined_Floating_To_String);
-         Create_To_String (Integer_Type_Definition,
-                           Iir_Predefined_Integer_To_String);
-         Create_To_String (Real_Type_Definition,
-                           Iir_Predefined_Floating_To_String);
-         Create_To_String (Time_Type_Definition,
-                           Iir_Predefined_Physical_To_String);
-         Create_To_String (File_Open_Kind_Type_Definition,
-                           Iir_Predefined_Enum_To_String);
-         Create_To_String (File_Open_Status_Type_Definition,
-                           Iir_Predefined_Enum_To_String);
-
-         --  Predefined overload TO_STRING operations
-         Create_To_String (Real_Type_Definition,
-                           Iir_Predefined_Real_To_String_Digits,
-                           Name_To_String,
-                           Name_Digits,
-                           Natural_Subtype_Definition);
-         Create_To_String (Real_Type_Definition,
-                           Iir_Predefined_Real_To_String_Format,
-                           Name_To_String,
-                           Name_Format,
-                           String_Type_Definition);
-         Create_To_String (Time_Type_Definition,
-                           Iir_Predefined_Time_To_String_Unit,
-                           Name_To_String,
-                           Name_Unit,
-                           Time_Subtype_Definition);
-      end if;
-
-      --  Wilcard types.
-      --  Create the declaration and give them meaningful (and invalid) names
-      --  so that error messages are clear for the user.
-      Wildcard_Type_Declaration_Chain := Null_Iir;
-      Create_Wildcard_Type (Wildcard_Any_Type, "any type");
-      Create_Wildcard_Type (Wildcard_Any_Aggregate_Type, "any aggregate type");
-      Create_Wildcard_Type (Wildcard_Any_String_Type, "any string type");
-      Create_Wildcard_Type (Wildcard_Any_Access_Type, "any access type");
-
-      Error_Type := Iirs_Utils.Create_Error_Type (Wildcard_Any_Type);
-      Set_Error_Origin (Error_Type, Null_Iir);
-      Create_Wildcard_Type (Error_Type, "unknown type");
-   end Create_Std_Standard_Package;
-
-   procedure Set_Time_Resolution (Resolution : Character)
-   is
-      Unit : Iir;
-      Prim : Iir;
-      Rng : Iir;
-   begin
-      case Resolution is
-         when 'f' =>
-            Prim := Time_Fs_Unit;
-         when 'p' =>
-            Prim := Time_Ps_Unit;
-         when 'n' =>
-            Prim := Time_Ns_Unit;
-         when 'u' =>
-            Prim := Time_Us_Unit;
-         when 'm' =>
-            Prim := Time_Ms_Unit;
-         when 's' =>
-            Prim := Time_Sec_Unit;
-         when 'M' =>
-            Prim := Time_Min_Unit;
-         when 'h' =>
-            Prim := Time_Hr_Unit;
-         when others =>
-            raise Internal_Error;
-      end case;
-
-      --  Adjust range of TIME subtype.
-      Rng := Get_Range_Constraint (Time_Subtype_Definition);
-      Set_Physical_Unit (Get_Left_Limit (Rng), Prim);
-      Set_Physical_Unit (Get_Right_Limit (Rng), Prim);
-
-      --  Adjust range of DELAY_LENGTH.
-      if Vhdl_Std >= Vhdl_93c then
-         Rng := Get_Range_Constraint (Delay_Length_Subtype_Definition);
-         Set_Physical_Unit (Get_Left_Limit (Rng), Prim);
-         Set_Physical_Unit (Get_Right_Limit (Rng), Prim);
-      end if;
-
-      Unit := Get_Unit_Chain (Time_Type_Definition);
-      while Unit /= Null_Iir loop
-         declare
-            Lit : constant Iir := Get_Physical_Literal (Unit);
-            Orig : constant Iir := Get_Literal_Origin (Lit);
-            Lit_Unit : Iir;
-         begin
-            if Prim = Null_Iir then
-               --  Primary already set, just recompute values.
-               Lit_Unit := Get_Physical_Literal (Get_Physical_Unit (Orig));
-               Set_Value (Lit, Get_Value (Orig) * Get_Value (Lit_Unit));
-            elsif Unit = Prim then
-               Set_Value (Lit, 1);
-               Prim := Null_Iir;
-            else
-               Set_Value (Lit, 0);
-            end if;
-         end;
-         Unit := Get_Chain (Unit);
-      end loop;
-   end Set_Time_Resolution;
-
-   function Get_Minimal_Time_Resolution return Character is
-   begin
-      if Get_Use_Flag (Time_Fs_Unit) then
-         return 'f';
-      end if;
-      if Get_Use_Flag (Time_Ps_Unit) then
-         return 'p';
-      end if;
-      if Get_Use_Flag (Time_Ns_Unit) then
-         return 'n';
-      end if;
-      if Get_Use_Flag (Time_Us_Unit) then
-         return 'u';
-      end if;
-      if Get_Use_Flag (Time_Ms_Unit) then
-         return 'm';
-      end if;
-      if Get_Use_Flag (Time_Sec_Unit) then
-         return 's';
-      end if;
-      if Get_Use_Flag (Time_Min_Unit) then
-         return 'M';
-      end if;
-      if Get_Use_Flag (Time_Hr_Unit) then
-         return 'h';
-      end if;
-      return '?';
-   end Get_Minimal_Time_Resolution;
-end Std_Package;