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

[via llvm-commits]

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

I think not? The visit() method you pointed out is only called in Verifier::visitCallBase(). So it cannot reset the flag in a new block.

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