SCM Repository

[diderot] View of /trunk/src/compiler/IL/ssa-check-fn.sml

[diderot] / trunk / src / compiler / IL / ssa-check-fn.sml

View of /trunk/src/compiler/IL/ssa-check-fn.sml

Revision 198 - (download) (annotate)
Mon Aug 2 21:26:57 2010 UTC (10 years, 8 months ago) by jhr
File size: 385 byte(s)

  Starting to add utility code for SSA representations

(* ssa-check-fn.sml
 *
 * COPYRIGHT (c) 2010 The Diderot Project (http://diderot.cs.uchicago.edu)
 * All rights reserved.
 *
 * Consistency checking for SSA representation
 *)

functor SSACheckFn (IL : SSA) : sig

  end = struct

(* things to check:
 *   1) SSA property
 *   2) variable usage counts
 *   3) successor/predecessor matching in CFG
 *   4) arity of operators
 *)

  end

root@smlnj-gforge.cs.uchicago.edu	ViewVC Help
Powered by ViewVC 1.0.0