X-Git-Url: http://git.joshuawise.com/snipe.git/blobdiff_plain/459e54ac227128d4980ee40293b4b9fdd7b8ef26..f716a180ca5458e19643c902d4fb97785b9fd88e:/optimize/optimizer.sml 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,