This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [trans-mem] tm_safe diagnostics
- From: Richard Guenther <richard dot guenther at gmail dot com>
- To: Richard Henderson <rth at redhat dot com>
- Cc: gcc-patches at gcc dot gnu dot org
- Date: Fri, 10 Jul 2009 09:56:38 +0200
- Subject: Re: [trans-mem] tm_safe diagnostics
- References: <4A564F93.9060600@redhat.com>
On Thu, Jul 9, 2009 at 10:14 PM, Richard Henderson<rth@redhat.com> wrote:
> The idea of tm_safe is to mark/verify functions and regions that perform no
> action that cannot be undone by the transaction machinery, and thus will not
> result in program termination should the transaction be aborted.
>
> Easily done once we've gimplified the function.
With gimplification done unit-at-a-time (I'd appreciate a review of that
patch) this has to be a separate pass run after gimplification (well, or
merge with one of the two existing passes). With all its pros and cons.
So, if it is easy to do while still in GENERIC that is IMHO the prefered
way.
Thanks,
Richard.