Diff of /branches/vis15/src/compiler/cfg-ir/translate-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 100	Line 100
100	nd	nd
101	end	end
102	| SrcIR.COND{cond, trueBranch, falseBranch, ...} => let	| SrcIR.COND{cond, trueBranch, falseBranch, ...} => let
103	val nd = newNd (DstNd.mkCOND(rename env cond))	val nd = newNd (DstNd.mkCOND(rename env (!cond)))
104	val trueB = trans (!trueBranch)	val trueB = trans (!trueBranch)
105	val _ = (DstNd.setTrueBranch (nd, trueB); DstNd.setPred(trueB, nd))	val _ = (DstNd.setTrueBranch (nd, trueB); DstNd.setPred(trueB, nd))
106	val falseB = trans (!falseBranch)	val falseB = trans (!falseBranch)
#	Line 109	Line 109
109	nd	nd
110	end	end
111	| SrcIR.FOREACH{var, src, phis, mask, bodyEntry, succ, ...} => let	| SrcIR.FOREACH{var, src, phis, mask, bodyEntry, succ, ...} => let
112	val nd = newNd (DstNd.mkFOREACH(rename env var, rename env src))	val nd = newNd (DstNd.mkFOREACH(rename env var, rename env (!src)))
113	val bodyB = trans (!bodyEntry)	val bodyB = trans (!bodyEntry)
114	val _ = (DstNd.setBodyEntry (nd, bodyB); DstNd.setPred(bodyB, nd))	val _ = (DstNd.setBodyEntry (nd, bodyB); DstNd.setPred(bodyB, nd))
115	in	in

---

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