[PATCH] D123247: Provide a more in-depth reference document for TBAA's implementation.

[Florian Hahn via Phabricator via llvm-commits]

fhahn added a comment.

In D123247#3446541 <https://reviews.llvm.org/D123247#3446541>, @efriedma wrote:

> It looks like this doesn't describe how TBAA differs between load and store operations.  It's not as simple as just two memory locations being either "NoAlias" or "MayAlias".   Or even if this is correctly describing the implementation, I don't think it's correctly describing how we want it to work.  It should be possible to reuse storage for different objects.  See, for example, https://github.com/llvm/llvm-project/issues/54878 .

FWIW this comes up when running a simple verifier for TBAA results (D123806 <https://reviews.llvm.org/D123806>) over the LLVM code base (for our Small* containers, which re-purpose storage as well).


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D123247