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

[Eli Friedman via Phabricator via llvm-commits]

efriedma added a comment.

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 .


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D123247