Re: isl scheduler and spatial locality (Re: [PATCH][GRAPHITE] More TLC)

2017-11-11 Thread Sven Verdoolaege
On Sun, Oct 01, 2017 at 11:58:30AM +0200, Sven Verdoolaege wrote: > For the approach pluto is taking, you'll have to look at the source > code, see pluto_intra_tile_optimize_band. > For the other two approaches I mentioned above, reports will > be made available within the nex

Re: [GRAPHITE, PATCH] Loop unroll and jam optimization

2014-11-08 Thread Sven Verdoolaege
On Sat, Nov 08, 2014 at 12:32:05AM +0100, Mircea Namolaru wrote: > Hello, > > This is the patch for unroll and jam optimizations. It is based on the > code written by Tobias from graphite-optimize-isl.c (the code was > unreachable till now) extended and enabled it via a new option > -floop-unrol

Re: [GRAPHITE, PATCH] Loop unroll and jam optimization

2014-11-11 Thread Sven Verdoolaege
On Tue, Nov 11, 2014 at 04:05:57PM +0100, Mircea Namolaru wrote: > > I'm not sure if Tobi or Albert have told you, but the separation_class > > option > > is going to be phased out since its design is fundamentally flawed. > > If you can't wait until isl-0.15, then I guess you have no choice but >

Re: [PATCH][GRAPHITE] More TLC

2017-09-26 Thread Sven Verdoolaege
On Tue, Sep 26, 2017 at 09:19:50AM -0500, Sebastian Pop wrote: > Sven, is there already a function that computes the sum of all > strides in a proximity map? Maybe you have code that does > something similar in pet or ppcg? What exactly do you want to sum? If this involves any counting, then it c

isl scheduler and spatial locality (Re: [PATCH][GRAPHITE] More TLC)

2017-09-29 Thread Sven Verdoolaege
On Wed, Sep 27, 2017 at 02:18:51PM +0200, Richard Biener wrote: > Ah, so I now see why we do not perform interchange on trivial cases like > > double A[1024][1024], B[1024][1024]; > > void foo(void) > { > for (int i = 0; i < 1024; ++i) > for (int j = 0; j < 1024; ++j) > A[j][i] = B[j]

isl scheduler and spatial locality (Re: [PATCH][GRAPHITE] More TLC)

2017-09-29 Thread Sven Verdoolaege
[Sorry for the resend; I used the wrong email address to CC Alex] On Wed, Sep 27, 2017 at 02:18:51PM +0200, Richard Biener wrote: > Ah, so I now see why we do not perform interchange on trivial cases like > > double A[1024][1024], B[1024][1024]; > > void foo(void) > { > for (int i = 0; i < 102

Re: isl scheduler and spatial locality (Re: [PATCH][GRAPHITE] More TLC)

2017-10-01 Thread Sven Verdoolaege
On Sat, Sep 30, 2017 at 07:47:43PM +0200, Richard Biener wrote: > On September 29, 2017 9:58:41 PM GMT+02:00, Sebastian Pop > wrote: > >On Fri, Sep 29, 2017 at 2:37 PM, Sven Verdoolaege > > wrote: > >> [Sorry for the resend; I used the wrong email address to CC Ale

Re: [graphite] Move to cloog.org interface

2011-08-11 Thread Sven Verdoolaege
On Thu, Aug 11, 2011 at 01:16:45PM -0500, Sebastian Pop wrote: > + if (1) > +{ > + /* For now remove the isl_id's from the context before > + translating to CLooG: this code will be removed when the > + domain will also contain isl_id's. */ > + isl_set *context = isl_set_p

Re: [graphite] Move to cloog.org interface

2011-08-11 Thread Sven Verdoolaege
On Thu, Aug 11, 2011 at 08:14:05PM +0100, Tobias Grosser wrote: > I think the best would be to provide our ctx to cloog when allocating > the CloogState. Yes. skimo

Re: [graphite] Move to cloog.org interface

2011-08-11 Thread Sven Verdoolaege
On Thu, Aug 11, 2011 at 03:10:30PM -0500, Sebastian Pop wrote: > On Thu, Aug 11, 2011 at 14:28, Sven Verdoolaege wrote: > > On Thu, Aug 11, 2011 at 01:16:45PM -0500, Sebastian Pop wrote: > >> + > >> +  /* FIXME: This function will be renamed isl_map_insert_dims and

Re: [graphite] Move to cloog.org interface

2011-08-11 Thread Sven Verdoolaege
On Thu, Aug 11, 2011 at 03:23:13PM -0500, Sebastian Pop wrote: > As we are using this function only on parameters, get_name should > return a unique name. I guess that the name in isl_id is only used > for debugging purposes, as the ISL manual states that "Identifiers > with the same name but diff

Re: [graphite] Move to cloog.org interface

2011-08-11 Thread Sven Verdoolaege
On Thu, Aug 11, 2011 at 04:59:43PM -0500, Sebastian Pop wrote: > >>> +  { > >>> +    isl_dim *dc = isl_set_get_dim (scop->context); > >>> +    int nb_in = isl_dim_size (dc, isl_dim_set); > >>> +    int nb_out = 1 + DR_NUM_DIMENSIONS (dr); > >>> +    int nbp = scop_nb_params (scop); > >>> +    isl_d

Re: [PATCH 08/11] Add ISL data structures

2011-08-12 Thread Sven Verdoolaege
Shouldn't you document that you need isl now? skimo

Re: [PATCH 09/11] Add scop->context

2011-08-12 Thread Sven Verdoolaege
On Thu, Aug 11, 2011 at 05:44:37PM -0500, Sebastian Pop wrote: > + ctx = isl_ctx_alloc (); I can't find the call to cloog_isl_state_malloc in this patch that Tobi correctly requested. skimo

Re: [PATCH 2/2] document ISL requirement for GCC installation

2011-08-12 Thread Sven Verdoolaege
On Fri, Aug 12, 2011 at 10:16:05AM -0500, Sebastian Pop wrote: > --- > gcc/doc/install.texi |8 +++- > 1 files changed, 7 insertions(+), 1 deletions(-) > > diff --git a/gcc/doc/install.texi b/gcc/doc/install.texi > index 368221f..f2b2fd9 100644 > --- a/gcc/doc/install.texi > +++ b/gcc/doc

Re: [PATCH 2/2] document ISL requirement for GCC installation

2011-08-12 Thread Sven Verdoolaege
On Fri, Aug 12, 2011 at 05:02:18PM +, Joseph S. Myers wrote: > On Fri, 12 Aug 2011, Sebastian Pop wrote: > > +@item Integer Set Library (ISL) version 0.08 > > + > > +Necessary to build GCC with the Graphite loop optimizations. > > +It can be downloaded from @uref{http://www.kotnet.org/~skimo/is

Re: [PATCH 2/2] document ISL requirement for GCC installation

2011-08-12 Thread Sven Verdoolaege
On Fri, Aug 12, 2011 at 06:56:38PM +, Joseph S. Myers wrote: > I don't see why that should make any difference to the build requirements. > If CLooG-ISL builds and installs a library libisl.a as well as > libcloog-isl.a (as config/cloog.m4 thinks it does at present), why should > someone ne

Re: [PATCH 2/2] document ISL requirement for GCC installation

2011-08-12 Thread Sven Verdoolaege
On Fri, Aug 12, 2011 at 07:16:55PM +, Joseph S. Myers wrote: > Do you mean there is not only a requirement to build both libraries, but > there is a requirement to build CLooG *first*, then ISL, so that ISL's > libisl.a overwrites CLooG's rather than the other way round (supposing > that the

Re: [PATCH 2/2] document ISL requirement for GCC installation

2011-08-12 Thread Sven Verdoolaege
On Fri, Aug 12, 2011 at 07:28:52PM +, Joseph S. Myers wrote: > On Fri, 12 Aug 2011, Sven Verdoolaege wrote: > > > On Fri, Aug 12, 2011 at 07:16:55PM +, Joseph S. Myers wrote: > > > Do you mean there is not only a requirement to build both libraries, but > >

Re: [PATCH 2/2] document ISL requirement for GCC installation

2011-08-12 Thread Sven Verdoolaege
On Fri, Aug 12, 2011 at 03:30:25PM -0400, Jack Howarth wrote: > Skimo, >Currently we don't have any checks for the minimal isl version required. I assume they will be added at some point. AFAIU, Sebastian just started working on this. It will take some time for him to finish the transition. A

Re: [PATCH 15/20] strip-mine with isl

2011-08-15 Thread Sven Verdoolaege
On Mon, Aug 15, 2011 at 02:12:54AM -0500, Sebastian Pop wrote: > @@ -160,6 +182,14 @@ pbb_strip_mine_time_depth (poly_bb_p pbb, int > time_depth, int stride) > ppl_delete_Linear_Expression (expr); > ppl_Polyhedron_add_constraint (res, new_cstr); > ppl_delete_Constraint (new_cstr); >