search for: unimodular

...nd process multiple loops. > > I think you could do this just by adding an iterator method somewhere > that enumerates sets of loops (i.e,. returns a vector of Loop > objects). The bottom-up iterator could just be a default choice. > > 2. The question is how you plan to handle unimodular > transformations. I think it's a very nice abstraction and a number > of loop transforms should be implemented using that rather than more > ad hoc code, e.g., interchange, reversal, skewing. But that requires > implementing support for unimodular transforms before those passes &...

...> >> >> I think you could do this just by adding an iterator method somewhere >> that enumerates sets of loops (i.e,. returns a vector of Loop >> objects). The bottom-up iterator could just be a default choice. >> >> 2. The question is how you plan to handle unimodular >> transformations. I think it's a very nice abstraction and a number >> of loop transforms should be implemented using that rather than more >> ad hoc code, e.g., interchange, reversal, skewing. But that requires >> implementing support for unimodular transforms befor...

...bsets of loops to fuse and then fuse them as it goes. I think you could do this just by adding an iterator method somewhere that enumerates sets of loops (i.e,. returns a vector of Loop objects). The bottom-up iterator could just be a default choice. 2. The question is how you plan to handle unimodular transformations. I think it's a very nice abstraction and a number of loop transforms should be implemented using that rather than more ad hoc code, e.g., interchange, reversal, skewing. But that requires implementing support for unimodular transforms before those passes are impleme...

Hi All, I am planning to re-implement PassManager in llvm 2.0. The goal is to address http://nondot.org/sabre/LLVMNotes/Inliner-PassManager.txt and http://nondot.org/sabre/LLVMNotes/LoopOptimizerNotes.txt and other crazy ideas Chris has. Current implementation of PassManager is very complex. Initially I attempted to update it to address above notes but realized that redoing

Jacobi's theta functions crop up here and there in various branches of mathematics, such as unimodular and elliptic functions. They have Taylor expansions, but the powers increase as the square of n, as in 1 + z + z^4 + z^9 + z^16 + z^25 + . . . so they converge very quickly, provided |z|<1 The following toy function shows how I'm implementing these objects. I just add terms until they...

Hello everybody, I'm glad to announce the major release of xocc C compiler, 0.9.2, based on BSD license. xocc is a C compiler that based on XOC infrastructure, XGEN code generator and XOCFE C frontend. Both xocc, XOC, XGEN, and XOCFE are based on BSD license. XOC provides multi-level operations, flexibility, and the capability of representing almost all popular languages. There

...and 4, this seems to be the stumbling block. > The big selling point of polyhedral transformations is uniform handling > of several transformations. Right. In olden times, people use a bunch of independent loop xforms, composed in different ways to achieve different effects. Then came the unimodular xforms which could achieve the effect of combining several xforms (but not all). The came the polyhedral approach, which could do quite a bit more, including the actual dependence analysis, as long as your problem fit in the framework. I think the sorting examples don't fit within the framewor...

On 02/06/2012 10:02 PM, Preston Briggs wrote: > On Mon, Feb 6, 2012 at 12:13 PM, Sebastian Pop <spop at codeaurora.org > <mailto:spop at codeaurora.org>> wrote: >> [many things, but I'm only going to focus on one of them] Would >> you consider using Polly http://polly.grosser.es to avoid writing >> this code? > > My impression is that Polly (and

...less information. >> The big selling point of polyhedral transformations is uniform handling >> of several transformations. > > Right. In olden times, people use a bunch of independent loop xforms, > composed in different ways to achieve different effects. Then came the > unimodular xforms which could achieve the effect of combining several > xforms (but not all). The came the polyhedral approach, which could do > quite a bit more, including the actual dependence analysis, as long as > your problem fit in the framework. > > I think the sorting examples don'...