On Tue, 26 Apr 2016, Richard Biener wrote:
Note that I think
/* (X /[ex] A) * A -> X. */
(simplify
(mult (convert? (exact_div @0 @1)) @1)
/* Look through a sign-changing conversion. */
(convert @0))
has a bug as we use operand_equal_p for comparing @1 but
that treats equal but different typed INTEGER_CSTs as equal...
Thus this lacks the tree_nop_conversion_p check.
You seemed ok with removing that check last year
https://gcc.gnu.org/ml/gcc-patches/2015-05/msg01551.html
For this specific pattern, I think any conversion should work. Did you
have a particular example in mind?
--
Marc Glisse
