anijain2305 commented on issue #5455: URL: https://github.com/apache/incubator-tvm/issues/5455#issuecomment-623763751
Dug little bit deeper, but still not able to root cause. I think the const int bounds are good. https://github.com/apache/incubator-tvm/blob/7e88030a804357421b766d7309f9085ca2b83378/src/arith/const_int_bound.cc#L149-L161 The problem here is that two different PrimExpr have same PrimExprNode* at L150 ~~~ tvm/src/arith/const_int_bound.cc:166: Expr --> 63, op = 0x3b73800 tvm/src/arith/const_int_bound.cc:154: Expr --> 15, op = 0x3b73800 ~~~ And therefore, Expr(63) whose ConstIntBound is set correctly to [63, 63] is used to compare the bounds for Expr(15), causing failure. Will pursue this direction, please let me know of any suggestions @tqchen ---------------------------------------------------------------- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. For queries about this service, please contact Infrastructure at: [email protected]
