harmony-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Naveen Neelakantam <neela...@uiuc.edu>
Subject Re: [drvm][jit] ABCD does not eliminate upper bound check
Date Mon, 16 Apr 2007 18:36:14 GMT
Thanks for the information.

I'll take a look shortly.  I'll report back with what I find.

Naveen

On Apr 16, 2007, at 1:25 PM, Maksim Ananjev wrote:

> I've placed "classic_abcd" after the ssa construction:
>
> - 
> XDjit.CS_OPT.path.optimizer=ssa,classic_abcd,devirt,inline,uce,purge,s 
> implify,dce,uce,
> lazyexc,memopt,simplify,dce,uce,lower,dessa,statprof,markglobals
>
> Nothing changed :-(
>
>
>
> 2007/4/17, Maksim Ananjev <maksim.ananjev@gmail.com>:
>> Naveen,
>>
>> Here is a part of my opt.emconf file which states an order of
>> optimization passes on HIR:
>>
>> - 
>> XDjit.CS_OPT.path.optimizer=ssa,devirt,inline,uce,purge,simplify,dce, 
>> uce,
>> classic_abcd,lazyexc,memopt,simplify,dce,uce,lower,dessa,statprof,mar 
>> kglobals
>>
>>
>> 2007/4/17, Naveen Neelakantam <neelakan@uiuc.edu>:
>> > I can take a look, but I suspect that the problem is caused by the
>> > loop peeling pass.
>> >
>> > Can you post your modified emconf file?  Or can you tell me which
>> > passes you inserted classic_abcd between?
>> >
>> > Thanks,
>> > Naveen
>> >
>> > On Apr 16, 2007, at 12:39 PM, Maksim Ananjev wrote:
>> >
>> > > Hi!
>> > >
>> > > I tried to apply new ABCD optimization path to the following  
>> code:
>> > >
>> > > int[] array = new int[10];
>> > > int l = array.length;
>> > > for(int i =0; i<l; i++)
>> > > {
>> > >       array[i] = i;
>> > > }
>> > >
>> > > However the bounds check on the assignment inside the loop was  
>> not
>> > > eliminated.
>> > >
>> > > I used the patches from here:
>> > > https://issues.apache.org/jira/browse/HARMONY-1788
>> > >
>> > > I unzipped files in vm.zip and added them in
>> > > jitrino/src/optimizer/abcd/ folder. Then I applied
>> > > abcd_update_1_full.patch. Then I added "classic_abcd" to  
>> opt.emconf
>> > >
>> > > But according to log file upper bound check cannot be proved
>> > > redundant. That's strange because this case looks rather obvious.
>> > >
>> > > May be I did something wrong in applying the patch? Or ABCD  
>> really
>> > > cannot deal with such case?
>> > >
>> > > --
>> > > Maksim
>> >
>> >
>>
>>
>> --
>> Maksim
>>
>
>
> -- 
> Maksim


Mime
View raw message