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

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

revision 1334, Thu May 22 22:46:30 2003 UTC revision 1335, Tue May 27 21:54:23 2003 UTC
# Line 261  Line 261
261        m=n andalso a=d andalso eqRexp(b,e) andalso eqRexp(c,f)        m=n andalso a=d andalso eqRexp(b,e) andalso eqRexp(c,f)
262
263    and eqRexp(T.REG(a,b),T.REG(c,d)) = a=c andalso eqCell(b,d)    and eqRexp(T.REG(a,b),T.REG(c,d)) = a=c andalso eqCell(b,d)
264      | eqRexp(T.LI a,T.LI b) = a=b      | eqRexp(T.LI a,T.LI b) = IntInf.== (a,b)
265      | eqRexp(T.LABEL a,T.LABEL b) = eqLabel(a,b)      | eqRexp(T.LABEL a,T.LABEL b) = eqLabel(a,b)
266      | eqRexp(T.LABEXP a,T.LABEXP b) = eqRexp(a,b)      | eqRexp(T.LABEXP a,T.LABEXP b) = eqRexp(a,b)
267      | eqRexp(T.CONST a,T.CONST b) = Constant.==(a,b)      | eqRexp(T.CONST a,T.CONST b) = Constant.==(a,b)

Legend:
 Removed from v.1334 changed lines Added in v.1335