mehdi_amini 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. (adding @chandlerc as reviewer as well) https://reviews.llvm.org/D26348