pbarrio added a comment. Renato, James, thank you very much for the review. My understanding is that the patch has been approved? I will commit later today, but I will leave some time so that you can comment on the update to the patch. Thanks, Pablo https://reviews.llvm.org/D24337