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 4316, Fri Sep 16 04:37:36 2016 UTC revision 4418, Mon Sep 18 21:35:55 2017 UTC
# Line 299  Line 299 
299    
300               | infer(C.LOOKER(P.getvar,[],x,_,k),hp) = (getvar x; infer(k,hp))               | infer(C.LOOKER(P.getvar,[],x,_,k),hp) = (getvar x; infer(k,hp))
301    
              | infer(C.LOOKER(P.deflvar,[],x,cty,k),hp) = infer(k,hp) (* nop! *)  
302               | infer (C.LOOKER (P.rawload _, [a], x, _, k), hp) =               | infer (C.LOOKER (P.rawload _, [a], x, _, k), hp) =
303                   (rawload (x, a); infer(k,hp))                   (rawload (x, a); infer(k,hp))
304    
# Line 325  Line 324 
324                   (rawstore (a, x); infer (k, hp))                   (rawstore (a, x); infer (k, hp))
325    
326                  (* Apparently these are nops (see MLRiscGen.sml) *)                  (* Apparently these are nops (see MLRiscGen.sml) *)
              | infer(C.SETTER(P.uselvar, [x], k), hp) = infer(k, hp)  
327               | infer(C.SETTER(P.acclink, _, k), hp) = infer(k, hp)               | infer(C.SETTER(P.acclink, _, k), hp) = infer(k, hp)
328               | infer(C.SETTER(P.setmark, _, k), hp) = infer(k, hp)               | infer(C.SETTER(P.setmark, _, k), hp) = infer(k, hp)
329               | infer(C.SETTER(P.free, [x], k), hp) = infer(k, hp)               | infer(C.SETTER(P.free, [x], k), hp) = infer(k, hp)

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

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