(* test.sml
 *
 * COPYRIGHT (c) 2010 The Diderot Project (http://diderot.cs.uchicago.edu)
 * All rights reserved.
 *
 * Test driver to the generation of probe code
 *)

structure Test =
  struct

    structure II = ImageInfo
    structure FD = FieldDef
    structure K = Kernel
    structure DstIL = MidIL

    structure PP = SSAPPFn(DstIL)

    fun expand fld = let
	  val code = Probe.expand (DstIL.Var.new "result", fld, DstIL.Var.new "pos")
	  in
	    print(concat["expand (", FD.toString fld, "):\n"]);
	    List.app (fn s => print("\t" ^ PP.assignToString s ^ "\n")) code
	  end

  (* fake 2D image info *)
    val img2d = II.ImgInfo{
	    id = OS.FileSys.fileId "/dev/null",
	    dim = 2,
	    ty = ([], RawTypes.RT_Float),
	    origin = [],
	    sizes = []
	  }

  (* fake 3D image info *)
    val img3d = II.ImgInfo{
	    id = OS.FileSys.fileId "/dev/null",
	    dim = 3,
	    ty = ([], RawTypes.RT_Float),
	    origin = [],
	    sizes = []
	  }

    val fld2d = FD.convolve(img2d, K.bspln3)
    val fld3d = FD.convolve(img3d, K.bspln3)

  end