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 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 types, for instance ARM,

[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 poin