| Nate Begeman | b64af91 | 2004-08-10 20:42:36 +0000 | [diff] [blame^] | 1 | TODO: |
| 2 | * implement cast fp to bool |
| 3 | * implement signed right shift by reg |
| 4 | * fix ulong to double: |
| Misha Brukman | 8b88d90 | 2004-07-28 19:16:10 +0000 | [diff] [blame] | 5 | floatdidf assumes signed longs. so if the high but of a ulong |
| 6 | just happens to be set, you get the wrong sign. The fix for this |
| 7 | is to call cmpdi2 to compare against zero, if so shift right by one, |
| 8 | convert to fp, and multiply by (add to itself). the sequence would |
| 9 | look like: |
| 10 | {r3:r4} holds ulong a; |
| 11 | li r5, 0 |
| 12 | li r6, 0 (set r5:r6 to ulong 0) |
| 13 | call cmpdi2 ==> sets r3 <, =, > 0 |
| 14 | if r3 > 0 |
| 15 | call floatdidf as usual |
| 16 | else |
| 17 | shift right ulong a, 1 (we could use emitShift) |
| 18 | call floatdidf |
| 19 | fadd f1, f1, f1 (fp left shift by 1) |
| Nate Begeman | b64af91 | 2004-08-10 20:42:36 +0000 | [diff] [blame^] | 20 | * PowerPCPEI.cpp needs to be replaced by shiny new target hook |
| Misha Brukman | bb966a4 | 2004-07-26 16:23:55 +0000 | [diff] [blame] | 21 | * setCondInst needs to know branchless versions of seteq/setne/etc |
| 22 | * cast elimination pass (uint -> sbyte -> short, kill the byte -> short) |
| Misha Brukman | 4ce5ce2 | 2004-07-27 18:43:04 +0000 | [diff] [blame] | 23 | * should hint to the branch select pass that it doesn't need to print the |
| 24 | second unconditional branch, so we don't end up with things like: |
| Misha Brukman | 4ce5ce2 | 2004-07-27 18:43:04 +0000 | [diff] [blame] | 25 | b .LBBl42__2E_expand_function_8_674 ; loopentry.24 |
| 26 | b .LBBl42__2E_expand_function_8_42 ; NewDefault |
| 27 | b .LBBl42__2E_expand_function_8_42 ; NewDefault |
| Misha Brukman | bb966a4 | 2004-07-26 16:23:55 +0000 | [diff] [blame] | 28 | |
| 29 | Current hacks: |
| 30 | * lazy insert of GlobalBaseReg definition at front of first MBB |
| Nate Begeman | b64af91 | 2004-08-10 20:42:36 +0000 | [diff] [blame^] | 31 | A prime candidate for sabre's future "slightly above ISel" passes. |
| Misha Brukman | bb966a4 | 2004-07-26 16:23:55 +0000 | [diff] [blame] | 32 | * cast code is huge, unwieldy. Should probably be broken up into |
| 33 | smaller pieces. |
| 34 | * visitLoadInst is getting awfully cluttered as well. |
| Misha Brukman | 1be339a | 2004-07-23 22:37:22 +0000 | [diff] [blame] | 35 | |
| 36 | Currently failing tests: |
| Misha Brukman | 1be339a | 2004-07-23 22:37:22 +0000 | [diff] [blame] | 37 | * SingleSource |
| Misha Brukman | b9b8ba5 | 2004-07-28 00:55:12 +0000 | [diff] [blame] | 38 | `- Regression |
| Misha Brukman | 88f8f92 | 2004-07-30 15:53:09 +0000 | [diff] [blame] | 39 | | `- casts (ulong to fp failure) |
| Misha Brukman | 1be339a | 2004-07-23 22:37:22 +0000 | [diff] [blame] | 40 | `- Benchmarks |
| 41 | | `- Shootout-C++ : most programs fail, miscompilations |
| 42 | `- UnitTests |
| Misha Brukman | 88f8f92 | 2004-07-30 15:53:09 +0000 | [diff] [blame] | 43 | | `- C++Catch |
| 44 | | `- SimpleC++Test |
| 45 | | `- ConditionalExpr (also C++) |
| Misha Brukman | 1be339a | 2004-07-23 22:37:22 +0000 | [diff] [blame] | 46 | * MultiSource |
| 47 | |- Applications |
| 48 | | `- burg: miscompilation |
| 49 | | `- siod: llc bus error |
| 50 | | `- hbd: miscompilation |
| 51 | | `- d (make_dparser): miscompilation |
| 52 | `- Benchmarks |
| Misha Brukman | 88f8f92 | 2004-07-30 15:53:09 +0000 | [diff] [blame] | 53 | `- MallocBench/make: miscompilation |