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

SCM Repository

[diderot] Diff of /branches/vis15/src/compiler/tree-ir/tree-ir.sml
ViewVC logotype

Diff of /branches/vis15/src/compiler/tree-ir/tree-ir.sml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 3835, Sun May 8 13:10:17 2016 UTC revision 3848, Thu May 12 14:30:19 2016 UTC
# Line 43  Line 43 
43        }        }
44    
45      and block = Block of {      and block = Block of {
46          locals : var list,          locals : var list ref,          (* the local variables that are used in this block *)
47          body : stm list          body : stm list
48        }        }
49    
# Line 51  Line 51 
51        = S_Comment of string list        = S_Comment of string list
52        | S_Unpack of var list * exp      (* unpack vector pieces into local variables *)        | S_Unpack of var list * exp      (* unpack vector pieces into local variables *)
53        | S_Assign of var * exp        | S_Assign of var * exp
54          | S_MAssign of var list * exp
55        | S_GAssign of global_var * exp        | S_GAssign of global_var * exp
56        | S_IfThen of exp * block        | S_IfThen of exp * block
57        | S_IfThenElse of exp * block * block        | S_IfThenElse of exp * block * block
# Line 70  Line 71 
71    
72      and exp      and exp
73        = E_Global of global_var        = E_Global of global_var
74        | E_State of state_var        | E_State of var option * state_var
75        | E_Var of var        | E_Var of var
76        | E_Lit of Literal.t        | E_Lit of Literal.t
77        | E_Op of Op.rator * exp list        | E_Op of Op.rator * exp list
78        | E_Cons of exp list * Ty.t        | E_Cons of exp list * Ty.t
79        | E_Seq of exp list * Ty.t        | E_Seq of exp list * Ty.t
80        | E_Pack of exp list              (* pack vector pieces into composite vector value *)        | E_Pack of exp list              (* pack vector pieces into composite vector value *)
81        | E_Select of exp * int           (* select vector piece of composite vector value *)        | E_VLoad of Ty.vec_layout * exp * int (* load a piece of a composite vector value *)
82    
83      and global_var = GV of {      and global_var = GV of {
84          name : string,                  (* name (should be unique) *)          name : string,                  (* name (should be unique) *)

Legend:
Removed from v.3835  
changed lines
  Added in v.3848

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