<div dir="ltr">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.</div>