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

Diff of /sml/trunk/src/MLRISC/mltree/machine-int.sig

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

revision 1180, Tue Mar 26 22:24:24 2002 UTC revision 1181, Wed Mar 27 21:27:27 2002 UTC
# Line 7  Line 7 
7     type machine_int = IntInf.int     type machine_int = IntInf.int
8     type sz = int (* width in bits *)     type sz = int (* width in bits *)
9    
10       datatype div_rounding_mode = DIV_TO_ZERO | DIV_TO_NEGINF
11    
12     (* some common constants *)     (* some common constants *)
13     val int_0   : machine_int     val int_0   : machine_int
14     val int_1   : machine_int     val int_1   : machine_int
# Line 79  Line 81 
81     val ADD   : sz * machine_int * machine_int -> machine_int     val ADD   : sz * machine_int * machine_int -> machine_int
82     val SUB   : sz * machine_int * machine_int -> machine_int     val SUB   : sz * machine_int * machine_int -> machine_int
83     val MULS  : sz * machine_int * machine_int -> machine_int     val MULS  : sz * machine_int * machine_int -> machine_int
84     val DIVS  : sz * machine_int * machine_int -> machine_int     val DIVS  : div_rounding_mode *
85     val QUOTS : sz * machine_int * machine_int -> machine_int                 sz * machine_int * machine_int -> machine_int
86     val REMS  : sz * machine_int * machine_int -> machine_int     val REMS  : div_rounding_mode *
87                   sz * machine_int * machine_int -> machine_int
88    
89     (* unsigned operators *)     (* unsigned operators *)
90     val MULU  : sz * machine_int * machine_int -> machine_int     val MULU  : sz * machine_int * machine_int -> machine_int
91     val DIVU  : sz * machine_int * machine_int -> machine_int     val DIVU  : sz * machine_int * machine_int -> machine_int
92    (*
93     val QUOTU : sz * machine_int * machine_int -> machine_int     val QUOTU : sz * machine_int * machine_int -> machine_int
94    *)
95     val REMU  : sz * machine_int * machine_int -> machine_int     val REMU  : sz * machine_int * machine_int -> machine_int
96    
97     (* Signed, trapping operators, may raise Overflow *)     (* Signed, trapping operators, may raise Overflow *)
# Line 95  Line 100 
100     val ADDT  : sz * machine_int * machine_int -> machine_int     val ADDT  : sz * machine_int * machine_int -> machine_int
101     val SUBT  : sz * machine_int * machine_int -> machine_int     val SUBT  : sz * machine_int * machine_int -> machine_int
102     val MULT  : sz * machine_int * machine_int -> machine_int     val MULT  : sz * machine_int * machine_int -> machine_int
103     val DIVT  : sz * machine_int * machine_int -> machine_int     val DIVT  : div_rounding_mode *
104     val QUOTT : sz * machine_int * machine_int -> machine_int                 sz * machine_int * machine_int -> machine_int
105     val REMT  : sz * machine_int * machine_int -> machine_int     val REMT  : div_rounding_mode *
106                   sz * machine_int * machine_int -> machine_int
107    
108     (* bit operators *)     (* bit operators *)
109     val NOTB  : sz * machine_int -> machine_int     val NOTB  : sz * machine_int -> machine_int

Legend:
Removed from v.1180  
changed lines
  Added in v.1181

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