search for: verdoolaege

...ool polly::ScopDetection::isValidInstruction(llvm::Instruction&, polly::ScopDetection::DetectionContext&) const: Assertion `!Context.Verifying && "IndVar"' failed. > This was with ISL as of this commit: commit 02b2b6f2298d6beca919692219a287986e984347 Author: Sven Verdoolaege <skimo at kotnet.org> Date: Tue Apr 9 17:37:46 2013 +0200 When updating ISL to master as of today, I get a compile error when building polly: commit 1df91d8515ec88dc7f7f597168ad0f34f26de5a7 Author: Sven Verdoolaege <skimo at kotnet.org> Date: Wed Apr 17 12:38:51 2013 +0200 i...

...:Instruction&, polly::ScopDetection::DetectionContext&) const: Assertion `!Context.Verifying && "IndVar"' failed. >>> >> >> This was with ISL as of this commit: >> >> commit 02b2b6f2298d6beca919692219a287986e984347 >> Author: Sven Verdoolaege <skimo at kotnet.org> >> Date: Tue Apr 9 17:37:46 2013 +0200 >> >> >> When updating ISL to master as of today, I get a compile error when building polly: >> >> commit 1df91d8515ec88dc7f7f597168ad0f34f26de5a7 >> Author: Sven Verdoolaege <skimo at...

...onContext&) const: Assertion `!Context.Verifying && "IndVar"' failed. >>>>> >>>> >>>> This was with ISL as of this commit: >>>> >>>> commit 02b2b6f2298d6beca919692219a287986e984347 >>>> Author: Sven Verdoolaege <skimo at kotnet.org> >>>> Date: Tue Apr 9 17:37:46 2013 +0200 >>>> >>>> >>>> When updating ISL to master as of today, I get a compile error when building polly: >>>> >>>> commit 1df91d8515ec88dc7f7f597168ad0f34f26de5a7...

...lidInstruction(llvm::Instruction&, polly::ScopDetection::DetectionContext&) const: Assertion `!Context.Verifying && "IndVar"' failed. > > > > This was with ISL as of this commit: > > commit 02b2b6f2298d6beca919692219a287986e984347 > Author: Sven Verdoolaege <skimo at kotnet.org> > Date: Tue Apr 9 17:37:46 2013 +0200 > > > When updating ISL to master as of today, I get a compile error when building polly: > > commit 1df91d8515ec88dc7f7f597168ad0f34f26de5a7 > Author: Sven Verdoolaege <skimo at kotnet.org> > Date:...

...::ScopDetection::DetectionContext&) const: Assertion `!Context.Verifying && "IndVar"' failed. >>>> >>> >>> This was with ISL as of this commit: >>> >>> commit 02b2b6f2298d6beca919692219a287986e984347 >>> Author: Sven Verdoolaege <skimo at kotnet.org> >>> Date: Tue Apr 9 17:37:46 2013 +0200 >>> >>> >>> When updating ISL to master as of today, I get a compile error when building polly: >>> >>> commit 1df91d8515ec88dc7f7f597168ad0f34f26de5a7 >>> Author: Sv...

...amp;& "IndVar"' failed. > >>>>>> > >>>>> > >>>>> This was with ISL as of this commit: > >>>>> > >>>>> commit 02b2b6f2298d6beca919692219a287986e984347 > >>>>> Author: Sven Verdoolaege <skimo at kotnet.org> > >>>>> Date: Tue Apr 9 17:37:46 2013 +0200 > >>>>> > >>>>> > >>>>> When updating ISL to master as of today, I get a compile error when building polly: > >>>>> > >>>&g...

...ssertion `!Context.Verifying && "IndVar"' failed. >>>>>> >>>>> >>>>> This was with ISL as of this commit: >>>>> >>>>> commit 02b2b6f2298d6beca919692219a287986e984347 >>>>> Author: Sven Verdoolaege <skimo at kotnet.org> >>>>> Date: Tue Apr 9 17:37:46 2013 +0200 >>>>> >>>>> >>>>> When updating ISL to master as of today, I get a compile error when building polly: >>>>> >>>>> commit 1df91d8515ec88dc...

...dVar"' failed. >>>>>>>> >>>>>>> >>>>>>> This was with ISL as of this commit: >>>>>>> >>>>>>> commit 02b2b6f2298d6beca919692219a287986e984347 >>>>>>> Author: Sven Verdoolaege <skimo at kotnet.org> >>>>>>> Date: Tue Apr 9 17:37:46 2013 +0200 >>>>>>> >>>>>>> >>>>>>> When updating ISL to master as of today, I get a compile error when building polly: >>>>>>> >...

Jack Howarth wrote: > The attached patch eliminates http://llvm.org/bugs/show_bug.cgi?id=15817 by removing the remaining > "; XFAIL:*" added in http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20130415/171812.html. > The Isl/CodeGen/scevcodegen-1.ll testcase in polly appears as an XPASS in current llvm/polly 3.3 > and trunk svn for both x86_64-apple-darwin* and

On 07/29/2013 09:15 AM, Sven Verdoolaege wrote: > On Mon, Jul 29, 2013 at 07:37:14AM -0700, Tobias Grosser wrote: >> On 07/29/2013 03:18 AM, Sven Verdoolaege wrote: >>> On Sun, Jul 28, 2013 at 04:42:25PM -0700, Tobias Grosser wrote: >>>> Sven: In terms of making the behaviour of isl easier to understand, >...

The attached patch eliminates http://llvm.org/bugs/show_bug.cgi?id=15817 by removing the remaining "; XFAIL:*" added in http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20130415/171812.html. The Isl/CodeGen/scevcodegen-1.ll testcase in polly appears as an XPASS in current llvm/polly 3.3 and trunk svn for both x86_64-apple-darwin* and x86_64 Fedora 15 when built against isl

...t; This leaves us with ISL and CLooG. For both the copyright situation is > pretty clear. The more complex library here is ISL. To my knowledge it > is the only competitive open source integer set library. Rewriting it > will be hard*. However, it was developed by one person (Sven > Verdoolaege) and some smaller patches of me. AFAIK the copyrights are > hold by the academic institutions he was working for. This means the > copyright situation is clear. It cannot be changed overnight, but the > institutions that need to be addressed are known. In my experience, it is better to...

...es us with ISL and CLooG. For both the copyright situation is >> pretty clear. The more complex library here is ISL. To my knowledge it >> is the only competitive open source integer set library. Rewriting it >> will be hard*. However, it was developed by one person (Sven >> Verdoolaege) and some smaller patches of me. AFAIK the copyrights are >> hold by the academic institutions he was working for. This means the >> copyright situation is clear. It cannot be changed overnight, but the >> institutions that need to be addressed are known. > > In my experienc...

...nctionality in LLVM. This leaves us with ISL and CLooG. For both the copyright situation is pretty clear. The more complex library here is ISL. To my knowledge it is the only competitive open source integer set library. Rewriting it will be hard*. However, it was developed by one person (Sven Verdoolaege) and some smaller patches of me. AFAIK the copyrights are hold by the academic institutions he was working for. This means the copyright situation is clear. It cannot be changed overnight, but the institutions that need to be addressed are known. The main reason I did not look into this earlier...

On Feb 6, 2012, at 1:56 PM, Hal Finkel wrote: >> If you do not want to use polly, you could use ISL >> http://freecode.com/projects/isl to set up the dependence problem and >> use ISL's ILP to solve it. > > isl is an LGPL project. It is not clear to me what the general consensus > would be on having a core analysis pass carry an LGPL dependency. This is fine for

Hi Sebastian, Recently, I found the "Polly - Calculate dependences" pass would lead to significant compile-time overhead when compiling some loop-intensive source code. Tobias told me you found similar problem as follows: http://llvm.org/bugs/show_bug.cgi?id=14240 My evaluation shows that "Polly - Calculate dependences" pass consumes 96.4% of total compile-time overhead

On 10/21/2012 03:46 PM, Jack Howarth wrote: > On Sun, Oct 21, 2012 at 02:31:50PM -0700, Tobias Grosser wrote: >> On 10/21/2012 12:47 PM, Jack Howarth wrote: >>> On Sun, Oct 21, 2012 at 11:58:43AM -0700, Tobias Grosser wrote: >>> ... >>>> Does attached patch work for you? >>>> >>>> Tobi >>>> >>> >>> Tobi,

...sis and should be more or less like the detection in Graphite. One point I do not yet fully understand is how to get array access functions from the LLVM-IR. (Probably based on getElementPtr) Another question is which polyhedral library can be used inside LLVM. One option would be ISL from Sven Verdoolaege (LGPL) another the PPL from Roberto Bagnara (GPLv3). 1.3 Generate LLVM IR from polyhedral mode ----------------------------------------- For code generation the CLooG/isl library can be used. It is LGPL licensed. Sven will also work on an CLooG using the PPL, so this could also be an option....

On Mon, Oct 22, 2012 at 02:05:17PM +0200, Sven Verdoolaege wrote: > On Sun, Oct 21, 2012 at 03:52:39PM -0700, Tobias Grosser wrote: > > On 10/21/2012 03:46 PM, Jack Howarth wrote: > > >Is there a schedule for releasing updated tarballs for isl and cloog? > > > > I am not aware of a concrete schedule, but I believe Sven (copie...

On 07/29/2013 03:18 AM, Sven Verdoolaege wrote: > On Sun, Jul 28, 2013 at 04:42:25PM -0700, Tobias Grosser wrote: >> Sven: In terms of making the behaviour of isl easier to understand, >> it may make sense to fail/assert in case operands have parameters that >> are named identical, but that refer to different pointer...