davidxl added a comment. Can this be generalized to all assumes? nor just the code pattern that checks alignment? Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D81854/new/ https://reviews.llvm.org/D81854