[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