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

[Sameer Sahasrabuddhe 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;
----------------
ssahasra wrote:

Ouch! You are right. I was paying too much attention on the MachineConvergenceVerifier (not checked in yet), and didn't see how the ConvergenceVerifier traverses the function. I have a fix in my branch, will push it out real soo now. Thanks for catching it!

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