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 2870, Wed Feb 25 21:47:43 2015 UTC revision 2922, Tue Mar 3 03:55:09 2015 UTC
# Line 34  Line 34 
34      *img-imginfo about V      *img-imginfo about V
35      *)      *)
36    
37      val testing=0      val testing=1
38      val cnt = ref 0      val cnt = ref 0
39    
40      fun transformToIndexSpace e=T.transformToIndexSpace e      fun transformToIndexSpace e=T.transformToIndexSpace e
# Line 175  Line 175 
175      *Looks to see if the expression has a probe. If so, replaces it.      *Looks to see if the expression has a probe. If so, replaces it.
176      * Note how we keeps eps expressions so only generate pieces that are used      * Note how we keeps eps expressions so only generate pieces that are used
177      *)      *)
178      fun expandEinOp( e as (y, DstIL.EINAPP(ein as Ein.EIN{params, index, body}, args))) = let      fun expandEinOp( e as (y, DstIL.EINAPP(einorig, args))) = let
179            val ein=SummationEin.cleanSummation(einorig)
180            val Ein.EIN{params, index, body}=ein
181          fun rewriteBody b=(case b          fun rewriteBody b=(case b
182              of E.Probe(E.Field _,_)=> raise Fail"Poorly formed EIN operator. Argument needs to be applied in High-IL"              of E.Probe(E.Field _,_)=> raise Fail"Poorly formed EIN operator. Argument needs to be applied in High-IL"
183              | E.Probe e =>let              | E.Probe e =>let
# Line 206  Line 208 
208                  in                  in
209                      code                      code
210                  end                  end
211              | _=> [e]              | _=> [(y, DstIL.EINAPP(ein,args))]
212              (* end case *))              (* end case *))
213          in          in
214              rewriteBody body              rewriteBody body

Legend:
Removed from v.2870  
changed lines
  Added in v.2922

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