[PATCH] D97401: [basicaa] Recurse through a single phi input

[Nikita Popov via Phabricator via llvm-commits]

nikic added a comment.

I'm rather leery of relaxing this until we have a reliably complexity limit for BasicAA (D96647 <https://reviews.llvm.org/D96647> or similar). From past experience, it's very easy to open up new pathological compile-time cases in BasicAA, because it walks a really thin line to avoid exponential queries in the absence of complexity cutoffs.

Worth noting that D92401 <https://reviews.llvm.org/D92401> handles the PhiValues case, as well as `@sibling_loop`, but that's another change that has pathological compile-time cases.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D97401