From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:59721) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1WLxSx-0004Hj-NR for qemu-devel@nongnu.org; Fri, 07 Mar 2014 11:17:48 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1WLxSt-0000Oh-D3 for qemu-devel@nongnu.org; Fri, 07 Mar 2014 11:17:43 -0500 References: <1394187082-31986-1-git-send-email-sw@weilnetz.de> <871tyecixy.fsf@linaro.org> <5319BE2C.7040801@weilnetz.de> <5319C21A.6010705@suse.de> <5319C768.2000903@weilnetz.de> From: Alex =?utf-8?Q?Benn=C3=A9e?= In-reply-to: Date: Fri, 07 Mar 2014 16:17:53 +0000 Message-ID: <87y50maspa.fsf@linaro.org> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit Subject: Re: [Qemu-devel] [PATCH] tests: Fix 'make test' for i686 hosts (buildregression)) List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , To: Peter Maydell Cc: QEMU Trivial , Stefan Weil , qemu-stable , QEMU Developers , Andreas =?utf-8?Q?F=C3=A4rber?= , Richard Henderson Peter Maydell writes: > On 7 March 2014 13:19, Stefan Weil wrote: >> test-i386 does some calculations and prints the results (see source code >> tests/tcg/test-i386.c). If the user mode emulation of QEMU works, it >> should not matter whether that executable runs native or emulated and >> both outputs be identical. They aren't - that's why I think we have a >> TCG problem to solve. > > I think TCG x86 FPU emulation has been a bit dodgy since > forever; it's a fair amount of work to go through and > fix everything up to be bitwise exact results versus > hardware and I think that nobody's cared enough about x86 > emulation to do that... IIRC the behaviour is different depending on how much x87 vs SIMD FP you go through. FWIW the Transitive translator was able to do most FP ops with generated code (certainly on SPARC->x86_64) and only go to softfloat for some things. But you did need to disable the x87 to do it. But I get the impression that FP performance is currently "good enough" for what QEMU gets used for. -- Alex Bennée