On 10/28/2011 12:07 AM, Richard Henderson wrote:
This exposed a wealth of problems in code that has heretofore never
been tested. The fourth patch makes certain that all expansions of
compare-and-swap go through a single routine.
I've tested the whole series with and without the last patch. So
that I've tested both the sync_ and atomic_ paths. I've not attempted
to test if both are present. I rather assume that'll never be the
case for any target.
Excellent. The code is written to always check first for the new atomic
patterns, and use them if present. If it works with either one present,
it should be fine with both, should it ever happen... but we can leave
that until some person actually decides that needs to happen :-)
Thanks for exercising and fixing that untested code path. now other
targets should be easier to convert too.
Andrew
