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

SCM Repository

[diderot] Diff of /branches/lamont/src/compiler/IL/check-il-fn.sml
ViewVC logotype

Diff of /branches/lamont/src/compiler/IL/check-il-fn.sml

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

revision 2083, Thu Nov 8 18:42:05 2012 UTC revision 2084, Fri Nov 9 21:55:00 2012 UTC
# Line 69  Line 69 
69                        output                        output
70                      end                      end
71                  | IL.ASSIGN{stm=(y, _), ...} => VSet.add(input, y)                  | IL.ASSIGN{stm=(y, _), ...} => VSet.add(input, y)
72            | IL.FOREACH{phis,...} => let
73                      (* add the lhs of the phi node.  We do not remove the rhs variables, since
74                       * after value numbering, they may have further uses.
75                       *)
76                        fun doPhi ((y, _), vs) = VSet.add(vs, y)
77                        val output = List.foldl doPhi input (!phis)
78                        in
79                          output
80                        end
81                  | IL.MASSIGN{stm=(ys, _, _), ...} => VSet.addList(input, ys)                  | IL.MASSIGN{stm=(ys, _, _), ...} => VSet.addList(input, ys)
82                  | _ => input                  | _ => input
83                 (* end case *))                 (* end case *))
# Line 147  Line 156 
156                          then ()                          then ()
157                          else tyError (V.ty y, ty)                          else tyError (V.ty y, ty)
158                      end                      end
159            | IL.SELECTOR (y,_) => checkVar y
160                  | IL.OP(rator, xs) => let                  | IL.OP(rator, xs) => let
161                      val (resTy, argTys) = OpTy.sigOf rator                      val (resTy, argTys) = OpTy.sigOf rator
162                      in                      in

Legend:
Removed from v.2083  
changed lines
  Added in v.2084

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