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

[Anastasia Stulova via Phabricator via llvm-commits]

Anastasia added a comment.

In D68994#2073827 <https://reviews.llvm.org/D68994#2073827>, @nhaehnle wrote:

> 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...


Do you mean disable them for the convergent functions?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D68994