kuhar added a comment. Would it be possible to add a `verifyAnalysis` function to MLI and check if a freshly calculated one matches the 'preserved' one? CHANGES SINCE LAST ACTION https://reviews.llvm.org/D68460/new/ https://reviews.llvm.org/D68460