[PATCH] D65274: [SDA] Don't stop divergence propagation at the IPD.

[Simon Moll via Phabricator via llvm-commits]

simoll created this revision.
simoll added reviewers: foad, nhaehnle.
simoll added a project: LLVM.

This fixes B42473 and B42706.

This patch makes the SDA propagate branch divergence until the end of the RPO traversal. Before, the SyncDependenceAnalysis propagated divergence only until the IPD in rpo order. RPO is incompatible with post dominance in the presence of loops. This made the SDA crash because blocks were missed in the propagation.


Repository:
  rL LLVM

https://reviews.llvm.org/D65274

Files:
  lib/Analysis/SyncDependenceAnalysis.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D65274.211480.patch
Type: text/x-patch
Size: 5781 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20190725/bf69b6ac/attachment.bin>