<div dir="ltr">So given an intrinsic that has a pointer as in/out and IntrWriteMem property.<div><br></div><div>call intrinsic(address a, ....);</div><div>loop over address a</div><div>  load from address a + offset</div><div>call intrinsic (address a, ...);</div><div>loop over address a</div><div>  load from address a + offset</div><div><br></div><div>GVN is removing the second loads, despite the second call overwriting the memory starting at address a. AA has the intrinsics marked as unknown instructions but has all of these as mayAlias in a set. I'm not seeing this issue with -fno-unroll-loops.</div><div><br></div><div>Thanks.</div><div><br></div><div><br></div><div><br></div><div><br></div></div>