[all-commits] [llvm/llvm-project] 1e99fc: [Attributor] Add initial AAIsDead for arguments

[Johannes Doerfert via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 1e99fc9d58d12b77f8d7319d464b416a1672c3e2
      https://github.com/llvm/llvm-project/commit/1e99fc9d58d12b77f8d7319d464b416a1672c3e2
  Author: Johannes Doerfert <johannes at jdoerfert.de>
  Date:   2020-02-19 (Wed, 19 Feb 2020)

  Changed paths:
    M llvm/lib/Transforms/IPO/Attributor.cpp
    M llvm/test/Transforms/Attributor/IPConstantProp/arg-count-mismatch.ll
    M llvm/test/Transforms/Attributor/liveness.ll
    M llvm/test/Transforms/Attributor/range.ll

  Log Message:
  -----------
  [Attributor] Add initial AAIsDead for arguments

We usually will ask for liveness of an argument anyway so we ended up
lazily creating the attribute anyway. However, that is not always the
case and even if it is we should go the eager route here. Various tests
show how this can improve the outcome. One test exposed a problem with
type mismatches between argument and call site argument, a fix is
included. For liveness various more tests were added as well.