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/MLRISC/mltree/mltree-gen.sig
ViewVC logotype

Diff of /sml/trunk/src/MLRISC/mltree/mltree-gen.sig

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

revision 546, Thu Feb 24 14:04:51 2000 UTC revision 555, Fri Mar 3 16:10:30 2000 UTC
# Line 15  Line 15 
15     (*     (*
16      * Return the size of an expression      * Return the size of an expression
17      *)      *)
18     val size  : ('s,'r,'f,'c) T.rexp -> T.ty     val size  : T.rexp -> T.ty
19     val fsize : ('s,'r,'f,'c) T.fexp -> T.ty     val fsize : T.fexp -> T.ty
20    
21     val condOf : ('s,'r,'f,'c) T.ccexp -> T.Basis.cond     val condOf : T.ccexp -> T.Basis.cond
22     val fcondOf : ('s,'r,'f,'c) T.ccexp -> T.Basis.fcond     val fcondOf : T.ccexp -> T.Basis.fcond
23    
24     (*     (*
25      * Perform simplification      * Perform simplification
26      *)      *)
27     val compileRexp : ('s,'r,'f,'c) T.rexp -> ('s,'r,'f,'c) T.rexp     val compileRexp : T.rexp -> T.rexp
28     val compileFexp : ('s,'r,'f,'c) T.fexp -> ('s,'r,'f,'c) T.fexp     val compileFexp : T.fexp -> T.fexp
29     val compileStm  : ('s,'r,'f,'c) T.stm  -> ('s,'r,'f,'c) T.stm list     val compileStm  : T.stm  -> T.stm list
30    
31     (*     (*
32      * Simulate conditional expression.      * Simulate conditional expression.
33      *)      *)
34     val compileCond :     val compileCond :
35         {exp : T.ty * ('s,'r,'f,'c) T.ccexp *         {exp : T.ty * T.ccexp * T.rexp * T.rexp,
                      ('s,'r,'f,'c) T.rexp * ('s,'r,'f,'c) T.rexp,  
36          an  : Annotations.annotations,          an  : Annotations.annotations,
37          rd : int          rd : int
38         } -> ('s,'r,'f,'c) T.stm list         } -> T.stm list
39    
40     val compileFcond :     val compileFcond :
41         {exp : T.fty * ('s,'r,'f,'c) T.ccexp *         {exp : T.fty * T.ccexp * T.fexp * T.fexp,
                      ('s,'r,'f,'c) T.fexp * ('s,'r,'f,'c) T.fexp,  
42          an  : Annotations.annotations,          an  : Annotations.annotations,
43          fd : int          fd : int
44         } -> ('s,'r,'f,'c) T.stm list         } -> T.stm list
45    
46    
47  end  end

Legend:
Removed from v.546  
changed lines
  Added in v.555

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