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.sig
ViewVC logotype

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

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             (* allocate uninitialized words from the heap; optionally             (* allocate uninitialized words from the heap; optionally
87              * initialize the tag.              * initialize the tag.
88              *)              *)
89          | condmove of branch (* conditional move *)
90    
91      val opp : branch -> branch      val opp : branch -> branch
92    
# Line 160  Line 161 
161    | ARITH of P.arith * value list * lvar * cty * cexp    | ARITH of P.arith * value list * lvar * cty * cexp
162    | PURE of P.pure * value list * lvar * cty * cexp    | PURE of P.pure * value list * lvar * cty * cexp
163    (* experimental "raw C call" (Blume, 1/2001) *)    (* experimental "raw C call" (Blume, 1/2001) *)
164    | RCC of CTypes.c_proto * value list * lvar * cty * cexp    (* When non-empty, the string contains the linkage info, which
165       * is a string of the form:
166       *      shared library name/name of the C function.
167       *)
168      | RCC of rcc_kind * string * CTypes.c_proto * value list * lvar * cty * cexp
169    and rcc_kind = FAST_RCC | REENTRANT_RCC
170  withtype function = fun_kind * lvar * lvar list * cty list * cexp  withtype function = fun_kind * lvar * lvar list * cty list * cexp
171    
172  val combinepaths : accesspath * accesspath -> accesspath  val combinepaths : accesspath * accesspath -> accesspath
173  val lenp : accesspath -> int  val lenp : accesspath -> int
174  val ctyToString : cty -> string  val ctyToString : cty -> string
175  val hasRCC : cexp -> bool  val hasRCC : cexp -> bool
176    val sizeOf : cty -> int   (* size of its representation in bits *)
177    val isFloat : cty -> bool (* is it a floating point type? *)
178    val isTagged : cty -> bool
179    
180  val BOGt : cty  val BOGt : cty
181    

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