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
ViewVC logotype

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

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

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

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