Dear maintainers of GCC arm port,
Can you share your thoughts on the email I've sent to the mailing list?
I've originally sent it to Will Deacon, gcc and linux mailing lists, but
no one is responding, so I'm pinging you directly.
https://gcc.gnu.org/pipermail/gcc/2023-April/241093.html
---
Peter
*sending this email again, now in plain text
Hi Will,
I'm working at Huawei on verification of atomic primitives. I thought it would
be appropriate to write to you because you're mentioned in several papers on
ARM concurrency (https://www.cl.cam.ac.uk/~pes20/papers/topics.html), gcc
patches an
