Update.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@12521

diff --git a/docs/internals/t-chaining-notes.txt b/docs/internals/t-chaining-notes.txt
index 272a6c18fd6dac36c823e7c445811fd1a1bda2e6..b20af435198c6f95685b0ee161d63d8936ddb4a3 100644 (file)
--- a/docs/internals/t-chaining-notes.txt
+++ b/docs/internals/t-chaining-notes.txt
@@ -7,7 +7,7 @@ redo dispatch-x86-darwin.S and dispatch-amd64-darwin.S
 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 @@ host_ppc_defs.h: is RdWrLR still needed?  If not delete.
 
 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 @@ Optimisations
 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