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-ir-fn.sml
ViewVC logotype

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

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

revision 3535, Thu Dec 24 15:45:26 2015 UTC revision 3536, Fri Dec 25 18:51:48 2015 UTC
# Line 304  Line 304 
304                                (checkPhi (nd, VSet.union(Avail.inValue nd, bvs), !mask))                                (checkPhi (nd, VSet.union(Avail.inValue nd, bvs), !mask))
305                                  (!phis)                                  (!phis)
306                          | IR.COND{cond, ...} =>                          | IR.COND{cond, ...} =>
307                              if VSet.member(Avail.inValue nd, cond)                              if VSet.member(Avail.inValue nd, !cond)
308                              orelse VSet.member(bvs, cond)                              orelse VSet.member(bvs, !cond)
309                                then ()                                then ()
310                                else errFn [S "unbound variable ", V cond, S " in conditional"]                                else errFn [S "unbound variable ", V(!cond), S " in conditional"]
311                          | IR.FOREACH{phis, mask, var, src, ...} => (                          | IR.FOREACH{phis, mask, var, src, ...} => (
312                              if VSet.member(Avail.inValue nd, src)                              if VSet.member(Avail.inValue nd, !src)
313                              orelse VSet.member(bvs, src)                              orelse VSet.member(bvs, !src)
314                                then ()                                then ()
315                                else errFn [S "unbound variable ", V src, S " in foreach"];                                else errFn [S "unbound variable ", V(!src), S " in foreach"];
316                              List.app                              List.app
317                                (checkPhi (nd, VSet.union(Avail.inValue nd, bvs), !mask))                                (checkPhi (nd, VSet.union(Avail.inValue nd, bvs), !mask))
318                                  (!phis))                                  (!phis))

Legend:
Removed from v.3535  
changed lines
  Added in v.3536

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