On 11/28/18 10:57 AM, Tamar Christina wrote:
> Hi Joseph,
>
> This is an updated version of my first patch which moves part of the type
> conversion code
> from convert.c to match.pd because match.pd is able to apply this
> transformation in the
> presence of intermediate temporary variables.
>
i...@airs.com;
> rguent...@suse.de
> Subject: RE: [PATCH 2/9][GCC][AArch64][middle-end] Add rules to strip away
> unneeded type casts in expressions
>
> On Tue, 13 Nov 2018, Tamar Christina wrote:
>
> > Would restricting it to flag_unsafe_math_optimizations not be enough
>
On Tue, 13 Nov 2018, Tamar Christina wrote:
> Would restricting it to flag_unsafe_math_optimizations not be enough in
> this case? Since if it's only done for unsafe math then you likely won't
> care about a small loss in precision anyway?
We have what should be the right logic (modulo DFP
stina
> Cc: gcc-patches@gcc.gnu.org; nd ; James Greenhalgh
> ; Richard Earnshaw
> ; Marcus Shawcroft
> ; l...@redhat.com; i...@airs.com;
> rguent...@suse.de
> Subject: Re: [PATCH 2/9][GCC][AArch64][middle-end] Add rules to strip away
> unneeded type casts in expressions
>
On Sun, 11 Nov 2018, Tamar Christina wrote:
> This patch adds a match.pd rule for stripping away the type converts
> when you're converting to a type that has twice the precision of the
> current type in the same class, doing a simple math operation on it and
> converting back to the smaller