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

SCM Repository

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

View of /trunk/src/compiler/IL/ssa.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 124 - (download) (annotate)
Mon Jun 28 20:40:26 2010 UTC (9 years, 5 months ago) by jhr
File size: 679 byte(s)
  New file
(* ssa.sml
 *
 * COPYRIGHT (c) 2010 The Diderot Project (http://diderot.cs.uchicago.edu)
 * All rights reserved.
 *)

structure SSA =
  struct

    datatype var = V of {
	name : string
      }

    datatype block = BLK of {
	id : label,
	preds : block list ref,
	phi : (var * var list) list ref,
	stms : stm list ref,
	xfer : transfer ref
      }

    and stm
      = ASSIGN of var * exp

    and xfer
      = GOTO of label			(* unconditional transfer *)
      | COND of var * label * label	(* conditional transfer *)
      | DIE				(* actor termination *)
      | STABILIZE			(* actor stabilization node *)
      | EXIT				(* exit node *)

    and exp
      = VAR of exp

  end

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