[Clang] Convergent Attribute

[Ettore Speziale via cfe-commits]

Hello,

the attached patch introduces the `convergent` attribute.

It is meant to be lowered into the LLVM `convergent` attribute, to restrict optimizations of attributed functions — e.g. you can attach convergent to OpenCL’s barrier, and thus prevent a call site being moved to another position which is not control equivalent. 

Bye,
Ettore Speziale

-------------- next part --------------
A non-text attachment was scrubbed...
Name: convergent.diff
Type: application/octet-stream
Size: 2942 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20160503/1ca175b9/attachment.obj>
-------------- next part --------------


--------------------------------------------------
Ettore Speziale — Compiler Engineer
speziale.ettore at gmail.com
espeziale at apple.com
--------------------------------------------------