You're right. I just checked those specific rules in the new infra and they were fixed. I had mistakenly assumed that the rules of the new infra were copied from the old infra without further changes.
On an orthogonal but related topic: I believe it's still important to fix bugs in old releases for two reasons: 1) it's not known when the new infra (or in general new features) will be enabled. Between now and then there is a known bug and I'd rather see it fixed 2) There could be (possibly heavily-customized) forks of TVM off of release 0.5 (or any old release, for that matter) that may not be able to upgrade to 0.6 (or later) as soon as 0.6 is released for stability purposes. These forks could be actually in use by customers' who are reluctant to make drastic changes. For those types of TVM forks, I believe there is a need to fix important bugs in maintenance releases (e.g., 0.5.1) What do you think? If we decide to have maintenance releases, we need to come up with a process on what kind of bugs we fix in release bugs, how often, etc. --- [Visit Topic](https://discuss.tvm.ai/t/integer-constant-folding-for-division-and-mod/2008/8) to respond. You are receiving this because you enabled mailing list mode. To unsubscribe from these emails, [click here](https://discuss.tvm.ai/email/unsubscribe/7a74facbd5fd8af0808330dfc96d1b294176fe866f79647d734c22de733ea173). Tianqi Chen, UW, Seattle, WA, 98105, United States http://tracking.discuss.tvm.ai/tracking/unsubscribe?msgid=HdcHEJWLQICH9J9Z8xvObg2