2005-03-17 19:17:03 +01:00
|
|
|
TODO:
|
2008-02-12 00:47:56 +01:00
|
|
|
- Un-bitrot ISel
|
|
|
|
|
- Hook up If-Conversion a la ARM target
|
|
|
|
|
- Hook up all branch analysis functions
|
|
|
|
|
- Instruction scheduling
|
|
|
|
|
- Bundling
|
|
|
|
|
- Dynamic Optimization
|
|
|
|
|
- Testing and bugfixing
|
2005-11-01 06:49:08 +01:00
|
|
|
- stop passing FP args in both FP *and* integer regs when not required
|
|
|
|
|
- allocate low (nonstacked) registers more aggressively
|
2005-03-17 19:17:03 +01:00
|
|
|
- clean up and thoroughly test the isel patterns.
|
* OK, after changing to use liveIn/liveOut instead of IDEFs,
to avoid redundant mov out3=r44 type instructions, we need to
tell the register allocator the truth about out? registers.
FIXME: unfortunately, since the list of allocatable registers is immutable,
we can't simply 'delete r127' from the allocation order, say, if 'out0' is
used. The only correct thing we can do is have a linear order of regs:
out7, out6 ... out2, out1, out0, r32, r33, r34 ... r126, r127
and slide a 'window' of 96 registers along this line, depending on how many
of the out? regs a function actually uses. The only downside of this is
that the out? registers will be allocated _first_, which makes the
resulting assembly ugly. :( Note this in the README. Hope this gets fixed
soon. :) (note the 3rd person speech there)
llvm-svn: 21252
2005-04-12 20:42:59 +02:00
|
|
|
- fix stacked register allocation order: (for readability) we don't want
|
|
|
|
|
the out? registers being the first ones used
|
2005-03-17 19:17:03 +01:00
|
|
|
- fix up floating point
|
|
|
|
|
(nb http://gcc.gnu.org/wiki?pagename=ia64%20floating%20point )
|
|
|
|
|
- bundling!
|
|
|
|
|
(we will avoid the mess that is:
|
|
|
|
|
http://gcc.gnu.org/ml/gcc/2003-12/msg00832.html )
|
2005-11-01 06:49:08 +01:00
|
|
|
- instruction scheduling (hmmmm! ;)
|
2005-03-17 19:17:03 +01:00
|
|
|
- counted loop support
|
|
|
|
|
- make integer + FP mul/div more clever (we have fixed pseudocode atm)
|
|
|
|
|
- track and use comparison complements
|
|
|
|
|
|
|
|
|
|
INFO:
|
|
|
|
|
- we are strictly LP64 here, no support for ILP32 on HP-UX. Linux users
|
|
|
|
|
don't need to worry about this.
|
|
|
|
|
- i have instruction scheduling/bundling pseudocode, that really works
|
|
|
|
|
(has been tested, albeit at the perl-script level).
|
|
|
|
|
so, before you go write your own, send me an email!
|
|
|
|
|
|
|
|
|
|
KNOWN DEFECTS AT THE CURRENT TIME:
|
2005-03-31 14:31:11 +02:00
|
|
|
- C++ vtables contain naked function pointers, not function descriptors,
|
|
|
|
|
which is bad. see http://llvm.cs.uiuc.edu/bugs/show_bug.cgi?id=406
|
|
|
|
|
- varargs are broken
|
2005-03-17 19:17:03 +01:00
|
|
|
- alloca doesn't work (indeed, stack frame layout is bogus)
|
|
|
|
|
- no support for big-endian environments
|
|
|
|
|
- (not really the backend, but...) the CFE has some issues on IA64.
|
|
|
|
|
these will probably be fixed soon.
|
|
|
|
|
|
|
|
|
|
ACKNOWLEDGEMENTS:
|
|
|
|
|
- Chris Lattner (x100)
|
|
|
|
|
- Other LLVM developers ("hey, that looks familiar")
|
|
|
|
|
|
|
|
|
|
CONTACT:
|
|
|
|
|
- You can email me at duraid@octopus.com.au. If you find a small bug,
|
|
|
|
|
just email me. If you find a big bug, please file a bug report
|
|
|
|
|
in bugzilla! http://llvm.cs.uiuc.edu is your one stop shop for all
|
|
|
|
|
things LLVM.
|
