From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from [140.186.70.92] (port=57762 helo=eggs.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1PGBok-0005Ql-Ml for qemu-devel@nongnu.org; Wed, 10 Nov 2010 09:38:31 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1PGBoj-0007Pt-J3 for qemu-devel@nongnu.org; Wed, 10 Nov 2010 09:38:30 -0500 Received: from gmplib-02.nada.kth.se ([130.237.222.242]:41932 helo=shell.gmplib.org) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1PGBoj-0007Pf-Cw for qemu-devel@nongnu.org; Wed, 10 Nov 2010 09:38:29 -0500 Subject: Re: [Qemu-devel] Bug report about x86 'bt' insn References: <86eiay344b.fsf@shell.gmplib.org> <86wroqmhso.fsf@shell.gmplib.org> <20101106185932.GB26083@nightcrawler> <86bp5xb6y8.fsf@shell.gmplib.org> From: Torbjorn Granlund Sender: tg@gmplib.org Date: Wed, 10 Nov 2010 15:38:27 +0100 In-Reply-To: (malc's message of "Wed\, 10 Nov 2010 17\:19\:30 +0300 \(MSK\)") Message-ID: <8639r9b5wc.fsf@shell.gmplib.org> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable List-Id: qemu-devel.nongnu.org List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , To: malc Cc: qemu-devel@nongnu.org, Nathan Froyd malc writes: All is the keyword here, i doubt that exhaustive search was performed furthermore, AMDs documentation (to the best of my knowledge still) still maintains that ZF is undefined. AMD indeed still says undefined in their documentation (as of two hours ago). I have asked AMD for a clarification, mainly to make sure they are aware of Intel's documentation change. (I am not certain about what you doubt. As I said, I did not check all 2^64 operand values combined all possible bt bit position arguments. I believe I have checked all 64-bit x86 processors implementations [two generations of Core2, NHM and WSM based Core ix, Via Nano, as well as all Athlon64/Opteron generations).) --=20 Torbj=F6rn