1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
|
-- Semantic analysis.
-- 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 Iirs; use Iirs;
package Sem_Stmts is
-- Semantize declarations and concurrent statements of BLK, which is
-- either an architecture_declaration, and entity_declaration or
-- a block_statement.
-- If SEM_DECLS is true, then semantize the declarations of BLK.
procedure Sem_Block (Blk: Iir; Sem_Decls : Boolean);
-- Analyze the concurrent statements of PARENT.
procedure Sem_Concurrent_Statement_Chain (Parent : Iir);
-- Some signals are implicitly declared. This is the case for signals
-- declared by an attribute ('stable, 'quiet and 'transaction).
-- Note: guard signals are also implicitly declared, but with a guard
-- expression, which is located.
-- Since these signals need resources and are not easily located (can be
-- nearly in every expression), it is useful to add a node into a
-- declaration list to declare them.
-- However, only a few declaration_list can declare signals. These
-- declarations lists must register and unregister themselves with
-- push_declarative_region_with_signals and
-- pop_declarative_region_with_signals.
type Implicit_Signal_Declaration_Type is private;
procedure Push_Signals_Declarative_Part
(Cell: out Implicit_Signal_Declaration_Type; Decls_Parent : Iir);
procedure Pop_Signals_Declarative_Part
(Cell: in Implicit_Signal_Declaration_Type);
-- Declare an implicit signal.
procedure Add_Declaration_For_Implicit_Signal (Sig : Iir);
-- Semantize declaration chain and sequential statement chain
-- of BODY_PARENT.
-- DECL is the declaration for these chains (DECL is the declaration, which
-- is different from the bodies).
-- This is used by processes and subprograms semantization.
procedure Sem_Sequential_Statements (Decl : Iir; Body_Parent : Iir);
-- Sem for concurrent and sequential assertion statements.
procedure Sem_Report_Statement (Stmt : Iir);
-- Get the current subprogram or process.
function Get_Current_Subprogram return Iir;
pragma Inline (Get_Current_Subprogram);
-- Get the current concurrent statement, or NULL_IIR if none.
function Get_Current_Concurrent_Statement return Iir;
pragma Inline (Get_Current_Concurrent_Statement);
-- Current PSL default_clock declaration.
-- Automatically saved and restore while analyzing concurrent statements.
Current_Psl_Default_Clock : Iir;
-- Add a driver for SIG.
-- STMT is used in case of error (it is the statement that creates the
-- driver).
-- Do nothing if:
-- The current statement list does not belong to a process,
-- SIG is a formal signal interface.
procedure Sem_Add_Driver (Sig : Iir; Stmt : Iir);
private
type Implicit_Signal_Declaration_Type is record
Decls_Parent : Iir;
Last_Decl : Iir;
end record;
end Sem_Stmts;
|
