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

Sanjoy Das via llvm-commits llvm-commits at lists.llvm.org
Wed May 25 17:19:28 PDT 2016

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; }`.


More information about the llvm-commits mailing list