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

[Sameer Sahasrabuddhe via Phabricator via llvm-commits]

sameerds created this revision.
Herald added subscribers: llvm-commits, kerbowa, hiraditya, nhaehnle, jvesely.
Herald added a project: LLVM.
sameerds added reviewers: simoll, nhaehnle, kerbowa, foad.

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.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D81822

Files:
  llvm/include/llvm/Analysis/DivergenceAnalysis.h
  llvm/lib/Analysis/DivergenceAnalysis.cpp
  llvm/test/Analysis/DivergenceAnalysis/AMDGPU/propagate-loop-live-out.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D81822.270659.patch
Type: text/x-patch
Size: 3898 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20200615/05b881d2/attachment.bin>