sylvestre.ledru marked 2 inline comments as done. sylvestre.ledru added a comment. Daniel, it is good for me now. Once it is accepted, I will work on the rest in a separate commit if that is ok with you; https://reviews.llvm.org/D30532