You are viewing a plain text version of this content. The canonical link for it is here.

Posted to commits@tvm.apache.org by GitBox <gi...@apache.org> on 2022/09/08 00:46:02 UTC

[GitHub] [tvm] vinx13 commented on issue #12298: [Bug][TIR] Split Error in Schedule Verification

vinx13 commented on issue #12298:
URL: https://github.com/apache/tvm/issues/12298#issuecomment-1240065651

   any updates @wrongtest-intellif ? I also encountered some similar issues, I was not able to prove ` ((min(0, ((ax0_0_0_ax1_0_0_fused*64) - 63)) + 126) - ((ax0_0_0_ax1_0_0_fused*64) + 63)) <= 0, ax0_0_0_ax1_0_0_fused \in [0, 2)`. I think overall the analyzer cannot guarantee the final result is simplified, by default `analyzer->Simplify` will iterate two times (https://github.com/apache/tvm/blob/main/src/arith/analyzer.cc#L129) which is not always sufficient. Shall we just call `Simplify` since `canonical_simplify` is part of `Simplify`?


-- 
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.

To unsubscribe, e-mail: commits-unsubscribe@tvm.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org