From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:59632) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aH8Yy-00082w-Al for qemu-devel@nongnu.org; Thu, 07 Jan 2016 06:17:08 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1aH8Yx-0003MW-Ae for qemu-devel@nongnu.org; Thu, 07 Jan 2016 06:17:04 -0500 Received: from mail-vk0-x236.google.com ([2607:f8b0:400c:c05::236]:35983) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aH8Yx-0003LK-3m for qemu-devel@nongnu.org; Thu, 07 Jan 2016 06:17:03 -0500 Received: by mail-vk0-x236.google.com with SMTP id n1so17675981vkb.3 for ; Thu, 07 Jan 2016 03:17:02 -0800 (PST) MIME-Version: 1.0 In-Reply-To: References: <1450082498-27109-1-git-send-email-a.rigo@virtualopensystems.com> From: Peter Maydell Date: Thu, 7 Jan 2016 11:16:42 +0000 Message-ID: Content-Type: text/plain; charset=UTF-8 Subject: Re: [Qemu-devel] [RFC v6 00/14] Slow-path for atomic instruction translation List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , To: alvise rigo Cc: "mttcg@listserver.greensocs.com" , "claudio.fontana@huawei.com" , "qemu-devel@nongnu.org" , Andrew Baumann , "pbonzini@redhat.com" , "jani.kokkonen@huawei.com" , "tech@virtualopensystems.com" , "alex.bennee@linaro.org" , "rth@twiddle.net" On 7 January 2016 at 10:49, alvise rigo wrote: > On Thu, Jan 7, 2016 at 11:22 AM, Peter Maydell wrote: >> On 7 January 2016 at 10:21, alvise rigo wrote: >>> Hi, >>> >>> On Wed, Jan 6, 2016 at 7:00 PM, Andrew Baumann >>> wrote: >>>> As a heads up, we just added support for alignment checks in LDREX: >>>> https://github.com/qemu/qemu/commit/30901475b91ef1f46304404ab4bfe89097f61b96 >> >>> It should be if we add an aligned variant for each of the exclusive helper. >>> BTW, why don't we make the check also for the STREX instruction? >> >> Andrew's patch only changed the bits Windows cares about, I think. >> We should indeed extend this to cover also STREX and the A64 instructions >> as well, I think. > > The alignment check is easily doable in general. The only tricky part > I found is the A64's STXP instruction that requires quadword alignment > for the 64bit paired access. > In that case, the translation of the instruction will rely on a > aarch64-only helper. The alternative solution would be to extend > softmmu_template.h to generate 128bit accesses, but I don't believe > this is the right way to go. Yes, 128-bit alignment check is not currently easy. We should do the others first and then think about the right approach for the 128 bit stuff. (I forget what rth's view about that was.) thanks -- PMM