commit 7bb455bc8f59e3a3b229b2672d0dd002c73ce02d
author Nicolai Haehnle <nhaehnle@gmail.com> Thu Oct 18 09:38:44 2018 +0000
committer Copybara-Service <copybara-worker@google.com> Fri Oct 16 08:43:35 2020 -0700
tree 175cb4bcc41ec3de6cbc79dfcccde1807dbdfbe5
parent af68b96f987f0859024c7f36586ae2f48ebd3253

[DA] DivergenceAnalysis for unstructured, reducible CFGs

Summary:
This is patch 2 of the new DivergenceAnalysis (https://reviews.llvm.org/D50433).

This patch contains a generic divergence analysis implementation for
unstructured, reducible Control-Flow Graphs. It contains two new classes.
The `SyncDependenceAnalysis` class lazily computes sync dependences, which
relate divergent branches to points of joining divergent control. The
`DivergenceAnalysis` class contains the generic divergence analysis
implementation.

Reviewers: nhaehnle

Reviewed By: nhaehnle

Subscribers: sameerds, kristina, nhaehnle, xbolva00, tschuett, mgorny, llvm-commits

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

llvm-svn: 344734
GitOrigin-RevId: 59041687bee841f46c520f4b6a7cb8f97b4efd05