Oh, and while I'm at it, we could throw a real data-flow liveness analysis in there to improve the situation even more (and stop truncating the liveness of every variable at the end of each BB). But this would be a bit more costly. http://reviews.llvm.org/D5366