> @@ -54,8 +54,13 @@ (define_insn "atomic_load_ztso"
> if (model == MEMMODEL_SEQ_CST)
>return "fence\trw,rw\;"
>"\t%0,%1";
> -else
> - return "\t%0,%1";
> +
> +/* Ignoring RCsc atomic load-acquire on MEMMODEL_SEQ_CST due to
> + Note 3 abi break. */
> +
[1] https://github.com/riscv/riscv-zalasr
[2] https://sourceware.org/pipermail/binutils/2025-March/140065.html
Add minimal support for the zalasr (load-acquire/store-release)
extension
Currently there is no toggle to opt into the abi-breaking note 3
mappings in the PSABI doc so support for that h
