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 651, Thu Jun 1 18:34:03 2000 UTC revision 695, Mon Aug 7 23:57:38 2000 UTC
# Line 69  Line 69 
69      | T.SOURCE{block, liveIn} => 0w123 + w block + ws liveIn      | T.SOURCE{block, liveIn} => 0w123 + w block + ws liveIn
70      | T.SINK{block, liveOut} => 0w423 + w block + ws liveOut      | T.SINK{block, liveOut} => 0w423 + w block + ws liveOut
71      | T.REGION(stm,ctrl) => hashStm stm + hashCtrl ctrl      | T.REGION(stm,ctrl) => hashStm stm + hashCtrl ctrl
72      | T.RTL{hash,...} => !hash      | T.RTL{hash,...} => hash
73      | T.SEQ ss => hashStms(ss, 0w23)      | T.SEQ ss => hashStms(ss, 0w23)
74      | _ => error "hashStm"      | _ => error "hashStm"
75    
# Line 212  Line 212 
212          a=a' andalso eqCCexp(b,b') andalso eqLabel(c,c')          a=a' andalso eqCCexp(b,b') andalso eqLabel(c,c')
213      | eqStm(T.IF(a,b,c,d),T.IF(a',b',c',d')) =      | eqStm(T.IF(a,b,c,d),T.IF(a',b',c',d')) =
214          a=a' andalso eqCCexp(b,b') andalso eqStm(c,c') andalso eqStm(d,d')          a=a' andalso eqCCexp(b,b') andalso eqStm(c,c') andalso eqStm(d,d')
215      | eqStm(T.RTL{hash=x,...},T.RTL{hash=y,...}) = x=y      | eqStm(T.RTL{attribs=x,...},T.RTL{attribs=y,...}) = x=y
216      | eqStm(T.REGION(a,b),T.REGION(a',b')) = b = b' andalso eqStm(a,a')      | eqStm(T.REGION(a,b),T.REGION(a',b')) = b = b' andalso eqStm(a,a')
217      | eqStm(T.EXT a,T.EXT a') = eqSext (equality()) (a,a')      | eqStm(T.EXT a,T.EXT a') = eqSext (equality()) (a,a')
218      | eqStm _ = false      | eqStm _ = false

Legend:
Removed from v.651  
changed lines
  Added in v.695

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