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

Diff of /sml/trunk/src/MLRISC/mltree/mltree.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 23  Line 23 
23    datatype cond = datatype Basis.cond    datatype cond = datatype Basis.cond
24    datatype fcond = datatype Basis.fcond    datatype fcond = datatype Basis.fcond
25    datatype rounding_mode = datatype Basis.rounding_mode    datatype rounding_mode = datatype Basis.rounding_mode
26      datatype div_rounding_mode = datatype Basis.div_rounding_mode
27    datatype ext = datatype Basis.ext    datatype ext = datatype Basis.ext
28    
29    (* Statements/effects.  These types are parameterized by the statement    (* Statements/effects.  These types are parameterized by the statement
# Line 104  Line 105 
105    
106        (* signed multiplication etc. *)        (* signed multiplication etc. *)
107      | MULS   of ty * rexp * rexp      | MULS   of ty * rexp * rexp
108      | DIVS   of ty * rexp * rexp      | DIVS   of div_rounding_mode * ty * rexp * rexp
109      | QUOTS  of ty * rexp * rexp      | REMS   of div_rounding_mode * ty * rexp * rexp
     | REMS   of ty * rexp * rexp  
110    
111        (* unsigned multiplication etc. *)        (* unsigned multiplication etc. *)
112      | MULU   of ty * rexp * rexp      | MULU   of ty * rexp * rexp
# Line 118  Line 118 
118      | ADDT   of ty * rexp * rexp      | ADDT   of ty * rexp * rexp
119      | SUBT   of ty * rexp * rexp      | SUBT   of ty * rexp * rexp
120      | MULT   of ty * rexp * rexp      | MULT   of ty * rexp * rexp
121      | DIVT   of ty * rexp * rexp      | DIVT   of div_rounding_mode * ty * rexp * rexp
122      | QUOTT  of ty * rexp * rexp      | REMT   of div_rounding_mode * ty * rexp * rexp
     | REMT   of ty * rexp * rexp  
123    
124        (* bit operations *)        (* bit operations *)
125      | ANDB   of ty * rexp * rexp      | ANDB   of ty * rexp * rexp
# Line 237  Line 236 
236       dstReg : ty * var -> string, srcReg : ty * var -> string}       dstReg : ty * var -> string, srcReg : ty * var -> string}
237    
238  end (* MLTREE *)  end (* MLTREE *)
   

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