[PATCH] D67751: [Attributor] Implement "norecurse" function attribute deduction

[Hideto Ueno via Phabricator via llvm-commits]

uenoku marked 5 inline comments as done.
uenoku added inline comments.


================
Comment at: llvm/test/Transforms/FunctionAttrs/norecurse.ll:129
+  ret i32 1
+}
----------------
jdoerfert wrote:
> do we have a function pointer test?
> do we have a test with recursion through a dead call site?
I added both. See below.


================
Comment at: llvm/test/Transforms/FunctionAttrs/willreturn.ll:529
   br label %L2
 L2:
   br label %L1
----------------
jdoerfert wrote:
> Willreturn uses norecurse, could we have a test to show how this improved willreturn?
I change Test8 a bit and willreturn and norecurse will be propagated in the test.


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D67751/new/

https://reviews.llvm.org/D67751