davide accepted this revision. davide added a comment. This revision is now accepted and ready to land. LGTM. Serge, one of us can commit that for you once llvm.org decides to go back online. Repository: rL LLVM https://reviews.llvm.org/D28549