Diff of /branches/pure-cfg/src/compiler/codegen/codegen-fn.sml

Parent Directory | Revision Log | Patch

	revision 616, Sun Mar 13 14:52:11 2011 UTC	revision 617, Sun Mar 13 16:51:09 2011 UTC
#	Line 117	Line 117
117	trBlock(env, thenBlk),	trBlock(env, thenBlk),
118	trBlock(env, elseBlk))]	trBlock(env, elseBlk))]
119	| IL.S_For(x, e1, e2, blk) => let	| IL.S_For(x, e1, e2, blk) => let
	val ty = cvtTy(V.ty x)
120	val x' = T.Var.var(cvtTy(V.ty x), V.name x)	val x' = T.Var.var(cvtTy(V.ty x), V.name x)
121	val env' = V.Map.insert(env, x, x')	val env' = V.Map.insert(env, x, x')
122	in [	in [
123	T.Stmt.for(	T.Stmt.for(x', trExp(env, e1), trExp(env, e2), trBlock(env', blk))
	[(ty, x', trExp(env, e1))],
	T.Expr.lte(T.Expr.var x', trExp(env, e2)),
	[(x', T.Expr.add(T.Expr.var x', T.Expr.intLit 1))],
	trBlock(env', blk))
124	] end	] end
125	| IL.S_Cons(lhs, args) =>	| IL.S_Cons(lhs, args) =>
126	[T.Stmt.cons(lookup(env, lhs), trExps(env, args))]	[T.Stmt.cons(lookup(env, lhs), trExps(env, args))]

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.616   changed lines   Added in v.617

---

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