harmony-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Danese Cooper <dan...@gmail.com>
Subject Re: [drvm][jit] ABCD does not eliminate upper bound check
Date Mon, 16 Apr 2007 18:09:59 GMT
We decided to wait on these two applications.  We have a one-issue  
call scheduled for 8:30 on Wednesday the 18th.

Danese

On Apr 16, 2007, at 10:48 AM, Naveen Neelakantam wrote:

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


Mime
View raw message