[llvm-dev] Attribute for Function that does not write to memory that outlives itself
Doerfert, Johannes via llvm-dev
llvm-dev at lists.llvm.org
Fri Jan 3 12:05:26 PST 2020
LLVM-IR: readnone/readonly/writeonly on functions is almost what you
want. They basically that from the perspective of the caller there is no
On 01/03, Alex Brachet-Mialot via llvm-dev wrote:
> Pure or const are similar to what you want but not exactly the same to what
> you’re describing.
> On Fri, Jan 3, 2020 at 2:12 PM William Moses via llvm-dev <
> llvm-dev at lists.llvm.org> wrote:
> > Hi all,
> > Is there a function attribute or otherwise way to query whether a function
> > could write to memory that outlives itself?
> > For example writing to a global or memory passed in via a function
> > argument would be writing to memory that outlives the function, but writing
> > to a stack variable or allocation that isn't returned would not.
> > Cheers,
> > Billy Moses
> > _______________________________________________
> > LLVM Developers mailing list
> > llvm-dev at lists.llvm.org
> > https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev
> LLVM Developers mailing list
> llvm-dev at lists.llvm.org
Argonne National Laboratory
Lemont, IL 60439, USA
jdoerfert at anl.gov
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 228 bytes
Desc: not available
More information about the llvm-dev