|
From: <sv...@va...> - 2012-04-21 08:18:39
|
sewardj 2012-04-21 09:18:33 +0100 (Sat, 21 Apr 2012)
New Revision: 12521
Log:
Update.
Modified files:
trunk/docs/internals/t-chaining-notes.txt
Modified: trunk/docs/internals/t-chaining-notes.txt (+1 -6)
===================================================================
--- trunk/docs/internals/t-chaining-notes.txt 2012-04-21 08:37:21 +01:00 (rev 12520)
+++ trunk/docs/internals/t-chaining-notes.txt 2012-04-21 09:18:33 +01:00 (rev 12521)
@@ -7,7 +7,7 @@
Verification todo
~~~~~~~~~~~~~~~~~
check that illegal insns on all targets don't cause the _toIR.c's to
-assert.
+assert. [DONE: amd64 x86 ppc32 ppc64 arm s390??]
check also with --vex-guest-chase-cond=yes
@@ -33,8 +33,6 @@
ditto ARM, Ld8S
-make sure IRStmt_Exit3 is completely gone.
-
all backends: iselStmt(Ist_Exit) vs iselNext: make sure that the same
JKs are handled, else it's not safe against branch sense switching
@@ -59,9 +57,6 @@
all targets: change VG_(stats__n_xindirs) to a 32 bit counter, and
empty out every now and again. Ditto VG_(stats__n_xindir_misses).
-amd64: XDirect: write const value to guest_RIP using single
-insn when the value is < 0x8000'0000
-
arm: chain_XDirect: generate short form jumps when possible
ppc: chain_XDirect: generate short form jumps when possible
|