[PATCH] D68994: [RFC] Redefine `convergent` in terms of dynamic instances

[Piotr Fusik via Phabricator via llvm-commits]

PiotrFusik added a comment.

What is the status of this change?

I'm introducing extended subgroup functions in OpenCL: https://reviews.llvm.org/D79781#inline-735663 and currently marking them with the `convergent` attribute doesn't prevent invalid optimizations.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D68994