harmony-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From "Maksim Ananjev" <maksim.anan...@gmail.com>
Subject Re: [drvm][jit] ABCD does not eliminate upper bound check
Date Mon, 16 Apr 2007 18:25:13 GMT
I've placed "classic_abcd" after the ssa construction:

-XDjit.CS_OPT.path.optimizer=ssa,classic_abcd,devirt,inline,uce,purge,simplify,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,markglobals
>
>
> 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