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

[Eli Friedman via Phabricator via llvm-commits]

efriedma added a comment.

Spent a bit more time thinking about this... the whole "explicit convergence" thing is starting to make more sense.  At a conceptual level, I can see why the notion of barriers is sort of incompatible with what you want to do with tokens.  And if you don't have a barrier, then there's nothing actually keeping anything inside the loop, so the notion of an extended loop region is the natural result.

That said, I still think it would be very inconvenient to adapt certain transforms, like unrolling and LSR, to actually handle extended loop regions effectively.  It might make sense to have a utility to transform an extended loop into a plain loop.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D147116