Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] Diff of /branches/vis15/src/compiler/cfg-ir/ssa-pp-fn.sml
ViewVC logotype

Diff of /branches/vis15/src/compiler/cfg-ir/ssa-pp-fn.sml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 3509, Fri Dec 18 15:01:54 2015 UTC revision 3512, Fri Dec 18 18:52:06 2015 UTC
# Line 51  Line 51 
51                    | IR.OP(rator, []) => [Op.toString rator, ";"]                    | IR.OP(rator, []) => [Op.toString rator, ";"]
52                    | IR.OP(rator, args) => [                    | IR.OP(rator, args) => [
53                          Op.toString rator, "(",                          Op.toString rator, "(",
54                          String.concatWith "," (List.map Var.toString args), ");"                          String.concatWithMap "," Var.toString args, ");"
55                        ]                        ]
56                    | IR.CONS(xs, ty) => [                    | IR.CONS(xs, ty) => [
57                          "<", Ty.toString ty, ">[",                          "<", Ty.toString ty, ">[",
58                          String.concatWith "," (List.map Var.toString xs), "];"                          String.concatWithMap "," Var.toString xs, "];"
59                        ]                        ]
60                    | IR.SEQ(xs, ty) => [                    | IR.SEQ(xs, ty) => [
61                          "<", Ty.toString ty, ">{",                          "<", Ty.toString ty, ">{",
62                          String.concatWith "," (List.map Var.toString xs), "};"                          String.concatWithMap "," Var.toString xs, "};"
63                        ]                        ]
64                    | IR.EINAPP(ein, args) => [                    | IR.EINAPP(ein, args) => [
65  (* FIXME *)                          EinPP.toString ein, " (",
66                          "EIN", "(",                          String.concatWithMap "," Var.toString args, ");"
                         String.concatWith "," (List.map Var.toString args), ");"  
67                        ]                        ]
68                  (* end case *))                  (* end case *))
69            in            in
# Line 72  Line 71 
71            end            end
72    
73      fun massignToString ([], rator, xs) = String.concat [      fun massignToString ([], rator, xs) = String.concat [
74              Op.toString rator, "(", String.concatWith "," (List.map Var.toString xs), ");"              Op.toString rator, "(", String.concatWithMap "," Var.toString xs, ");"
75            ]            ]
76        | massignToString (ys, rator, xs) = String.concat [        | massignToString (ys, rator, xs) = String.concat [
77              "(", String.concatWith "," (List.map typedVar ys), ") = ",              "(", String.concatWith "," (List.map typedVar ys), ") = ",
78              Op.toString rator, "(", String.concatWith "," (List.map Var.toString xs), ");"              Op.toString rator, "(", String.concatWithMap "," Var.toString xs, ");"
79            ]            ]
80    
81      fun labelOf (IR.ND{id, ...}) = "L"^Stamp.toString id      fun labelOf (IR.ND{id, ...}) = "L"^Stamp.toString id

Legend:
Removed from v.3509  
changed lines
  Added in v.3512

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