1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
functor GCMap(GC : GC_TYPE) : GC_MAP =
struct
structure C = CellsBasis
structure GC = GC
exception GCMap
type gcmap = GC.gctype C.HashTable.hash_table
val GCMAP = Annotations.new(SOME(fn _ => "gcmap"))
: gcmap Annotations.property
fun toString gcmap =
let val lookup = C.HashTable.lookup gcmap
fun f r = "{" ^ GC.toString(lookup r)^ "}" handle _ => "{?}"
in f end
fun pr(r,gc) = "r" ^ Int.toString(C.cellId r) ^ ":" ^ GC.toString gc
fun prSet S = "{"^foldr (fn (x,"") => pr x | (x,y) => pr x^","^y) "" S^"}"
val GCLIVEIN = Annotations.new(SOME(fn S => "livein: "^prSet S))
val GCLIVEOUT = Annotations.new(SOME(fn S => "liveout: "^prSet S))
end
|
