From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1H6mOn-0006t5-PN for qemu-devel@nongnu.org; Tue, 16 Jan 2007 06:22:41 -0500 Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43) id 1H6mOm-0006st-RV for qemu-devel@nongnu.org; Tue, 16 Jan 2007 06:22:41 -0500 Received: from [199.232.76.173] (helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1H6mOm-0006sq-Oa for qemu-devel@nongnu.org; Tue, 16 Jan 2007 06:22:40 -0500 Received: from [81.56.128.63] (helo=fbxmetz.linbox.com) by monty-python.gnu.org with esmtp (Exim 4.52) id 1H6mOm-0005XH-Ca for qemu-devel@nongnu.org; Tue, 16 Jan 2007 06:22:40 -0500 Received: from [192.168.0.14] (helo=[192.168.0.14]) by fbxmetz.linbox.com with esmtp (Exim 3.36 #1 (Debian)) id 1H6mOj-0006WE-00 for ; Tue, 16 Jan 2007 12:22:37 +0100 Message-ID: <45ACB57C.4090304@linbox.com> Date: Tue, 16 Jan 2007 12:22:36 +0100 From: Ludovic Drolez MIME-Version: 1.0 References: <45AB54D9.9020207@linbox.com> <20070115115410.GA25141@tapir.sajinet.com.pe> <200701151416.03608.jseward@acm.org> In-Reply-To: <200701151416.03608.jseward@acm.org> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit Subject: [Qemu-devel] Re: [BUG] QEMU x86_64 SSE bug in modf() + MMX bug Reply-To: qemu-devel@nongnu.org List-Id: qemu-devel.nongnu.org List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , To: qemu-devel@nongnu.org Julian Seward wrote: >>>Would someone be able to track down this SSE QEMU bug seen only in SLES's >>>modf() function ? > > > The Valgrind sources contain test programs, including expected outputs, > for all SSE/SSE2/SSE3 instructions on amd64 (see none/tests/amd64/insn-sse > and insn-sse2). Running those on QEMU might be a quick and easy first > check for something wrong in the SSE department. They are not completely > comprehensive but may find obvious arithmetic errors and instruction > decoding errors. > Hi ! I've run the valgrind tests on Qemu 0.8.2, in particular insn_basic, insn_fpu, _mmx, _sse, _sse2. No bugs were found in SSE and FPU emulation, but one was found in MMX !: ~/tests/none/tests/amd64 # diff insn_mmx.r insn_mmx.stdout.exp 1,6c1,2 < movd_1 ... not ok < result0.sd[0] = 1234 (expected 1234) < result0.sd[1] = 0 (expected 5678) < movd_2 ... not ok < result0.sd[0] = 1234 (expected 1234) < result0.sd[1] = 0 (expected 5678) --- > movd_1 ... ok > movd_2 ... ok Which comes from the following test: # # %mm <-> ireg64 # movd mm.sd[1234,5678] r64.sd[1111,2222] => 1.sd[1234,5678] movd r64.sd[1234,5678] mm.sd[1111,2222] => 1.sd[1234,5678] So one MMX bug when using 64 bits regs has been found, but the SSE2 bug is still a mystery :-( Cheers, -- Ludovic DROLEZ Linbox / Free&ALter Soft www.linbox.com www.linbox.org tel: +33 3 87 50 87 90 152 rue de Grigy - Technopole Metz 2000 57070 METZ