Annotation of /trunk/src/compiler/IL/ssa-fn.sml

Parent Directory | Revision Log

---

Revision 124 - (view) (download)
Original Path: trunk/src/compiler/IL/ssa.sml

1 :	jhr	124	(* ssa.sml
2 :			*
3 :			* COPYRIGHT (c) 2010 The Diderot Project (http://diderot.cs.uchicago.edu)
4 :			* All rights reserved.
5 :			*)
6 :
7 :			structure SSA =
8 :			struct
9 :
10 :			datatype var = V of {
11 :			name : string
12 :			}
13 :
14 :			datatype block = BLK of {
15 :			id : label,
16 :			preds : block list ref,
17 :			phi : (var * var list) list ref,
18 :			stms : stm list ref,
19 :			xfer : transfer ref
20 :			}
21 :
22 :			and stm
23 :			= ASSIGN of var * exp
24 :
25 :			and xfer
26 :			= GOTO of label (* unconditional transfer *)
27 :			| COND of var * label * label (* conditional transfer *)
28 :			| DIE (* actor termination *)
29 :			| STABILIZE (* actor stabilization node *)
30 :			| EXIT (* exit node *)
31 :
32 :			and exp
33 :			= VAR of exp
34 :
35 :			end

---

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