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

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

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 16  Line 16 
16       | size(T.ADD(ty,_,_)) = ty       | size(T.ADD(ty,_,_)) = ty
17       | size(T.SUB(ty,_,_)) = ty       | size(T.SUB(ty,_,_)) = ty
18       | size(T.MULS(ty,_,_)) = ty       | size(T.MULS(ty,_,_)) = ty
19       | size(T.DIVS(ty,_,_)) = ty       | size(T.DIVS(_,ty,_,_)) = ty
20       | size(T.QUOTS(ty,_,_)) = ty       | size(T.REMS(_,ty,_,_)) = ty
      | size(T.REMS(ty,_,_)) = ty  
21       | size(T.MULU(ty,_,_)) = ty       | size(T.MULU(ty,_,_)) = ty
22       | size(T.DIVU(ty,_,_)) = ty       | size(T.DIVU(ty,_,_)) = ty
23       | size(T.REMU(ty,_,_)) = ty       | size(T.REMU(ty,_,_)) = ty
# Line 26  Line 25 
25       | size(T.ADDT(ty,_,_)) = ty       | size(T.ADDT(ty,_,_)) = ty
26       | size(T.SUBT(ty,_,_)) = ty       | size(T.SUBT(ty,_,_)) = ty
27       | size(T.MULT(ty,_,_)) = ty       | size(T.MULT(ty,_,_)) = ty
28       | size(T.DIVT(ty,_,_)) = ty       | size(T.DIVT(_,ty,_,_)) = ty
29       | size(T.QUOTT(ty,_,_)) = ty       | size(T.REMT(_,ty,_,_)) = ty
      | size(T.REMT(ty,_,_)) = ty  
30       | size(T.ANDB(ty,_,_)) = ty       | size(T.ANDB(ty,_,_)) = ty
31       | size(T.ORB(ty,_,_)) = ty       | size(T.ORB(ty,_,_)) = ty
32       | size(T.XORB(ty,_,_)) = ty       | size(T.XORB(ty,_,_)) = ty

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