An AvailableLoad indicates a field and (optionally) object reference
for which a value is available. It is used to implement
redundant load elimination and forward substitution in ValueNumberAnalysis.
The idea is that programmers often reload fields unnecessarily when they
"know" that the value will not change. In order to deduce the intended
meaning of such code, our analyses need to figure out that such
loads return the same value.
AvailableLoad objects may be used as keys in both hash and tree
sets and maps.
author: David Hovemeyer See Also:ValueNumberAnalysis
Constructor from object reference and instance field.
Parameters: reference - the ValueNumber of the object reference Parameters: field - the InstanceField