[llvm] [LLVM] convergence verifier should visit all instructions (PR #66200)

via llvm-commits llvm-commits at lists.llvm.org
Wed Sep 13 05:32:21 PDT 2023


================
@@ -3576,8 +3576,6 @@ void Verifier::visitCallBase(CallBase &Call) {
   if (Call.isInlineAsm())
     verifyInlineAsmCall(Call);
 
-  CV.visit(Call);
----------------
ruiling wrote:

The ConvergenceVerifier may also keep record of the last-call-instruction's parent. Then it is easy to detect entering a new block inside ConvergenceVerifier::visit(). I have no opinion which is the best way to way.

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


More information about the llvm-commits mailing list