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

SCM Repository

[diderot] Diff of /branches/charisee_dev/src/compiler/high-to-mid/ProbeEin.sml
ViewVC logotype

Diff of /branches/charisee_dev/src/compiler/high-to-mid/ProbeEin.sml

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

revision 2843, Mon Dec 8 01:27:25 2014 UTC revision 2844, Tue Dec 9 18:05:29 2014 UTC
# Line 21  Line 21 
21      structure DstV = DstIL.Var      structure DstV = DstIL.Var
22      structure SrcV = SrcIL.Var      structure SrcV = SrcIL.Var
23      structure P=Printer      structure P=Printer
     structure F=Filter  
24      structure T=TransformEin      structure T=TransformEin
25      structure split=Split      structure split=Split
26      structure cleanI=cleanIndex      structure cleanI=cleanIndex
# Line 36  Line 35 
35  (* This file expands probed fields  (* This file expands probed fields
36  *Note that the original field is an EIN operator in the form <V_alpha * H^(deltas)>(midIL.var list )  *Note that the original field is an EIN operator in the form <V_alpha * H^(deltas)>(midIL.var list )
37  * Param_ids are used to note the placement of the argument in the midIL.var list  * Param_ids are used to note the placement of the argument in the midIL.var list
38  * Index_ids bind the shape of an Image or differentiation.  * Index_ids  keep track of the shape of an Image or differentiation.
39    * Mu  bind Index_id
40  * Generally, we will refer to the following  * Generally, we will refer to the following
41  *dim:dimension of field V  *dim:dimension of field V
42  * s: support of kernel H  * s: support of kernel H
# Line 59  Line 59 
59  end  end
60    
61    
 fun iterSx e=F.iterSx e  
62  fun transformToIndexSpace e=T.transformToIndexSpace e  fun transformToIndexSpace e=T.transformToIndexSpace e
63  fun transformToImgSpace  e=T.transformToImgSpace  e  fun transformToImgSpace  e=T.transformToImgSpace  e
64  fun assign (x, rator, args) = (x, DstIL.OP(rator, args))  fun assign (x, rator, args) = (x, DstIL.OP(rator, args))
# Line 103  Line 102 
102      end      end
103    
104    
105  (*createBody:int*int*int, index_id list, param_id, param_id, param_id, param_id  (*createBody:int*int*int,mu list, param_id, param_id, param_id, param_id
106  * expands the body for the probed field  * expands the body for the probed field
107  *)  *)
108  fun createBody(dim, s,sx,alpha,deltas,Vid, hid, nid, fid)=let  fun createBody(dim, s,sx,alpha,deltas,Vid, hid, nid, fid)=let
# Line 141  Line 140 
140      E.Sum(esum, exp)      E.Sum(esum, exp)
141  end  end
142    
143  (*getsumshift:sum_index_id list* index_id list-> int  (*getsumshift:sum_indexid list* int list-> int
144  *get fresh/unused index_id, returns int  *get fresh/unused index_id, returns int
145  *)  *)
146  fun getsumshift(sx,index) =let  fun getsumshift(sx,index) =let

Legend:
Removed from v.2843  
changed lines
  Added in v.2844

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