261 |
fun expandEinOp (env, y, e, args) = let |
fun expandEinOp (env, y, e, args) = let |
262 |
val einargs=Env.renameList(env, args) |
val einargs=Env.renameList(env, args) |
263 |
val f=print(String.concat(["\n\n new ein \n", DstIL.Var.toString(y),"=",P.printerE(e)]@(List.map (fn e=> (DstIL.Var.toString(e)^",")) einargs))) |
val f=print(String.concat(["\n\n new ein \n", DstIL.Var.toString(y),"=",P.printerE(e)]@(List.map (fn e=> (DstIL.Var.toString(e)^",")) einargs))) |
264 |
|
val _=print "\n ** pre gen**" |
265 |
val (_,code)=genEin.genfn(y,e,args,einargs) |
val (_,code)=genEin.genfn(y,e,args,einargs) |
266 |
|
val _=print "**\n post gen" |
267 |
|
val _=print(Int.toString(length(code))) |
268 |
val DstIL.ASSGN (a1,DstIL.OP(opss1,args1))=List.hd(List.rev(code)) |
val DstIL.ASSGN (a1,DstIL.OP(opss1,args1))=List.hd(List.rev(code)) |
269 |
val c=DstIL.ASSGN (y,DstIL.OP(opss1,args1)) |
val c=DstIL.ASSGN (y,DstIL.OP(opss1,args1)) |
270 |
|
|