| Examines each residency check (RCExpr) and update check (UCExpr)
and determines whether or it is redundent. If a residency check checks
something that we know is resident (i.e. the this pointer or the result
of an object creation), then the check is redundent. Once an update check
has been performed on a value, all subsequent checks are redundent.
Redundent checks are removed from the control flow graph.
See Also: RCExpr See Also: UCExpr |