[PATCH] D65141: [DivergenceAnalysis] Add methods for querying divergence at use

[Jay Foad via Phabricator via llvm-commits]

foad added a comment.

In D65141#1600938 <https://reviews.llvm.org/D65141#1600938>, @nhaehnle wrote:

> To @arsenm 's question: at least for the SelectionDAG, the key is in `SITargetLowering::isSDNodeSourceOfDivergence`, which calls `isDivergent` on a value.
>
> The way the SelectionDAG works, we have in our hands at this point a live value that comes into a basic block via a register. This suggests an `isDivergentInBB`.


Is it guaranteed that the basic block does contain a use of the value? If not, I think this will be difficult to implement in LegacyDivergenceAnalysis.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D65141/new/

https://reviews.llvm.org/D65141