1 2 Last updated 15 Nov 04 3 ~~~~~~~~~~~~~~~~~~~~~~ 4 5 Critical (correctness) 6 ~~~~~~~~~~~~~~~~~~~~~~ 7 x86 isel: should free up all fp reg tags when calling a helper. 8 And save FP and SSE insns across the helper. 9 10 iropt: reconsider precise exceptions 11 12 x86 guest: look at FP accuracy 13 14 15 Optimisation opportunities 16 ~~~~~~~~~~~~~~~~~~~~~~~~~~ 17 Improved isel for memcheck artefacts on x86 (generate neg ; sbbl) 18 19 Assess tt_fast miss rates 20 21 improve stack-update pass 22 23 proper profiling machinery 24 25 do not CSE exprs :: Ity_Bit 26 27 x86 iselIntExpr_RMI: actually generate the M case if possible 28 29 30 JIT speedups 31 ~~~~~~~~~~~~ 32 Ensure incremental flatness throughout 33 34 Profile again with cachegrind/calltree 35 36 change IRTemp to 16 bits? 37 38 39 Integration 40 ~~~~~~~~~~~ 41 Get rid of sloppy-malloc 42 43 Get rid of partial-loads-ok 44 45 Optimisation after first instrumentation rather than 2nd ? 46 47 disallow dirty helpers from writing SP/IP 48 49 write API doc, clarify IR semantics 50 51 make IR utils module 52 53 generic stack pointer identification at startup? 54 55 New memstack_k: old or new sp? 56
