[all-commits] [llvm/llvm-project] c5bf45: [AA] Pass AAResults through AAQueryInfo

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: c5bf452022a50002d9f2d5310e8eb33515e86166
      https://github.com/llvm/llvm-project/commit/c5bf452022a50002d9f2d5310e8eb33515e86166
  Author: Nikita Popov <nikita.ppv at gmail.com>
  Date:   2022-10-06 (Thu, 06 Oct 2022)

  Changed paths:
    M llvm/include/llvm/Analysis/AliasAnalysis.h
    M llvm/lib/Analysis/AliasAnalysis.cpp
    M llvm/lib/Analysis/BasicAliasAnalysis.cpp
    M llvm/unittests/Analysis/BasicAliasAnalysisTest.cpp

  Log Message:
  -----------
  [AA] Pass AAResults through AAQueryInfo

Currently, AAResultBase (from which alias analysis providers inherit)
stores a reference back to the AAResults aggregation it is part of,
so it can perform recursive alias analysis queries via
getBestAAResults().

This patch removes the back-reference from AAResultBase to AAResults,
and instead passes the used aggregation through the AAQueryInfo.
This can be used to perform recursive AA queries using the full
aggregation.

Differential Revision: https://reviews.llvm.org/D94363