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/branches/idlbasis-devel/src/MLRISC/alpha/ra/alphaRewrite.sml
ViewVC logotype

Diff of /sml/branches/idlbasis-devel/src/MLRISC/alpha/ra/alphaRewrite.sml

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

revision 545, Thu Feb 24 13:56:44 2000 UTC revision 624, Fri Apr 21 03:06:21 2000 UTC
# Line 49  Line 49 
49       | I.JSR{r, b, d, defs, uses=(i,f), mem} =>       | I.JSR{r, b, d, defs, uses=(i,f), mem} =>
50           I.JSR{r=r, b=replace b, d=d, defs=defs, uses=(map replace i, f),           I.JSR{r=r, b=replace b, d=d, defs=defs, uses=(map replace i, f),
51                 mem=mem}                 mem=mem}
52         | I.BSR{r, lab, defs, uses=(i,f), mem} =>
53             I.BSR{r=r, lab=lab, defs=defs, uses=(map replace i, f), mem=mem}
54       | I.RET{r,b,d} => I.RET{r=r, b=replace b, d=d}       | I.RET{r,b,d} => I.RET{r=r, b=replace b, d=d}
55       | I.BRANCH{b=I.BR, ...} => instr       | I.BRANCH{b=I.BR, ...} => instr
56       | I.BRANCH{b, r, lab} => if mapr r=rs then I.BRANCH{b=b, r=rt, lab=lab}       | I.BRANCH{b, r, lab} => if mapr r=rs then I.BRANCH{b=b, r=rt, lab=lab}
# Line 89  Line 91 
91           I.FCMOVE{oper=oper,fa=replace fa,fb=replace fb,fc=replace fc}           I.FCMOVE{oper=oper,fa=replace fa,fb=replace fb,fc=replace fc}
92       | I.JSR{r, b, d, defs, uses=(i,f), mem} =>       | I.JSR{r, b, d, defs, uses=(i,f), mem} =>
93           I.JSR{r=r, b=b, d=d, defs=defs, uses=(i, map replace f), mem=mem}           I.JSR{r=r, b=b, d=d, defs=defs, uses=(i, map replace f), mem=mem}
94         | I.BSR{r, lab, defs, uses=(i,f), mem} =>
95             I.BSR{r=r, lab=lab, defs=defs, uses=(i, map replace f), mem=mem}
96       | I.ANNOTATION{i,a} => I.ANNOTATION{i=frewriteUse(mapr,i,fs,ft),a=a}       | I.ANNOTATION{i,a} => I.ANNOTATION{i=frewriteUse(mapr,i,fs,ft),a=a}
97       | _ => instr       | _ => instr
98    end    end
# Line 108  Line 112 
112       | I.JSR{r, b, d, defs=(i,f), uses, mem} =>       | I.JSR{r, b, d, defs=(i,f), uses, mem} =>
113           I.JSR{r=rewrite r, b=b, d=d, defs=(map rewrite i, f), uses=uses,           I.JSR{r=rewrite r, b=b, d=d, defs=(map rewrite i, f), uses=uses,
114                 mem=mem}                 mem=mem}
115         | I.BSR{r, lab, defs=(i,f), uses, mem} =>
116             I.BSR{r=rewrite r, lab=lab, defs=(map rewrite i, f), uses=uses,
117                   mem=mem}
118       | I.RET{r, b, d} => I.RET{r=rewrite r, b=b, d=d}       | I.RET{r, b, d} => I.RET{r=rewrite r, b=b, d=d}
119       | I.BRANCH{b=I.BR, r, lab} =>       | I.BRANCH{b=I.BR, r, lab} =>
120         if mapr r=rs then I.BRANCH{b=I.BR, r=rt, lab=lab} else instr         if mapr r=rs then I.BRANCH{b=I.BR, r=rt, lab=lab} else instr
# Line 144  Line 151 
151       | I.FCMOVE{oper,fa,fb,fc} => I.FCMOVE{oper=oper,fa=fa,fb=fb,fc=rewrite fc}       | I.FCMOVE{oper,fa,fb,fc} => I.FCMOVE{oper=oper,fa=fa,fb=fb,fc=rewrite fc}
152       | I.JSR{r, b, d, defs=(i,f), uses, mem} =>       | I.JSR{r, b, d, defs=(i,f), uses, mem} =>
153          I.JSR{r=r, b=b, d=d, defs=(i, map rewrite f), uses=uses, mem=mem}          I.JSR{r=r, b=b, d=d, defs=(i, map rewrite f), uses=uses, mem=mem}
154         | I.BSR{r, lab, defs=(i,f), uses, mem} =>
155            I.BSR{r=r, lab=lab, defs=(i, map rewrite f), uses=uses, mem=mem}
156    
157       | I.ANNOTATION{i,a} => I.ANNOTATION{i=frewriteDef(mapr,i,fs,ft),a=a}       | I.ANNOTATION{i,a} => I.ANNOTATION{i=frewriteDef(mapr,i,fs,ft),a=a}
158       | _  => instr       | _  => instr

Legend:
Removed from v.545  
changed lines
  Added in v.624

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