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/ein-to-low.sml
ViewVC logotype

Diff of /branches/vis15/src/compiler/mid-to-low/ein-to-low.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 142  Line 142 
142     *)     *)
143      fun expandInner (params, body, index, args) = (case body      fun expandInner (params, body, index, args) = (case body
144             of E.Sum(             of E.Sum(
145                  [(E.V v, _, ub)],                  [(v, _, ub)],
146                  E.Opn(E.Prod, [E.Tensor(id1, alpha as _::_), E.Tensor(id2, beta as _::_)])                  E.Opn(E.Prod, [E.Tensor(id1, alpha as _::_), E.Tensor(id2, beta as _::_)])
147                ) => (case (matchFindLast(alpha, v), matchFindLast(beta, v))                ) => (case (matchFindLast(alpha, v), matchFindLast(beta, v))
148                   of ((SOME ix1, NONE), (SOME ix2, NONE)) => let                   of ((SOME ix1, NONE), (SOME ix2, NONE)) => let
# Line 158  Line 158 
158                    | _ => scalarExpand (params, body, index, args)                    | _ => scalarExpand (params, body, index, args)
159                  (* end case *))                  (* end case *))
160              | E.Sum(              | E.Sum(
161                  [(E.V v1, lb1, ub1), (E.V v2, lb2, ub2)],                  [(v1, lb1, ub1), (v2, lb2, ub2)],
162                  E.Opn(E.Prod, [E.Tensor(id1, alpha as _::_), E.Tensor(id2, beta as _::_)])                  E.Opn(E.Prod, [E.Tensor(id1, alpha as _::_), E.Tensor(id2, beta as _::_)])
163                ) => let                ) => let
164                  fun check (v, ub, i, lb', ub') = (                  fun check (v, ub, i, lb', ub') = (

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