optimize/feckful.sml

   1 structure FeckfulnessAnalysis :> OPTIMIZATION =
   2 struct
   3   structure T = Tree
   4   structure TU = TreeUtils
   5
   6   fun feckstm (a as T.EFFECT e) =
   7         if (TU.effect e)
   8         then [a]
   9         else []
  10     | feckstm a = [a]
  11
  12   val optimizer = { shortname = "feckfulness", description = "Removes simple side effect statements that have no effect", func = Optimizer.IRSTM feckstm }
  13 end