[PATCH] D130746: RFC: Uniformity Analysis for Irreducible Control Flow
Krzysztof Drewniak via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Tue Nov 29 11:09:05 PST 2022
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
More information about the llvm-commits
mailing list