sewardj | 034dc33 | 2004-11-15 13:30:26 +0000 | [diff] [blame] | 1 | |
| 2 | Last updated 15 Nov 04 |
| 3 | ~~~~~~~~~~~~~~~~~~~~~~ |
| 4 | |
| 5 | Critical (correctness) |
| 6 | ~~~~~~~~~~~~~~~~~~~~~~ |
sewardj | 034dc33 | 2004-11-15 13:30:26 +0000 | [diff] [blame] | 7 | x86 isel: should free up all fp reg tags when calling a helper. |
| 8 | Also check re saving of FP registers across calls (all caller-save), |
| 9 | and also FPU control word. |
| 10 | |
| 11 | iropt: reconsider precise exceptions |
| 12 | |
sewardj | 14d3ddf | 2004-11-16 02:07:18 +0000 | [diff] [blame] | 13 | x86 guest: look at FP accuracy |
| 14 | |
sewardj | 034dc33 | 2004-11-15 13:30:26 +0000 | [diff] [blame] | 15 | |
| 16 | Test |
| 17 | ~~~~ |
| 18 | Test adc/sbb carry dependency in memcheck |
| 19 | |
| 20 | |
| 21 | Optimisation opportunities |
| 22 | ~~~~~~~~~~~~~~~~~~~~~~~~~~ |
| 23 | Improved isel for memcheck artefacts on x86 (generate neg ; sbbl) |
| 24 | |
| 25 | Assess tt_fast miss rates |
| 26 | |
| 27 | Better register allocation - spilling reduction |
| 28 | |
| 29 | iropt less conservative re precise exns |
| 30 | |
| 31 | improve stack-update pass |
| 32 | |
| 33 | proper profiling machinery |
| 34 | |
| 35 | do not CSE exprs :: Ity_Bit |
| 36 | |
| 37 | |
| 38 | JIT speedups |
| 39 | ~~~~~~~~~~~~ |
| 40 | Ensure incremental flatness throughout |
| 41 | |
| 42 | Make sanity checker check flatness; also pass name of caller to |
| 43 | sanity check so as to know after which pass it fails |
| 44 | |
| 45 | Profile again with memcheck |
| 46 | |
| 47 | change IRTemp to 16 bits? |
| 48 | |
| 49 | |
| 50 | Integration |
| 51 | ~~~~~~~~~~~ |
| 52 | Get rid of sloppy-malloc |
| 53 | |
| 54 | Get rid of partial-loads-ok |
| 55 | |
| 56 | Optimisation after first instrumentation rather than 2nd ? |
| 57 | |
| 58 | disallow dirty helpers from writing SP/IP |
| 59 | |
| 60 | make instrumentation work at no optimisation |
| 61 | |
| 62 | write API doc, clarify IR semantics |
| 63 | |
| 64 | make IR utils module |
| 65 | |
| 66 | tt/tc simplification, also profiling |
| 67 | |
| 68 | generic stack pointer identification at startup? |
| 69 | |
| 70 | New memstack_k: old or new sp? |
| 71 | |
| 72 | Set host FPU mode before starting. Also set Dflag = 0 |
| 73 | |
| 74 | skin_panic -> tool_panic |
| 75 | |