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
90
91
92
93
94
95
96
97
98
99
100
101
102
|
-- Binary file execute in memory handler.
-- Copyright (C) 2006 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.
with Ada.Text_IO; use Ada.Text_IO;
with Ada.Unchecked_Conversion;
package body Binary_File.Memory is
-- Absolute section.
Sect_Abs : Section_Acc;
procedure Set_Symbol_Address (Sym : Symbol; Addr : System.Address)
is
function Conv is new Ada.Unchecked_Conversion
(Source => System.Address, Target => Pc_Type);
begin
Set_Symbol_Value (Sym, Conv (Addr));
Set_Scope (Sym, Sym_Global);
Set_Section (Sym, Sect_Abs);
end Set_Symbol_Address;
procedure Write_Memory_Init
is
use SSE;
Sect : Section_Acc;
begin
-- Relocate section in memory.
Sect := Section_Chain;
while Sect /= null loop
if Sect.Data = null then
if Sect.Pc > 0 then
Resize (Sect, Sect.Pc);
Sect.Data (0 .. Sect.Pc - 1) := (others => 0);
else
null;
--Sect.Data := new Byte_Array (1 .. 0);
end if;
end if;
if Sect.Data_Max > 0 then
Sect.Vaddr := To_Integer (Sect.Data (0)'Address);
end if;
Sect := Sect.Next;
end loop;
Create_Section (Sect_Abs, "*ABS*", Section_Exec);
Sect_Abs.Vaddr := 0;
end Write_Memory_Init;
procedure Write_Memory_Relocate (Error : out Boolean)
is
use SSE;
Sect : Section_Acc;
Rel : Reloc_Acc;
N_Rel : Reloc_Acc;
begin
-- Do all relocations.
Sect := Section_Chain;
Error := False;
while Sect /= null loop
-- Put_Line ("Section: " & Sect.Name.all & ", Flags:"
-- & Section_Flags'Image (Sect.Flags));
Rel := Sect.First_Reloc;
while Rel /= null loop
N_Rel := Rel.Sect_Next;
if Get_Scope (Rel.Sym) = Sym_Undef then
Put_Line ("symbol " & Get_Symbol_Name (Rel.Sym)
& " is undefined");
Error := True;
else
Apply_Reloc (Sect, Rel);
end if;
Free (Rel);
Rel := N_Rel;
end loop;
Sect.First_Reloc := null;
Sect.Last_Reloc := null;
Sect.Nbr_Relocs := 0;
if (Sect.Flags and Section_Exec) /= 0
and (Sect.Flags and Section_Write) = 0
then
Memsegs.Set_Rx (Sect.Seg);
end if;
Sect := Sect.Next;
end loop;
end Write_Memory_Relocate;
end Binary_File.Memory;
|
