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 141 of file SafepointIRVerifier.cpp.
Definition at line 143 of file SafepointIRVerifier.cpp.
Referenced by RecalculateBBsStates(), TransferBlock(), and Verify().
Definition at line 146 of file SafepointIRVerifier.cpp.
Referenced by RecalculateBBsStates(), and TransferBlock().
Definition at line 154 of file SafepointIRVerifier.cpp.
Referenced by TransferBlock(), and Verify().
Definition at line 150 of file SafepointIRVerifier.cpp.
Referenced by RecalculateBBsStates(), TransferBlock(), and Verify().