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

Parent Directory | Revision Log | 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))

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

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