Split translation into child packages.

1 files changed, 159 insertions, 0 deletions

diff --git a/src/vhdl/translate/trans-chap7.ads b/src/vhdl/translate/trans-chap7.ads
new file mode 100644
index 0000000..d3fcfee
--- /dev/null
+++ b/src/vhdl/translate/trans-chap7.ads
@@ -0,0 +1,159 @@
+--  Iir to ortho translator.
+--  Copyright (C) 2002 - 2014 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 GCC; see the file COPYING.  If not, write to the Free
+--  Software Foundation, 59 Temple Place - Suite 330, Boston, MA
+--  02111-1307, USA.
+
+package Trans.Chap7 is
+   --  Generic function to extract a value from a signal.
+   generic
+      with function Read_Value (Sig : O_Enode; Sig_Type : Iir)
+                                   return O_Enode;
+   function Translate_Signal_Value (Sig : O_Enode; Sig_Type : Iir)
+                                       return O_Enode;
+
+   --  Extract the effective value of SIG.
+   function Translate_Signal_Effective_Value (Sig : O_Enode; Sig_Type : Iir)
+                                                 return O_Enode;
+   function Translate_Signal_Driving_Value (Sig : O_Enode; Sig_Type : Iir)
+                                               return O_Enode;
+
+   --  Directly set the effective value of SIG with VAL.
+   --  Used only by conversion.
+   procedure Set_Effective_Value
+     (Sig : Mnode; Sig_Type : Iir; Val : Mnode);
+
+   procedure Set_Driving_Value
+     (Sig : Mnode; Sig_Type : Iir; Val : Mnode);
+
+   --  Translate expression EXPR into ortho tree.
+   function Translate_Expression (Expr : Iir; Rtype : Iir := Null_Iir)
+                                     return O_Enode;
+
+   --  Translate call to function IMP.
+   --  ASSOC_CHAIN is the chain of a associations for this call.
+   --  OBJ, if not NULL_IIR is the protected object.
+   function Translate_Function_Call
+     (Imp : Iir; Assoc_Chain : Iir; Obj : Iir)
+         return O_Enode;
+
+   --  Translate range and return an lvalue containing the range.
+   --  The node returned can be used only one time.
+   function Translate_Range (Arange : Iir; Range_Type : Iir)
+                                return O_Lnode;
+
+   --  Translate range expression EXPR and store the result into the node
+   --  pointed by RES_PTR, of type RANGE_TYPE.
+   procedure Translate_Range_Ptr
+     (Res_Ptr : O_Dnode; Arange : Iir; Range_Type : Iir);
+   function Translate_Static_Range (Arange : Iir; Range_Type : Iir)
+                                       return O_Cnode;
+
+   --  Same as Translate_Range_Ptr, but for a discrete range (ie: ARANGE
+   --  can be a discrete subtype indication).
+   procedure Translate_Discrete_Range_Ptr (Res_Ptr : O_Dnode; Arange : Iir);
+
+   --  Return TRUE iff constant declaration DECL can be staticly defined.
+   --  This is of course true if its expression is a locally static literal,
+   --  but can be true in a few cases for aggregates.
+   --  This function belongs to Translation, since it is defined along
+   --  with the translate_static_aggregate procedure.
+   function Is_Static_Constant (Decl : Iir_Constant_Declaration)
+                                   return Boolean;
+
+   --  Translate the static expression EXPR into an ortho expression whose
+   --  type must be RES_TYPE.  Therefore, an implicite conversion might
+   --  occurs.
+   function Translate_Static_Expression (Expr : Iir; Res_Type : Iir)
+                                            return O_Cnode;
+   function Translate_Numeric_Literal (Expr : Iir; Res_Type : O_Tnode)
+                                          return O_Cnode;
+
+   --  Convert (if necessary) EXPR of type EXPR_TYPE to type ATYPE.
+   function Translate_Implicit_Conv
+     (Expr      : O_Enode;
+      Expr_Type : Iir;
+      Atype     : Iir;
+      Is_Sig    : Object_Kind_Type;
+      Loc       : Iir)
+         return O_Enode;
+
+   function Translate_Type_Conversion
+     (Expr : O_Enode; Expr_Type : Iir; Res_Type : Iir; Loc : Iir)
+         return O_Enode;
+
+   --  Convert range EXPR into ortho tree.
+   --  If RANGE_TYPE /= NULL_IIR, convert bounds to RANGE_TYPE.
+   --function Translate_Range (Expr : Iir; Range_Type : Iir) return O_Enode;
+   function Translate_Static_Range_Left
+     (Expr : Iir; Range_Type : Iir := Null_Iir)
+         return O_Cnode;
+   function Translate_Static_Range_Right
+     (Expr : Iir; Range_Type : Iir := Null_Iir)
+         return O_Cnode;
+   function Translate_Static_Range_Dir (Expr : Iir) return O_Cnode;
+   function Translate_Static_Range_Length (Expr : Iir) return O_Cnode;
+
+   --  These functions evaluates left bound/right bound/length of the
+   --  range expression EXPR.
+   function Translate_Range_Expression_Left (Expr       : Iir;
+                                             Range_Type : Iir := Null_Iir)
+                                                return O_Enode;
+   function Translate_Range_Expression_Right (Expr       : Iir;
+                                              Range_Type : Iir := Null_Iir)
+                                                 return O_Enode;
+   function Translate_Range_Expression_Length (Expr : Iir) return O_Enode;
+
+   --  Get the length of any range expression (ie maybe an attribute).
+   function Translate_Range_Length (Expr : Iir) return O_Enode;
+
+   --  Assign AGGR to TARGET of type TARGET_TYPE.
+   procedure Translate_Aggregate
+     (Target : Mnode; Target_Type : Iir; Aggr : Iir);
+
+   --  Translate implicit functions defined by a type.
+   type Implicit_Subprogram_Infos is private;
+   procedure Init_Implicit_Subprogram_Infos
+     (Infos : out Implicit_Subprogram_Infos);
+   procedure Translate_Implicit_Subprogram
+     (Subprg : Iir; Infos : in out Implicit_Subprogram_Infos);
+
+   --  Assign EXPR to TARGET.  LOC is the location used to report errors.
+   --  FIXME: do the checks.
+   procedure Translate_Assign
+     (Target : Mnode; Expr : Iir; Target_Type : Iir);
+   procedure Translate_Assign
+     (Target : Mnode;
+      Val    : O_Enode; Expr : Iir; Target_Type : Iir; Loc : Iir);
+
+   --  Find the declaration of the predefined function IMP in type
+   --  definition BASE_TYPE.
+   function Find_Predefined_Function
+     (Base_Type : Iir; Imp : Iir_Predefined_Functions)
+         return Iir;
+
+   function Translate_Lib_Operator (Left, Right : O_Enode; Func : O_Dnode)
+                                       return O_Enode;
+private
+   type Implicit_Subprogram_Infos is record
+      Arr_Eq_Info     : Subprg_Info_Acc;
+      Rec_Eq_Info     : Subprg_Info_Acc;
+      Arr_Cmp_Info    : Subprg_Info_Acc;
+      Arr_Concat_Info : Subprg_Info_Acc;
+      Arr_Shl_Info    : Subprg_Info_Acc;
+      Arr_Sha_Info    : Subprg_Info_Acc;
+      Arr_Rot_Info    : Subprg_Info_Acc;
+   end record;
+end Trans.Chap7;