| 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. |
| sewardj | 791446e | 2005-03-10 15:03:52 +0000 | [diff] [blame] | 8 | And save FP and SSE insns across the helper. |
| sewardj | 034dc33 | 2004-11-15 13:30:26 +0000 | [diff] [blame] | 9 | |
| 10 | iropt: reconsider precise exceptions |
| 11 | |
| sewardj | 14d3ddf | 2004-11-16 02:07:18 +0000 | [diff] [blame] | 12 | x86 guest: look at FP accuracy |
| 13 | |
| sewardj | 034dc33 | 2004-11-15 13:30:26 +0000 | [diff] [blame] | 14 | |
| sewardj | 034dc33 | 2004-11-15 13:30:26 +0000 | [diff] [blame] | 15 | Optimisation opportunities |
| 16 | ~~~~~~~~~~~~~~~~~~~~~~~~~~ |
| 17 | Improved isel for memcheck artefacts on x86 (generate neg ; sbbl) |
| 18 | |
| 19 | Assess tt_fast miss rates |
| 20 | |
| sewardj | 034dc33 | 2004-11-15 13:30:26 +0000 | [diff] [blame] | 21 | improve stack-update pass |
| 22 | |
| 23 | proper profiling machinery |
| 24 | |
| 25 | do not CSE exprs :: Ity_Bit |
| 26 | |
| sewardj | 791446e | 2005-03-10 15:03:52 +0000 | [diff] [blame] | 27 | x86 iselIntExpr_RMI: actually generate the M case if possible |
| sewardj | 034dc33 | 2004-11-15 13:30:26 +0000 | [diff] [blame] | 28 | |
| sewardj | 102d263 | 2005-04-22 21:21:09 +0000 | [diff] [blame] | 29 | |
| sewardj | 034dc33 | 2004-11-15 13:30:26 +0000 | [diff] [blame] | 30 | JIT speedups |
| 31 | ~~~~~~~~~~~~ |
| 32 | Ensure incremental flatness throughout |
| 33 | |
| sewardj | bc4853b | 2005-03-10 13:54:15 +0000 | [diff] [blame] | 34 | Profile again with cachegrind/calltree |
| sewardj | 034dc33 | 2004-11-15 13:30:26 +0000 | [diff] [blame] | 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 | |
| sewardj | 034dc33 | 2004-11-15 13:30:26 +0000 | [diff] [blame] | 49 | write API doc, clarify IR semantics |
| 50 | |
| 51 | make IR utils module |
| 52 | |
| sewardj | 034dc33 | 2004-11-15 13:30:26 +0000 | [diff] [blame] | 53 | generic stack pointer identification at startup? |
| 54 | |
| 55 | New memstack_k: old or new sp? |