davide accepted this revision. davide added a comment. This revision is now accepted and ready to land. I looked at this more closely and I guess it's correct. Please wait for @chandlerc to sign-off, though. https://reviews.llvm.org/D27190