[PATCH] D26348: Allow convergent attribute for function arguments

[Justin Lebar via llvm-commits]

jlebar added a comment.

> This seems to import the "SIMT/SPMD/..." model into LangRef, and the constraint here seems a bit scary since I suspect it may impact significantly the optimizer.

Right, see previous discussion on llvm-dev.  We're trying to craft something that doesn't import SIMT/SPMD into the langref while still allowing us to model the constraints the hardware puts on these functions.

The existing convergent function attr also has nontrivial impacts on the optimizer.


https://reviews.llvm.org/D26348