LLVM  6.0.0svn
Public Attributes | List of all members
BasicBlockState Struct Reference

The verifier algorithm is phrased in terms of availability. More...

Collaboration diagram for BasicBlockState:
Collaboration graph
[legend]

Public Attributes

DenseSet< const Value * > AvailableIn
 
DenseSet< const Value * > AvailableOut
 
DenseSet< const Value * > Contribution
 
bool Cleared = false
 

Detailed Description

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.

Member Data Documentation

◆ AvailableIn

DenseSet<const Value *> BasicBlockState::AvailableIn

Definition at line 143 of file SafepointIRVerifier.cpp.

Referenced by RecalculateBBsStates(), TransferBlock(), and Verify().

◆ AvailableOut

DenseSet<const Value *> BasicBlockState::AvailableOut

Definition at line 146 of file SafepointIRVerifier.cpp.

Referenced by RecalculateBBsStates(), and TransferBlock().

◆ Cleared

bool BasicBlockState::Cleared = false

Definition at line 154 of file SafepointIRVerifier.cpp.

Referenced by TransferBlock(), and Verify().

◆ Contribution

DenseSet<const Value *> BasicBlockState::Contribution

Definition at line 150 of file SafepointIRVerifier.cpp.

Referenced by RecalculateBBsStates(), TransferBlock(), and Verify().


The documentation for this struct was generated from the following file: