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

Diff of /sml/trunk/src/MLRISC/hppa/ra/hppaRewrite.sml

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

revision 900, Tue Aug 14 15:10:12 2001 UTC revision 901, Tue Aug 14 19:21:17 2001 UTC
# Line 7  Line 7 
7    structure I = Instr    structure I = Instr
8    structure C = I.C    structure C = I.C
9    structure CB = CellsBasis    structure CB = CellsBasis
10      structure CS = CB.CellSet
11    
12    fun error msg = MLRiscErrorMsg.error("HppaRewrite",msg)    fun error msg = MLRiscErrorMsg.error("HppaRewrite",msg)
13    
# Line 49  Line 50 
50       | 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}
51       | I.BLE{b, d, sr, t, defs, uses, cutsTo, mem} =>       | I.BLE{b, d, sr, t, defs, uses, cutsTo, mem} =>
52          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,
53                uses=C.CellSet.map {from=rs,to=rt} uses, cutsTo=cutsTo, mem=mem}                uses=CS.map {from=rs,to=rt} uses, cutsTo=cutsTo, mem=mem}
54       | I.BL{lab, t, defs, uses, mem, cutsTo, n} =>       | I.BL{lab, t, defs, uses, mem, cutsTo, n} =>
55          I.BL{lab=lab, t=t, defs=defs, cutsTo=cutsTo,          I.BL{lab=lab, t=t, defs=defs, cutsTo=cutsTo,
56               uses=C.CellSet.map {from=rs,to=rt} uses, mem=mem, n=n}               uses=CS.map {from=rs,to=rt} uses, mem=mem, n=n}
57       | 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}
58       | I.COPY{dst, src, tmp, impl} =>       | I.COPY{dst, src, tmp, impl} =>
59          I.COPY{dst=dst, src=map replc src, impl=impl, tmp=tmp}          I.COPY{dst=dst, src=map replc src, impl=impl, tmp=tmp}
# Line 103  Line 104 
104       | 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}
105       | I.BLE{d, b, sr, t, defs, uses, cutsTo, mem} =>       | I.BLE{d, b, sr, t, defs, uses, cutsTo, mem} =>
106          I.BLE{d=d, b=b, sr=sr, t=replc t,          I.BLE{d=d, b=b, sr=sr, t=replc t,
107                defs=C.CellSet.map {from=rs,to=rt} defs, uses=uses,                defs=CS.map {from=rs,to=rt} defs, uses=uses,
108                cutsTo=cutsTo, mem=mem}                cutsTo=cutsTo, mem=mem}
109       | I.BL{lab, t, defs, uses, mem, cutsTo, n} =>       | I.BL{lab, t, defs, uses, mem, cutsTo, n} =>
110          I.BL{lab=lab, t=replc t, cutsTo=cutsTo,          I.BL{lab=lab, t=replc t, cutsTo=cutsTo,
111                defs=C.CellSet.map {from=rs,to=rt} defs, uses=uses, mem=mem, n=n}                defs=CS.map {from=rs,to=rt} defs, uses=uses, mem=mem, n=n}
112       | I.LDIL{i, t} => I.LDIL{i=i, t=replc t}       | I.LDIL{i, t} => I.LDIL{i=i, t=replc t}
113       | 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}
114       | I.COPY{dst, src, impl, tmp} =>       | I.COPY{dst, src, impl, tmp} =>
# Line 140  Line 141 
141          I.FCOPY{dst=dst, src=map replc src, impl=impl, tmp=tmp}          I.FCOPY{dst=dst, src=map replc src, impl=impl, tmp=tmp}
142       | I.BLE{d, b, sr, t, defs, uses, cutsTo, mem} =>       | I.BLE{d, b, sr, t, defs, uses, cutsTo, mem} =>
143          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,
144               uses=C.CellSet.map {from=fs,to=ft} uses, cutsTo=cutsTo, mem=mem}               uses=CS.map {from=fs,to=ft} uses, cutsTo=cutsTo, mem=mem}
145       | I.BL{lab, t, defs, uses, mem, cutsTo, n} =>       | I.BL{lab, t, defs, uses, mem, cutsTo, n} =>
146          I.BL{lab=lab, t=t, defs=defs, cutsTo=cutsTo,          I.BL{lab=lab, t=t, defs=defs, cutsTo=cutsTo,
147               uses=C.CellSet.map {from=fs,to=ft} uses, mem=mem, n=n}               uses=CS.map {from=fs,to=ft} uses, mem=mem, n=n}
148       | I.ANNOTATION{i,a} =>       | I.ANNOTATION{i,a} =>
149          I.ANNOTATION{i=frewriteUse(i,fs,ft),          I.ANNOTATION{i=frewriteUse(i,fs,ft),
150                          a=case a of                          a=case a of
# Line 172  Line 173 
173          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}
174       | I.BLE{d, b, sr, t, defs, uses, cutsTo, mem} =>       | I.BLE{d, b, sr, t, defs, uses, cutsTo, mem} =>
175          I.BLE{d=d, b=b, sr=sr, t=replc t, cutsTo=cutsTo,          I.BLE{d=d, b=b, sr=sr, t=replc t, cutsTo=cutsTo,
176                defs=C.CellSet.map {from=fs,to=ft} defs, uses=uses, mem=mem}                defs=CS.map {from=fs,to=ft} defs, uses=uses, mem=mem}
177       | I.BL{lab, t, defs, uses, mem, cutsTo, n} =>       | I.BL{lab, t, defs, uses, mem, cutsTo, n} =>
178          I.BL{lab=lab, t=t, cutsTo=cutsTo,          I.BL{lab=lab, t=t, cutsTo=cutsTo,
179               defs=C.CellSet.map {from=fs,to=ft} defs, uses=uses, mem=mem, n=n}               defs=CS.map {from=fs,to=ft} defs, uses=uses, mem=mem, n=n}
180       | I.ANNOTATION{i,a} =>       | I.ANNOTATION{i,a} =>
181          I.ANNOTATION{i=frewriteDef(i,fs,ft),          I.ANNOTATION{i=frewriteDef(i,fs,ft),
182                          a=case a of                          a=case a of

Legend:
Removed from v.900  
changed lines
  Added in v.901

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