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 next cou

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 <seb...@gmail.com> > wrote: > >On Fri, Sep 29, 2017 at 2:37 PM, Sven Verdoolaege > ><sven.verdoola...@gmail.com> wrote: > >> [Sorry

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 <

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] =

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

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 to use

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

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); + +

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 +++

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/isl/}.

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 need

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 they

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 there is a requirement to build CLooG

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.

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 =

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 sk...@kotnet.org 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 +     documented

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

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_dim *dim = isl_dim_alloc