> 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
