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
|
(**************************************************************************)
(* *)
(* OCaml *)
(* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *)
(* Copyright 1996 Institut National de Recherche en Informatique et *)
(* en Automatique. *)
(* *)
(* All rights reserved. This file is distributed under the terms of *)
(* the GNU Lesser General Public License version 2.1, with the *)
(* special exception on linking described in the file LICENSE. *)
(* *)
(**************************************************************************)
(* Per function environment for emit - common code for all targets. *)
type label = Linear.label
(* Record calls to caml_call_gc, emitted out of line. *)
type gc_call =
{ gc_lbl: label; (* Entry label *)
gc_return_lbl: label; (* Where to branch after GC *)
gc_frame_lbl: label; (* Label of frame descriptor *)
}
(* Record calls to caml_ml_array_bound_error.
In -g mode, we maintain one call to caml_ml_array_bound_error
per bound check site. Without -g, we can share a single call. *)
type bound_error_call =
{ bd_lbl: label; (* Entry label *)
bd_frame: label; (* Label of frame descriptor *)
}
(* Pending floating-point literals *)
type float_literal =
{
fl : int64;
lbl : label;
}
(* Pending large integer literals *)
type int_literal =
{
n : nativeint;
n_lbl : label;
}
(* Pending offset computations : {lbl; dst; src;} --> lbl: .word dst-(src+N) *)
type offset_computation =
{ lbl : label;
dst : label;
src : label;
}
(* Pending relative references to the global offset table *)
type gotrel_literal =
{ lbl_got : label;
lbl_pic : label;
}
(* Pending symbol literals *)
type symbol_literal =
{
sym : string;
lbl : label;
}
(* Environment for emitting a function *)
type per_function_env = {
f : Linear.fundecl;
mutable stack_offset : int;
mutable call_gc_sites : gc_call list; (* used in all targets except power *)
mutable call_gc_label : label; (* used only in power *)
mutable bound_error_sites : bound_error_call list;
mutable bound_error_call : label option; (* used in amd64,power,s390x *)
(* record jump tables (for PPC64). In order to reduce the size of the TOC,
we concatenate all jumptables and emit them at the end of the function. *)
mutable jumptables_lbl : label option; (* used only in power *)
mutable jumptables : label list; (* in reverse order *)
(* pending literals *)
mutable float_literals : float_literal list; (* in all except amd64 *)
mutable int_literals : int_literal list; (* used only in s390x *)
}
|
