[PATCH] D108699: [LAA] Analyze pointers forked by a select

[Florian Hahn via Phabricator via llvm-commits]

fhahn added reviewers: Ayal, Meinersbur.
fhahn added a comment.

I just realized how this may be a bit similar to how we handle pointers that are phi nodes. Currently those are handled by adding accesses for both incoming values (see D109381 <https://reviews.llvm.org/D109381>). Unfortunately the same approach cannot be directly used for selects, because we need to create 2 pointers that do not exist in the IR.

But if `MemAccessInfo`/ would also carry the pointer SCEV directly, I think it would be possible to avoid adding another dimension to `RuntimePointerChecking::PointerInfo`. Instead we would add 2 PointerInfo entries with separate translated pointer SCEVs. I put up a rough sketch of what this may look like in D114480 <https://reviews.llvm.org/D114480>, D114479 <https://reviews.llvm.org/D114479> to see how this may look like


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

https://reviews.llvm.org/D108699