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

SCM Repository

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

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

Parent Directory Parent Directory | Revision Log 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