]> Joshua Wise's Git repositories - snipe.git/blame_incremental - optimize/labelcoalescing.sml
Remember to emit _l5_ functions.
[snipe.git] / optimize / labelcoalescing.sml
... / ...
CommitLineData
1structure LabelCoalescing :> OPTIMIZATION =
2struct
3 structure X = x86
4
5 structure LabelMap = SplayMapFn(struct
6 type ord_key = Label.label
7 val compare = Label.compare
8 end)
9
10 fun coalesce insns =
11 let
12 fun lmap (SOME(a)) ((X.LABEL l)::is) = let val (m, il) = lmap (SOME(a)) is in (LabelMap.insert(m, l, a), il) end
13 | lmap (NONE) ((X.LABEL l)::is) = let val (m, il) = lmap (SOME(l)) is in (LabelMap.insert(m, l, l), (X.LABEL l)::il) end
14 | lmap _ (i::is) = let val (m, il) = lmap NONE is in (m, i::il) end
15 | lmap _ nil = (LabelMap.empty, nil)
16
17 val (labelmap, insns') = lmap NONE insns
18
19 fun convert ((X.Jcc(c,l))::is) = (X.Jcc(c, valOf(LabelMap.find(labelmap,l))))::(convert is)
20 | convert ((X.JMP(l))::is) = (X.JMP(valOf(LabelMap.find(labelmap,l))))::(convert is)
21 | convert (i::is) = i::(convert is)
22 | convert nil = nil
23 in
24 convert insns'
25 end
26
27 val optimizer = { shortname = "labelcoalescing", description = "Coalesces adjacent labels", func = Optimizer.PRELIVENESS coalesce }
28end
This page took 0.025288 seconds and 4 git commands to generate.