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 /MLRISC/trunk/mltree/mltree-eval.sml
ViewVC logotype

Diff of /MLRISC/trunk/mltree/mltree-eval.sml

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

revision 1181, Wed Mar 27 21:27:27 2002 UTC revision 1183, Fri Mar 29 19:09:48 2002 UTC
# Line 100  Line 100 
100      | eqRexp(T.SUBT x,T.SUBT y) = eq2(x,y)      | eqRexp(T.SUBT x,T.SUBT y) = eq2(x,y)
101      | eqRexp(T.MULT x,T.MULT y) = eq2(x,y)      | eqRexp(T.MULT x,T.MULT y) = eq2(x,y)
102      | eqRexp(T.DIVT x,T.DIVT y) = eq3(x,y)      | eqRexp(T.DIVT x,T.DIVT y) = eq3(x,y)
     | eqRexp(T.REMT x,T.REMT y) = eq3(x,y)  
103      | eqRexp(T.ANDB x,T.ANDB y) = eq2(x,y)      | eqRexp(T.ANDB x,T.ANDB y) = eq2(x,y)
104      | eqRexp(T.ORB x,T.ORB y) = eq2(x,y)      | eqRexp(T.ORB x,T.ORB y) = eq2(x,y)
105      | eqRexp(T.XORB x,T.XORB y) = eq2(x,y)      | eqRexp(T.XORB x,T.XORB y) = eq2(x,y)
# Line 218  Line 217 
217          | rexp(T.SUBT(sz,x,y)) = I.SUBT(sz,rexp x,rexp y)          | rexp(T.SUBT(sz,x,y)) = I.SUBT(sz,rexp x,rexp y)
218          | rexp(T.MULT(sz,x,y)) = I.MULT(sz,rexp x,rexp y)          | rexp(T.MULT(sz,x,y)) = I.MULT(sz,rexp x,rexp y)
219          | rexp(T.DIVT(m,sz,x,y)) = I.DIVT(drm m,sz,rexp x,rexp y)          | rexp(T.DIVT(m,sz,x,y)) = I.DIVT(drm m,sz,rexp x,rexp y)
         | rexp(T.REMT(m,sz,x,y)) = I.REMT(drm m,sz,rexp x,rexp y)  
220    
221          | rexp(T.NOTB(sz,x)) = I.NOTB(sz,rexp x)          | rexp(T.NOTB(sz,x)) = I.NOTB(sz,rexp x)
222          | rexp(T.ANDB(sz,x,y)) = I.ANDB(sz,rexp x,rexp y)          | rexp(T.ANDB(sz,x,y)) = I.ANDB(sz,rexp x,rexp y)

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

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