Exemple #1
0
        public static ClosureConversionResult Start(MExpr expr)
        {
            _function_table = new Dictionary <string, MExpr>();
            var ctx  = new ClosureConversionContext("", new string[] { });
            var main = Conv(expr, ctx, new MSet <string>(), false);

            return(new ClosureConversionResult(_function_table, main));
        }
Exemple #2
0
 static MExpr Conv(MExpr expr, ClosureConversionContext ctx, MSet <string> locals, bool istail)
 {
     if (expr is MInt || expr is MDouble || expr is MString || expr is MChar ||
         expr is MUnit || expr is MBool)
     {
         return(expr);
     }
     else if (expr is MVar)
     {
         var e = (MVar)expr;
         if (e.IsTag)
         {
             return(expr);
         }
         else if (e.Name == ctx.ArgName)
         {
             return(new MGetArg());
         }
         else
         {
             if (locals.Contains(e.Name))
             {
                 return(expr);
             }
             else
             {
                 var index = ctx.GetCaptureIndex(e.Name);
                 if (index == -1)
                 {
                     return(expr);
                 }
                 else
                 {
                     return(new MGetEnv(index));
                 }
             }
         }
     }
     else if (expr is MLambda)
     {
         var   e   = (MLambda)expr;
         var   set = e.Body.FreeVars().Diff(e.ArgPat.FreeVars());
         var   fv  = set.ToArray();
         MExpr body;
         if (e.ArgPat is PVar)
         {
             var ctx2 = new ClosureConversionContext(((PVar)e.ArgPat).Name, fv);
             body = Conv(e.Body, ctx2, new MSet <string>(), true);
         }
         else
         {
             var arg_name = GenArgName();
             var ctx2     = new ClosureConversionContext(arg_name, fv);
             body = Conv(new MMatch(e.Pos, e.ArgPat, new MBool(e.Pos, true), new MVar(arg_name), e.Body,
                                    new MRuntimeError(e.Pos, "パターンマッチ失敗")), ctx2, new MSet <string>(), true);
         }
         var fun_name = GenFunctionName();
         _function_table.Add(fun_name, body);
         var args = fv.Select(x => Conv(new MVarClos(x), ctx, new MSet <string>(), false)).ToArray();
         return(new MMakeClos(fun_name, args));
     }
     else if (expr is MApp)
     {
         var e   = (MApp)expr;
         var fun = Conv(e.FunExpr, ctx, locals, false);
         var arg = Conv(e.ArgExpr, ctx, locals, false);
         var app = new MApp(e.Pos, fun, arg);
         app.TailCall = istail;
         return(app);
     }
     else if (expr is MIf)
     {
         var e         = (MIf)expr;
         var cond_expr = Conv(e.CondExpr, ctx, locals, false);
         var then_expr = Conv(e.ThenExpr, ctx, locals, istail);
         var else_expr = Conv(e.ElseExpr, ctx, locals, istail);
         return(new MIf(e.Pos, cond_expr, then_expr, else_expr));
     }
     else if (expr is MMatch)
     {
         var e         = (MMatch)expr;
         var locals2   = locals.Union(e.Pat.FreeVars());
         var expr1     = Conv(e.Expr, ctx, locals, false);
         var guard     = Conv(e.Guard, ctx, locals2, false);
         var then_expr = Conv(e.ThenExpr, ctx, locals2, istail);
         var else_expr = Conv(e.ElseExpr, ctx, locals, istail);
         return(new MMatch(e.Pos, e.Pat, guard, expr1, then_expr, else_expr));
     }
     else if (expr is MNil)
     {
         return(expr);
     }
     else if (expr is MCons)
     {
         var e    = (MCons)expr;
         var head = Conv(e.Head, ctx, locals, false);
         var tail = Conv(e.Tail, ctx, locals, false);
         return(new MCons(e.Pos, head, tail));
     }
     else if (expr is MTuple)
     {
         var e    = (MTuple)expr;
         var list = e.Items.Select(x => Conv(x, ctx, locals, false)).ToList();
         return(new MTuple("", list));
     }
     else if (expr is MDo)
     {
         var e  = (MDo)expr;
         var e1 = Conv(e.E1, ctx, locals, false);
         var e2 = Conv(e.E2, ctx, locals, istail);
         return(new MDo(e.Pos, e1, e2));
     }
     else if (expr is MLet)
     {
         var e       = (MLet)expr;
         var locals2 = locals.Union(e.Pat.FreeVars());
         var e1      = Conv(e.E1, ctx, locals, false);
         var e2      = Conv(e.E2, ctx, locals2, istail);
         return(new MLet(e.Pos, e.Pat, e1, e2));
     }
     else if (expr is MFun)
     {
         var e       = (MFun)expr;
         var locals2 = FunPats(e).Union(locals);
         var items   = e.Items.Select(item =>
                                      new MFunItem(item.Name, Conv(item.Expr, ctx, locals2, true))).ToList();
         var e2 = Conv(e.E2, ctx, locals2, istail);
         return(new MFun(e.Pos, items, e2));
     }
     else if (expr is MFource)
     {
         var e = (MFource)expr;
         return(Conv(e.Expr, ctx, locals, istail));
     }
     else if (expr is MRuntimeError)
     {
         return(expr);
     }
     else if (expr is MPrim)
     {
         var e    = (MPrim)expr;
         var list = e.Args.Select(x => Conv(x, ctx, locals, false)).ToList();
         return(new MPrim(e.Pos, e.Name, list, e.ArgTypes, e.RetType));
     }
     else if (expr is MCallStatic)
     {
         var e    = (MCallStatic)expr;
         var list = e.Args.Select(x => Conv(x, ctx, locals, false)).ToList();
         return(new MCallStatic(e.Pos, e.ClassName, e.MethodName, list, e.Types, e.Info));
     }
     else if (expr is MCast)
     {
         var e = (MCast)expr;
         return(new MCast(e.Pos, e.SrcTypeName, e.SrcType,
                          e.DstTypeName, e.DstType, Conv(e.Expr, ctx, locals, false)));
     }
     else if (expr is MIsType)
     {
         var e = (MIsType)expr;
         return(new MIsType(e.Pos, e.TypeName, e.Type, Conv(e.Expr, ctx, locals, false)));
     }
     else if (expr is MNewClass)
     {
         var e    = (MNewClass)expr;
         var list = e.Args.Select(x => Conv(x, ctx, locals, false)).ToList();
         return(new MNewClass(e.Pos, e.ClassName, list, e.Types, e.Info));
     }
     else if (expr is MInvoke)
     {
         var e    = (MInvoke)expr;
         var e2   = Conv(e.Expr, ctx, locals, false);
         var list = e.Args.Select(x => Conv(x, ctx, locals, false)).ToList();
         return(new MInvoke(e.Pos, e2, e.ExprType, e.MethodName, list, e.Types, e.Info));
     }
     else if (expr is MDelegate)
     {
         var e  = (MDelegate)expr;
         var e2 = Conv(e.Expr, ctx, locals, false);
         return(new MDelegate(e.Pos, e.ClassName, e2, e.ExprType,
                              e.ParamType, e.ClassType, e.CstrInfo));
     }
     else if (expr is MVarClos)
     {
         var e = (MVarClos)expr;
         if (e.Name == ctx.ArgName)
         {
             return(new MGetArg());
         }
         else
         {
             var index = ctx.GetCaptureIndex(e.Name);
             if (index == -1)
             {
                 return(expr);
             }
             else
             {
                 return(new MGetEnv(index));
             }
         }
     }
     else if (expr is MSet)
     {
         var e  = (MSet)expr;
         var e1 = Conv(e.Expr, ctx, locals, false);
         var e2 = Conv(e.Arg, ctx, locals, false);
         return(new MSet(e.Pos, e1, e.ExprType, e.FieldName, e2, e.ArgType, e.Info));
     }
     else if (expr is MGet)
     {
         var e  = (MGet)expr;
         var e1 = Conv(e.Expr, ctx, locals, false);
         return(new MGet(e.Pos, e1, e.ExprType, e.FieldName, e.Info));
     }
     else if (expr is MSSet)
     {
         var e  = (MSSet)expr;
         var e1 = Conv(e.Arg, ctx, locals, false);
         return(new MSSet(e.Pos, e.ClassName, e.FieldName, e1, e.ArgType, e.Info));
     }
     else if (expr is MSGet)
     {
         return(expr);
     }
     else if (expr is MNewArr)
     {
         var e = (MNewArr)expr;
         return(new MNewArr(e.Pos, e.TypeName, e.Type, Conv(e.Size, ctx, locals, false)));
     }
     else if (expr is MLdElem)
     {
         var e   = (MLdElem)expr;
         var ary = Conv(e.Ary, ctx, locals, false);
         var idx = Conv(e.Idx, ctx, locals, false);
         return(new MLdElem(e.Pos, e.TypeName, e.Type, ary, idx));
     }
     else if (expr is MStElem)
     {
         var e   = (MStElem)expr;
         var ary = Conv(e.Ary, ctx, locals, false);
         var idx = Conv(e.Idx, ctx, locals, false);
         var val = Conv(e.Val, ctx, locals, false);
         return(new MStElem(e.Pos, e.TypeName, e.Type, ary, idx, val));
     }
     else if (expr is MTry)
     {
         var e  = (MTry)expr;
         var e2 = Conv(e.Expr, ctx, locals, false);
         var e3 = Conv(e.Handler, ctx, locals, false);
         return(new MTry(e.Pos, e2, e3));
     }
     else
     {
         throw new NotImplementedException();
     }
 }