LLVM: llvm::GenericConvergenceVerifier< ContextT > Class Template Reference (original) (raw)

#include "[llvm/ADT/GenericConvergenceVerifier.h](GenericConvergenceVerifier%5F8h%5Fsource.html)"

Inheritance diagram for llvm::GenericConvergenceVerifier< ContextT >:

Public Types
using BlockT = typename ContextT::BlockT
using FunctionT = typename ContextT::FunctionT
using ValueRefT = typename ContextT::ValueRefT
using InstructionT = typename ContextT::InstructionT
using DominatorTreeT = typename ContextT::DominatorTreeT
using CycleInfoT = GenericCycleInfo
using CycleT = typename CycleInfoT::CycleT
Public Member Functions
void initialize (raw_ostream *OS, function_ref< void(const Twine &Message)> FailureCB, const FunctionT &F)
void clear ()
void visit (const BlockT &BB)
void visit (const InstructionT &I)
void verify (const DominatorTreeT &DT)
bool sawTokens () const

Detailed Description

template
class llvm::GenericConvergenceVerifier< ContextT >

Definition at line 23 of file GenericConvergenceVerifier.h.

Member Typedef Documentation

◆ BlockT

template

◆ CycleInfoT

template

◆ CycleT

template

◆ DominatorTreeT

template

◆ FunctionT

template

◆ InstructionT

template

◆ ValueRefT

template

Member Function Documentation

◆ clear()

◆ initialize()

template

◆ sawTokens()

template

◆ verify()

Definition at line 130 of file GenericConvergenceVerifierImpl.h.

References assert(), llvm::SmallVectorImpl< T >::clear(), llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::count(), llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::end(), llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::erase(), F, llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::find(), I, llvm::is_contained(), llvm::partition(), llvm::SmallVectorTemplateBase< T, bool >::push_back(), llvm::successors(), and llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::try_emplace().

Referenced by verifyConvergenceControl().

◆ visit() [1/2]

◆ visit() [2/2]

The documentation for this class was generated from the following files: