From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43)
	id 1Nuq98-0006ay-AZ
	for qemu-devel@nongnu.org; Thu, 25 Mar 2010 12:43:02 -0400
Received: from [140.186.70.92] (port=49889 helo=eggs.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.43) id 1Nuq97-0006ad-6p
	for qemu-devel@nongnu.org; Thu, 25 Mar 2010 12:43:02 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.69)
	(envelope-from <froydnj@codesourcery.com>) id 1Nuq95-0004q7-SG
	for qemu-devel@nongnu.org; Thu, 25 Mar 2010 12:43:01 -0400
Received: from mx20.gnu.org ([199.232.41.8]:51355)
	by eggs.gnu.org with esmtp (Exim 4.69)
	(envelope-from <froydnj@codesourcery.com>) id 1Nuq95-0004q3-QV
	for qemu-devel@nongnu.org; Thu, 25 Mar 2010 12:42:59 -0400
Received: from mail.codesourcery.com ([38.113.113.100])
	by mx20.gnu.org with esmtp (Exim 4.60)
	(envelope-from <froydnj@codesourcery.com>) id 1Nuq95-0005Gd-8F
	for qemu-devel@nongnu.org; Thu, 25 Mar 2010 12:42:59 -0400
Date: Thu, 25 Mar 2010 09:42:58 -0700
From: Nathan Froyd <froydnj@codesourcery.com>
Subject: Re: [Qemu-devel] [PATCH 09/10] target-alpha: Implement
	load-locked/store-conditional properly.
Message-ID: <20100325164257.GV16726@codesourcery.com>
References: <cover.1269476678.git.rth@twiddle.net>
	<de954b2e31d3a386d63039508afe972e25fa9841.1269476678.git.rth@twiddle.net>
	<20100325133920.GS16726@codesourcery.com>
	<4BAB853E.1070303@twiddle.net>
	<20100325160611.GU16726@codesourcery.com>
	<4BAB8F5E.2020508@twiddle.net>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <4BAB8F5E.2020508@twiddle.net>
List-Id: qemu-devel.nongnu.org
List-Unsubscribe: <http://lists.nongnu.org/mailman/listinfo/qemu-devel>,
	<mailto:qemu-devel-request@nongnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/pipermail/qemu-devel>
List-Post: <mailto:qemu-devel@nongnu.org>
List-Help: <mailto:qemu-devel-request@nongnu.org?subject=help>
List-Subscribe: <http://lists.nongnu.org/mailman/listinfo/qemu-devel>,
	<mailto:qemu-devel-request@nongnu.org?subject=subscribe>
To: Richard Henderson <rth@twiddle.net>
Cc: qemu-devel@nongnu.org, aurelien@aurel32.net

On Thu, Mar 25, 2010 at 09:29:18AM -0700, Richard Henderson wrote:
> On 03/25/2010 09:06 AM, Nathan Froyd wrote:
> > It pretends just as much as ppc and arm.  See translate.c:OP_ST_ATOMIC.
> 
> No it doesn't.  Look at HELPER_ST_ATOMIC:
> 
>         tmp = do_##ld_insn(arg2, mem_idx);                                    \
>         if (tmp == env->llval) {                                              \
>             do_##st_insn(arg2, arg1, mem_idx);                                \
>             return 1;                                                         \

Ah, OK.  Those helpers are never called for user-mode emulation,
though.  They're only called for system emulation and...well, everybody
lies about being atomic in system mode. :)

-Nathan