-- Ortho debug back-end declarations.
-- Copyright (C) 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 GCC; see the file COPYING. If not, write to the Free
-- Software Foundation, 59 Temple Place - Suite 330, Boston, MA
-- 02111-1307, USA.
package Ortho_Debug is
type O_Enode is private;
type O_Cnode is private;
type O_Lnode is private;
-- A node for a type.
type O_Tnode_Type (<>) is private;
type O_Tnode is access O_Tnode_Type;
-- A node for a statement.
type O_Snode_Type (<>) is private;
type O_Snode is access O_Snode_Type;
-- A node for a function.
type O_Dnode_Type (<>) is private;
type O_Dnode is access O_Dnode_Type;
-- A node for a record element.
type O_Fnode_Type is private;
type O_Fnode is access O_Fnode_Type;
procedure Init;
procedure Finish;
Top : O_Snode;
private
type Str_Acc is access String;
type Decl_Scope_Type;
type Decl_Scope_Acc is access Decl_Scope_Type;
type On_Decl_Kind is
(ON_Type_Decl, ON_Completed_Type_Decl,
ON_Const_Decl, ON_Var_Decl, ON_Interface_Decl,
ON_Function_Decl, ON_Function_Body,
ON_Const_Value,
ON_Debug_Line_Decl, ON_Debug_Comment_Decl, ON_Debug_Filename_Decl);
O_Dnode_Null : constant O_Dnode := null;
type O_Dnode_Type (Kind : On_Decl_Kind) is record
Next : O_Dnode;
Name : O_Ident;
Dtype : O_Tnode;
Storage : O_Storage;
-- Declare statement in which the declaration appears.
Scope : O_Snode;
-- Line number, for regen.
Lineno : Natural;
case Kind is
when ON_Type_Decl =>
null;
when ON_Completed_Type_Decl =>
null;
when ON_Const_Decl =>
Const_Value : O_Dnode;
when ON_Const_Value =>
Const_Decl : O_Dnode;
Value : O_Cnode;
when ON_Var_Decl =>
null;
when ON_Function_Decl =>
Interfaces : O_Dnode;
Func_Body : O_Dnode;
Alive : Boolean;
when ON_Function_Body =>
Func_Decl : O_Dnode;
Func_Stmt : O_Snode;
when ON_Interface_Decl =>
Func_Scope : O_Dnode;
when ON_Debug_Line_Decl =>
Line : Natural;
when ON_Debug_Comment_Decl =>
Comment : Str_Acc;
when ON_Debug_Filename_Decl =>
Filename : Str_Acc;
end case;
end record;
O_Fnode_Null : constant O_Fnode := null;
type O_Fnode_Type is record
-- Record type.
Parent : O_Tnode;
-- Next field in the record.
Next : O_Fnode;
-- Name of the record field.
Ident : O_Ident;
-- Type of the record field.
Ftype : O_Tnode;
-- Offset in the field.
Offset : Unsigned_32;
end record;
type O_Anode_Type;
type O_Anode is access O_Anode_Type;
type O_Anode_Type is record
Next : O_Anode;
Formal : O_Dnode;
Actual : O_Enode;
end record;
type OC_Kind is
(
OC_Boolean_Lit,
OC_Unsigned_Lit,
OC_Signed_Lit,
OC_Float_Lit,
OC_Enum_Lit,
OC_Null_Lit,
OC_Sizeof_Lit,
OC_Offsetof_Lit,
OC_Aggregate,
OC_Aggr_Element,
OC_Union_Aggr,
OC_Address,
OC_Unchecked_Address,
OC_Subprogram_Address
);
type O_Cnode_Type (Kind : OC_Kind) is record
-- Type of the constant.
Ctype : O_Tnode;
-- True if referenced.
Ref : Boolean;
case Kind is
when OC_Unsigned_Lit =>
U_Val : Unsigned_64;
when OC_Signed_Lit =>
S_Val : Integer_64;
when OC_Float_Lit =>
F_Val : IEEE_Float_64;
when OC_Boolean_Lit =>
B_Val : Boolean;
B_Id : O_Ident;
when OC_Enum_Lit =>
E_Val : Integer;
E_Next : O_Cnode;
E_Name : O_Ident;
when OC_Null_Lit =>
null;
when OC_Sizeof_Lit =>
S_Type : O_Tnode;
when OC_Offsetof_Lit =>
Off_Field : O_Fnode;
when OC_Aggregate =>
Aggr_Els : O_Cnode;
when OC_Union_Aggr =>
Uaggr_Field : O_Fnode;
Uaggr_Value : O_Cnode;
when OC_Aggr_Element =>
Aggr_Value : O_Cnode;
Aggr_Next : O_Cnode;
when OC_Address
| OC_Unchecked_Address
| OC_Subprogram_Address =>
Decl : O_Dnode;
end case;
end record;
type O_Cnode is access O_Cnode_Type;
O_Cnode_Null : constant O_Cnode := null;
type OE_Kind is
(
-- Literals.
OE_Lit,
-- Dyadic operations.
OE_Add_Ov, -- OE_Dyadic_Op_Kind
OE_Sub_Ov, -- OE_Dyadic_Op_Kind
OE_Mul_Ov, -- OE_Dyadic_Op_Kind
OE_Div_Ov, -- OE_Dyadic_Op_Kind
OE_Rem_Ov, -- OE_Dyadic_Op_Kind
OE_Mod_Ov, -- OE_Dyadic_Op_Kind
OE_Exp_Ov, -- OE_Dyadic_Op_Kind
-- Binary operations.
OE_And, -- OE_Dyadic_Op_Kind
OE_Or, -- OE_Dyadic_Op_Kind
OE_Xor, -- OE_Dyadic_Op_Kind
OE_And_Then, -- OE_Dyadic_Op_Kind
OE_Or_Else, -- OE_Dyadic_Op_Kind
-- Monadic operations.
OE_Not, -- OE_Monadic_Op_Kind
OE_Neg_Ov, -- OE_Monadic_Op_Kind
OE_Abs_Ov, -- OE_Monadic_Op_Kind
-- Comparaisons
OE_Eq, -- OE_Compare_Op_Kind
OE_Neq, -- OE_Compare_Op_Kind
OE_Le, -- OE_Compare_Op_Kind
OE_Lt, -- OE_Compare_Op_Kind
OE_Ge, -- OE_Compare_Op_Kind
OE_Gt, -- OE_Compare_Op_Kind
-- Misc.
OE_Convert_Ov,
OE_Address,
OE_Unchecked_Address,
OE_Alloca,
OE_Function_Call,
OE_Value,
OE_Nil
);
subtype OE_Dyadic_Expr_Kind is OE_Kind range OE_Add_Ov .. OE_Or_Else;
subtype OE_Monadic_Expr_Kind is OE_Kind range OE_Not .. OE_Abs_Ov;
subtype OE_Compare_Expr_Kind is OE_Kind range OE_Eq .. OE_Gt;
type O_Enode_Type (Kind : OE_Kind);
type O_Enode is access O_Enode_Type;
O_Enode_Null : constant O_Enode := null;
type O_Enode_Type (Kind : OE_Kind) is record
-- Type of the result.
Rtype : O_Tnode;
-- True if referenced.
Ref : Boolean;
case Kind is
when OE_Dyadic_Expr_Kind
| OE_Compare_Expr_Kind =>
Left : O_Enode;
Right : O_Enode;
when OE_Monadic_Expr_Kind =>
Operand : O_Enode;
when OE_Lit =>
Lit : O_Cnode;
when OE_Address
| OE_Unchecked_Address =>
Lvalue : O_Lnode;
when OE_Convert_Ov =>
Conv : O_Enode;
when OE_Function_Call =>
Func : O_Dnode;
Assoc : O_Anode;
when OE_Value =>
Value : O_Lnode;
when OE_Alloca =>
A_Size : O_Enode;
when OE_Nil =>
null;
end case;
end record;
type O_Enode_Array is array (Natural range <>) of O_Enode;
type O_Enode_Array_Acc is access O_Enode_Array;
type OL_Kind is
(
-- Name.
OL_Obj,
OL_Indexed_Element,
OL_Slice,
OL_Selected_Element,
OL_Access_Element
-- Variable, constant, parameter reference.
-- This allows to read/write a declaration.
--OL_Var_Ref,
--OL_Const_Ref,
--OL_Param_Ref
);
type O_Lnode_Type (Kind : OL_Kind);
type O_Lnode is access O_Lnode_Type;
O_Lnode_Null : constant O_Lnode := null;
type O_Lnode_Type (Kind : OL_Kind) is record
-- Type of the result.
Rtype : O_Tnode;
-- True if referenced.
Ref : Boolean;
case Kind is
when OL_Obj =>
Obj : O_Dnode;
when OL_Indexed_Element =>
Array_Base : O_Lnode;
Index : O_Enode;
when OL_Slice =>
Slice_Base : O_Lnode;
Slice_Index : O_Enode;
when OL_Selected_Element =>
Rec_Base : O_Lnode;
Rec_El : O_Fnode;
when OL_Access_Element =>
Acc_Base : O_Enode;
-- when OL_Var_Ref
-- | OL_Const_Ref
-- | OL_Param_Ref =>
-- Decl : O_Dnode;
end case;
end record;
O_Tnode_Null : constant O_Tnode := null;
type ON_Type_Kind is
(ON_Boolean_Type, ON_Enum_Type,
ON_Unsigned_Type, ON_Signed_Type, ON_Float_Type, ON_Array_Type,
ON_Array_Sub_Type, ON_Record_Type, ON_Union_Type, ON_Access_Type);
type O_Tnode_Type (Kind : ON_Type_Kind) is record
Decl : O_Dnode;
-- Alignment, in power of 2.
Align : Natural;
-- Size in bytes.
Size : Unsigned_32;
-- True if the type was first created as an uncomplete type.
Uncomplete : Boolean;
-- True if the type is complete.
Complete : Boolean;
case Kind is
when ON_Boolean_Type =>
True_N : O_Cnode;
False_N : O_Cnode;
when ON_Unsigned_Type
| ON_Signed_Type =>
null;
when ON_Float_Type =>
null;
when ON_Enum_Type =>
Nbr : Natural;
Literals: O_Cnode;
when ON_Array_Type =>
El_Type : O_Tnode;
Index_Type : O_Tnode;
when ON_Access_Type =>
D_Type : O_Tnode;
when ON_Record_Type
| ON_Union_Type =>
Elements : O_Fnode;
when ON_Array_Sub_Type =>
Length : O_Cnode;
Base_Type : O_Tnode;
end case;
end record;
type ON_Choice_Kind is (ON_Choice_Expr, ON_Choice_Range, ON_Choice_Default);
type O_Choice_Type (Kind : ON_Choice_Kind);
type O_Choice is access O_Choice_Type;
type O_Choice_Type (Kind : ON_Choice_Kind) is record
Next : O_Choice;
case Kind is
when ON_Choice_Expr =>
Expr : O_Cnode;
when ON_Choice_Range =>
Low, High : O_Cnode;
when ON_Choice_Default =>
null;
end case;
end record;
O_Snode_Null : constant O_Snode := null;
type ON_Stmt_Kind is
(ON_Declare_Stmt, ON_Assign_Stmt, ON_Return_Stmt, ON_If_Stmt,
ON_Elsif_Stmt, ON_Loop_Stmt, ON_Exit_Stmt, ON_Next_Stmt,
ON_Case_Stmt, ON_When_Stmt, ON_Call_Stmt,
ON_Debug_Line_Stmt, ON_Debug_Comment_Stmt);
type O_Snode_Type (Kind : ON_Stmt_Kind) is record
Next : O_Snode;
Lineno : Natural;
case Kind is
when ON_Declare_Stmt =>
Decls : O_Dnode;
Stmts : O_Snode;
-- True if the statement is currently open.
Alive : Boolean;
when ON_Assign_Stmt =>
Target : O_Lnode;
Value : O_Enode;
when ON_Return_Stmt =>
Ret_Val : O_Enode;
when ON_If_Stmt =>
Elsifs : O_Snode;
If_Last : O_Snode;
when ON_Elsif_Stmt =>
Cond : O_Enode;
Next_Elsif : O_Snode;
when ON_Loop_Stmt =>
Loop_Last : O_Snode;
Loop_Level : Natural;
when ON_Exit_Stmt
| ON_Next_Stmt =>
Loop_Id : O_Snode;
when ON_Case_Stmt =>
Selector : O_Enode;
Branches : O_Snode;
Case_Last : O_Snode;
when ON_When_Stmt =>
Choice_List : O_Choice;
Next_Branch : O_Snode;
when ON_Call_Stmt =>
Proc : O_Dnode;
Assoc : O_Anode;
when ON_Debug_Line_Stmt =>
Line : Natural;
when ON_Debug_Comment_Stmt =>
Comment : Str_Acc;
end case;
end record;
type O_Inter_List is record
Func : O_Dnode;
Last : O_Dnode;
end record;
type O_Element_List is record
-- The type definition.
Res : O_Tnode;
-- The last element added.
Last : O_Fnode;
end record;
type O_Record_Aggr_List is record
Res : O_Cnode;
Last : O_Cnode;
Field : O_Fnode;
end record;
type O_Array_Aggr_List is record
Res : O_Cnode;
Last : O_Cnode;
El_Type : O_Tnode;
end record;
type O_Assoc_List is record
Subprg : O_Dnode;
Interfaces : O_Dnode;
First, Last : O_Anode;
end record;
type O_Enum_List is record
-- The type built.
Res : O_Tnode;
-- the chain of declarations.
Last : O_Cnode;
end record;
type O_Case_Block is record
null;
end record;
type O_If_Block is record
null;
end record;
end Ortho_Debug;