[all-commits] [llvm/llvm-project] d3963b: [DA] propagate loop live-out values that get used ...

[Sameer Sahasrabuddhe via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: d3963b3a5f4fc34288cc86e3d92a9846f55ccfb5
      https://github.com/llvm/llvm-project/commit/d3963b3a5f4fc34288cc86e3d92a9846f55ccfb5
  Author: Sameer Sahasrabuddhe <sameer.sahasrabuddhe at amd.com>
  Date:   2020-06-17 (Wed, 17 Jun 2020)

  Changed paths:
    M llvm/lib/Analysis/DivergenceAnalysis.cpp
    A llvm/test/Analysis/DivergenceAnalysis/AMDGPU/propagate-loop-live-out.ll

  Log Message:
  -----------
  [DA] propagate loop live-out values that get used in a branch

Values that are uniform within a loop but appear divergent to uses
outside the loop are "tainted" so that such uses are marked
divergent. But if such a use is a branch, then it's divergence needs
to be propagated. The simplest way to do that is to put the branch
back in the main worklist so that it is processed appropriately.

Reviewed By: simoll

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