[llvm-dev] [RFC] Redefine `convergent` in terms of dynamic instances

[Nicolai Hähnle-Montoro via llvm-dev]

Hi all,

this is a follow-up to the thread about adding thread group semantics
to LangRef from last December, see here:
http://lists.llvm.org/pipermail/llvm-dev/2018-December/128662.html

Please see the concrete proposal at https://reviews.llvm.org/D68994
for a direction to take to address the `convergent` issues. It
contains both a high-level abstract of the what & why, as well as the
proposed LangRef changes and new intrinsics.

A full solution through an entire compiler stack will require proper
frontend and backend support of the new intrinsics, but this RFC patch
should give you an idea of how things will work. and hopefully can
serve as a basis for making an informed decision whether this approach
can go upstream.

Please let me know what you think. I'd be happy to discuss the
proposal by email and next week at the LLVM Dev Meeting.

Cheers,
Nicolai
-- 
Lerne, wie die Welt wirklich ist,
aber vergiss niemals, wie sie sein sollte.