From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43)
	id 1JvzDg-0000Oh-DJ
	for qemu-devel@nongnu.org; Tue, 13 May 2008 14:27:24 -0400
Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43)
	id 1JvzDf-0000Nl-Ic
	for qemu-devel@nongnu.org; Tue, 13 May 2008 14:27:23 -0400
Received: from [199.232.76.173] (port=34078 helo=monty-python.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.43) id 1JvzDf-0000Nf-94
	for qemu-devel@nongnu.org; Tue, 13 May 2008 14:27:23 -0400
Received: from savannah.gnu.org ([199.232.41.3]:35372 helo=sv.gnu.org)
	by monty-python.gnu.org with esmtps (TLS-1.0:RSA_AES_256_CBC_SHA1:32)
	(Exim 4.60) (envelope-from <fabrice@bellard.org>) id 1JvzDf-0000dm-Cm
	for qemu-devel@nongnu.org; Tue, 13 May 2008 14:27:23 -0400
Received: from cvs.savannah.gnu.org ([199.232.41.69])
	by sv.gnu.org with esmtp (Exim 4.63)
	(envelope-from <fabrice@bellard.org>) id 1JvzDd-000285-7a
	for qemu-devel@nongnu.org; Tue, 13 May 2008 18:27:21 +0000
Received: from bellard by cvs.savannah.gnu.org with local (Exim 4.63)
	(envelope-from <bellard@savannah.gnu.org>) id 1JvzDa-00027c-Hg
	for qemu-devel@nongnu.org; Tue, 13 May 2008 18:27:20 +0000
MIME-Version: 1.0
Errors-To: bellard
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
From: Fabrice Bellard <fabrice@bellard.org>
Message-Id: <E1JvzDa-00027c-Hg@cvs.savannah.gnu.org>
Date: Tue, 13 May 2008 18:27:19 +0000
Subject: [Qemu-devel] [4454] i386 specific TODO
Reply-To: qemu-devel@nongnu.org
List-Id: qemu-devel.nongnu.org
List-Unsubscribe: <http://lists.nongnu.org/mailman/listinfo/qemu-devel>,
	<mailto:qemu-devel-request@nongnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/pipermail/qemu-devel>
List-Post: <mailto:qemu-devel@nongnu.org>
List-Help: <mailto:qemu-devel-request@nongnu.org?subject=help>
List-Subscribe: <http://lists.nongnu.org/mailman/listinfo/qemu-devel>,
	<mailto:qemu-devel-request@nongnu.org?subject=subscribe>
To: qemu-devel@nongnu.org

Revision: 4454
          http://svn.sv.gnu.org/viewvc/?view=rev&root=qemu&revision=4454
Author:   bellard
Date:     2008-05-13 18:27:16 +0000 (Tue, 13 May 2008)

Log Message:
-----------
i386 specific TODO

Added Paths:
-----------
    trunk/target-i386/TODO

Added: trunk/target-i386/TODO
===================================================================
--- trunk/target-i386/TODO	                        (rev 0)
+++ trunk/target-i386/TODO	2008-05-13 18:27:16 UTC (rev 4454)
@@ -0,0 +1,29 @@
+Correctness issues:
+
+- rework eflags optimization (will be a consequence of TCG port)
+- SVM: rework the implementation: simplify code, move most intercept
+  tests as dynamic, correct segment access, verify exception safety,
+  remove most of the added CPU state.
+- arpl eflags computation is invalid
+- x86_64: fxsave/fxrestore intel/amd differences
+- x86_64: lcall/ljmp intel/amd differences ?
+- x86_64: cmpxchgl intel/amd differences ?
+- x86_64: cmovl bug intel/amd differences ?
+- x86: monitor invalid 
+- better code fetch (different exception handling + CS.limit support)
+- user/kernel PUSHL/POPL in helper.c
+- add missing cpuid tests
+- return UD exception if LOCK prefix incorrectly used
+- test ldt limit < 7 ?
+- fix some 16 bit sp push/pop overflow (pusha/popa, lcall lret)
+- full support of segment limit/rights 
+- full x87 exception support
+- improve x87 bit exactness (use bochs code ?)
+
+Optimizations/Features:
+
+- finish TCG port
+- evaluate x87 stack pointer statically
+- find a way to avoid translating several time the same TB if CR0.TS
+  is set or not.
+- move kqemu support outside target-i386.