blob: 2ce44425a5cc6b7cb535feb30f1fe108da59b4f3 (
plain)
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
88
89
|
-- Synthesis context.
-- Copyright (C) 2021 Tristan Gingold
--
-- This file is part of GHDL.
--
-- 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>.
with Types; use Types;
with Simple_IO; use Simple_IO;
with Utils_IO; use Utils_IO;
with Vhdl.Errors;
with Elab.Vhdl_Values.Debug; use Elab.Vhdl_Values.Debug;
package body Elab.Vhdl_Context.Debug is
procedure Debug_Synth_Instance (Inst : Synth_Instance_Acc) is
begin
Put_Line ("instance for: "
& Vhdl.Errors.Disp_Node (Get_Source_Scope (Inst)));
for I in Inst.Objects'Range loop
Put_Uns32 (Uns32 (I));
Put (": ");
case Inst.Objects (I).Kind is
when Obj_None =>
Put_Line ("none");
when Obj_Object =>
Put ("object");
Put (": ");
Debug_Valtyp (Inst.Objects (I).Obj);
when Obj_Subtype =>
Put ("subtype");
Put (": ");
Debug_Typ (Inst.Objects (I).T_Typ);
when Obj_Instance =>
Put ("instance");
New_Line;
when Obj_Marker =>
Put ("marker");
New_Line;
end case;
end loop;
end Debug_Synth_Instance;
procedure Debug_Elab_Tree_1 (Inst : Synth_Instance_Acc; Level : Natural) is
begin
Put_Indent (Level);
if Inst = null then
Put_Line ("*null*");
return;
end if;
Put_Line (Vhdl.Errors.Disp_Node (Get_Source_Scope (Inst)));
for I in Inst.Objects'Range loop
if Inst.Objects (I).Kind = Obj_Instance then
Debug_Elab_Tree_1 (Inst.Objects (I).I_Inst, Level + 1);
end if;
end loop;
end Debug_Elab_Tree_1;
procedure Debug_Elab_Tree (Inst : Synth_Instance_Acc) is
begin
Debug_Elab_Tree_1 (Inst, 0);
end Debug_Elab_Tree;
procedure Debug_Backtrace (First : Synth_Instance_Acc)
is
Inst : Synth_Instance_Acc;
begin
Inst := First;
while Inst /= null loop
Debug_Synth_Instance (Inst);
Inst := Inst.Caller;
end loop;
end Debug_Backtrace;
pragma Unreferenced (Debug_Backtrace);
end Elab.Vhdl_Context.Debug;
|
