[PATCH] D154323: [MemoryDependencyAnalysis] Delete cache infos if CacheInfo->size != Loc.size

[Nikita Popov via Phabricator via llvm-commits]

nikic added a comment.

> 2.If we have a pointer value that can be translated to a block twice(%array.2.phi.2 in pr53599.ll), using a greater size may cause dependencies of smaller size been added to greater size's CacheInfo. And then some non-redundant load instructions would be deleted.

Could you please explain this part in more detail? I don't really get why working with the greater size is not conservatively correct.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D154323/new/

https://reviews.llvm.org/D154323