Lines Matching defs:e2
225 (* let x = (let v = M in N) in e2 --> let x = M in let v = N in e2 *)
227 fun concat e1 x e2 =
229 then let val (v,M,N) = dest_plet e1 in mk_plet (v, M, concat N x e2) end
230 else mk_plet (x, e1, e2);
277 then let val (c,e1,e2) = dest_cond exp
287 fun f e1 e2 = mk_cond(c', e1, e2)
289 g'_if dest cont regenv exp f e1 e2
341 of ToSpill(e2,ys) => ToSpill (exp, ys)
342 | NoSpill(e2,regenv2) => NoSpill(mk_plet(x,M,e2),regenv2)
381 g'_if dest cont regenv exp constr e1 e2 =
383 val (e2', regenv2) = g_repeat dest cont regenv e2
388 NoSpill(constr e1' e2', regenv')
413 [] => NoSpill(constr e1' e2', regenv')