[all-commits] [llvm/llvm-project] bcadfc: [BasicAA] Handle passthru calls in isEscapeSource()

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: bcadfc2595ba25e77145fc8d9f57981ac52b9348
      https://github.com/llvm/llvm-project/commit/bcadfc2595ba25e77145fc8d9f57981ac52b9348
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2022-06-24 (Fri, 24 Jun 2022)

  Changed paths:
    M llvm/lib/Analysis/BasicAliasAnalysis.cpp
    M llvm/test/Analysis/BasicAA/call-escape-source.ll

  Log Message:
  -----------
  [BasicAA] Handle passthru calls in isEscapeSource()

isEscapeSource() currently considers all call return values as
escape sources. However, CaptureTracking can look through certain
calls, so we shouldn't consider these as escape sources either.

The corresponding CaptureTracking code is:
https://github.com/llvm/llvm-project/blob/7c9a3825b8420f5d37c5bb8919a9e46684a87089/llvm/lib/Analysis/CaptureTracking.cpp#L332-L333

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