[snipe.git] / optimize / feckful.sml

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
Commit	Line	Data
5c79bb68 JW	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