silee2 wrote: @adam-smnk Updated PR to just remove previous MemRead side effect. I feel the stronger assumption, MemWrite, is not needed until a usage case that shows a difference pops up. https://github.com/llvm/llvm-project/pull/166445