RKSimon added a comment. llvm.assume is lost when we go to the DAG - but don't we generate a suitable AssertZext node? Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D140858/new/ https://reviews.llvm.org/D140858