I would be curious to find out if you guys ever consider LLVM since you mentioned backend work. How much work do you think it would take to switch your C backend to LLVM?
We're actually working on replacing the HARP native backend with one based on LLVM. The HARP backend is currently x86 only and is what we use on Windows, Linux and FreeBSD. (But not OS X, there we use the C backend for both 32 and 64 bit.)