[all-commits] [llvm/llvm-project] 224085: [Attributor][FIX] Treat invalidated attributes as ...

[Johannes Doerfert via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 224085409d0276c3b8a6760f9f6222a7ec09cb21
      https://github.com/llvm/llvm-project/commit/224085409d0276c3b8a6760f9f6222a7ec09cb21
  Author: Johannes Doerfert <johannes at jdoerfert.de>
  Date:   2020-01-28 (Tue, 28 Jan 2020)

  Changed paths:
    M llvm/lib/Transforms/IPO/Attributor.cpp
    M llvm/test/Transforms/Attributor/dereferenceable-1.ll
    M llvm/test/Transforms/Attributor/range.ll

  Log Message:
  -----------
  [Attributor][FIX] Treat invalidated attributes as changed

If we invalidate an attribute we need to inform all dependent ones even
if the fixpoint state is not invalid. Before we only continued
invalidation if the fixpoint state was invalid, now we signal a change
in case the fixpoint state is valid.

The test case was already included in D71620 but the problem was hiding
because it only manifested with the old PM (for that input).