From mboxrd@z Thu Jan 1 00:00:00 1970 From: Wei Yongjun Subject: [PATCH] test: Add test for xadd instruction Date: Thu, 12 Aug 2010 21:44:01 +0800 Message-ID: <4C63FAA1.5010705@cn.fujitsu.com> Mime-Version: 1.0 Content-Type: text/plain; charset=GB2312 Content-Transfer-Encoding: 7bit To: Avi Kivity , kvm@vger.kernel.org Return-path: Received: from cn.fujitsu.com ([222.73.24.84]:53537 "EHLO song.cn.fujitsu.com" rhost-flags-OK-FAIL-OK-OK) by vger.kernel.org with ESMTP id S1752001Ab0HLNqx (ORCPT ); Thu, 12 Aug 2010 09:46:53 -0400 Sender: kvm-owner@vger.kernel.org List-ID: Signed-off-by: Wei Yongjun --- x86/emulator.c | 51 +++++++++++++++++++++++++++++++++++++++++++++++++++ 1 files changed, 51 insertions(+), 0 deletions(-) diff --git a/x86/emulator.c b/x86/emulator.c index 348d548..c4579ab 100644 --- a/x86/emulator.c +++ b/x86/emulator.c @@ -360,6 +360,56 @@ void test_xchg(void *mem) rax == 0x123456789abcdef && *memq == 0xfedcba9876543210); } +void test_xadd(void *mem) +{ + unsigned long *memq = mem; + unsigned long rax; + + asm volatile("mov $0x123456789abcdef, %%rax\n\t" + "mov %%rax, (%[memq])\n\t" + "mov $0xfedcba9876543210, %%rax\n\t" + "xadd %%al, (%[memq])\n\t" + "mov %%rax, %[rax]\n\t" + : [rax]"=r"(rax) + : [memq]"r"(memq) + : "memory"); + report("xadd reg, r/m (1)", + rax == 0xfedcba98765432ef && *memq == 0x123456789abcdff); + + asm volatile("mov $0x123456789abcdef, %%rax\n\t" + "mov %%rax, (%[memq])\n\t" + "mov $0xfedcba9876543210, %%rax\n\t" + "xadd %%ax, (%[memq])\n\t" + "mov %%rax, %[rax]\n\t" + : [rax]"=r"(rax) + : [memq]"r"(memq) + : "memory"); + report("xadd reg, r/m (2)", + rax == 0xfedcba987654cdef && *memq == 0x123456789abffff); + + asm volatile("mov $0x123456789abcdef, %%rax\n\t" + "mov %%rax, (%[memq])\n\t" + "mov $0xfedcba9876543210, %%rax\n\t" + "xadd %%eax, (%[memq])\n\t" + "mov %%rax, %[rax]\n\t" + : [rax]"=r"(rax) + : [memq]"r"(memq) + : "memory"); + report("xadd reg, r/m (3)", + rax == 0x89abcdef && *memq == 0x1234567ffffffff); + + asm volatile("mov $0x123456789abcdef, %%rax\n\t" + "mov %%rax, (%[memq])\n\t" + "mov $0xfedcba9876543210, %%rax\n\t" + "xadd %%rax, (%[memq])\n\t" + "mov %%rax, %[rax]\n\t" + : [rax]"=r"(rax) + : [memq]"r"(memq) + : "memory"); + report("xadd reg, r/m (4)", + rax == 0x123456789abcdef && *memq == 0xffffffffffffffff); +} + void test_btc(void *mem) { unsigned int *a = mem; @@ -548,6 +598,7 @@ int main() test_pop(mem); test_xchg(mem); + test_xadd(mem); test_cr8(); -- 1.7.0.4