[all-commits] [llvm/llvm-project] c80cf4: [Attributor] AAReachability : use isPotentiallyRea...

[Shinji Okumura via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: c80cf48801be54ee008730a9fad7dbccc963fc80
      https://github.com/llvm/llvm-project/commit/c80cf48801be54ee008730a9fad7dbccc963fc80
  Author: Shinji Okumura <okuraofvegetable at gmail.com>
  Date:   2020-04-04 (Sat, 04 Apr 2020)

  Changed paths:
    M llvm/include/llvm/Transforms/IPO/Attributor.h
    M llvm/test/Transforms/Attributor/heap_to_stack.ll
    M llvm/test/Transforms/Attributor/misc.ll
    M llvm/test/Transforms/Attributor/noalias.ll

  Log Message:
  -----------
  [Attributor] AAReachability : use isPotentiallyReachable in isKnownReachable

`isKnownReachable` had only interface (always returns true).
 Changed it to call `isPotentiallyReachable`.
This change enables deductions of other Abstract Attributes depending on
AAReachability to use reachability information obtained from CFG, and it
can make them stronger.

Reviewed By: jdoerfert

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