DaniilSuchkov added a comment. You mean we don't need to update BFI in non-asserting mode? It's not just for verification, it's required for correctness. CHANGES SINCE LAST ACTION https://reviews.llvm.org/D75341/new/ https://reviews.llvm.org/D75341