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

Diff of /sml/trunk/src/MLRISC/mltree/mltree.sml

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

revision 1003, Fri Dec 7 02:45:32 2001 UTC revision 1183, Fri Mar 29 19:09:48 2002 UTC
# Line 26  Line 26 
26    datatype cond = datatype Basis.cond    datatype cond = datatype Basis.cond
27    datatype fcond = datatype Basis.fcond    datatype fcond = datatype Basis.fcond
28    datatype rounding_mode = datatype Basis.rounding_mode    datatype rounding_mode = datatype Basis.rounding_mode
29      datatype div_rounding_mode = datatype Basis.div_rounding_mode
30    datatype ext = datatype Basis.ext    datatype ext = datatype Basis.ext
31    
32    (* Statements/effects.  These types are parameterized by the statement    (* Statements/effects.  These types are parameterized by the statement
# Line 94  Line 95 
95    
96        (* signed multiplication etc. *)        (* signed multiplication etc. *)
97      | MULS   of ty * rexp * rexp      | MULS   of ty * rexp * rexp
98      | DIVS   of ty * rexp * rexp      | DIVS   of div_rounding_mode * ty * rexp * rexp
99      | QUOTS  of ty * rexp * rexp      | REMS   of div_rounding_mode * ty * rexp * rexp
     | REMS   of ty * rexp * rexp  
100    
101        (* unsigned multiplication etc. *)        (* unsigned multiplication etc. *)
102      | MULU   of ty * rexp * rexp      | MULU   of ty * rexp * rexp
103      | DIVU   of ty * rexp * rexp      | DIVU   of ty * rexp * rexp
104      | REMU   of ty * rexp * rexp      | REMU   of ty * rexp * rexp
105    
106        (* trapping versions of above. These are all signed *)        (* overflow-trapping versions of above. These are all signed *)
107      | NEGT   of ty * rexp      | NEGT   of ty * rexp
108      | ADDT   of ty * rexp * rexp      | ADDT   of ty * rexp * rexp
109      | SUBT   of ty * rexp * rexp      | SUBT   of ty * rexp * rexp
110      | MULT   of ty * rexp * rexp      | MULT   of ty * rexp * rexp
111      | DIVT   of ty * rexp * rexp      | DIVT   of div_rounding_mode * ty * rexp * rexp
     | QUOTT  of ty * rexp * rexp  
     | REMT   of ty * rexp * rexp  
112    
113        (* bit operations *)        (* bit operations *)
114      | ANDB   of ty * rexp * rexp      | ANDB   of ty * rexp * rexp

Legend:
Removed from v.1003  
changed lines
  Added in v.1183

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