[PATCH] D14933: Add the allocsize attribute to LLVM

[Nuno Lopes via llvm-commits]

nlopes added a comment.

In http://reviews.llvm.org/D14933#311655, @george.burgess.iv wrote:

> > support arbitrary expressions (like llvm.assume).
>
>
> I'm fine allowing this attribute to store a `Function*` or `Value*` that LLVM tries to constant fold at each callsite, but I can't see how `llvm.assume` fits into the picture at all. Can you give a concrete example of what you're trying to accomplish with the addition you proposed?


I mentioned assume as a precedent for something that takes an arbitrary expression which is not codegen'ed.
See e.g.: http://lists.llvm.org/pipermail/cfe-dev/2012-June/022272.html


http://reviews.llvm.org/D14933