arsenm added a comment. Is this just a read from the exec mask? It should probably be convergent. Can you accomplish the same thing with a convergent call to the read_register intrinsic? http://reviews.llvm.org/D19191