[all-commits] [llvm/llvm-project] 2d6d65: [Attributor] Make AANonNull perform context sensit...

[Johannes Doerfert via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 2d6d651e8cb62fc5f17782c37dcad0b7bf18a4e6
      https://github.com/llvm/llvm-project/commit/2d6d651e8cb62fc5f17782c37dcad0b7bf18a4e6
  Author: Johannes Doerfert <johannes at jdoerfert.de>
  Date:   2019-10-31 (Thu, 31 Oct 2019)

  Changed paths:
    M llvm/include/llvm/Transforms/IPO/Attributor.h
    M llvm/lib/Transforms/IPO/Attributor.cpp
    M llvm/test/Transforms/FunctionAttrs/nonnull.ll

  Log Message:
  -----------
  [Attributor] Make AANonNull perform context sensitive queries

Summary:
In order to get context sensitivity from isKnownNonZero we need to
provide a context instruction *and* a dominator tree. The latter is
passed now to which actually allows to remove some initialization code.

Tests taken from PR43833.

Reviewers: uenoku, sstefan1

Subscribers: hiraditya, bollu, llvm-commits

Tags: #llvm

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