llvm::MemorySSA::verifyOrderingDominationAndDefUses

Verify ordering, domination, and def-use links over Blocks.

Synopsis

Declared in <llvm/Analysis/MemorySSA.h>

template<typename IterT>
void
verifyOrderingDominationAndDefUses(
    IterT Blocks,
    VerificationLevel VL = VerificationLevel::Fast) const;

Parameters

NameDescription
BlocksBlocks to verify.
VLHow thoroughly to verify.