hfinkel added a comment. In http://reviews.llvm.org/D20653#440276, @sanjoy wrote: > Never mind, I was mistaken; you can't hoist out a readnone nounwind function out of control flow anyway, and the same logic should hold for assumes. Ah. Because of potential UB? http://reviews.llvm.org/D20653