blob: 907aea0b687906dc6a985bb6395bafc41bdfdbf9 (
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
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
|
-- Ortho JIT implementation for mcode.
-- Copyright (C) 2009 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 GNAT.OS_Lib; use GNAT.OS_Lib;
with Ada.Text_IO;
with Binary_File; use Binary_File;
with Binary_File.Memory;
with Ortho_Mcode; use Ortho_Mcode;
with Ortho_Mcode.Jit;
with Ortho_Code.Flags; use Ortho_Code.Flags;
with Ortho_Code.Debug;
with Ortho_Code.Abi;
with Binary_File.Elf;
package body Ortho_Jit is
Snap_Filename : GNAT.OS_Lib.String_Access := null;
-- Initialize the whole engine.
procedure Init is
begin
Ortho_Mcode.Init;
Binary_File.Memory.Write_Memory_Init;
end Init;
-- Set address of non-defined global variables or functions.
procedure Set_Address (Decl : O_Dnode; Addr : Address)
renames Ortho_Mcode.Jit.Set_Address;
-- Get address of a global.
function Get_Address (Decl : O_Dnode) return Address
renames Ortho_Mcode.Jit.Get_Address;
-- Do link.
procedure Link (Status : out Boolean) is
begin
if Ortho_Code.Debug.Flag_Debug_Hli then
-- Can't generate code in HLI.
Status := True;
return;
end if;
Ortho_Mcode.Finish;
Ortho_Code.Abi.Link_Intrinsics;
Binary_File.Memory.Write_Memory_Relocate (Status);
if Status then
return;
end if;
if Snap_Filename /= null then
declare
use Ada.Text_IO;
Fd : File_Descriptor;
begin
Fd := Create_File (Snap_Filename.all, Binary);
if Fd = Invalid_FD then
Put_Line (Standard_Error,
"can't open '" & Snap_Filename.all & "'");
Status := False;
return;
else
Binary_File.Elf.Write (Fd);
Close (Fd);
end if;
end;
end if;
end Link;
procedure Finish is
begin
-- Free all the memory.
Ortho_Mcode.Free_All;
Binary_File.Finish;
end Finish;
function Decode_Option (Option : String) return Boolean
is
Opt : constant String (1 .. Option'Length) := Option;
begin
if Opt = "-g" then
Flag_Debug := Debug_Dwarf;
return True;
elsif Opt'Length > 5 and then Opt (1 .. 5) = "--be-" then
Ortho_Code.Debug.Set_Be_Flag (Opt);
return True;
elsif Opt'Length > 7 and then Opt (1 .. 7) = "--snap=" then
Snap_Filename := new String'(Opt (8 .. Opt'Last));
return True;
else
return False;
end if;
end Decode_Option;
procedure Disp_Help is
use Ada.Text_IO;
begin
Put_Line (" -g Generate debugging informations");
Put_Line (" --debug-be=X Set X internal debugging flags");
Put_Line (" --snap=FILE Write memory snapshot to FILE");
end Disp_Help;
function Get_Jit_Name return String is
begin
return "mcode";
end Get_Jit_Name;
end Ortho_Jit;
|
