> Hum, somehow I convinced myself that it was ok if the precision
> wasn't the same (but I can't remember my line of thought). Your
> testcase clearly shows I was wrong ;)
It's not mine, but Zhendong Su's. For the sake of completeness, I also had an
Ada testcase, but I know how convincing C tes
On Sun, 5 Jul 2015, Eric Botcazou wrote:
> > The following moves some bitwise patterns from the match-and-simplify
> > branch, extending them with proper conditional converts and removing
> > the corresponding patterns from fold-const.c
>
> There is a pasto/thinko in the last pattern:
>
> /* Con
> The following moves some bitwise patterns from the match-and-simplify
> branch, extending them with proper conditional converts and removing
> the corresponding patterns from fold-const.c
There is a pasto/thinko in the last pattern:
/* Convert ~X ^ C to X ^ ~C. */
(simplify
(bit_xor (convert?
The following moves some bitwise patterns from the match-and-simplify
branch, extending them with proper conditional converts and removing
the corresponding patterns from fold-const.c
Bootstrap & regtest in progress on x86_64-unknown-linux-gnu.
Richard.
2015-06-30 Richard Biener
* f
