hfinkel added inline comments. > majnemer wrote in ValueTracking.cpp:3070-3074 > I think you can sink this into the block for the `auto CS = CallSite(V)` condition. You can compare `CS.getIntrinsicID()` with `Intrinsic::noalias`. Yes, indeed! https://reviews.llvm.org/D9398