[PATCH] D20653: LICM: Do not sink or hoist assume intrinsic calls.

[Sanjoy Das via llvm-commits]

sanjoy added a comment.

In http://reviews.llvm.org/D20653#440282, @hfinkel wrote:

> 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?


Yes, an implementation of assume could be `void assume(bool cond) { if (!cond) 1/0; }`.


http://reviews.llvm.org/D20653