Sameer Sahasrabuddhe 7aad220795 [DA] conservatively mark the join of every divergent branch ... For a loop, a join block is a block that is reachable along multiple disjoint paths from the exiting block of a loop. If the exit condition of the loop is divergent, then such join blocks must also be marked divergent. This currently fails in some cases because not all join blocks are identified correctly. The workaround is to conservatively mark every join block of any branch (not necessarily the exiting block of a loop) as divergent. https://bugs.llvm.org/show_bug.cgi?id=46372 Reviewed By: simoll Differential Revision: https://reviews.llvm.org/D81806		2020-06-18 17:39:20 +05:30
..
AMDGPU	[DA] conservatively mark the join of every divergent branch	2020-06-18 17:39:20 +05:30
NVPTX	[DA] GPUDivergenceAnalysis for unstructured GPU kernels	2018-11-30 22:55:20 +00:00