Hello,
This patch enables the use of LDAPR for load-acquire semantics. After
some internal investigation based on the work published by Podkopaev et
al. (https://dl.acm.org/doi/10.1145/3290382) we can confirm that using
LDAPR for the C++ load-acquire semantics is a correct relaxation.
Bootst
Hi Andre,
> -Original Message-
> From: Andre Vieira (lists)
> Sent: Thursday, November 10, 2022 11:17 AM
> To: gcc-patches@gcc.gnu.org
> Cc: Kyrylo Tkachov ; Richard Earnshaw
> ; Richard Sandiford
>
> Subject: [PATCH 1/2] aarch64: Enable the use of LDAPR for
Tkachov ; Richard Earnshaw
; Richard Sandiford
Subject: [PATCH 1/2] aarch64: Enable the use of LDAPR for load-acquire
semantics
Hello,
This patch enables the use of LDAPR for load-acquire semantics. After
some internal investigation based on the work published by Podkopaev et
al. (https
> -Original Message-
> From: Andre Vieira (lists)
> Sent: Monday, November 14, 2022 2:09 PM
> To: Kyrylo Tkachov ; gcc-patches@gcc.gnu.org
> Cc: Richard Earnshaw ; Richard Sandiford
>
> Subject: Re: [PATCH 1/2] aarch64: Enable the use of LDAPR for load-acquire
>
On 14/11/2022 14:12, Kyrylo Tkachov wrote:
-Original Message-
From: Andre Vieira (lists)
Sent: Monday, November 14, 2022 2:09 PM
To: Kyrylo Tkachov ; gcc-patches@gcc.gnu.org
Cc: Richard Earnshaw ; Richard Sandiford
Subject: Re: [PATCH 1/2] aarch64: Enable the use of LDAPR for load
> -Original Message-
> From: Andre Vieira (lists)
> Sent: Monday, November 14, 2022 2:24 PM
> To: Kyrylo Tkachov ; gcc-patches@gcc.gnu.org
> Cc: Richard Earnshaw ; Richard Sandiford
>
> Subject: Re: [PATCH 1/2] aarch64: Enable the use of LDAPR for load-acquire
>
