Re: graphds.[ch]: alloc_pool for edges

2011-08-22 Thread Richard Guenther
On Mon, Aug 22, 2011 at 9:37 AM, Dimitrios Apostolou wrote: > free() was called way too often before, this patch reduces it significantly. > Minor speed-up here too, I don't mention it individually since numbers are > within noise margins. As there is no re-use in this pool the natural allocator

Re: graphds.[ch]: alloc_pool for edges

2011-08-22 Thread Jakub Jelinek
On Mon, Aug 22, 2011 at 10:37:58AM +0300, Dimitrios Apostolou wrote: > --- gcc/graphds.h 2009-02-20 15:20:38 + > +++ gcc/graphds.h 2011-08-19 16:44:41 + > @@ -18,6 +18,10 @@ You should have received a copy of the G > along with GCC; see the file COPYING3. If not see >

graphds.[ch]: alloc_pool for edges

2011-08-22 Thread Dimitrios Apostolou
free() was called way too often before, this patch reduces it significantly. Minor speed-up here too, I don't mention it individually since numbers are within noise margins. 2011-08-22 Dimitrios Apostolou * graphds.h (struct graph): Added edge_pool as a pool for allocating