fhahn added a comment. Ops, it looks like I accidentally switched the diff back to the initial version and I have no idea how to switch it back :( I am very sorry about that, would you mind uploading the latest version again? https://reviews.llvm.org/D28148