Package edu.umd.cs.findbugs.ba.vna
Class ValueNumberCache
java.lang.Object
edu.umd.cs.findbugs.ba.vna.ValueNumberCache
A cache mapping instructions and input values to the output values they
produce. We must always produce the same output given identical input, or
else value number analysis will not terminate.
- Author:
- David Hovemeyer
- See Also:
-
Nested Class Summary
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionvoid
addOutputValues
(ValueNumberCache.Entry entry, ValueNumber[] outputValueList) Add output values for given entry.Look up cached output values for given entry.
-
Constructor Details
-
ValueNumberCache
public ValueNumberCache()
-
-
Method Details
-
lookupOutputValues
Look up cached output values for given entry.- Parameters:
entry
- the entry- Returns:
- the list of output values, or null if there is no matching entry in the cache
-
addOutputValues
Add output values for given entry. Assumes that lookupOutputValues() has determined that the entry is not in the cache.- Parameters:
entry
- the entryoutputValueList
- the list of output values produced by the entry's instruction and input values
-