msebor added a comment. Ping: @efriedma do you (or anyone else) have any other questions or suggestions or is everyone okay with the last revision? CHANGES SINCE LAST ACTION https://reviews.llvm.org/D130922/new/ https://reviews.llvm.org/D130922