[llvm] [LLVM] convergence verifier should visit all instructions (PR #66200)
Matt Arsenault via llvm-commits
llvm-commits at lists.llvm.org
Wed Sep 13 05:23:03 PDT 2023
================
@@ -3576,8 +3576,6 @@ void Verifier::visitCallBase(CallBase &Call) {
if (Call.isInlineAsm())
verifyInlineAsmCall(Call);
- CV.visit(Call);
----------------
arsenm wrote:
If only calls can be convergent, I'm not sure I see how this is different. I don't really expect a visit instruction for the verifier to be side effecting. Can you have a separate enter block visitor?
https://github.com/llvm/llvm-project/pull/66200
More information about the llvm-commits
mailing list