From: Julian Seward <jseward@acm.org>
Date: Mon, 15 Nov 2004 13:30:26 +0000 (+0000)
Subject: Record stuff that needs to be done
X-Git-Tag: svn/VALGRIND_3_0_1^2~781
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=1247c331f09208957018b9fbec7cef7a99d10397;p=thirdparty%2Fvalgrind.git

Record stuff that needs to be done


git-svn-id: svn://svn.valgrind.org/vex/trunk@553
---

diff --git a/VEX/TODO.txt b/VEX/TODO.txt
new file mode 100644
index 0000000000..151b25aaf8
--- /dev/null
+++ b/VEX/TODO.txt
@@ -0,0 +1,77 @@
+
+Last updated 15 Nov 04
+~~~~~~~~~~~~~~~~~~~~~~
+
+Critical (correctness)
+~~~~~~~~~~~~~~~~~~~~~~
+x86 isel for regparm'd args.  Is incorrect.  Better: consider if any
+regparm'd arg might need a fixed reg to compute.  If yes, compute all
+into vregs and move.  If no, compute directly into the destinations.
+
+x86 isel: should free up all fp reg tags when calling a helper.
+Also check re saving of FP registers across calls (all caller-save),
+and also FPU control word.
+
+iropt: reconsider precise exceptions
+
+
+Test
+~~~~
+Test adc/sbb carry dependency in memcheck
+
+
+Optimisation opportunities
+~~~~~~~~~~~~~~~~~~~~~~~~~~
+Improved isel for memcheck artefacts on x86 (generate neg ; sbbl)
+
+Assess tt_fast miss rates 
+
+Better register allocation - spilling reduction
+
+iropt less conservative re precise exns
+
+improve stack-update pass
+
+proper profiling machinery
+
+do not CSE exprs :: Ity_Bit
+
+
+JIT speedups
+~~~~~~~~~~~~
+Ensure incremental flatness throughout
+
+Make sanity checker check flatness; also pass name of caller to
+sanity check so as to know after which pass it fails
+
+Profile again with memcheck
+
+change IRTemp to 16 bits?
+
+
+Integration
+~~~~~~~~~~~
+Get rid of sloppy-malloc
+
+Get rid of partial-loads-ok
+
+Optimisation after first instrumentation rather than 2nd ?
+
+disallow dirty helpers from writing SP/IP
+
+make instrumentation work at no optimisation
+
+write API doc, clarify IR semantics
+
+make IR utils module
+
+tt/tc simplification, also profiling
+
+generic stack pointer identification at startup?
+
+New memstack_k: old or new sp?
+
+Set host FPU mode before starting.  Also set Dflag = 0 
+
+skin_panic -> tool_panic
+