[PATCH] D147116: [RFC] Introduce convergence control intrinsics
Eli Friedman via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Sun Jun 18 23:29:33 PDT 2023
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
More information about the llvm-commits
mailing list