[all-commits] [llvm/llvm-project] 7468af: [DAE] MarkLive in MarkValue(MaybeLive) if any use ...

[aeubanks via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 7468afe9ca135228f4c5a48f1b061ca57786fad6
      https://github.com/llvm/llvm-project/commit/7468afe9ca135228f4c5a48f1b061ca57786fad6
  Author: Arthur Eubanks <aeubanks at google.com>
  Date:   2020-10-02 (Fri, 02 Oct 2020)

  Changed paths:
    M llvm/include/llvm/Transforms/IPO/DeadArgumentElimination.h
    M llvm/lib/Transforms/IPO/DeadArgumentElimination.cpp
    A llvm/test/Transforms/DeadArgElim/preserve-used-ret.ll

  Log Message:
  -----------
  [DAE] MarkLive in MarkValue(MaybeLive) if any use is live

While looping through all args or all return values, we may mark a use
of a later iteration as live. Previously when we got to that later value
it would ignore that and continue adding to Uses instead of marking it
live. For example, when looping through arg#0 and arg#1,
MarkValue(arg#0, Live) may cause some use of arg#1 to be live, but
MarkValue(arg#1, MaybeLive) will not notice that and continue adding
into Uses.

Now MarkValue(RA, MaybeLive) will MarkLive(RA) if any use is live.

Fixes PR47444.

Reviewed By: rnk

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