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

[Eli Friedman via Phabricator via llvm-commits]

efriedma added a comment.

I think what I'm describing didn't really get across... probably the convergence-related terminology I'm using isn't quite right.

The result of the change I'm suggesting is that for a loop like `while (true) { if (g()) { convergent_op(); break; } }`, convergent_op() actually stays inside the CFG loop.  If all operations lexically inside the loop are also inside the CFG loop, we don't need tokens to figure out which operations are lexically inside the loop.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D147116