gberry added a comment. Hi Quentin (and anyone else interested), I just uploaded a new version that fixes the last issue that I am aware of and also simplifies the algorithm a bit. Please take a look when you get a chance. https://reviews.llvm.org/D25347