blob: 36c9f9464e52b11f18063b10bdacfa290b9cc682 (
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
|
with System.Storage_Elements;
package Lto4 is
package SSE renames System.Storage_Elements;
type SS_Ptr is new SSE.Integer_Address;
type Memory is array (SS_Ptr range <>) of SSE.Storage_Element;
for Memory'Alignment use Standard'Maximum_Alignment;
type Chunk_Id (First, Last : SS_Ptr) is record
Mem : Memory (First .. Last);
end record;
type Chunk_Ptr is access all Chunk_Id;
type Stack_Id is record
Current_Chunk : Chunk_Ptr;
end record;
type Stack_Ptr is access Stack_Id;
procedure SS_Allocate (Stack : Stack_Ptr);
end Lto4;
|
