[PATCH] D102255: [SelectionDAG] Generate scoped AA metadata when loweing memcpy.

[Nikita Popov via Phabricator via llvm-commits]

nikic added reviewers: nikic, fhahn, jeroen.dobbelaere.
nikic added a comment.

Do I understand correctly that this patch is trying to claim that the memcpy src and dst do not alias through scoped alias metadata? If so, I'm afraid this is incorrect. Our contract for `llvm.memcpy` requires that src/dst are either NoAlias or MustAlias (but not PartialAlias). From LangRef:

> The ‘llvm.memcpy.*’ intrinsics copy a block of memory from the source location to the destination location, which must either be equal or non-overlapping.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D102255