On 04/25/12 01:29, Andi Kleen wrote:
> gcc/:
> 2012-04-24 Andi Kleen
>
> * builtins.c (get_memmodel): Add val. Call target.memmodel_check
> and return new variable.
> * config/i386/i386.c (ix86_memmodel_check): Add.
> (TARGET_MEMMODEL_MASK): Replace with TARGET_MEMMODEL_
From: Andi Kleen
This is on top of Kirill's latest patch.
Based on the earlier discussion. Warn and enforce reasonable memory models
for HLE ACQUIRE and RELEASE. It's not useful to have a weaker compiler
memory model than what the CPU implements for a transaction.
With HLE_ACQUIRE model must b