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-eval.sml
 [smlnj] / sml / trunk / src / MLRISC / mltree / mltree-eval.sml

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

revision 1182, Thu Mar 28 16:41:29 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.1182 changed lines Added in v.1183