jdoerfert added a comment. I was thinking about a way to support generic assumes, e.g., they can have side-effects, etc. I'll submit a design RFC soon. CHANGES SINCE LAST ACTION https://reviews.llvm.org/D66338/new/ https://reviews.llvm.org/D66338