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 3977, Wed Jun 15 19:06:30 2016 UTC revision 3978, Wed Jun 15 19:07:40 2016 UTC
# Line 66  Line 66 
66    (* make "x := [args]" *)    (* make "x := [args]" *)
67      val cons : AvailRHS.t * int list * LowIR.var list -> LowIR.var      val cons : AvailRHS.t * int list * LowIR.var list -> LowIR.var
68    (* code for δ_{i,j} *)    (* code for δ_{i,j} *)
69      val delta : AvailRHS.t * index_env * Ein.mu * Ein.mu -> LowIR.var      val delta : AvailRHS.t * index_env * Ein.index_id * Ein.index_id -> LowIR.var
70    (* code for ε_{i,j} *)    (* code for ε_{i,j} *)
71      val epsilon2 : AvailRHS.t * index_env * Ein.index_id * Ein.index_id -> LowIR.var      val epsilon2 : AvailRHS.t * index_env * Ein.index_id * Ein.index_id -> LowIR.var
72    (* code for ε_{i,j,k} *)    (* code for ε_{i,j,k} *)
# Line 187  Line 187 
187              if (i' = j') then 1 else 0              if (i' = j') then 1 else 0
188            end            end
189    
190      fun delta (avail, mapp, i, j) = intToRealLit (avail, evalDelta (mapp, i, j))      fun delta (avail, mapp, i, j) =
191            let
192            val i' = lookupIdx (mapp, i)
193            val j' = lookupIdx (mapp, j)
194            in
195            if (i' = j') then intToRealLit (avail, 1) else intToRealLit (avail, 0)
196            end
197    
198      fun epsilon2 (avail, mapp, i, j) = let      fun epsilon2 (avail, mapp, i, j) = let
199            val i' = lookupIdx (mapp, i)            val i' = lookupIdx (mapp, i)

Legend:
Removed from v.3977  
changed lines
  Added in v.3978

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