jlebar added a comment. All right, thanks. We'll take a look at this, but it's a lot easier to collaborate if this is checked in, so I'm going to push it first, hope that's OK. https://reviews.llvm.org/D24402