X-Git-Url: http://git.joshuawise.com/snipe.git/blobdiff_plain/5c79bb689ab446551bc7ec4497e6c9b75582837e..f716a180ca5458e19643c902d4fb97785b9fd88e:/optimize/optimizer.sml?ds=inline diff --git a/optimize/optimizer.sml b/optimize/optimizer.sml index fba6485..290bd05 100644 --- a/optimize/optimizer.sml +++ b/optimize/optimizer.sml @@ -5,8 +5,8 @@ sig IRFUNC of (Tree.func -> Tree.func) | IRSTM of (Tree.stm -> Tree.stm list) | IREXP of (Tree.exp -> Tree.exp) | - PRELIVENESS of (x86.insn list -> x86.insn list) | - FINAL of (x86.insn list -> x86.insn list) + PRELIVENESS of (Blarg.insn list -> Blarg.insn list) | + FINAL of (Blarg.insn list -> Blarg.insn list) type optimization = { shortname : string, @@ -15,8 +15,8 @@ sig } val optimize_ir : optimization list -> Tree.program -> Tree.program - val optimize_preliveness : optimization list -> x86.insn list -> x86.insn list - val optimize_final : optimization list -> x86.insn list -> x86.insn list + val optimize_preliveness : optimization list -> Blarg.insn list -> Blarg.insn list + val optimize_final : optimization list -> Blarg.insn list -> Blarg.insn list end structure Optimizer :> OPTIMIZER = @@ -28,8 +28,8 @@ struct IRFUNC of (Tree.func -> Tree.func) | IRSTM of (Tree.stm -> Tree.stm list) | IREXP of (Tree.exp -> Tree.exp) | - PRELIVENESS of (x86.insn list -> x86.insn list) | - FINAL of (x86.insn list -> x86.insn list) + PRELIVENESS of (Blarg.insn list -> Blarg.insn list) | + FINAL of (Blarg.insn list -> Blarg.insn list) type optimization = { shortname : string,