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
|
(* mlriscAnnotations.sml
*
* COPYRIGHT (c) 2002 Bell Labs, Lucent Technologies
*
* These are some basic annotations understood by the MLRISC system
*
* -- Allen
*)
structure MLRiscAnnotations : MLRISC_ANNOTATIONS = struct
structure A = Annotations
structure C = CellsBasis
(* the branch probability of conditional branches *)
(* in percentage *)
exception BRANCHPROB of Probability.prob
val BRANCH_PROB = A.new'{create=BRANCHPROB,
get=fn BRANCHPROB b => b | e => raise e,
toString=fn p => "branch("^Probability.toString p^")"}
(* the execution frequency of a basic block *)
exception EXECUTIONFREQ of int
val EXECUTION_FREQ = A.new'{create=EXECUTIONFREQ,
get=fn EXECUTIONFREQ x => x | e => raise e,
toString=fn r => "freq("^Int.toString r^")"}
(* no effect at all; just allows you to insert comments *)
val COMMENT = A.new(SOME(fn s => s))
(* Instructions in the block should not be reordered *)
val NOREORDER = A.new(NONE : (unit->string) option)
fun listify f =
let fun g [] = ""
| g [x] = f x
| g (x::xs) = f x^" "^g xs
in g end
(* control dependence use *)
exception CTRLDEF of C.cell
exception CTRLUSE of C.cell
val CTRL_USE = A.new'{create=CTRLUSE,
get=fn CTRLUSE x => x | e => raise e,
toString=C.toString}
val CTRL_DEF = A.new'{create=CTRLDEF,
get=fn CTRLDEF x => x | e => raise e,
toString=C.toString}
val NO_OPTIMIZATION = A.new(SOME(fn () => "NO_OPTIMIZATION"))
val CALLGC = A.new(SOME(fn () => "CALLGC"))
val GCSAFEPOINT = A.new(SOME(fn s => "GCSAFEPOINT: "^s))
val GC_INFO = A.new(SOME(fn () => "GC_INFO"))
exception BLOCKNAMES of A.annotations
val BLOCK_NAMES = A.new'{create=BLOCKNAMES,
get=fn BLOCKNAMES n => n | e => raise e,
toString=fn _ => "BLOCK_NAMES"}
exception EMPTYBLOCK
val EMPTY_BLOCK = A.new'{create=fn () => EMPTYBLOCK,
get=fn EMPTYBLOCK => () | e => raise e,
toString=fn () => "EMPTY_BLOCK"}
exception MARKREG of C.cell -> unit
val MARK_REG = A.new'{toString=fn _ => "MARK_REG",
create=MARKREG,
get=fn MARKREG f => f | e => raise e
}
val PRINT_CELLINFO = A.new(SOME(fn _ => "PRINT_CELLINFO"))
: (C.cell -> string) A.property
val NO_BRANCH_CHAINING = A.new(SOME(fn () => "NO_BRANCH_CHAINING"))
val USES_VIRTUAL_FRAME_POINTER = A.new(SOME(fn () => "HAS_VIRTUAL_FRAME_POINTER"))
val RETURN_ARG = A.new(SOME(C.toString))
end
|
