search for: maggioni

On 11/18/2011 01:36 PM, Marcello Maggioni wrote: > 2011/11/18 Marcello Maggioni<hayarms at gmail.com>: >> The patch is attached. >> >> The patch to correct the test runs on OSX will be posted shortly after >> this one (I preferred to separate the two so that a problem with >> either one of the two wou...

2011/11/21 Tobias Grosser <tobias at grosser.es>: > On 11/20/2011 04:36 PM, Marcello Maggioni wrote: >> >> Sorry for the noobish question, but what kind of subscripts generate a >> SCEVCouldNotCompute  from the SCEV engine? >> I tried for a while but I wasn't able to trigger that > > Hi Marcello, > > the SCEV returns SCEVCouldNotCompute in case it can...

FInally I had the time to complete everything up. Now I included the test case in the patch and the testcase runs with the LLVM tests system. 2012/2/9 Marcello Maggioni <hayarms at gmail.com>: > This is instead a very simple (handmade) test case that triggers the > problem (attached) > Also a more conforming patch has been attached > > 2012/2/9 Marcello Maggioni <hayarms at gmail.com>: >> This is the .ll for that graph (attached)....

2011/11/18 Marcello Maggioni <hayarms at gmail.com>: > 2011/11/15 Marcello Maggioni <hayarms at gmail.com>: >> 2011/11/14 Tobias Grosser <tobias at grosser.es>: >>> On 11/14/2011 02:45 PM, Marcello Maggioni wrote: >>>> >>>> 2011/11/14 Tobias Grosser<tobias at gross...

...tion ( an exit block that jumps to a block with an unconditional jump that jumps to the loop header and that has as unique predecessor the exit block) is equivalent to jumping directly to the loop header. 2012/2/9 Nick Lewycky <nlewycky at google.com>: > On 8 February 2012 15:50, Marcello Maggioni <hayarms at gmail.com> wrote: >> >> Well, it wasn't intended as a "real" patch to be included , but more >> as a "proof of concept" for a solution. Do you think it is a valid >> solution and I'm correct in my assumption? If so then I'll...

...that Bill ran into when he tried to update a TargetMachine by > placement newing a new one into it. > > Can you elaborate a bit more about what you're trying to do? (I > realize this may be difficult for reasons.) > > -eric > > On Tue, Jun 24, 2014 at 10:44 AM, Marcello Maggioni <hayarms at gmail.com> > wrote: > > Hello, > > > > the need here is to have a single LLVMContext used for multiple > > compilations. > > > > You make a good point about that by the way. If there are outstanding > users > > cleaning the context u...

This is instead a very simple (handmade) test case that triggers the problem (attached) Also a more conforming patch has been attached 2012/2/9 Marcello Maggioni <hayarms at gmail.com>: > This is the .ll for that graph (attached). I think I understand what > you are saying. > This particular testcase returns CNC not because the exit block > doesn't have a unique predecessor, but because the unique predecessor > (the inner loop block...

...to make the modification myself. I'm new to LLVM and Polly, but the code of both seem clean and understandable, so I hope to be able to do it myself. In case I'll ask here for support :) Marcello 2011/10/1 Tobias Grosser <tobias at grosser.es>: > On 10/01/2011 03:26 PM, Marcello Maggioni wrote: >> >> Hello everyone, >> >> I'm trying to use LLVM+Polly to obtain a polyhedral representation of >> some loops to use later for passes I want to implement, but seems like >> Polly will stop when reaching any statement that has non-affine access >&g...

2011/11/15 Marcello Maggioni <hayarms at gmail.com>: > 2011/11/14 Tobias Grosser <tobias at grosser.es>: >> On 11/14/2011 02:45 PM, Marcello Maggioni wrote: >>> >>> 2011/11/14 Tobias Grosser<tobias at grosser.es>: >>>> >>>> On 11/14/2011 01:24 AM, Marcello Ma...

On 11/21/2011 12:44 PM, Marcello Maggioni wrote: > 2011/11/21 Tobias Grosser<tobias at grosser.es>: >> On 11/20/2011 04:36 PM, Marcello Maggioni wrote: >>> >>> Sorry for the noobish question, but what kind of subscripts generate a >>> SCEVCouldNotCompute from the SCEV engine? >>> I tried...

...ions (we really mainly only need one type of predicate , so every instruction could use that kind of predicate ...) but I think this is a nasty solution ... Did someone already tried to do this in LLVM and if yes what solution/s did you use to solve the problem? Regards, Marcello -- Marcello Maggioni Codeplay Software Ltd 45 York Place, Edinburgh, EH1 3HP Tel: 0131 466 0503 Fax: 0131 557 6600 Website: http://www.codeplay.com Twitter: https://twitter.com/codeplaysoft This email and any attachments may contain confidential and /or privileged information and is for use by the addressee only. If y...

...stcase, see test/Analysis/ScalarEvolution for > examples. "BranchInst* " should be "BranchInst *". You should have spaces > after the // in your comments. One of the comment lines isn't indented > properly. > > Nick > > On 8 February 2012 12:05, Marcello Maggioni <hayarms at gmail.com> wrote: >> >> Attached >> >> 2012/2/8 Marcello Maggioni <hayarms at gmail.com>: >> > Mmm, sorry, the patch I posted crashes if ExitBr is null (which it may >> > be ...) , this one should be ok (and passess all the ScalarEvo...

On 11/20/2011 03:01 AM, Marcello Maggioni wrote: > 2011/11/19 Tobias Grosser<tobias at grosser.es>: >> On 11/18/2011 01:34 PM, Marcello Maggioni wrote: >>> >>> Ok , this is what I believe is the final patch that adds the >>> non-affine accept functionality to Polly, this should have no issues. >...

...e_loop clang (LLVM option parsing): Unknown command line argument '-enable-polly-viewer'. Try: 'clang (LLVM option parsing) -help' clang (LLVM option parsing): Did you mean '-enable-polly-vector'? Seems like it doesn't compile the viewer option ... 2011/10/24 Marcello Maggioni <hayarms at gmail.com>: > It works!! :) > > I'll try also enable-shared , to see if it's possible to use it > without the patch and report > > 2011/10/24 Tobias Grosser <tobias at grosser.es>: >> On 10/23/2011 02:31 PM, Tobias Grosser wrote: >>>...

On 8 February 2012 15:50, Marcello Maggioni <hayarms at gmail.com> wrote: > Well, it wasn't intended as a "real" patch to be included , but more > as a "proof of concept" for a solution. Do you think it is a valid > solution and I'm correct in my assumption? If so then I'll clean up > the pa...

Sorry for the noobish question, but what kind of subscripts generate a SCEVCouldNotCompute from the SCEV engine? I tried for a while but I wasn't able to trigger that. 2011/11/20 Tobias Grosser <tobias at grosser.es>: > On 11/20/2011 03:01 AM, Marcello Maggioni wrote: >> >> 2011/11/19 Tobias Grosser<tobias at grosser.es>: >>> >>> On 11/18/2011 01:34 PM, Marcello Maggioni wrote: >>>> >>>> Ok , this is what I believe is the final patch that adds the >>>> non-affine accept functionality...

...ldn't they be at risk of breaking if you > mutate the LLVMContext underneath them? > > & if you don't have outstanding users, is there any particular benefit > to resetting the LLVMContext compared to just making a new one? > > On Tue, Jun 24, 2014 at 7:18 AM, Marcello Maggioni <hayarms at gmail.com> > wrote: > > Hello, > > > > I'm trying to develop a way to reliably clean the LLVMContext in order to > > make it possible to use it multiple times. > > > > LLVMContext itself is an almost empty object delegating almost all its...

2011/11/19 Tobias Grosser <tobias at grosser.es>: > On 11/18/2011 01:34 PM, Marcello Maggioni wrote: >> >> Ok , this is what I believe is the final patch that adds the >> non-affine accept functionality to Polly, this should have no issues. >> >> I added three tests, two in ScopInfo (two simple tests, one expected >> fail and one success based on the same...

...frontier -regions -polly-region-simplify -scalar-evolution -loop-simplify -lcssa -indvars -postdomtree -domfrontier -regions -loop-simplify -indvars -enable-iv-rewrite not_so_simple_loop.s strange ... 2011/10/8 Tobias Grosser <tobias at grosser.es>: > On 10/07/2011 03:43 PM, Marcello Maggioni wrote: >> >> 2011/10/7 Marcello Maggioni<hayarms at gmail.com>: >>> >>> Hi, >>> >>> for example this loop: >>> >>>  #include<stdio.h> >>> >>>  int main() >>>  { >>>          int A[1024]...

Attached 2012/2/8 Marcello Maggioni <hayarms at gmail.com>: > Mmm, sorry, the patch I posted crashes if ExitBr is null (which it may > be ...) , this one should be ok (and passess all the ScalarEvolution > tests in LLVM): > > diff --git a/lib/Analysis/ScalarEvolution.cpp b/lib/Analysis/ScalarEvolution.cpp > in...