Displaying 2 results from an estimated 2 matches for "readonly_except_for_sret".
2015 Mar 09
2
[LLVMdev] A limitation of LLVM with regard to marking sret functions as readonly.
...sult of your definition change
> (besides it making theoretical sense), it often makes more sense to
> add a new attribute, and add it to the optimizers that can use it (or
> abstract it where it makes sense so a new something like mayBeCSE'd
> returns true for both readonly and readonly_except_for_sret, and have
> the optimizers use this instead, but the optimizers that care about
> the difference can still test the individual flags)
>
> Now, you are of course, welcome to make such an argument - go through
> the optimizers, see what/where they use readonly, and whether it'd...
2015 Mar 08
2
[LLVMdev] A limitation of LLVM with regard to marking sret functions as readonly.
Hi all,
I have identified what seems to be a limitation of LLVM with regard to
marking 'sret functions' as pure/readonly.
For some context - I have some JITed code produced by LLVM, and that
code calls back into the host application occasionally.
Since my language is purely functional, no functions have side-effects.
Therefore I would like to be able to cache the value of identical