[PATCH] D147116: [RFC] Introduce convergence control intrinsics

[Eli Friedman via Phabricator via llvm-commits]

efriedma added a comment.

> As far as I can tell, none of the rules guarantee that "sink any uses of other convergence tokens out of that region" is a legal transform. Or am I missing some rule that actually ensures that?

Looking again, I guess this is the "convergence region" rule.  It doesn't look like the verifier enforces this rule at the moment, but I assume that's planned?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D147116