[all-commits] [llvm/llvm-project] 08f337: [Attributor][NFC] Extract functionality into own m...

[Johannes Doerfert via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 08f33756e6e1088b570a13604f2170197f560cef
      https://github.com/llvm/llvm-project/commit/08f33756e6e1088b570a13604f2170197f560cef
  Author: Johannes Doerfert <johannes at jdoerfert.de>
  Date:   2020-08-20 (Thu, 20 Aug 2020)

  Changed paths:
    M llvm/lib/Transforms/IPO/AttributorAttributes.cpp

  Log Message:
  -----------
  [Attributor][NFC] Extract functionality into own member


  Commit: 5d6602b555cc1543d06d6eaeaf6a374206d85917
      https://github.com/llvm/llvm-project/commit/5d6602b555cc1543d06d6eaeaf6a374206d85917
  Author: Johannes Doerfert <johannes at jdoerfert.de>
  Date:   2020-08-20 (Thu, 20 Aug 2020)

  Changed paths:
    M llvm/test/Transforms/Attributor/depgraph.ll

  Log Message:
  -----------
  [Attributor][NFC] Improve the depgraph test to make differences clear


  Commit: a49dae0e38b61aff294a70829eba0b4ef47f7bb5
      https://github.com/llvm/llvm-project/commit/a49dae0e38b61aff294a70829eba0b4ef47f7bb5
  Author: Johannes Doerfert <johannes at jdoerfert.de>
  Date:   2020-08-20 (Thu, 20 Aug 2020)

  Changed paths:
    M llvm/lib/Transforms/IPO/AttributorAttributes.cpp

  Log Message:
  -----------
  [Attributor][AAIsDead][NFC] Skip uninteresting instructions early


  Commit: d01ad217baf34550550e53c6578c1a2a58c75829
      https://github.com/llvm/llvm-project/commit/d01ad217baf34550550e53c6578c1a2a58c75829
  Author: Johannes Doerfert <johannes at jdoerfert.de>
  Date:   2020-08-20 (Thu, 20 Aug 2020)

  Changed paths:
    M llvm/lib/Transforms/IPO/AttributorAttributes.cpp
    M llvm/test/Transforms/Attributor/ArgumentPromotion/2008-07-02-array-indexing.ll
    M llvm/test/Transforms/Attributor/ArgumentPromotion/crash.ll
    M llvm/test/Transforms/Attributor/dereferenceable-1.ll
    M llvm/test/Transforms/Attributor/nocapture-2.ll
    M llvm/test/Transforms/Attributor/nonnull.ll
    M llvm/test/Transforms/Attributor/nounwind.ll

  Log Message:
  -----------
  [Attributor][FIX] Do not use cyclic arguments for `nonnull`

`AADereferenceable::getAssumedDereferenceableBytes()` is actually
deducing `dereferenceable_or_null`. We should not use that information
to deduce `nonnull`, since it doesn't imply `nonnull`.


  Commit: 3edea15f9ad32c1ad66789973b7f85378b7f7356
      https://github.com/llvm/llvm-project/commit/3edea15f9ad32c1ad66789973b7f85378b7f7356
  Author: Johannes Doerfert <johannes at jdoerfert.de>
  Date:   2020-08-20 (Thu, 20 Aug 2020)

  Changed paths:
    M llvm/lib/Transforms/IPO/AttributorAttributes.cpp
    M llvm/test/Transforms/Attributor/align.ll
    M llvm/test/Transforms/Attributor/nocapture-1.ll
    M llvm/test/Transforms/Attributor/nonnull.ll

  Log Message:
  -----------
  [Attributor] Simplify comparison against constant null pointer

Comparison against null is a common pattern that usually is followed by
error handling code and the likes. We now use AANonNull to simplify
these comparisons optimistically in order to make more code dead early
on.

Reviewed By: uenoku

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


  Commit: 012819f30183200230d20655595481d596ac35ab
      https://github.com/llvm/llvm-project/commit/012819f30183200230d20655595481d596ac35ab
  Author: Johannes Doerfert <johannes at jdoerfert.de>
  Date:   2020-08-20 (Thu, 20 Aug 2020)

  Changed paths:
    M llvm/lib/Transforms/IPO/Attributor.cpp
    M llvm/test/Transforms/Attributor/internalize.ll

  Log Message:
  -----------
  [Attributor][FIX] Update the call graph properly when internalizing functions

The internal version is now part of the SCC, make sure to perform this
update.


Compare: https://github.com/llvm/llvm-project/compare/ac46bc35e98d...012819f30183