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

SCM Repository

[diderot] Diff of /branches/vis15/src/compiler/tree-opt/tree-contract.sml
ViewVC logotype

Diff of /branches/vis15/src/compiler/tree-opt/tree-contract.sml

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

revision 3888, Fri May 20 22:06:33 2016 UTC revision 3889, Sat May 21 14:32:02 2016 UTC
# Line 36  Line 36 
36              | IR.E_Lit _ => false              | IR.E_Lit _ => false
37              | IR.E_Op(Op.VIndex _, [IR.E_VLoad _]) => true              | IR.E_Op(Op.VIndex _, [IR.E_VLoad _]) => true
38              | IR.E_Op(_, es) => List.exists canReduce es              | IR.E_Op(_, es) => List.exists canReduce es
39              | IR.E_Vec(_, es) => List.exists canReduce es              | IR.E_Vec(_, _, es) => List.exists canReduce es
40              | IR.E_Cons(es, _) => List.exists canReduce es              | IR.E_Cons(es, _) => List.exists canReduce es
41              | IR.E_Seq(es, _) => List.exists canReduce es              | IR.E_Seq(es, _) => List.exists canReduce es
42              | IR.E_Pack(layout, es) => let              | IR.E_Pack(layout, es) => let
# Line 66  Line 66 
66                    (* end case *)                    (* end case *)
67                  end                  end
68              | IR.E_Op(rator, es) => IR.E_Op(rator, List.map reduce es)              | IR.E_Op(rator, es) => IR.E_Op(rator, List.map reduce es)
69              | IR.E_Vec(i, es) => IR.E_Vec(i, List.map reduce es)              | IR.E_Vec(w, pw, es) => IR.E_Vec(w, pw, List.map reduce es)
70              | IR.E_Cons(es, ty) => IR.E_Cons(List.map reduce es, ty)              | IR.E_Cons(es, ty) => IR.E_Cons(List.map reduce es, ty)
71              | IR.E_Seq(es, ty) => IR.E_Seq(List.map reduce es, ty)              | IR.E_Seq(es, ty) => IR.E_Seq(List.map reduce es, ty)
72  (* TODO: check for all E_Vec args *)  (* TODO: check for all E_Vec args *)

Legend:
Removed from v.3888  
changed lines
  Added in v.3889

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