You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Because the expr is (x + (int64)-9223372036854775807), it runs into this ICHECK
E File "/home/xiaoquan.li/tvm/src/arith/const_int_bound.cc", line 455
E TVMError:
E ---------------------------------------------------------------
E An internal invariant was violated during the execution of TVM.
E Please read TVM's error reporting guidelines.
E More details can be found here: https://discuss.tvm.ai/t/error-reporting/7793.
E ---------------------------------------------------------------
E Check failed: y != kNegInf == false:
Since -INT64_MAX is used as kNegInf in const_int_bound, does it mean this value shouldn't be used in TIR?
The text was updated successfully, but these errors were encountered:
lixiaoquan
changed the title
const_int_bound doesn't allow INT64_MAX in expr
[ARITH]const_int_bound doesn't allow INT64_MAX in expr
Nov 13, 2020
Patch to reproduce:
Because the expr is
(x + (int64)-9223372036854775807)
, it runs into this ICHECKSince -INT64_MAX is used as kNegInf in const_int_bound, does it mean this value shouldn't be used in TIR?
The text was updated successfully, but these errors were encountered: