Re: [PATCH] Validate the HLE memory models.

2012-04-25 Thread Richard Henderson
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_

[PATCH] Validate the HLE memory models.

2012-04-25 Thread Andi Kleen
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