-- GHDL Run Time (GRT) - misc subprograms.
-- Copyright (C) 2002 - 2016 Tristan Gingold
--
-- This program 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 of the License, or
-- (at your option) any later version.
--
-- This program 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 this program. If not, see <gnu.org/licenses>.
--
-- As a special exception, if other files instantiate generics from this
-- unit, or you link this unit with other files to produce an executable,
-- this unit does not by itself cause the resulting executable to be
-- covered by the GNU General Public License. This exception does not
-- however invalidate any other reasons why the executable file might be
-- covered by the GNU Public License.
with Grt.Types; use Grt.Types;
with Grt.Vhdl_Types; use Grt.Vhdl_Types;
package Grt.Lib is
procedure Ghdl_Memcpy
(Dest : Ghdl_Ptr; Src : Ghdl_Ptr; Size : Ghdl_Index_Type);
procedure Ghdl_Assert_Failed
(Str : Std_String_Ptr; Severity : Integer; Loc : Ghdl_Location_Ptr);
procedure Ghdl_Ieee_Assert_Failed
(Str : Std_String_Ptr; Severity : Integer; Loc : Ghdl_Location_Ptr);
procedure Ghdl_Psl_Assert_Failed
(Str : Std_String_Ptr; Severity : Integer; Loc : Ghdl_Location_Ptr);
procedure Ghdl_Psl_Assume_Failed (Loc : Ghdl_Location_Ptr);
-- Called when a sequence is covered (in a cover directive)
procedure Ghdl_Psl_Cover
(Str : Std_String_Ptr; Severity : Integer; Loc : Ghdl_Location_Ptr);
procedure Ghdl_Psl_Cover_Failed
(Str : Std_String_Ptr; Severity : Integer; Loc : Ghdl_Location_Ptr);
procedure Ghdl_Report
(Str : Std_String_Ptr; Severity : Integer; Loc : Ghdl_Location_Ptr);
-- Bound / Direction error.
procedure Ghdl_Bound_Check_Failed (Filename : Ghdl_C_String;
Line: Ghdl_I32);
procedure Ghdl_Direction_Check_Failed (Filename : Ghdl_C_String;
Line: Ghdl_I32);
procedure Ghdl_Access_Check_Failed;
procedure Ghdl_Integer_Index_Check_Failed
(Filename : Ghdl_C_String;
Line : Ghdl_I32;
Val : Std_Integer;
Rng : Std_Integer_Range_Ptr);
-- Program error has occurred:
-- * configuration of an already configured block.
procedure Ghdl_Program_Error (Filename : Ghdl_C_String;
Line : Ghdl_I32;
Code : Ghdl_Index_Type);
function Ghdl_I32_Exp (V : Ghdl_I32; E : Std_Integer) return Ghdl_I32;
function Ghdl_I64_Exp (V : Ghdl_I64; E : Std_Integer) return Ghdl_I64;
function Ghdl_I32_Div (L, R : Ghdl_I32) return Ghdl_I32;
function Ghdl_I64_Div (L, R : Ghdl_I64) return Ghdl_I64;
function Ghdl_I32_Mod (L, R : Ghdl_I32) return Ghdl_I32;
function Ghdl_I64_Mod (L, R : Ghdl_I64) return Ghdl_I64;
-- Called before allocation of large (complex) objects.
procedure Ghdl_Check_Stack_Allocation (Size : Ghdl_Index_Type);
function Ghdl_Malloc (Size : Ghdl_Index_Type) return Ghdl_Ptr;
-- Allocate and clear SIZE bytes.
function Ghdl_Malloc0 (Size : Ghdl_Index_Type) return Ghdl_Ptr;
procedure Ghdl_Deallocate (Ptr : Ghdl_Ptr);
function Ghdl_Real_Exp (X : Ghdl_Real; Exp : Ghdl_I32)
return Ghdl_Real;
type Ghdl_Std_Ulogic_Boolean_Array_Type is array (Ghdl_E8 range 0 .. 8)
of Ghdl_B1;
Ghdl_Std_Ulogic_To_Boolean_Array :
constant Ghdl_Std_Ulogic_Boolean_Array_Type := (False, -- U
False, -- X
False, -- 0
True, -- 1
False, -- Z
False, -- W
False, -- L
True, -- H
False -- -
);
function Textio_Read_Real (Str : Std_String_Ptr) return Ghdl_F64;
procedure Textio_Write_Real (Str : Std_String_Ptr;
Len : Std_Integer_Acc;
V : Ghdl_F64;
Ndigits : Std_Integer);
function Ghdl_Get_Resolution_Limit return Std_Time;
procedure Ghdl_Control_Simulation
(Stop : Ghdl_B1; Has_Status : Ghdl_B1; Status : Std_Integer);
private
pragma Export (C, Ghdl_Memcpy, "__ghdl_memcpy");
pragma Export (C, Ghdl_Assert_Failed, "__ghdl_assert_failed");
pragma Export (C, Ghdl_Ieee_Assert_Failed, "__ghdl_ieee_assert_failed");
pragma Export (C, Ghdl_Psl_Assume_Failed, "__ghdl_psl_assume_failed");
pragma Export (C, Ghdl_Psl_Assert_Failed, "__ghdl_psl_assert_failed");
pragma Export (C, Ghdl_Psl_Cover, "__ghdl_psl_cover");
pragma Export (C, Ghdl_Psl_Cover_Failed, "__ghdl_psl_cover_failed");
pragma Export (C, Ghdl_Report, "__ghdl_report");
pragma Export (C, Ghdl_Bound_Check_Failed,
"__ghdl_bound_check_failed");
pragma Export (C, Ghdl_Direction_Check_Failed,
"__ghdl_direction_check_failed");
pragma Export (C, Ghdl_Integer_Index_Check_Failed,
"__ghdl_integer_index_check_failed");
pragma Export (C, Ghdl_Access_Check_Failed,
"__ghdl_access_check_failed");
pragma Export (C, Ghdl_Program_Error, "__ghdl_program_error");
pragma Export (C, Ghdl_Check_Stack_Allocation,
"__ghdl_check_stack_allocation");
pragma Export (C, Ghdl_Malloc, "__ghdl_malloc");
pragma Export (C, Ghdl_Malloc0, "__ghdl_malloc0");
pragma Export (C, Ghdl_Deallocate, "__ghdl_deallocate");
pragma Export (C, Ghdl_I32_Exp, "__ghdl_i32_exp");
pragma Export (C, Ghdl_I64_Exp, "__ghdl_i64_exp");
pragma Export (C, Ghdl_Real_Exp, "__ghdl_real_exp");
pragma Export (C, Ghdl_I32_Div, "__ghdl_i32_div");
pragma Export (C, Ghdl_I64_Div, "__ghdl_i64_div");
pragma Export (C, Ghdl_I32_Mod, "__ghdl_i32_mod");
pragma Export (C, Ghdl_I64_Mod, "__ghdl_i64_mod");
pragma Export (C, Ghdl_Std_Ulogic_To_Boolean_Array,
"__ghdl_std_ulogic_to_boolean_array");
pragma Export (C, Textio_Read_Real,
"std__textio__textio_read_real");
pragma Export (C, Textio_Write_Real,
"std__textio__textio_write_real");
pragma Export (C, Ghdl_Get_Resolution_Limit,
"std__env__get_resolution_limit");
pragma Export (Ada, Ghdl_Control_Simulation,
"std__env__control_simulation");
end Grt.Lib;