Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[Bugfix] Fix other div zero errors also in rewrite_simplify #8983

Merged
merged 9 commits into from
Sep 16, 2021
Merged

[Bugfix] Fix other div zero errors also in rewrite_simplify #8983

Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
9 commits
Select commit Hold shift + click to select a range
e35663f
fix div zero error in rewrite_simplify
Sep 8, 2021
17a5174
update the style to fix ci error
Sep 8, 2021
564bf4a
remove useless code and comment
Sep 9, 2021
f011d59
Merge remote-tracking branch 'upstream/main' into fix-division-by-zero
Sep 10, 2021
d4b33b8
fix div zero error of mod, floordiv, floormod in rewrite_simplify
Sep 10, 2021
158eb5d
rewrite the test case of divison by zero to fix ci error
Sep 10, 2021
8f99035
remove useless tab
Sep 10, 2021
f4015d9
retrigger ci
Sep 16, 2021
c185796
remove useless blank to retrigger ci
Sep 16, 2021
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
remove useless code and comment
  • Loading branch information
syang-ng committed Sep 9, 2021
commit 564bf4a0de08628a3ff14bcb20a423a2595f1590
1 change: 0 additions & 1 deletion src/arith/rewrite_simplify.cc
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -474,7 +474,6 @@ PrimExpr RewriteSimplifier::Impl::VisitExpr_(const DivNode* op) {
if ((div(ramp(b1, c1, lanes), broadcast(c2, lanes))).Match(ret)) {
int64_t c1val = c1.Eval()->value;
int64_t c2val = c2.Eval()->value;
// If divisor is equal to zero
ICHECK(c2val != 0) << "division by zero";
if (c1val % c2val == 0) {
return ramp(div(b1, c2), div(c1, c2), lanes).Eval();
Expand Down
1 change: 0 additions & 1 deletion tests/python/unittest/test_arith_rewrite_simplify.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,6 @@
# KIND, either express or implied. See the License for the
# specific language governing permissions and limitations
# under the License.
import py
import pytest
import tvm
from tvm import te
Expand Down