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
|
(* printFlowgraph.sml -- print flowgraph of target machine instructions.
*
* Copyright (c) 1997 Bell Laboratories.
*)
signature PRINT_FLOWGRAPH =
sig
structure Asm : INSTRUCTION_EMITTER
structure CFG : CONTROL_FLOW_GRAPH
where I = Asm.I
and P = Asm.S.P
val printCFG : TextIO.outstream -> string -> CFG.cfg -> unit
end
functor PrintFlowgraph
(structure Asm : INSTRUCTION_EMITTER
structure CFG : CONTROL_FLOW_GRAPH
where I = Asm.I
and P = Asm.S.P
) : PRINT_FLOWGRAPH =
struct
structure Asm = Asm
structure CFG = CFG
structure C = CFG.I.C
structure Fmt = Format
val i2s = Int.toString
fun printList stream list = let
fun pr str = TextIO.output(stream, str)
fun iter [] = ()
| iter [i] = pr i
| iter (h::t) = (pr (h ^ ", "); iter t)
in iter list
end
fun printCFG stream title (Cfg as Graph.GRAPH cfg) =
let fun pr str = TextIO.output(stream, str)
val prList = printList stream
val annotations = !(CFG.annotations Cfg)
val Asm.S.STREAM{emit,pseudoOp,defineLabel,annotation,...} =
AsmStream.withStream stream Asm.makeStream annotations
fun showFreq(ref w) = Fmt.format "[%f]" [Fmt.REAL w]
fun showEdge(blknum,e) =
Fmt.format "%d:%s" [Fmt.INT blknum, Fmt.STR(CFG.show_edge e)]
fun showSucc(_, x, e) = showEdge(x,e)
fun showPred(x, _, e) = showEdge(x,e)
fun showSuccs b =
(pr "\tsucc: ";
prList (map showSucc (#out_edges cfg b));
pr "\n")
fun showPreds b =
(pr "\tpred: ";
prList (map showPred (#in_edges cfg b));
pr "\n")
fun printBlock(_, CFG.BLOCK{kind=CFG.START, id, freq, ...}) =
(pr (Fmt.format "ENTRY %d %s\n" [Fmt.INT id, Fmt.STR(showFreq freq)]);
showSuccs id)
| printBlock(_, CFG.BLOCK{kind=CFG.STOP, id, freq, ...}) =
(pr (Fmt.format "EXIT %d %s\n" [Fmt.INT id, Fmt.STR(showFreq freq)]);
showPreds id)
| printBlock(_, CFG.BLOCK{id, align, freq, insns, annotations,
labels, ...}) =
(pr (Fmt.format "BLOCK %d %s\n" [Fmt.INT id, Fmt.STR(showFreq freq)]);
case !align of NONE => () | SOME p => (pr (CFG.P.toString p ^ "\n"));
app annotation (!annotations);
app defineLabel (!labels);
(*
pr ("\tlive in: " ^ CellsBasis.CellSet.toString (!liveIn) ^ "\n");
pr ("\tlive out: " ^ CellsBasis.CellSet.toString (!liveOut) ^ "\n");
*)
showSuccs id;
showPreds id;
app emit (rev (!insns)))
fun printData() = let
val CFG.INFO{data, ...} = #graph_info cfg
in List.app (pr o CFG.P.toString) (rev(!data))
end
in
pr(Fmt.format "[ %s ]\n" [Fmt.STR title]);
app annotation annotations;
(* printBlock entry; *)
AsmStream.withStream stream (#forall_nodes cfg) printBlock;
(* printBlock exit; *)
AsmStream.withStream stream printData ();
TextIO.flushOut stream
end
end
|
