This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: [trans-mem] tm_safe diagnostics


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.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]