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 1183, Fri Mar 29 19:09:48 2002 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.1183  
changed lines
  Added in v.1335

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