================ @@ -596,10 +617,37 @@ uint32_t GVNPass::ValueTable::lookupOrAddCall(CallInst *C) { return v; } + if (MSSA && AA->onlyReadsMemory(C)) { ---------------- antoniofrighetto wrote: Updated, thanks! https://github.com/llvm/llvm-project/pull/123218