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

Oliver Giersch via llvm-dev llvm-dev at lists.llvm.org
Wed Apr 8 01:15:43 PDT 2020


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/60714143/attachment.html>


More information about the llvm-dev mailing list