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 <[EMAIL PROTECTED]>:
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 <[EMAIL PROTECTED]>:
> 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
