tvm-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Salem Derisavi via TVM Discuss <nore...@discuss.tvm.ai>
Subject [TVM Discuss] [Development] Integer constant folding for division and mod
Date Mon, 25 Mar 2019 20:50:13 GMT


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
Mime
  • Unnamed multipart/alternative (inline, None, 0 bytes)
View raw message