[all-commits] [llvm/llvm-project] dac2d4: [Attributor] Make liveness "edge-based"

[Johannes Doerfert via All-commits]

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

  Changed paths:
    M llvm/lib/Transforms/IPO/Attributor.cpp
    M llvm/test/Transforms/FunctionAttrs/align.ll
    M llvm/test/Transforms/FunctionAttrs/arg_nocapture.ll
    M llvm/test/Transforms/FunctionAttrs/fn_noreturn.ll
    M llvm/test/Transforms/FunctionAttrs/internal-noalias.ll
    M llvm/test/Transforms/FunctionAttrs/liveness.ll
    M llvm/test/Transforms/FunctionAttrs/nonnull.ll
    M llvm/test/Transforms/FunctionAttrs/noreturn_async.ll
    M llvm/test/Transforms/FunctionAttrs/noreturn_sync.ll
    M llvm/test/Transforms/FunctionAttrs/value-simplify.ll

  Log Message:
  -----------
  [Attributor] Make liveness "edge-based"

Summary:
If control is transferred to a successor is the key question when it
comes to liveness. The new implementation puts that question in the
focus and thereby providing a clean way to assume certain CFG edges are
dead or instructions will not transfer control.

Reviewers: sstefan1, uenoku

Subscribers: hiraditya, bollu, llvm-commits

Tags: #llvm

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