[llvm-dev] Permitted success/failure orderings for atomic compare_exchange

[Oliver Giersch via llvm-dev]

Thanks for the hints, the text of the standards proposal was very
insightful. I am not entirely sure how to interpret the linked source code.
So does the current (previous?) or rather LLVM's current
interpretation/implementation of that standard consider the combination
release on success and acquire on failure to be legal? The table lists both
relationships "release isStrongerThan acquire" and "acquire isStrongerThan
release" as false. However, the table below it shows the
"isEqualOrStrongerThan" relationship to also be false.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20200408/ea28b311/attachment.html>