[PATCH] D18162: AMDGPU: Add SIWholeQuadMode pass

[Nicolai Hähnle via llvm-commits]

nhaehnle added a comment.

Ah okay. There are two intrinsic (types) related to all this:

1. The kill intrinsic. This is marked as having side effects, which I think should imply convergent.

2. The load / store / atomic intrinsics. They themselves don't involve derivatives. If their results are used in a derivative computation, then it is sufficient to ensure that they are always executed when the consumer is executed, but that automatically follows from plain data flow (just like any other normal computations).

So I think we're fine without convergent attributes anywhere.


http://reviews.llvm.org/D18162