[PATCH] D17012: Update document about convergent attribute.

[Mehdi AMINI via llvm-commits]

joker.eph accepted this revision.
joker.eph added a reviewer: joker.eph.
joker.eph added a comment.

LGTM.

(I think the last sentence of the second paragraph `unless the optimizer can prove that they never execute a convergent operation.` is redundant with the third paragraph)


http://reviews.llvm.org/D17012