diff --git a/taichi/analysis/verify.cpp b/taichi/analysis/verify.cpp
index 4ab15f01e0581..cd76cb8e30316 100644
--- a/taichi/analysis/verify.cpp
+++ b/taichi/analysis/verify.cpp
@@ -47,14 +47,14 @@ class IRVerifier : public BasicStmtVisitor {
       }
       TI_ASSERT_INFO(
           found,
-          "IR broken: stmt {} cannot have operand {}."
+          "IR broken: stmt {} {} cannot have operand {} {}."
           " If you are using autodiff, please check"
           " https://docs.taichi.graphics/lang/articles/advanced/"
           "differentiable_programming#kernel-simplicity-rule"
           " If it doesn't help, please report this bug by opening an issue at"
           " https://github.com/taichi-dev/taichi to help us improve."
           " Thanks in advance!",
-          stmt->id, op->id);
+          stmt->type(), stmt->id, op->type(), op->id);
     }
     visible_stmts_.back().insert(stmt);
   }