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

Diff of /sml/trunk/src/MLRISC/mltree/rtl-build.sig

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

revision 1201, Fri May 17 20:48:38 2002 UTC revision 1202, Sat May 18 01:05:18 2002 UTC
# Line 12  Line 12 
12     type region     type region
13     type exp     type exp
14     type bool     type bool
15       type div_rounding_mode
16    
17     val intConst  : ty -> int -> exp          (* integer constant *)     val intConst  : ty -> int -> exp          (* integer constant *)
18     val wordConst : ty -> Word32.word -> exp  (* word constant *)     val wordConst : ty -> Word32.word -> exp  (* word constant *)
# Line 36  Line 37 
37     val -     : ty -> exp * exp -> exp     val -     : ty -> exp * exp -> exp
38     val muls  : ty -> exp * exp -> exp     val muls  : ty -> exp * exp -> exp
39     val mulu  : ty -> exp * exp -> exp     val mulu  : ty -> exp * exp -> exp
40     val divs  : ty -> exp * exp -> exp     val divs  : ty -> div_rounding_mode * exp * exp -> exp
41     val divu  : ty -> exp * exp -> exp     val divu  : ty -> exp * exp -> exp
42     val quots : ty -> exp * exp -> exp     val rems  : ty -> div_rounding_mode * exp * exp -> exp
    val rems  : ty -> exp * exp -> exp  
43     val remu  : ty -> exp * exp -> exp     val remu  : ty -> exp * exp -> exp
44    
45     val addt  : ty -> exp * exp -> exp     val addt  : ty -> exp * exp -> exp
46     val subt  : ty -> exp * exp -> exp     val subt  : ty -> exp * exp -> exp
47     val mult  : ty -> exp * exp -> exp     val mult  : ty -> exp * exp -> exp
48     val divt  : ty -> exp * exp -> exp     val divt  : ty -> div_rounding_mode * exp * exp -> exp
    val remt  : ty -> exp * exp -> exp  
49    
50     val notb  : ty -> exp -> exp     val notb  : ty -> exp -> exp
51     val andb  : ty -> exp * exp -> exp     val andb  : ty -> exp * exp -> exp

Legend:
Removed from v.1201  
changed lines
  Added in v.1202

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