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

SCM Repository

[diderot] Diff of /branches/vis15/src/compiler/mid-to-low/mk-low-ir.sml
ViewVC logotype

Diff of /branches/vis15/src/compiler/mid-to-low/mk-low-ir.sml

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

revision 3741, Sun Apr 10 23:33:56 2016 UTC revision 3742, Mon Apr 11 04:53:02 2016 UTC
# Line 12  Line 12 
12    
13    (* an environment that maps De Bruijn indices to their iteration-index value *)    (* an environment that maps De Bruijn indices to their iteration-index value *)
14      type index_env = int IntRedBlackMap.map      type index_env = int IntRedBlackMap.map
   
   
15      val lookupMu: int IntRedBlackMap.map * Ein.mu -> int      val lookupMu: int IntRedBlackMap.map * Ein.mu -> int
16      val lookupIdx : int IntRedBlackMap.map * int -> int      val lookupIdx : int IntRedBlackMap.map * int -> int
17      val assignOP : AvailRHS.t * LowOps.rator * LowIR.var list * string * LowTypes.ty -> LowIR.var      val assignOP : AvailRHS.t * LowOps.rator * LowIR.var list * string * LowTypes.ty -> LowIR.var
     val vecDot : AvailRHS.t *  int * LowIR.var * LowIR.var -> LowIR.var  
   
   
18    (* make "x := <int-literal>" *)    (* make "x := <int-literal>" *)
19      val intLit : AvailRHS.t * IntLit.t -> LowIR.var      val intLit : AvailRHS.t * IntLit.t -> LowIR.var
20    (* make "x := <real-literal>" *)    (* make "x := <real-literal>" *)
# Line 46  Line 41 
41      val vecNeg   : AvailRHS.t * int * LowIR.var -> LowIR.var      val vecNeg   : AvailRHS.t * int * LowIR.var -> LowIR.var
42      val vecSum   : AvailRHS.t * int * LowIR.var -> LowIR.var      val vecSum   : AvailRHS.t * int * LowIR.var -> LowIR.var
43      val vecProj  : AvailRHS.t * int * LowIR.var * int -> LowIR.var      val vecProj  : AvailRHS.t * int * LowIR.var * int -> LowIR.var
44        val vecDot : AvailRHS.t *  int * LowIR.var * LowIR.var -> LowIR.var
45    
46    (* tensor operations *)    (* tensor operations *)
47      val tensorIndex : AvailRHS.t * index_env * LowIR.var * Ein.alpha -> LowIR.var      val tensorIndex : AvailRHS.t * index_env * LowIR.var * Ein.alpha -> LowIR.var

Legend:
Removed from v.3741  
changed lines
  Added in v.3742

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