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)
From: Naveen Neelakantam <neelakan@uiuc.edu>
Subject: Re: [drlvm][jit][abcd] HARMONY-1788 Inequality
 graph generation from HIR
To: dev@harmony.apache.org
Reply-To: neelakan@uiuc.edu
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Message-Id: <20061206111612.AGX03842@expms5.cites.uiuc.edu>
Date: Wed,  6 Dec 2006 11:16:12 -0600 (CST)


On Dec 5, 2006, at 1:12 PM, Egor Pasko wrote:
>On the 0x233 day of Apache Harmony Naveen Neelakantam wrote:
>> Hello Egor,
>> 
>> I'm almost too embarrassed to ask, but if I started looking at your
>> ABCD code now, would it still be useful?
>
>It actually *is* useful!
>
>I have been busy with stability issues during this period, thus made
>no progress in ABCD since my last update to HARMONY-1788. I want to
>finish this work not later than January. If you have time to do it
>faster, you can take it. I will be fixing Jitrino.OPT here and there
>for a while yet...

OK, great!  I will try to move the code forward then.

If I understand your code correctly, the pass currently builds the ABCD inequality graph, but does not invoke the demand solver.  As a first step, I am considering invoking the demand solver on every bounds check (for both the upper bound and lower bound problems).  A better choice might be to invoke the solver on "hot" checks, but that can be investigated once things are working.  Does this sound reasonable?

Naveen