tvm-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Salem Derisavi via TVM Discuss <>
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](
to respond.

You are receiving this because you enabled mailing list mode.

To unsubscribe from these emails, [click here](

Tianqi Chen, UW, Seattle, WA, 98105, United States
  • Unnamed multipart/alternative (inline, None, 0 bytes)
View raw message