Re: [PATCH] Fix forwprop pattern (T)(P + A) - (T)P - (T)A, Part 1

2014-06-25 Thread Richard Biener
On Tue, Jun 24, 2014 at 2:30 PM, Bernd Edlinger bernd.edlin...@hotmail.de wrote: Hi Richard, I have here part 1 of this patch, which does not use undefined behaviour. Currently I start to think that also TYPE_SATURATING just cannot happen here, because only some targets have saturating

[PATCH] Fix forwprop pattern (T)(P + A) - (T)P - (T)A, Part 1

2014-06-24 Thread Bernd Edlinger
Hi Richard, I have here part 1 of this patch, which does not use undefined behaviour. Currently I start to think that also TYPE_SATURATING just cannot happen here, because only some targets have saturating types, for instance ARM, and also for those who have it, it is only allowed with fixed