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 4667, Tue Jun 12 18:46:48 2018 UTC revision 4841, Sun Sep 23 15:33:36 2018 UTC
# Line 37  Line 37 
37          "(R", Int.toString ty, ")", RealLit.toString rval          "(R", Int.toString ty, ")", RealLit.toString rval
38        ]        ]
39    | value2str (STRING s) = concat["\"", String.toString s, "\""]    | value2str (STRING s) = concat["\"", String.toString s, "\""]
   | value2str (OBJECT _) = "(object)"  
40    | value2str (VOID) = "(void)"    | value2str (VOID) = "(void)"
41    
42  fun numkindName (P.INT bits) = "i" ^ Int.toString bits  fun numkindName (P.INT bits) = "i" ^ Int.toString bits
# Line 145  Line 144 
144    | pureName (P.pure_numsubscript{kind}) = ("numsubscriptv" ^ numkindName kind)    | pureName (P.pure_numsubscript{kind}) = ("numsubscriptv" ^ numkindName kind)
145    | pureName P.gettag = "gettag"    | pureName P.gettag = "gettag"
146    | pureName P.mkspecial = "mkspecial"    | pureName P.mkspecial = "mkspecial"
147    | pureName P.wrap = "wrap"    | pureName P.box = "box"
148    | pureName P.unwrap = "unwrap"    | pureName P.unbox = "unbox"
149    | pureName P.cast = "cast"    | pureName P.cast = "cast"
150    | pureName P.getcon = "getcon"    | pureName P.getcon = "getcon"
151    | pureName P.getexn = "getexn"    | pureName P.getexn = "getexn"
# Line 154  Line 153 
153    | pureName P.funwrap = "funwrap"    | pureName P.funwrap = "funwrap"
154    | pureName P.iwrap = "iwrap"    | pureName P.iwrap = "iwrap"
155    | pureName P.iunwrap = "iunwrap"    | pureName P.iunwrap = "iunwrap"
156    | pureName P.i32wrap = "i32wrap"    | pureName P.i32wrap = "i32wrap"              (* 64BIT: FIXME *)
157    | pureName P.i32unwrap = "i32unwrap"    | pureName P.i32unwrap = "i32unwrap"          (* 64BIT: FIXME *)
158    | pureName P.getseqdata = "getseqdata"    | pureName P.getseqdata = "getseqdata"
159    | pureName P.recsubscript = "recsubscript"    | pureName P.recsubscript = "recsubscript"
160    | pureName P.raw64subscript = "raw64subscript"    | pureName P.raw64subscript = "raw64subscript"

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

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