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/compiler/CodeGen/cpscompile/memAliasing.sml
ViewVC logotype

Diff of /sml/trunk/compiler/CodeGen/cpscompile/memAliasing.sml

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

revision 4812, Wed Sep 12 21:56:57 2018 UTC revision 4813, Wed Sep 12 23:55:25 2018 UTC
# Line 103  Line 103 
103           | sizeOf(C.PURE(P.fwrap,vs,x,cty,k),hp) = sizeOf(k,frecordSize(1,hp))           | sizeOf(C.PURE(P.fwrap,vs,x,cty,k),hp) = sizeOf(k,frecordSize(1,hp))
104           | sizeOf(C.PURE(P.mkspecial,vs,x,cty,k),hp) = sizeOf(k, hp + 2*cellSz)           | sizeOf(C.PURE(P.mkspecial,vs,x,cty,k),hp) = sizeOf(k, hp + 2*cellSz)
105           | sizeOf(C.PURE(P.makeref,vs,x,cty,k),hp) = sizeOf(k, hp + 2*cellSz)           | sizeOf(C.PURE(P.makeref,vs,x,cty,k),hp) = sizeOf(k, hp + 2*cellSz)
106           | sizeOf(C.PURE(P.i32wrap,vs,x,cty,k),hp) = sizeOf(k, hp + 2*cellSz)           | sizeOf(C.PURE(P.i32wrap,vs,x,cty,k),hp) = sizeOf(k, hp + 2*cellSz)   (* 64BIT: FIXME *)
107           | sizeOf(C.PURE(P.newarray0,vs,x,cty,k),hp) = sizeOf(k,hp+array0Size)           | sizeOf(C.PURE(P.newarray0,vs,x,cty,k),hp) = sizeOf(k,hp+array0Size)
108           | sizeOf(C.PURE(p,vs,x,cty,k),hp) = sizeOf(k,hp)           | sizeOf(C.PURE(p,vs,x,cty,k),hp) = sizeOf(k,hp)
109           | sizeOf(C.ARITH(a,vs,x,cty,k),hp) = sizeOf(k,hp)           | sizeOf(C.ARITH(a,vs,x,cty,k),hp) = sizeOf(k,hp)
# Line 194  Line 194 
194    
195             fun mkspecial(x,v,hp) = mkNormalRecord(x,[(v,off0)],hp)             fun mkspecial(x,v,hp) = mkNormalRecord(x,[(v,off0)],hp)
196             fun fwrap(x,v,hp) = mkFRecord(x,[(v,off0)],hp)             fun fwrap(x,v,hp) = mkFRecord(x,[(v,off0)],hp)
197             fun i32wrap(x,v,hp) = mkNormalRecord(x,[(v,off0)],hp)             fun i32wrap(x,v,hp) = mkNormalRecord(x,[(v,off0)],hp)        (* 64BIT: FIXME *)
198             fun makeref(x,v,hp) = mkNormalRecord(x,[(v,off0)],hp)             fun makeref(x,v,hp) = mkNormalRecord(x,[(v,off0)],hp)
199             fun newarray0(x,hp) =             fun newarray0(x,hp) =
200                 bind(x,PT.mkRecord(NONE,[PT.mkRecord(NONE,[])]))                 bind(x,PT.mkRecord(NONE,[PT.mkRecord(NONE,[])]))
# Line 269  Line 269 
269                   (makeref(x,v,hp); infer(k,hp+8))                   (makeref(x,v,hp); infer(k,hp+8))
270               | infer(C.PURE(P.fwrap,[v],x,cty,k),hp) =               | infer(C.PURE(P.fwrap,[v],x,cty,k),hp) =
271                   (fwrap(x,v,hp); infer(k,frecordSize(1,hp)))                   (fwrap(x,v,hp); infer(k,frecordSize(1,hp)))
272               | infer(C.PURE(P.i32wrap,[v],x,cty,k),hp) =               | infer(C.PURE(P.i32wrap,[v],x,cty,k),hp) =        (* 64BIT: FIXME *)
273                   (i32wrap(x,v,hp); infer(k,hp+8))                   (i32wrap(x,v,hp); infer(k,hp+8))
274               | infer(C.PURE(P.getcon,[v],x,_,k), hp) =               | infer(C.PURE(P.getcon,[v],x,_,k), hp) =
275                   (getcon(x, v); infer(k, hp))                   (getcon(x, v); infer(k, hp))

Legend:
Removed from v.4812  
changed lines
  Added in v.4813

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