[PATCH] D92401: [BasicAA] Handle two unknown sizes for GEPs

[Nikita Popov via Phabricator via llvm-commits]

nikic added a comment.

In D92401#2426402 <https://reviews.llvm.org/D92401#2426402>, @jdoerfert wrote:

> This kind of logic should always be valid, regardless if V1 is a GEP or not, right? Is there a way to do this check early or late for any query?

The general idea is valid, but the way it is applied depends on the operation. For GEPs we just strip to the base pointer. For phis and selects, we recurse over the phi/select operands (with special casing for the case of identical control dependence).


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D92401