jdoerfert added a comment. @uenoku This looks like sth. the Attributor should do as well (at some point), I mean use llvm.assume information CHANGES SINCE LAST ACTION https://reviews.llvm.org/D37215/new/ https://reviews.llvm.org/D37215