Verifier for static convergence‐control token rules over IR or MIR.
Synopsis
Declared in <llvm/ADT/GenericConvergenceVerifier.h>
template<typename ContextT>
class GenericConvergenceVerifier;Description
Specializes on an SSA context so the same checks apply to LLVM IR and Machine IR. Call initialize, visit each block and instruction, then verify against a dominator tree.
Type Aliases
Name |
Description |
Basic‐block type from the SSA context. |
|
Cycle‐info analysis specialized for this context. |
|
Dominator‐tree type from the SSA context. |
|
Function type from the SSA context. |
|
Instruction type from the SSA context. |
|
SSA value reference type from the SSA context. |
Member Functions
Name |
Description |
Reset verifier state for a new function. |
|
Bind failure reporting and the function under verification. |
|
Whether any controlled convergence tokens were observed. |
|
Finish verification against dominator tree |
|
|
Created with MrDocs