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 4418, Mon Sep 18 21:35:55 2017 UTC revision 4419, Mon Sep 18 21:53:44 2017 UTC
# Line 99  Line 99 
99               Int.max(sizeOf(k1,hp),sizeOf(k2,hp))               Int.max(sizeOf(k1,hp),sizeOf(k2,hp))
100           | sizeOf(C.SETTER(P.assign,vs,k),hp) = sizeOf(k,hp+storeListSize)           | sizeOf(C.SETTER(P.assign,vs,k),hp) = sizeOf(k,hp+storeListSize)
101           | sizeOf(C.SETTER(P.update,vs,k),hp) = sizeOf(k,hp+storeListSize)           | sizeOf(C.SETTER(P.update,vs,k),hp) = sizeOf(k,hp+storeListSize)
          | sizeOf(C.SETTER(P.boxedupdate,vs,k),hp) = sizeOf(k,hp+storeListSize)  
102           | sizeOf(C.SETTER(_,vs,k),hp) = sizeOf(k,hp)           | sizeOf(C.SETTER(_,vs,k),hp) = sizeOf(k,hp)
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)
# Line 228  Line 227 
227             fun assign(a,x) = supdate(a,x)             fun assign(a,x) = supdate(a,x)
228             fun unboxedassign(a,x) = supdate(a,x)             fun unboxedassign(a,x) = supdate(a,x)
229             fun update(a,i,x) = arrayupdate(a,i,x)             fun update(a,i,x) = arrayupdate(a,i,x)
            fun boxedupdate(a,i,x) = arrayupdate(a,i,x)  
230             fun unboxedupdate(a,i,x) = arrayupdate(a,i,x)             fun unboxedupdate(a,i,x) = arrayupdate(a,i,x)
231             fun numupdate(a,i,x) = arrayupdate(a,i,x)             fun numupdate(a,i,x) = arrayupdate(a,i,x)
232             fun numupdateF64(a,i,x) = arrayupdate(a,i,x)             fun numupdateF64(a,i,x) = arrayupdate(a,i,x)
# Line 309  Line 307 
307                   (unboxedassign(a,v); infer(k,hp))                   (unboxedassign(a,v); infer(k,hp))
308               | infer(C.SETTER(P.update, [a,i,v], k),hp) =               | infer(C.SETTER(P.update, [a,i,v], k),hp) =
309                   (update(a,i,v); infer(k,hp+storeListSize))                   (update(a,i,v); infer(k,hp+storeListSize))
              | infer(C.SETTER(P.boxedupdate, [a,i,v], k), hp) =  
                  (boxedupdate(a,i,v); infer(k,hp+storeListSize))  
310               | infer(C.SETTER(P.unboxedupdate, [a,i,v], k), hp) =               | infer(C.SETTER(P.unboxedupdate, [a,i,v], k), hp) =
311                   (unboxedupdate(a,i,v); infer(k,hp))                   (unboxedupdate(a,i,v); infer(k,hp))
312               | infer(C.SETTER(P.numupdate{kind=P.INT _}, [a,i,v], k),hp) =               | infer(C.SETTER(P.numupdate{kind=P.INT _}, [a,i,v], k),hp) =

Legend:
Removed from v.4418  
changed lines
  Added in v.4419

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