search for: isles

Dear community, for our goal to make polyhedral optimization available in the main LLVM source, we will need the Integer Set Library (isl)[1]. It is the main dependency of Polly, but would be required even if we do not directly import Polly. I already prepared a patch [2], unfortunately without feedback on the general approach. As Philip suggested in the review, I am reaching out with an RFC

On Mon, Jan 15, 2018, at 22:10, Philip Pfaffe via llvm-dev wrote: > Hi Micheal, > > thanks for moving this forward! > > 2018-01-15 17:52 GMT+01:00 Michael Kruse via llvm-dev < > llvm-dev at lists.llvm.org>: > > > Dear community, > > > > for our goal to make polyhedral optimization available in the main > > LLVM source, we will need the Integer

On Tue, Jan 16, 2018, at 08:53, Tobias Grosser via llvm-dev wrote: > On Mon, Jan 15, 2018, at 22:10, Philip Pfaffe via llvm-dev wrote: > > Hi Micheal, > > > > thanks for moving this forward! > > > > 2018-01-15 17:52 GMT+01:00 Michael Kruse via llvm-dev < > > llvm-dev at lists.llvm.org>: > > > > > Dear community, > > > >

Hi Micheal, thanks for moving this forward! 2018-01-15 17:52 GMT+01:00 Michael Kruse via llvm-dev < llvm-dev at lists.llvm.org>: > Dear community, > > for our goal to make polyhedral optimization available in the main > LLVM source, we will need the Integer Set Library (isl)[1]. It is the > main dependency of Polly, but would be required even if we do not > directly

On 01/15/2018 10:52 AM, Michael Kruse via llvm-dev wrote: > Dear community, > > for our goal to make polyhedral optimization available in the main > LLVM source, we will need the Integer Set Library (isl)[1]. It is the > main dependency of Polly, but would be required even if we do not > directly import Polly. > > I already prepared a patch [2], unfortunately without

On Wed, Jan 17, 2018, at 07:22, Chris Lattner via llvm-dev wrote: > > On Jan 15, 2018, at 8:52 AM, Michael Kruse via llvm-dev <llvm-dev at lists.llvm.org> wrote: > > As for the main motivation on why to import the entire source of isl at all: > > Polly interacts relative tightly with isl which provide the main > > optimization algorithms. For instance, Polly's

On 01/16/2018 01:59 AM, Tobias Grosser via llvm-dev wrote: > On Tue, Jan 16, 2018, at 08:53, Tobias Grosser via llvm-dev wrote: >> On Mon, Jan 15, 2018, at 22:10, Philip Pfaffe via llvm-dev wrote: >>> Hi Micheal, >>> >>> thanks for moving this forward! >>> >>> 2018-01-15 17:52 GMT+01:00 Michael Kruse via llvm-dev < >>> llvm-dev at

2018-01-18 6:40 GMT+01:00 Chris Lattner <clattner at nondot.org>: > Great, I think that that would be a fine approach: you can have the cmake logic detect which version of isl is installed and fail if it is the wrong version. This would address my concern. > The motivation explained in the original email seemed to hinge around the fact that Polly’s unit tests depend on accidental

On 01/15/2018 08:52 AM, Michael Kruse via llvm-dev wrote: > Dear community, > > for our goal to make polyhedral optimization available in the main > LLVM source, we will need the Integer Set Library (isl)[1]. It is the > main dependency of Polly, but would be required even if we do not > directly import Polly. > > I already prepared a patch [2], unfortunately without

On Mon, Jan 15, 2018 at 05:52:02PM +0100, Michael Kruse via llvm-dev wrote: > * The library is named LLVMISL and contained in the lib/ISL folder to > work best with LLVM's component system. The component's name "ISL" was > chosen over "isl" as it matches the capitalization of other > two/three-letter-acronym components. Are the ISL sources themselve put

On Fri, Jan 19, 2018, at 05:47, Chris Lattner via llvm-dev wrote: > > > > On Jan 18, 2018, at 6:02 AM, Michael Kruse <llvmdev at meinersbur.de> wrote: > > > > 2018-01-18 6:40 GMT+01:00 Chris Lattner <clattner at nondot.org>: > >> Great, I think that that would be a fine approach: you can have the cmake logic detect which version of isl is installed

Sebastian Pop wrote: > 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 > >

On 19 January 2018 at 08:13, Tobias Grosser via llvm-dev <llvm-dev at lists.llvm.org> wrote: > On Fri, Jan 19, 2018, at 05:47, Chris Lattner via llvm-dev wrote: >> >> >> > On Jan 18, 2018, at 6:02 AM, Michael Kruse <llvmdev at meinersbur.de> wrote: >> > >> > 2018-01-18 6:40 GMT+01:00 Chris Lattner <clattner at nondot.org>: >>

On 05/31/2013 10:11 AM, Sebastian Pop wrote: > Sebastian Pop wrote: >> Sebastian Pop wrote: >>> 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. >>>>

On 05/31/2013 01:09 PM, Jack Howarth wrote: > On Fri, May 31, 2013 at 10:59:52AM -0700, Tobias Grosser wrote: >> On 05/31/2013 10:11 AM, Sebastian Pop wrote: >>> Sebastian Pop wrote: >>>> Sebastian Pop wrote: >>>>> Jack Howarth wrote: >>>>>> The attached patch eliminates http://llvm.org/bugs/show_bug.cgi?id=15817 by removing the

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,

On Wed, Jun 05, 2013 at 08:47:03AM -0400, Jack Howarth wrote: > On Tue, Jun 04, 2013 at 11:51:31PM -0700, Tobias Grosser wrote: > > On 05/31/2013 01:09 PM, Jack Howarth wrote: > >> On Fri, May 31, 2013 at 10:59:52AM -0700, Tobias Grosser wrote: > >>> On 05/31/2013 10:11 AM, Sebastian Pop wrote: > >>>> Sebastian Pop 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 x86_64 Fedora 15 when built against isl

On Fri, May 31, 2013 at 10:59:52AM -0700, Tobias Grosser wrote: > On 05/31/2013 10:11 AM, Sebastian Pop wrote: >> Sebastian Pop wrote: >>> Sebastian Pop wrote: >>>> Jack Howarth wrote: >>>>> The attached patch eliminates http://llvm.org/bugs/show_bug.cgi?id=15817 by removing the remaining >>>>> "; XFAIL:*" added in

On Tue, Jun 04, 2013 at 11:51:31PM -0700, Tobias Grosser wrote: > On 05/31/2013 01:09 PM, Jack Howarth wrote: >> On Fri, May 31, 2013 at 10:59:52AM -0700, Tobias Grosser wrote: >>> On 05/31/2013 10:11 AM, Sebastian Pop wrote: >>>> Sebastian Pop wrote: >>>>> Sebastian Pop wrote: >>>>>> Jack Howarth wrote: >>>>>>>