This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [SPARC] Fix PR target/59316
- From: Eric Botcazou <ebotcazou at adacore dot com>
- To: "Joseph S. Myers" <joseph at codesourcery dot com>
- Cc: gcc-patches at gcc dot gnu dot org
- Date: Thu, 05 Dec 2013 23:52:33 +0100
- Subject: Re: [SPARC] Fix PR target/59316
- Authentication-results: sourceware.org; auth=none
- References: <5391528 dot xJ694iqFr8 at polaris> <1879192 dot Li23ppFXCB at polaris> <Pine dot LNX dot 4 dot 64 dot 1312052226330 dot 16480 at digraph dot polyomino dot org dot uk>
> Generically, each iteration of the compare-and-exchange loop should be as
> if the previous iterations hadn't happened, so restoring all the previous
> FP state is right in that sense.
I see.
> With regard to the implementation, the insn patterns for the SPARC
> builtins should specify that the condition code is clobbered when FSR is
> set, which should avoid any problems in that regard.
They are unspec_volatile though so they already clobber all the hard regs.
> Indeed, __atomic_feraiseexcept is defined to ignore all bits in its
> argument that aren't exception bits, so no masking is needed.
OK, thanks for confirming.
--
Eric Botcazou