[PATCH] D20616: Fix Function Attributes computation for llvm.assume

[Sanjoy Das via llvm-commits]

sanjoy accepted this revision.
sanjoy added a reviewer: sanjoy.
sanjoy added a comment.

I think guards are fine since http://reviews.llvm.org/rL268068 only touches assumes.  Also guards are not `nounwind` so even if we do a http://reviews.llvm.org/rL268068 like thing for them, ideally LLVM should not be removing them even after proving `readonly` (guards are also `readonly` in a precise sense, not `readnone`).


http://reviews.llvm.org/D20616