(tvm) branch main updated: [ARITH] Fix InternalError: Check failed: (eval_vec_) is false (#18536)

[tlopex]

This is an automated email from the ASF dual-hosted git repository.

tlopex pushed a commit to branch main
in repository https://gitbox.apache.org/repos/asf/tvm.git


The following commit(s) were added to refs/heads/main by this push:
     new cd820b5437 [ARITH] Fix InternalError: Check failed: (eval_vec_) is 
false (#18536)
cd820b5437 is described below

commit cd820b54371c615919e7b58819872b3da451cc6e
Author: Neo Chien <6762509+cchung1...@users.noreply.github.com>
AuthorDate: Wed Dec 3 13:29:59 2025 +0800

    [ARITH] Fix InternalError: Check failed: (eval_vec_) is false (#18536)
    
    Hi Commiters,
    
    This PR is trying to fix issues
    https://github.com/apache/tvm/issues/17936. Any suggestions would be
    appreciated if you are available.
    
    ### Root Cause
    
    Code paths that expected vector evaluation but encounter the scalar-only
    evaluation `eval_vec_ = false`
    
    ### Solution
    
    `BroadcastNode` just replicates the same scalar value and the evaluation
    might not requires special vector-aware handling
    
    Co-authored-by: cchung100m <cchung1...@users.noreply.github.com>
---
 src/arith/int_set.cc | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/arith/int_set.cc b/src/arith/int_set.cc
index 1433ceb70f..1e87bc086c 100644
--- a/src/arith/int_set.cc
+++ b/src/arith/int_set.cc
@@ -532,7 +532,10 @@ class IntervalSetEvaluator : public 
ExprFunctor<IntervalSet(const PrimExpr&)> {
   }
 
   IntervalSet VisitExpr_(const BroadcastNode* op) final {
-    ICHECK(eval_vec_);
+    if (!eval_vec_) {
+      DLOG(WARNING) << "cannot evaluate set on expression " << 
ffi::GetRef<PrimExpr>(op);
+      return IntervalSet::Everything();
+    }
     return VisitExpr(op->value);
   }