This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [patch 2/2] PR27313 Transform conditional stores
- From: Tehila Meyzels <TEHILA at il dot ibm dot com>
- To: Michael Matz <matz at suse dot de>
- Cc: gcc-patches at gcc dot gnu dot org
- Date: Tue, 15 May 2007 15:49:58 +0300
- Subject: Re: [patch 2/2] PR27313 Transform conditional stores
Michael Matz <matz@suse.de> wrote on 30/04/2007 16:12:01:
>
> But that patch is bound to die in that form anyway. The notrap property
> can't be easily expressed in our infrastructure, so I've integrated it
> into the transformation itself. A pity. But try the attached patch
> instead.
>
>
Hi Michael,
Do you think this patch can be extended to conditional loads as well?
I mean, in case you have:
if (cond) x = *p;
-->
int temp = *p;
if (cond) x = temp;
Of course we need non-trap check here, since we're performing a speculative
load.
Does it seems a reasonable extension to your patch?
I'd like to get some opinions and suggestions.
Thanks,
Tehila.
> Ciao,
> Michael.[attachment "all-cselim.diff" deleted by Tehila
Meyzels/Haifa/IBM]