Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 198 - (download) (annotate)
Mon Aug 2 21:26:57 2010 UTC (9 years 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