| Nate Begeman | b64af91 | 2004-08-10 20:42:36 +0000 | [diff] [blame] | 1 | TODO: |
| 2 | * implement cast fp to bool |
| Nate Begeman | ca068e8 | 2004-08-14 22:16:36 +0000 | [diff] [blame^] | 3 | * implement algebraic shift right long by reg |
| 4 | * implement scheduling info |
| 5 | * implement powerpc-64 for darwin |
| 6 | * implement powerpc-64 for aix |
| 7 | * fix rlwimi generation to be use-and-def |
| Nate Begeman | b64af91 | 2004-08-10 20:42:36 +0000 | [diff] [blame] | 8 | * fix ulong to double: |
| Misha Brukman | 8b88d90 | 2004-07-28 19:16:10 +0000 | [diff] [blame] | 9 | floatdidf assumes signed longs. so if the high but of a ulong |
| 10 | just happens to be set, you get the wrong sign. The fix for this |
| 11 | is to call cmpdi2 to compare against zero, if so shift right by one, |
| 12 | convert to fp, and multiply by (add to itself). the sequence would |
| 13 | look like: |
| 14 | {r3:r4} holds ulong a; |
| 15 | li r5, 0 |
| 16 | li r6, 0 (set r5:r6 to ulong 0) |
| 17 | call cmpdi2 ==> sets r3 <, =, > 0 |
| 18 | if r3 > 0 |
| 19 | call floatdidf as usual |
| 20 | else |
| 21 | shift right ulong a, 1 (we could use emitShift) |
| 22 | call floatdidf |
| 23 | fadd f1, f1, f1 (fp left shift by 1) |
| Misha Brukman | bb966a4 | 2004-07-26 16:23:55 +0000 | [diff] [blame] | 24 | * setCondInst needs to know branchless versions of seteq/setne/etc |
| 25 | * cast elimination pass (uint -> sbyte -> short, kill the byte -> short) |
| Misha Brukman | 4ce5ce2 | 2004-07-27 18:43:04 +0000 | [diff] [blame] | 26 | * should hint to the branch select pass that it doesn't need to print the |
| 27 | second unconditional branch, so we don't end up with things like: |
| Misha Brukman | 4ce5ce2 | 2004-07-27 18:43:04 +0000 | [diff] [blame] | 28 | b .LBBl42__2E_expand_function_8_674 ; loopentry.24 |
| 29 | b .LBBl42__2E_expand_function_8_42 ; NewDefault |
| 30 | b .LBBl42__2E_expand_function_8_42 ; NewDefault |
| Misha Brukman | bb966a4 | 2004-07-26 16:23:55 +0000 | [diff] [blame] | 31 | |
| Misha Brukman | 1be339a | 2004-07-23 22:37:22 +0000 | [diff] [blame] | 32 | Currently failing tests: |
| Misha Brukman | 1be339a | 2004-07-23 22:37:22 +0000 | [diff] [blame] | 33 | * SingleSource |
| Misha Brukman | b9b8ba5 | 2004-07-28 00:55:12 +0000 | [diff] [blame] | 34 | `- Regression |
| Misha Brukman | 88f8f92 | 2004-07-30 15:53:09 +0000 | [diff] [blame] | 35 | | `- casts (ulong to fp failure) |
| Misha Brukman | 1be339a | 2004-07-23 22:37:22 +0000 | [diff] [blame] | 36 | `- Benchmarks |
| 37 | | `- Shootout-C++ : most programs fail, miscompilations |
| 38 | `- UnitTests |
| Misha Brukman | 88f8f92 | 2004-07-30 15:53:09 +0000 | [diff] [blame] | 39 | | `- C++Catch |
| 40 | | `- SimpleC++Test |
| 41 | | `- ConditionalExpr (also C++) |
| Misha Brukman | 1be339a | 2004-07-23 22:37:22 +0000 | [diff] [blame] | 42 | * MultiSource |
| 43 | |- Applications |
| 44 | | `- burg: miscompilation |
| Misha Brukman | 1be339a | 2004-07-23 22:37:22 +0000 | [diff] [blame] | 45 | | `- hbd: miscompilation |
| 46 | | `- d (make_dparser): miscompilation |
| 47 | `- Benchmarks |
| Nate Begeman | ca068e8 | 2004-08-14 22:16:36 +0000 | [diff] [blame^] | 48 | `- MallocBench/gs: miscompilation |