[PATCH] D130746: RFC: Uniformity Analysis for Irreducible Control Flow

[Krzysztof Drewniak via Phabricator via llvm-commits]

krzysz00 added a comment.

Ok, so, just to make sure I'm understanding my skim correctly

- The uniformity analysis refines the existing divergence analysis, allowing us to more precisely determine if a particular value is uniform
- The main contribution is better handling of irreducible control flow by way of a bunch of stuff about cycle headers that's explained in the talk
- On top of that, this is a refactor of the old analysis to allow it to work on MIR as well

One thing I'm slightly hazy on is how the results of this analysis relate to the old analysis. I //think// that the new code will mark some things convergent that the old analysis marked divergent conservatively, but I'm not sure.

Also, if the uniformity analysis strictly improves the divergence analysis, is there a plan for removing the old analysis after this lands?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D130746