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

Sanjoy Das via llvm-commits llvm-commits at lists.llvm.org
Wed May 25 11:46:30 PDT 2016

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`).


More information about the llvm-commits mailing list