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: [email protected] For queries about this service, please contact Infrastructure at: [email protected]
