[PATCH] D108221: [LoopIdiom] Keep TBAA when creating memcpy/memmove

[Jeroen Dobbelaere via Phabricator via llvm-commits]

jeroen.dobbelaere added a comment.

Hmm.. what does it mean to have a `!tbaa` tag on a `llvm.memcpy`/`llvm.memmove` ? The langref only seem to mention `!tbaa.struct` for `llvm.memcpy`. Is it allowed to have both a `!tbaa` and a `!tbaa.struct` ? What would that mean ?



================
Comment at: llvm/test/Transforms/LoopIdiom/memcpy-tbaa.ll:20
+; CHECK:       for.cond.cleanup:
+; CHECK-NEXT:    ret void
+;
----------------
Can you also add a testcase where the merge is done ? Also the actual `!tbaa` representation is missing for the check.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D108221