We’re working with a number of tensor expressions and trying to simplify them but rewrite simplify has a condition to apply simplifications only on index type Expressions. Our case is very simple and worked with the previous simplifier, it looks something like (x + y) - (x + y), where x and y are both floats.
The mentioned condition is here (and also in other operations’ mutators): https://github.com/dmlc/tvm/blob/master/src/arithmetic/rewrite_simplify.cc#L144
Shouldn’t we be able to simplify expressions of other types (not just integers)?
@tqchen Maybe I’m not seeing the full context, but what would be some sample cases where is it unsafe to simplify non-integer Expressions? Do you think it’d be safe if we extend that condition to floats?