X-Git-Url: http://git.joshuawise.com/snipe.git/blobdiff_plain/12aa4087bee3e70f170d7457794921de4e385227..5c79bb689ab446551bc7ec4497e6c9b75582837e:/codegen/peephole.sml

diff --git a/codegen/peephole.sml b/codegen/peephole.sml
deleted file mode 100644
index cdbba9c..0000000
--- a/codegen/peephole.sml
+++ /dev/null
@@ -1,44 +0,0 @@
-(* peephole optimizer
- * Gathers tiberium, fires rockets
- * optimizes away redundant insns such as:
-     mov a, b
-     mov a, b
-
-     mov a, b
-     mov b, a
-
-     mov a, a
-     
-     neg a
-     neg a
- * Author: Chris Lu <czl@andrew>
- *)
-
-signature PEEPHOLE =
-sig
-  type tiberium = x86.insn list
-  type rockets = x86.insn list
-  val peephole : tiberium -> rockets
-end
-
-structure Peephole :> PEEPHOLE =
-struct
-  type tiberium = x86.insn list
-  type rockets = x86.insn list
-  structure X = x86
-
-  (* val peephole : tiberium -> rockets *)
-
-  fun peephole ((insn1 as X.MOVL(a1,b1))::(insn2 as X.MOVL(a2,b2))::l) =
-        if(x86.opereq(a1, b1) orelse (x86.opereq(a1, a2) andalso x86.opereq(b1, b2))) then
-          peephole (insn2::l)
-        else if(x86.opereq(a2, b2) orelse (x86.opereq(a1, b2) andalso x86.opereq(b1, a2))) then
-          peephole (insn1::l)
-        else
-          insn1::(peephole (insn2::l))
-    | peephole ((insn as X.MOVL(a,b))::l) = if x86.opereq(a, b) then peephole l else insn::(peephole l)
-    | peephole ((insn1 as X.NEG(a))::(insn2 as X.NEG(b))::l) = if x86.opereq(a, b) then peephole l else insn1::(peephole (insn2::l))
-    | peephole (a::l) = a::(peephole l)
-    | peephole nil = nil
-
-end