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

[Nicolai Hähnle via Phabricator via llvm-commits]

nhaehnle added a comment.

In D68994#2060451 <https://reviews.llvm.org/D68994#2060451>, @PiotrFusik wrote:

> What is the status of this change?


I still want to pursue a proper modeling of convergent that would probably express that the invalid optimizations that you're likely to see are forbidden. However, the model described here has some issues, and I hope to introduce a slight variation that addresses those issue.

As a matter of pragmatism, I wonder whether we shouldn't just already disable those problematic optimizations today...


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D68994