[all-commits] [llvm/llvm-project] 3cbe33: [Attributor][FIX] Make "known" and "assumed" liven...

[Johannes Doerfert via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 3cbe3314b4a02026e24fbc065fbbfc887bbc7392
      https://github.com/llvm/llvm-project/commit/3cbe3314b4a02026e24fbc065fbbfc887bbc7392
  Author: Johannes Doerfert <johannes at jdoerfert.de>
  Date:   2019-11-02 (Sat, 02 Nov 2019)

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

  Log Message:
  -----------
  [Attributor][FIX] Make "known" and "assumed" liveness explicit

We did merge "known" and "assumed" liveness information into a single
set which caused various kinds of problems, especially because we did
not properly record when something was actually known. With this patch
we properly track the "known" bit and distinguish dead ends we know from
the ones we still need to explore in future updates.