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 <[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
