[all-commits] [llvm/llvm-project] 475abe: [Attributor] Make use of analysis in the MustBeExe...

[Shinji Okumura via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 475abe14a59f43a976f479091798e879cfc739d0
      https://github.com/llvm/llvm-project/commit/475abe14a59f43a976f479091798e879cfc739d0
  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/dereferenceable-2.ll

  Log Message:
  -----------
  [Attributor] Make use of analysis in the MustBeExecutedExplorer

This commit was made to settle [[ https://github.com/llvm/llvm-project/issues/175 | this issue on GitHub ]].
I added analysis getters for LoopInfo, DominatorTree, and
PostDominatorTree. And I added a test to show an improvement of the
deduction of `dereferenceable` attribute.

Reviewed By: jdoerfert, uenoku

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