(* codegen-fn.sml
 *
 * COPYRIGHT (c) 2010 The Diderot Project (http://diderot-language.cs.uchicago.edu)
 * All rights reserved.
 *)

functor CodeGenFn (T : TARGET) : sig

    val generate : LowIL.program -> T.program

  end = struct

    structure Src = LowIL
    structure SrcV = LowIL.Var

  (* a mapping from LowIL variables to target expressions.  Variables get
   * removed when the expressions are used as arguments.
   *)
    structure VDefTbl : sig
	type tbl

	val newTbl : unit -> tbl
	val getDefOf : tbl -> SrcV.var -> T.exp
	val useDefOf : tbl -> SrcV.var -> T.exp
	val setDefOf : tbl -> (SrcV.var * T.exp) -> unit

	val clear : tbl -> unit

	val bind : var_def_tbl -> (CFG.var * MTy.mlrisc_tree) -> MTy.T.stm list

      (* force all pending expressions into registers *)
	val flushLoads : var_def_tbl -> MTy.T.stm list
      end = struct

      end (*  VDefTbl *)

end

  end