[all-commits] [llvm/llvm-project] 5d44d5: [Attributor] Derive AAFunctionReachability attribute.

[Kuter Dinel via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 5d44d56f7deb086ac91664fbd053d703cefd3da9
      https://github.com/llvm/llvm-project/commit/5d44d56f7deb086ac91664fbd053d703cefd3da9
  Author: Kuter Dinel <kuterdinel at gmail.com>
  Date:   2021-06-23 (Wed, 23 Jun 2021)

  Changed paths:
    M llvm/include/llvm/Transforms/IPO/Attributor.h
    M llvm/lib/Transforms/IPO/AttributorAttributes.cpp
    M llvm/unittests/Transforms/IPO/AttributorTest.cpp

  Log Message:
  -----------
  [Attributor] Derive AAFunctionReachability attribute.

This attribute uses Attributor's internal 'optimistic' call graph
information to answer queries about function call reachability.

Functions can become reachable over time as new call edges are
discovered.

Reviewed By: jdoerfert

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