Permitted success/failure orderings for atomic compare_exchange

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.