Mailing-List: contact dev-help@harmony.apache.org; run by ezmlm
Precedence: bulk
Reply-To: dev@harmony.apache.org
Received-SPF: pass (herse.apache.org: local policy)
Mime-Version: 1.0 (Apple Message framework v752.3)
In-Reply-To: <eda5b9a40704161039l754f6897j930732b45d6918e9@mail.gmail.com>
References: <eda5b9a40704161039l754f6897j930732b45d6918e9@mail.gmail.com>
Content-Type: text/plain; charset=US-ASCII; delsp=yes; format=flowed
Message-Id: <D45B4154-A141-4BE9-8946-F3443ADEA0DD@uiuc.edu>
Content-Transfer-Encoding: 7bit
From: Naveen Neelakantam <neelakan@uiuc.edu>
Subject: Re: [drvm][jit] ABCD does not eliminate upper bound check
Date: Mon, 16 Apr 2007 12:48:23 -0500
To: dev@harmony.apache.org

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