(* mid-to-low.sml
 *
 * COPYRIGHT (c) 2010 The Diderot Project (http://diderot.cs.uchicago.edu)
 * All rights reserved.
 *
 * Translation from MidIL to LowIL representations.
 *)

structure MidToLow : sig

    val translate : HighIL.program -> MidIL.program

  	end = struct

    structure SrcIL = MidIL
    structure SrcOp = MidOps
    structure DstIL = LowIL
    structure DstOp = LowOps
    structure VMap = SrcIL.Var.Map

    fun lookupVar (env, x) = (case VMap.find(env, x)
	   of SOME x' => x'
	    | NONE => raise Fail("unknown variable "^SrcIL.Var.toString x)
	  (* end case *))
	  
	
	fun lookup

  (* expand the EvalKernel operations into vector operations *)
    fun expandKernel (dimSize,kern,k,vec) = 
    
    
    
  (* compute the load address for a given set of voxels indices *) 
    fun computeVoxelAddress (info,vec) = 
   
   

    fun translate prog = raise Fail "FIXME"

  end