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/src/compiler/FLINT/cps/cps.sml
ViewVC logotype

Diff of /sml/trunk/src/compiler/FLINT/cps/cps.sml

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

revision 1173, Sat Mar 23 04:18:51 2002 UTC revision 1174, Sat Mar 23 21:14:40 2002 UTC
# Line 86  Line 86 
86        | getseqdata | recsubscript | raw64subscript | newarray0        | getseqdata | recsubscript | raw64subscript | newarray0
87        | rawrecord of record_kind option        | rawrecord of record_kind option
88           (* allocate uninitialized words from the heap *)           (* allocate uninitialized words from the heap *)
89          | condmove of branch
90    
91      local      local
92        fun ioper (op > : cmpop)  = (op <= : cmpop)        fun ioper (op > : cmpop)  = (op <= : cmpop)
# Line 196  Line 197 
197    | ARITH of P.arith * value list * lvar * cty * cexp    | ARITH of P.arith * value list * lvar * cty * cexp
198    | PURE of P.pure * value list * lvar * cty * cexp    | PURE of P.pure * value list * lvar * cty * cexp
199    (* experimental "raw C call" (Blume, 1/2001) *)    (* experimental "raw C call" (Blume, 1/2001) *)
200    | RCC of CTypes.c_proto * value list * lvar * cty * cexp    | RCC of rcc_kind * string * CTypes.c_proto * value list * lvar * cty * cexp
201    and rcc_kind = FAST_RCC | REENTRANT_RCC
202  withtype function = fun_kind * lvar * lvar list * cty list * cexp  withtype function = fun_kind * lvar * lvar list * cty list * cexp
203    
204  fun hasRCC(cexp) = let  fun hasRCC(cexp) = let
# Line 218  Line 220 
220     | PURE(_, _, _, _, e) => hasRCC(e)     | PURE(_, _, _, _, e) => hasRCC(e)
221  end  end
222    
223    fun sizeOf(FLTt) = 64
224      | sizeOf(INTt | INT32t | PTRt _ | FUNt | CNTt | DSPt) = 32
225    
226    fun isFloat(FLTt) = true
227      | isFloat(INTt | INT32t | PTRt _ | FUNt | CNTt | DSPt) = false
228    
229    fun isTagged(FLTt | INT32t) = false
230      | isTagged(INTt | PTRt _ | FUNt | CNTt | DSPt) = true
231    
232  fun ctyToString(INTt) =  "[I]"  fun ctyToString(INTt) =  "[I]"
233    | ctyToString(INT32t) =  "[I32]"    | ctyToString(INT32t) =  "[I32]"
234    | ctyToString(FLTt) =  "[R]"    | ctyToString(FLTt) =  "[R]"

Legend:
Removed from v.1173  
changed lines
  Added in v.1174

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