harpoon.Analysis.Realtime
Interface NoHeapCheckRemoval

All Known Implementing Classes:
AllCheckRemoval, SimpleCheckRemoval

public interface NoHeapCheckRemoval

NoHeapCheckRemoval is an interface that all classes that analyze harpoon.IR.Quads.SET, harpoon.IR.Quads.ASET harpoon.IR.Quads.GET, harpoon.IR.Quads.AGET for possible removal of checks for heap access in a NoHeapRealtimeThread should implement.

Version:
$Id: NoHeapCheckRemoval.java,v 1.2 2002/02/25 20:59:46 cananian Exp $
Author:
Wes Beebee <wbeebee@mit.edu>

Method Summary
 boolean shouldRemoveNoHeapReadCheck(Quad inst)
          Returns true iff a.b or a[b] in f = a.b or f = a[b] cannot be a heap reference.
 boolean shouldRemoveNoHeapWriteCheck(Quad inst)
          Returns true iff a.b or a[b] in a.b = f or a[b] = f cannot be a heap reference.
 

Method Detail

shouldRemoveNoHeapWriteCheck

boolean shouldRemoveNoHeapWriteCheck(Quad inst)
Returns true iff a.b or a[b] in a.b = f or a[b] = f cannot be a heap reference.


shouldRemoveNoHeapReadCheck

boolean shouldRemoveNoHeapReadCheck(Quad inst)
Returns true iff a.b or a[b] in f = a.b or f = a[b] cannot be a heap reference.