[PATCH] D14227: Add a new attribute: norecurse

Aaron Ballman via llvm-commits llvm-commits at lists.llvm.org
Mon Nov 2 11:51:01 PST 2015


Why an attribute specifying that recursion does not happen instead of one
specifying that it does? It seems like functions generally do not recurse,
which suggests marking recursion would require less annotations.

~Aaron
On Nov 2, 2015 1:15 PM, "Mehdi AMINI via llvm-commits" <
llvm-commits at lists.llvm.org> wrote:

> joker.eph added a comment.
>
> Patch looks good to me, but it would be nice to have more support for the
> attribute (or maybe at least wait a little bit for people to be able to
> object).
>
>
> ================
> Comment at: include/llvm/IR/Function.h:328
> @@ -327,1 +327,3 @@
>
> +  /// @brief Determine if the function is known not to recurse, directly
> or
> +  /// indirectly.
> ----------------
> Just a nitpick: I believe we enabled autobrief and we shouldn't add it
> anymore when unnecessary.
>
>
> Repository:
>   rL LLVM
>
> http://reviews.llvm.org/D14227
>
>
>
> _______________________________________________
> llvm-commits mailing list
> llvm-commits at lists.llvm.org
> http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-commits
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20151102/182e1a5b/attachment.html>


More information about the llvm-commits mailing list