Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/trunk/compiler/CPS/cps/ppcps.sml
ViewVC logotype

Diff of /sml/trunk/compiler/CPS/cps/ppcps.sml

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

revision 4841, Sun Sep 23 15:33:36 2018 UTC revision 4886, Wed Oct 10 16:54:46 2018 UTC
# Line 49  Line 49 
49    | lookerName (P.numsubscript{kind}) = ("numsubscript" ^ numkindName kind)    | lookerName (P.numsubscript{kind}) = ("numsubscript" ^ numkindName kind)
50    | lookerName P.getvar = "getvar"    | lookerName P.getvar = "getvar"
51    | lookerName P.getspecial = "getspecial"    | lookerName P.getspecial = "getspecial"
   | lookerName P.getpseudo = "getpseudo"  
52    | lookerName (P.rawload {kind}) = ("rawload" ^ numkindName kind)    | lookerName (P.rawload {kind}) = ("rawload" ^ numkindName kind)
53    
54  fun branchName P.boxed = "boxed"  fun branchName P.boxed = "boxed"
# Line 95  Line 94 
94    | setterName P.assign = "assign"    | setterName P.assign = "assign"
95    | setterName P.sethdlr = "sethdlr"    | setterName P.sethdlr = "sethdlr"
96    | setterName P.setvar = "setvar"    | setterName P.setvar = "setvar"
   | setterName P.free = "free"  
97    | setterName P.setspecial = "setspecial"    | setterName P.setspecial = "setspecial"
   | setterName P.setpseudo = "setpseudo"  
   | setterName P.setmark = "setmark"  
   | setterName P.acclink = "acclink"  
98    | setterName (P.rawstore {kind}) = ("rawstore" ^ numkindName kind)    | setterName (P.rawstore {kind}) = ("rawstore" ^ numkindName kind)
99    | setterName (P.rawupdate cty) = ("rawupdate" ^ CPS.ctyToString cty)    | setterName (P.rawupdate cty) = ("rawupdate" ^ CPS.ctyToString cty)
100    
# Line 139  Line 134 
134    | pureName (P.extend_inf i) =  concat ["extend_", cvtParam i, "_inf"]    | pureName (P.extend_inf i) =  concat ["extend_", cvtParam i, "_inf"]
135    | pureName (P.real{fromkind=P.FLOAT 64,tokind=P.INT 31}) = "real"    | pureName (P.real{fromkind=P.FLOAT 64,tokind=P.INT 31}) = "real"
136    | pureName (P.real{fromkind,tokind}) =    | pureName (P.real{fromkind,tokind}) =
137      ("real" ^ numkindName fromkind ^ "_" ^ numkindName tokind)        concat ["real", numkindName fromkind, "_", numkindName tokind]
138    | pureName P.subscriptv = "subscriptv"    | pureName P.subscriptv = "subscriptv"
139    | pureName (P.pure_numsubscript{kind}) = ("numsubscriptv" ^ numkindName kind)    | pureName (P.pure_numsubscript{kind}) = ("numsubscriptv" ^ numkindName kind)
140    | pureName P.gettag = "gettag"    | pureName P.gettag = "gettag"
141    | pureName P.mkspecial = "mkspecial"    | pureName P.mkspecial = "mkspecial"
   | pureName P.box = "box"  
   | pureName P.unbox = "unbox"  
142    | pureName P.cast = "cast"    | pureName P.cast = "cast"
143    | pureName P.getcon = "getcon"    | pureName P.getcon = "getcon"
144    | pureName P.getexn = "getexn"    | pureName P.getexn = "getexn"
145    | pureName P.fwrap = "fwrap"    | pureName P.box = "box"
146    | pureName P.funwrap = "funwrap"    | pureName P.unbox = "unbox"
147    | pureName P.iwrap = "iwrap"    | pureName (P.wrap kind) = "wrap_" ^ numkindName kind
148    | pureName P.iunwrap = "iunwrap"    | pureName (P.unwrap kind) = "unwrap_" ^ numkindName kind
   | pureName P.i32wrap = "i32wrap"              (* 64BIT: FIXME *)  
   | pureName P.i32unwrap = "i32unwrap"          (* 64BIT: FIXME *)  
149    | pureName P.getseqdata = "getseqdata"    | pureName P.getseqdata = "getseqdata"
150    | pureName P.recsubscript = "recsubscript"    | pureName P.recsubscript = "recsubscript"
151    | pureName P.raw64subscript = "raw64subscript"    | pureName P.raw64subscript = "raw64subscript"
152    | pureName P.newarray0 = "newarray0"    | pureName P.newarray0 = "newarray0"
153    | pureName (P.rawrecord rk) =    | pureName (P.rawrecord rk) = "rawrecord_"^getOpt(Option.map rkstring rk, "notag")
     "rawrecord_"^getOpt(Option.map rkstring rk, "notag")  
154    
155  and rkstring rk = (case rk  and rkstring rk = (case rk
156          of RK_VECTOR => "RK_VECTOR"          of RK_VECTOR => "RK_VECTOR"
# Line 173  Line 163 
163           | RK_KNOWN => "RK_KNOWN"           | RK_KNOWN => "RK_KNOWN"
164           | RK_BLOCK => "RK_BLOCK"           | RK_BLOCK => "RK_BLOCK"
165           | RK_FBLOCK => "RK_FBLOCK"           | RK_FBLOCK => "RK_FBLOCK"
166           | RK_I32BLOCK => "RK_I32BLOCK")          | RK_I32BLOCK => "RK_I32BLOCK"
167          (* end case *))
168    
169  fun show0 say =  fun show0 say =
170    let fun sayc (#"\n") = say "\\n"    let fun sayc (#"\n") = say "\\n"

Legend:
Removed from v.4841  
changed lines
  Added in v.4886

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