ormris added a comment. Thanks! Pushed as 048a0c246908291c82d2f4531d3df45a4c4a8a18 <https://reviews.llvm.org/rG048a0c246908291c82d2f4531d3df45a4c4a8a18>. CHANGES SINCE LAST ACTION https://reviews.llvm.org/D153906/new/ https://reviews.llvm.org/D153906