[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