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/hppa/ra/hppaRewrite.sml
ViewVC logotype

Diff of /sml/branches/idlbasis-devel/src/MLRISC/hppa/ra/hppaRewrite.sml

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

revision 858, Wed Jun 27 21:20:27 2001 UTC revision 859, Wed Jun 27 21:43:12 2001 UTC
# Line 46  Line 46 
46       | I.BV{x, b, labs, n} => I.BV{x=replc x, b=replc b, labs=labs,n=n}       | I.BV{x, b, labs, n} => I.BV{x=replc x, b=replc b, labs=labs,n=n}
47       | I.BE{b, d, sr, labs, n} => I.BE{b=replc b, d=d, sr=sr, labs=labs, n=n}       | I.BE{b, d, sr, labs, n} => I.BE{b=replc b, d=d, sr=sr, labs=labs, n=n}
48       | I.BLR{x, t, labs, n} => I.BLR{x=replc x, t=t, labs=labs,n=n}       | I.BLR{x, t, labs, n} => I.BLR{x=replc x, t=t, labs=labs,n=n}
49       | I.BLE{b, d, sr, t, defs, uses, mem} =>       | I.BLE{b, d, sr, t, defs, uses, cutsTo, mem} =>
50          I.BLE{b=replc b, d=d, sr=sr, t=t, defs=defs,          I.BLE{b=replc b, d=d, sr=sr, t=t, defs=defs,
51                uses=C.CellSet.map {from=rs,to=rt} uses, mem=mem}                uses=C.CellSet.map {from=rs,to=rt} uses, cutsTo=cutsTo, mem=mem}
52       | I.BL{lab, t, defs, uses, mem, n} =>       | I.BL{lab, t, defs, uses, mem, cutsTo, n} =>
53          I.BL{lab=lab, t=t, defs=defs,          I.BL{lab=lab, t=t, defs=defs, cutsTo=cutsTo,
54               uses=C.CellSet.map {from=rs,to=rt} uses, mem=mem, n=n}               uses=C.CellSet.map {from=rs,to=rt} uses, mem=mem, n=n}
55       | I.LDO{b, t, i} => I.LDO{b=replc b, t=t, i=i}       | I.LDO{b, t, i} => I.LDO{b=replc b, t=t, i=i}
56       | I.COPY{dst, src, tmp, impl} =>       | I.COPY{dst, src, tmp, impl} =>
# Line 100  Line 100 
100       | I.SHIFTV{sv, r, len, t} => I.SHIFTV{sv=sv, r=r, len=len, t=replc t}       | I.SHIFTV{sv, r, len, t} => I.SHIFTV{sv=sv, r=r, len=len, t=replc t}
101       | I.SHIFT{s, r, p, len, t} => I.SHIFT{s=s, r=r, p=p, len=len, t=replc t}       | I.SHIFT{s, r, p, len, t} => I.SHIFT{s=s, r=r, p=p, len=len, t=replc t}
102       | I.BLR{x, t, labs, n} => I.BLR{x=x, t=replc t, labs=labs,n=n}       | I.BLR{x, t, labs, n} => I.BLR{x=x, t=replc t, labs=labs,n=n}
103       | I.BLE{d, b, sr, t, defs, uses, mem} =>       | I.BLE{d, b, sr, t, defs, uses, cutsTo, mem} =>
104          I.BLE{d=d, b=b, sr=sr, t=replc t,          I.BLE{d=d, b=b, sr=sr, t=replc t,
105                defs=C.CellSet.map {from=rs,to=rt} defs, uses=uses, mem=mem}                defs=C.CellSet.map {from=rs,to=rt} defs, uses=uses,
106       | I.BL{lab, t, defs, uses, mem, n} =>                cutsTo=cutsTo, mem=mem}
107          I.BL{lab=lab, t=replc t,       | I.BL{lab, t, defs, uses, mem, cutsTo, n} =>
108            I.BL{lab=lab, t=replc t, cutsTo=cutsTo,
109                defs=C.CellSet.map {from=rs,to=rt} defs, uses=uses, mem=mem, n=n}                defs=C.CellSet.map {from=rs,to=rt} defs, uses=uses, mem=mem, n=n}
110       | I.LDIL{i, t} => I.LDIL{i=i, t=replc t}       | I.LDIL{i, t} => I.LDIL{i=i, t=replc t}
111       | I.LDO{i, b, t} => I.LDO{i=i, b=b, t=replc t}       | I.LDO{i, b, t} => I.LDO{i=i, b=b, t=replc t}
# Line 136  Line 137 
137           I.FBRANCH{cc=cc,fmt=fmt,f1=replc f1,f2=replc f2,t=t,f=f,n=n,long=long}           I.FBRANCH{cc=cc,fmt=fmt,f1=replc f1,f2=replc f2,t=t,f=f,n=n,long=long}
138       | I.FCOPY{dst, src, tmp, impl} =>       | I.FCOPY{dst, src, tmp, impl} =>
139          I.FCOPY{dst=dst, src=map replc src, impl=impl, tmp=tmp}          I.FCOPY{dst=dst, src=map replc src, impl=impl, tmp=tmp}
140       | I.BLE{d, b, sr, t, defs, uses, mem} =>       | I.BLE{d, b, sr, t, defs, uses, cutsTo, mem} =>
141          I.BLE{d=d, b=b, sr=sr, t=replc t, defs=defs,          I.BLE{d=d, b=b, sr=sr, t=replc t, defs=defs,
142               uses=C.CellSet.map {from=fs,to=ft} uses, mem=mem}               uses=C.CellSet.map {from=fs,to=ft} uses, cutsTo=cutsTo, mem=mem}
143       | I.BL{lab, t, defs, uses, mem, n} =>       | I.BL{lab, t, defs, uses, mem, cutsTo, n} =>
144          I.BL{lab=lab, t=t, defs=defs,          I.BL{lab=lab, t=t, defs=defs, cutsTo=cutsTo,
145               uses=C.CellSet.map {from=fs,to=ft} uses, mem=mem, n=n}               uses=C.CellSet.map {from=fs,to=ft} uses, mem=mem, n=n}
146       | I.ANNOTATION{i,a} =>       | I.ANNOTATION{i,a} =>
147          I.ANNOTATION{i=frewriteUse(i,fs,ft),          I.ANNOTATION{i=frewriteUse(i,fs,ft),
# Line 168  Line 169 
169       | I.FCNV{fcnv, f, t} => I.FCNV{fcnv=fcnv, f=f, t=replc t}       | I.FCNV{fcnv, f, t} => I.FCNV{fcnv=fcnv, f=f, t=replc t}
170       | I.FCOPY{dst, src, impl, tmp} =>       | I.FCOPY{dst, src, impl, tmp} =>
171          I.FCOPY{dst=map replc dst, src=src, impl=impl, tmp=ea tmp}          I.FCOPY{dst=map replc dst, src=src, impl=impl, tmp=ea tmp}
172       | I.BLE{d, b, sr, t, defs, uses, mem} =>       | I.BLE{d, b, sr, t, defs, uses, cutsTo, mem} =>
173          I.BLE{d=d, b=b, sr=sr, t=replc t,          I.BLE{d=d, b=b, sr=sr, t=replc t, cutsTo=cutsTo,
174                defs=C.CellSet.map {from=fs,to=ft} defs, uses=uses, mem=mem}                defs=C.CellSet.map {from=fs,to=ft} defs, uses=uses, mem=mem}
175       | I.BL{lab, t, defs, uses, mem, n} =>       | I.BL{lab, t, defs, uses, mem, cutsTo, n} =>
176          I.BL{lab=lab, t=t,          I.BL{lab=lab, t=t, cutsTo=cutsTo,
177               defs=C.CellSet.map {from=fs,to=ft} defs, uses=uses, mem=mem, n=n}               defs=C.CellSet.map {from=fs,to=ft} defs, uses=uses, mem=mem, n=n}
178       | I.ANNOTATION{i,a} =>       | I.ANNOTATION{i,a} =>
179          I.ANNOTATION{i=frewriteDef(i,fs,ft),          I.ANNOTATION{i=frewriteDef(i,fs,ft),

Legend:
Removed from v.858  
changed lines
  Added in v.859

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