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
|
(* mlriscAnnotations.sig
*
* COPYRIGHT (c) 2002 Bell Labs, Lucent Technologies
*
* These are some basic annotations understood by the MLRISC system.
* The MLRISC client can create its own annotations and propagate them
* to MLRISC. Client-defined annotations are ignored by MLRISC.
*
* -- Allen
*
* TODO: There should be comments to say that the annotations are block
* or instruction annotations. -- Lal.
*)
signature MLRISC_ANNOTATIONS =
sig
structure C : CELLS_BASIS (* = CellsBasis *)
where type CellSet.cellset = CellsBasis.CellSet.cellset
and type 'a ColorTable.hash_table = 'a CellsBasis.ColorTable.hash_table
and type 'a HashTable.hash_table = 'a CellsBasis.HashTable.hash_table
and type SortedCells.sorted_cells = CellsBasis.SortedCells.sorted_cells
and type cell = CellsBasis.cell
and type cellColor = CellsBasis.cellColor
and type cellkind = CellsBasis.cellkind
and type cellkindDesc = CellsBasis.cellkindDesc
and type cellkindInfo = CellsBasis.cellkindInfo
(*
* The branch probability of conditional branches.
* The client can attach this with conditional branches.
* nnThis has no effect otherwise.
*
* Currently, the annotation is recognized by the static branch prediction
* mondule.
*)
exception BRANCHPROB of Probability.prob
val BRANCH_PROB : Probability.prob Annotations.property
(* The execution frequency of a basic block
* You can attach this at a basic block.
*)
exception EXECUTIONFREQ of int
val EXECUTION_FREQ : int Annotations.property
(* No effect at all; this just allows you to insert comments *)
val COMMENT : string Annotations.property
(* Instructions in the block should not be reordered *)
val NOREORDER : unit Annotations.property
(*
* Control dependence definition and use.
*
* To use these, the client should generate
* control dependence virtual registers via Cells.newCell Cells.CTRL
* and attach these annotations to instructions and basic blocks.
*
* These annotations are currently recognized by the SSA optimization
* modules.
*)
exception CTRLDEF of C.cell
exception CTRLUSE of C.cell
val CTRL_DEF : C.cell Annotations.property
val CTRL_USE : C.cell Annotations.property
(*
* Attach this annotation to assemblers for pretty printing
* client defined cell informations.
*)
val PRINT_CELLINFO : (C.cell -> string) Annotations.property
(*
* Does a compilation unit has GC information?
*)
val GC_INFO : unit Annotations.property
(*
* Disable all optimizations in the cluster
*)
val NO_OPTIMIZATION : unit Annotations.property
(*
* Mark basic block that is used for calling the GC
*)
val CALLGC : unit Annotations.property
val GCSAFEPOINT : string Annotations.property
(*
* Insert block names
*)
exception BLOCKNAMES of Annotations.annotations
val BLOCK_NAMES : Annotations.annotations Annotations.property
(*
* This annotation inserts an empty basic block
*)
exception EMPTYBLOCK
val EMPTY_BLOCK : unit Annotations.property
(*
* Enter information for a register.
*)
exception MARKREG of C.cell -> unit
val MARK_REG : (C.cell -> unit) Annotations.property
(*
* Disable branch chaining optimization on a jump
*)
val NO_BRANCH_CHAINING : unit Annotations.property
(*
* Code has reference to a virtual (dedicated) frame pointer.
*)
val USES_VIRTUAL_FRAME_POINTER : unit Annotations.property
(*
* Define return arguments of a call (hack for x86)
*)
val RETURN_ARG : C.cell Annotations.property
end
|
