Rubinius is also trying LLVM with very limited success. It's really clear you need an entire IR and optimisation pipeline before you emit LLVM if you are implementing a dynamic language. Then you're only using LLVM for instruction selection, scheduling and emitting so it doesn't seem as helpful anymore. Is there any project trying to provide the IR and pipeline before LLVM which could work across languages?