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 3848, Thu May 12 14:30:19 2016 UTC revision 3861, Sun May 15 14:33:03 2016 UTC
# Line 15  Line 15 
15      structure Op = TreeOps      structure Op = TreeOps
16      structure Ty = TreeTypes      structure Ty = TreeTypes
17    
18        type target_info = {
19            layout : int -> TreeTypes.vec_layout,
20            isInline : LowOps.rator -> bool
21          }
22    
23      datatype program = Program of {      datatype program = Program of {
24          props : Properties.t list,          props : Properties.t list,
25            target : target_info,           (* target-specific info about representation invariants *)
26          consts : global_var list,       (* large constant variables *)          consts : global_var list,       (* large constant variables *)
27          inputs : input list,            (* global input variables *)          inputs : input list,            (* global input variables *)
28          constInit : block,              (* code that initializes constants and inputs *)          constInit : block,              (* code that initializes constants and inputs *)
# Line 49  Line 55 
55    
56      and stm      and stm
57        = S_Comment of string list        = S_Comment of string list
58        | S_Unpack of var list * exp      (* unpack vector pieces into local variables *)        | S_Assign of bool * var * exp
       | S_Assign of var * exp  
59        | S_MAssign of var list * exp        | S_MAssign of var list * exp
60        | S_GAssign of global_var * exp        | S_GAssign of global_var * exp
61        | S_IfThen of exp * block        | S_IfThen of exp * block
# Line 71  Line 76 
76    
77      and exp      and exp
78        = E_Global of global_var        = E_Global of global_var
79        | E_State of var option * state_var        | E_State of exp option * state_var
80        | E_Var of var        | E_Var of var
81        | E_Lit of Literal.t        | E_Lit of Literal.t
82        | E_Op of Op.rator * exp list        | E_Op of Op.rator * exp list
83        | E_Cons of exp list * Ty.t        | E_Vec of exp list                       (* vector value *)
84          | E_Cons of exp list * Ty.t               (* in-memory tensor value *)
85        | E_Seq of exp list * Ty.t        | E_Seq of exp list * Ty.t
86        | E_Pack of exp list              (* pack vector pieces into composite vector value *)        | E_Pack of Ty.vec_layout * exp list      (* pack vector pieces into composite vector value *)
87        | E_VLoad of Ty.vec_layout * exp * int (* load a piece of a composite vector value *)        | E_VLoad of Ty.vec_layout * exp * int (* load a piece of a composite vector value *)
88    
89      and global_var = GV of {      and global_var = GV of {

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

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