On 10/14/22 05:03, Christoph Müllner wrote:
>
> My guess is people like the ISA mapping (more) because it has been 
> documented and reviewed.
> And it is the product of a working group that worked out the 
> RVWMO specification.
> This gives some confidence that we don't need to rework it massively 
> because of correctness issues in the future.

This stuff can be hard and if someone with deep experience in memory 
models has reviewed the ISA mapping, then I'd prefer it over the GCC 
mapping.   It's just more likely the experts in the memory model space 
are more likely to get it right than a bunch of compiler junkies, no 
matter how smart we think we are :-)

Maybe I'm being too optimistic, but it's not hard for me to see a path 
where GCC and LLVM both implement the ISA mapping by default.  Anything 
else is just a path of long term pain.


Jeff