aboutsummaryrefslogtreecommitdiffstats
path: root/ortho/mcode/ortho_jit.adb
blob: c924542598ec13012db892e492f70bd884495397 (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
--  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_Elf (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;

end Ortho_Jit;