[PATCH] D95826: [SROA] Propagate correct TBAA/TBAA Struct offsets

[William Moses via Phabricator via llvm-commits]

wsmoses added a comment.

FYI this patch currently causes the TBAA in SROA basictest to fail because (at least from my understanding of TBAA) the TBAA on that memcpy is sized to one byte (meaning only the first part of the copy ends up with TBAA).

I want someone with more TBAA experience to check me on this assumption -- and likewise I assume one byte copy in the test should be changed to indicate the entire memory is of that type and thus the TBAA is propagated?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D95826