The investigation I'm doing will affect both the old and new infra. So far I have found out that we currently have simplification rules that are not correct. For example, we simplify (x*4 + y) / 2 to x*2 + y/2 which is not correct in general but is true if we prove that x*4+y and y are both non-negative (sufficient conditions). For now I'm trying to identify such (infra-independent) problems. The fixes then can be applied independently to new and old infras.
--- [Visit Topic](https://discuss.tvm.ai/t/integer-constant-folding-for-division-and-mod/2008/6) 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/84883077a4b3386c14337584783800779eaa6a68ad7e35eab3244f0f3a5b4a18). Tianqi Chen, UW, Seattle, WA, 98105, United States http://tracking.discuss.tvm.ai/tracking/unsubscribe?msgid=JG2qJOeEDftEHTMxUbqXGA2
