LLVM
6.0.0svn

The verifier algorithm is phrased in terms of availability. More...
Public Attributes  
DenseSet< const Value * >  AvailableIn 
DenseSet< const Value * >  AvailableOut 
DenseSet< const Value * >  Contribution 
bool  Cleared = false 
The verifier algorithm is phrased in terms of availability.
The set of values "available" at a given point in the control flow graph is the set of correctly relocated value at that point, and is a subset of the set of definitions dominating that point. State we compute and track per basic block.
Definition at line 140 of file SafepointIRVerifier.cpp.
Definition at line 142 of file SafepointIRVerifier.cpp.
Referenced by TransferBlock(), and Verify().
Definition at line 145 of file SafepointIRVerifier.cpp.
Referenced by TransferBlock(), and Verify().
Definition at line 153 of file SafepointIRVerifier.cpp.
Referenced by TransferBlock(), and Verify().
Definition at line 149 of file SafepointIRVerifier.cpp.
Referenced by TransferBlock(), and Verify().