[llvm-dev] LICM doesn't work for IntrReadMem intrinsic function

[Tim Northover via llvm-dev]

On 1 December 2015 at 12:33, Xiangyang Guo via llvm-dev
<llvm-dev at lists.llvm.org> wrote:
> if I have the following IR, LICM doesn't work again, even if I use
> '-loop-rotate' firstly. In this IR, the return value of intrinsic function
> "foo" is used by another function "func2" as parameter.  However, for the
> intrinsic function "foo", the parameters are still loop invariant. Do you
> know why this happens? Thanks a lot.

Is there anything telling LLVM that func2 won't write to memory and
change the value returned by llvm.foo?

Cheers.

Tim.