Re: Inquiry about GCC Summer Of Code project idea.

2013-05-15 Thread Thomas Schwinge
Hi! On Fri, 3 May 2013 21:23:49 +0300, Fotis Koutoulakis wrote: > A link to it can be found here: > https://google-melange.appspot.com/gsoc/proposal/review/google/gsoc2013/nlightnfotis/1 > (I > hope it is publicly visible, it seems to me it is). > > Of course, I am more than open to comments/cr

Re: pure/const function attribute and memoization

2013-05-15 Thread Richard Biener
On Wed, May 15, 2013 at 11:12 AM, Florian Weimer wrote: > On 05/15/2013 11:01 AM, Richard Biener wrote: >> >> Now - if there would ever be an architecture where special call-site >> preparation >> is required for a callee to write to global memory then marking a function >> 'const' >> when it does

Re: pure/const function attribute and memoization

2013-05-15 Thread Florian Weimer
On 05/15/2013 11:01 AM, Richard Biener wrote: Now - if there would ever be an architecture where special call-site preparation is required for a callee to write to global memory then marking a function 'const' when it does in fact write to global memory then GCC may choose to optimize the call s

Re: pure/const function attribute and memoization

2013-05-15 Thread Richard Biener
On Wed, May 15, 2013 at 9:50 AM, Florian Weimer wrote: > Back when these attributes were defined, we had no inter-procedural analysis > or other fanciness, so I suspect we didn't consider the case where the > annotated function only behaved as if it were pure or const. One important > case is memo

pure/const function attribute and memoization

2013-05-15 Thread Florian Weimer
Back when these attributes were defined, we had no inter-procedural analysis or other fanciness, so I suspect we didn't consider the case where the annotated function only behaved as if it were pure or const. One important case is memoization—a function which uses this technique writes to globa