LLVM: include/llvm/IR/GenericConvergenceVerifierImpl.h File Reference (original) (raw)

A verifier for the static rules of convergence control tokens that works with both LLVM IR and MIR. More...

A verifier for the static rules of convergence control tokens that works with both LLVM IR and MIR.

This template implementation resides in a separate file so that it does not get injected into every .cpp file that includes the generic header.

DO NOT INCLUDE THIS FILE WHEN MERELY USING CYCLEINFO.

This file should only be included by files that implement a specialization of the relevant templates. Currently these are:

• llvm/lib/IR/Verifier.cpp
• llvm/lib/CodeGen/MachineVerifier.cpp

Definition in file GenericConvergenceVerifierImpl.h.