davide added a comment. I tried really hard to reduce this one but I failed. I guess I can either drop this review or I'm happy to hear suggestions. @probinson CHANGES SINCE LAST ACTION https://reviews.llvm.org/D81437/new/ https://reviews.llvm.org/D81437