[GitHub] [tvm] ashutosh-arm commented on a diff in pull request #13918: [Arith] ConstIntBound was incorrectly assuming bounds were over int64…

ashutosh-arm commented on code in PR #13918: URL: https://github.com/apache/tvm/pull/13918#discussion_r1112189208 ## tests/python/relay/test_op_floordiv.py: ## @@ -0,0 +1,112 @@ +import numpy as np +import pytest +import tvm +from tvm import te +import scipy +from tvm import rel

[GitHub] [tvm] ashutosh-arm commented on a diff in pull request #13918: [Arith] ConstIntBound was incorrectly assuming bounds were over int64…

ashutosh-arm commented on code in PR #13918: URL: https://github.com/apache/tvm/pull/13918#discussion_r1098522045 ## src/tir/transforms/lower_intrin.cc: ## @@ -214,8 +221,15 @@ class IntrinInjecter : public tvm::arith::IRMutatorWithAnalyzer { // If the numerator's lower

[GitHub] [tvm] ashutosh-arm commented on a diff in pull request #13918: [Arith] ConstIntBound was incorrectly assuming bounds were over int64…

ashutosh-arm commented on code in PR #13918: URL: https://github.com/apache/tvm/pull/13918#discussion_r1098522045 ## src/tir/transforms/lower_intrin.cc: ## @@ -214,8 +221,15 @@ class IntrinInjecter : public tvm::arith::IRMutatorWithAnalyzer { // If the numerator's lower