1 ------------------------------------------------------------------------------
3 -- GNAT COMPILER COMPONENTS --
5 -- SYSTEM.MACHINE_STATE_OPERATIONS --
8 -- (Version for Alpha/Dec Unix) --
10 -- Copyright (C) 1999-2003 Ada Core Technologies, Inc. --
12 -- GNAT is free software; you can redistribute it and/or modify it under --
13 -- terms of the GNU General Public License as published by the Free Soft- --
14 -- ware Foundation; either version 2, or (at your option) any later ver- --
15 -- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
16 -- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY --
17 -- or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License --
18 -- for more details. You should have received a copy of the GNU General --
19 -- Public License distributed with GNAT; see file COPYING. If not, write --
20 -- to the Free Software Foundation, 59 Temple Place - Suite 330, Boston, --
21 -- MA 02111-1307, USA. --
23 -- As a special exception, if other files instantiate generics from this --
24 -- unit, or you link this unit with other files to produce an executable, --
25 -- this unit does not by itself cause the resulting executable to be --
26 -- covered by the GNU General Public License. This exception does not --
27 -- however invalidate any other reasons why the executable file might be --
28 -- covered by the GNU Public License. --
30 -- GNAT was originally developed by the GNAT team at New York University. --
31 -- Extensive contributions were provided by Ada Core Technologies Inc. --
33 ------------------------------------------------------------------------------
35 -- This version of System.Machine_State_Operations is for use on
36 -- Alpha systems running DEC Unix.
40 package body System
.Machine_State_Operations
is
42 use System
.Exceptions
;
44 pragma Linker_Options
("-lexc");
45 -- Needed for definitions of exc_capture_context and exc_virtual_unwind
47 ----------------------------
48 -- Allocate_Machine_State --
49 ----------------------------
51 function Allocate_Machine_State
return Machine_State
is
52 use System
.Storage_Elements
;
54 function c_machine_state_length
return Storage_Offset
;
55 pragma Import
(C
, c_machine_state_length
, "__gnat_machine_state_length");
59 (Memory
.Alloc
(Memory
.size_t
(c_machine_state_length
)));
60 end Allocate_Machine_State
;
66 procedure Enter_Handler
(M
: Machine_State
; Handler
: Handler_Loc
) is
67 procedure c_enter_handler
(M
: Machine_State
; Handler
: Handler_Loc
);
68 pragma Import
(C
, c_enter_handler
, "__gnat_enter_handler");
71 c_enter_handler
(M
, Handler
);
78 function Fetch_Code
(Loc
: Code_Loc
) return Code_Loc
is
83 ------------------------
84 -- Free_Machine_State --
85 ------------------------
87 procedure Free_Machine_State
(M
: in out Machine_State
) is
89 Memory
.Free
(Address
(M
));
90 M
:= Machine_State
(Null_Address
);
91 end Free_Machine_State
;
97 function Get_Code_Loc
(M
: Machine_State
) return Code_Loc
is
98 Asm_Call_Size
: constant := 4;
100 function c_get_code_loc
(M
: Machine_State
) return Code_Loc
;
101 pragma Import
(C
, c_get_code_loc
, "__gnat_get_code_loc");
103 -- Code_Loc returned by c_get_code_loc is the return point but here we
104 -- want Get_Code_Loc to return the call point. Under DEC Unix a call
105 -- asm instruction takes 4 bytes. So we must remove this value from
106 -- c_get_code_loc to have the call point.
108 Loc
: constant Code_Loc
:= c_get_code_loc
(M
);
114 return Loc
- Asm_Call_Size
;
118 --------------------------
119 -- Machine_State_Length --
120 --------------------------
122 function Machine_State_Length
123 return System
.Storage_Elements
.Storage_Offset
125 use System
.Storage_Elements
;
127 function c_machine_state_length
return Storage_Offset
;
128 pragma Import
(C
, c_machine_state_length
, "__gnat_machine_state_length");
131 return c_machine_state_length
;
132 end Machine_State_Length
;
140 Info
: Subprogram_Info_Type
)
142 pragma Warnings
(Off
, Info
);
144 procedure exc_virtual_unwind
145 (Fcn
: System
.Address
;
147 pragma Import
(C
, exc_virtual_unwind
, "exc_virtual_unwind");
150 exc_virtual_unwind
(System
.Null_Address
, M
);
153 -----------------------
154 -- Set_Machine_State --
155 -----------------------
157 procedure Set_Machine_State
(M
: Machine_State
) is
158 procedure c_capture_context
(M
: Machine_State
);
159 pragma Import
(C
, c_capture_context
, "exc_capture_context");
162 c_capture_context
(M
);
163 Pop_Frame
(M
, System
.Null_Address
);
164 end Set_Machine_State
;
166 ------------------------------
167 -- Set_Signal_Machine_State --
168 ------------------------------
170 procedure Set_Signal_Machine_State
172 Context
: System
.Address
)
174 pragma Warnings
(Off
, M
);
175 pragma Warnings
(Off
, Context
);
179 end Set_Signal_Machine_State
;
181 end System
.Machine_State_Operations
;