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 1183, Fri Mar 29 19:09:48 2002 UTC revision 1347, Thu Aug 28 21:59:15 2003 UTC
# Line 87  Line 87 
87    | setterName (P.rawstore {kind}) = ("rawstore" ^ numkindName kind)    | setterName (P.rawstore {kind}) = ("rawstore" ^ numkindName kind)
88    | setterName (P.rawupdate cty) = ("rawupdate" ^ CPS.ctyToString cty)    | setterName (P.rawupdate cty) = ("rawupdate" ^ CPS.ctyToString cty)
89    
90  fun cvtParams(from, to) = Int.toString from ^ "_" ^ Int.toString to  val cvtParam = Int.toString
91    fun cvtParams(from, to) = concat [cvtParam from, "_", cvtParam to]
92    
93  fun arithName (P.arith{oper,kind}) =  fun arithName (P.arith{oper,kind}) =
94      ((case oper of  P.+ => "+" |  P.- => "-" |  P.* => "*"      ((case oper of  P.+ => "+" |  P.- => "-" |  P.* => "*"
# Line 101  Line 102 
102       ^ numkindName kind)       ^ numkindName kind)
103    | arithName(P.test arg) = "test_" ^ cvtParams arg    | arithName(P.test arg) = "test_" ^ cvtParams arg
104    | arithName(P.testu arg) = "testu_" ^ cvtParams arg    | arithName(P.testu arg) = "testu_" ^ cvtParams arg
105      | arithName(P.test_inf i) = "test_inf_" ^ cvtParam i
106    | arithName (P.round{floor=true,fromkind=P.FLOAT 64,tokind=P.INT 31}) =    | arithName (P.round{floor=true,fromkind=P.FLOAT 64,tokind=P.INT 31}) =
107        "floor"        "floor"
108    | arithName (P.round{floor=false,fromkind=P.FLOAT 64,tokind=P.INT 31}) =    | arithName (P.round{floor=false,fromkind=P.FLOAT 64,tokind=P.INT 31}) =
# Line 116  Line 118 
118    | pureName (P.extend arg) = "extend_" ^ cvtParams arg    | pureName (P.extend arg) = "extend_" ^ cvtParams arg
119    | pureName (P.copy arg) = "copy_" ^ cvtParams arg    | pureName (P.copy arg) = "copy_" ^ cvtParams arg
120    | pureName (P.trunc arg) = "trunc_" ^ cvtParams arg    | pureName (P.trunc arg) = "trunc_" ^ cvtParams arg
121      | pureName (P.trunc_inf i) = "trunc_inf_" ^ cvtParam i
122      | pureName (P.copy_inf i) = concat ["copy_", cvtParam i, "_inf"]
123      | pureName (P.extend_inf i) =  concat ["extend_", cvtParam i, "_inf"]
124    | pureName (P.real{fromkind=P.FLOAT 64,tokind=P.INT 31}) = "real"    | pureName (P.real{fromkind=P.FLOAT 64,tokind=P.INT 31}) = "real"
125    | pureName (P.real{fromkind,tokind}) =    | pureName (P.real{fromkind,tokind}) =
126      ("real" ^ numkindName fromkind ^ "_" ^ numkindName tokind)      ("real" ^ numkindName fromkind ^ "_" ^ numkindName tokind)

Legend:
Removed from v.1183  
changed lines
  Added in v.1347

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