
Last updated 15 Nov 04
~~~~~~~~~~~~~~~~~~~~~~

Critical (correctness)
~~~~~~~~~~~~~~~~~~~~~~
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

x86 guest: look at FP accuracy


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