We will indeed needs these opertaionts for integers. One thing we can do is to disable them for floats, or introduce a flag like you suggested to disable for floats.
I believe for many rules you mentioned they are already only enabled for integers For example https://github.com/apache/tvm/blob/main/src/arith/rewrite_simplify.cc#L748 --- [Visit Topic](https://discuss.tvm.apache.org/t/discuss-is-constant-division-to-multiplication-rewrite-in-tvm-necessary/18615/5) to respond. You are receiving this because you enabled mailing list mode. To unsubscribe from these emails, [click here](https://discuss.tvm.apache.org/email/unsubscribe/e3fdfdf521c4dd953933fd086dd2a7909c99bdc00547953707f888e01276db17).
