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 1334, Thu May 22 22:46:30 2003 UTC revision 1335, Tue May 27 21:54:23 2003 UTC
# Line 82  Line 82
82        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)
83
84    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)
85      | eqRexp(T.LI a,T.LI b) = a=b      | eqRexp(T.LI a,T.LI b) = IntInf.== (a,b)
86      | eqRexp(T.LABEL a,T.LABEL b) = eqLabel(a,b)      | eqRexp(T.LABEL a,T.LABEL b) = eqLabel(a,b)
87      | eqRexp(T.LABEXP a,T.LABEXP b) = eqRexp(a,b)      | eqRexp(T.LABEXP a,T.LABEXP b) = eqRexp(a,b)
88      | 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