Initial import of l5c

[snipe.git] / optimize / feckful.sml

diff --git a/optimize/feckful.sml b/optimize/feckful.sml
new file mode 100644 (file)
index 0000000..ec6bdc5
--- /dev/null
+++ b/optimize/feckful.sml
@@ -0,0 +1,13 @@
+structure FeckfulnessAnalysis :> OPTIMIZATION =
+struct
+  structure T = Tree
+  structure TU = TreeUtils
+  
+  fun feckstm (a as T.EFFECT e) =
+        if (TU.effect e)
+        then [a]
+        else []
+    | feckstm a = [a]
+  
+  val optimizer = { shortname = "feckfulness", description = "Removes simple side effect statements that have no effect", func = Optimizer.IRSTM feckstm }
+end