davide accepted this revision. davide added a comment. This revision is now accepted and ready to land. I'll go ahead and merge this and see if the bots are happy still. Feel free to add a post commit review. https://reviews.llvm.org/D41312