[llvm] [Convergence] allow non-convergent ops before entry and loop intrinsics (PR #65939)

Sameer Sahasrabuddhe via llvm-commits llvm-commits at lists.llvm.org
Tue Sep 12 02:37:15 PDT 2023


================
@@ -63,6 +63,8 @@ template <typename ContextT> class GenericConvergenceVerifier {
   // and not the token values.
   DenseMap<const InstructionT *, const InstructionT *> Tokens;
 
+  bool SeenFirstConvOp = false;
----------------
ssahasra wrote:

It gets reset at the start of every block in the [visit method](https://github.com/ssahasra/llvm-project/blob/fa6dd7a24af2b02f236ec3b980d9407e86c2c4aa/llvm/include/llvm/IR/GenericConvergenceVerifierImpl.h#L76).

https://github.com/llvm/llvm-project/pull/65939


More information about the llvm-commits mailing list