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

SCM Repository

[diderot] Diff of /branches/vis15/src/compiler/cfg-ir/check-il-fn.sml
ViewVC logotype

Diff of /branches/vis15/src/compiler/cfg-ir/check-il-fn.sml

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

revision 3470, Mon Nov 30 17:51:33 2015 UTC revision 3473, Wed Dec 2 17:57:53 2015 UTC
# Line 293  Line 293 
293                              orelse VSet.member(bvs, cond)                              orelse VSet.member(bvs, cond)
294                                then ()                                then ()
295                                else errFn [S "unbound variable ", V cond, S " in conditional"]                                else errFn [S "unbound variable ", V cond, S " in conditional"]
296                            | IL.FOREACH{phis, mask, var, src, ...} => (
297                                if VSet.member(Avail.inValue nd, src)
298                                orelse VSet.member(bvs, src)
299                                  then ()
300                                  else errFn [S "unbound variable ", V src, S " in foreach"];
301                                List.app
302                                  (checkPhi (nd, VSet.union(Avail.inValue nd, bvs), !mask))
303                                    (!phis))
304                          | IL.ASSIGN{stm, ...} =>                          | IL.ASSIGN{stm, ...} =>
305                              ignore (checkAssign (stm, VSet.union(Avail.inValue nd, bvs)))                              ignore (checkAssign (stm, VSet.union(Avail.inValue nd, bvs)))
306                          | IL.MASSIGN{stm, ...} =>                          | IL.MASSIGN{stm, ...} =>

Legend:
Removed from v.3470  
changed lines
  Added in v.3473

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