[PATCH] D153744: [LoopUnroll] adjust for new `convergent` semantics

[Sameer Sahasrabuddhe via Phabricator via llvm-commits]

sameerds added a comment.

For what it's worth, the formal semantics of convergence tokens and intrinsics landed in LLVM. This patch relaxes the constraints on loop unrolling in the presence of convergence tokens as defined in that spec:

https://llvm.org/docs/ConvergentOperations.html


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D153744