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
|
(*
* This module counts the number of copies (in bytes)
* generated after register allocation. Mainly useful for fine-tuning.
*)
functor CFGCountCopies
( structure CFG : CONTROL_FLOW_GRAPH
structure InsnProps : INSN_PROPERTIES (* where I = CFG.I *)
where type I.addressing_mode = CFG.I.addressing_mode
and type I.ea = CFG.I.ea
and type I.instr = CFG.I.instr
and type I.instruction = CFG.I.instruction
and type I.operand = CFG.I.operand
structure SdiJumps : SDI_JUMPS (* where I = CFG.I *)
where type I.addressing_mode = CFG.I.addressing_mode
and type I.ea = CFG.I.ea
and type I.instr = CFG.I.instr
and type I.instruction = CFG.I.instruction
and type I.operand = CFG.I.operand
) : CFG_OPTIMIZATION =
struct
structure CFG = CFG
structure G = Graph
val name = "count copies"
val copies = MLRiscControl.mkCounter ("copies", "copy count")
fun run (cfg as G.GRAPH graph) = let
val blocks = map #2 (#nodes graph ())
fun loc _ = 0
fun count(CFG.BLOCK{insns, ...}, n) = let
fun scan([], n) = n
| scan(i::is, n) =
if InsnProps.moveInstr i then
scan(is, n + SdiJumps.sdiSize(i, loc, 0))
else scan(is, n)
in scan(!insns, n)
end
in
copies := !copies + foldr count 0 blocks;
cfg
end
end
|
