Return-Path: Delivered-To: apmail-incubator-harmony-dev-archive@www.apache.org Received: (qmail 53415 invoked from network); 14 Sep 2006 13:43:12 -0000 Received: from hermes.apache.org (HELO mail.apache.org) (209.237.227.199) by minotaur.apache.org with SMTP; 14 Sep 2006 13:43:12 -0000 Received: (qmail 69526 invoked by uid 500); 14 Sep 2006 13:43:04 -0000 Delivered-To: apmail-incubator-harmony-dev-archive@incubator.apache.org Received: (qmail 68992 invoked by uid 500); 14 Sep 2006 13:43:03 -0000 Mailing-List: contact harmony-dev-help@incubator.apache.org; run by ezmlm Precedence: bulk List-Help: List-Unsubscribe: List-Post: List-Id: Reply-To: harmony-dev@incubator.apache.org Delivered-To: mailing list harmony-dev@incubator.apache.org Received: (qmail 68981 invoked by uid 99); 14 Sep 2006 13:43:03 -0000 Received: from idunn.apache.osuosl.org (HELO idunn.apache.osuosl.org) (140.211.166.84) by apache.org (qpsmtpd/0.29) with ESMTP; Thu, 14 Sep 2006 06:43:03 -0700 Authentication-Results: idunn.apache.osuosl.org header.from=mike.fursov@gmail.com; domainkeys=good Authentication-Results: idunn.apache.osuosl.org smtp.mail=mike.fursov@gmail.com; spf=pass X-ASF-Spam-Status: No, hits=0.9 required=5.0 tests=DNS_FROM_RFC_ABUSE,HTML_20_30,HTML_MESSAGE,RCVD_BY_IP Received-SPF: pass (idunn.apache.osuosl.org: domain gmail.com designates 66.249.82.238 as permitted sender) DomainKey-Status: good X-DomainKeys: Ecelerity dk_validate implementing draft-delany-domainkeys-base-01 Received: from ([66.249.82.238:12016] helo=wx-out-0506.google.com) by idunn.apache.osuosl.org (ecelerity 2.1 r(10620)) with ESMTP id C0/50-05571-91C59054 for ; Thu, 14 Sep 2006 06:43:00 -0700 Received: by wx-out-0506.google.com with SMTP id s13so2755270wxc for ; Thu, 14 Sep 2006 06:41:43 -0700 (PDT) DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com; h=received:message-id:date:from:to:subject:in-reply-to:mime-version:content-type:references; b=XObTGqZ2xbheUWFtA4mMJxH18yJ1wOhQmGmBFQ6Ewlw9odQzQagIaxRzeOr91P/9ZD9ojsg5xJlID07nsrgo6m3Z8CQGOEitEUtoHqsW/UkMGZTljVEpWTfse1COARc/JZe0pWJDxsxv316GGGjl/xNcAEaH/kv7JnMQWnF2CAo= Received: by 10.90.52.18 with SMTP id z18mr3136873agz; Thu, 14 Sep 2006 06:41:43 -0700 (PDT) Received: by 10.90.50.10 with HTTP; Thu, 14 Sep 2006 06:41:43 -0700 (PDT) Message-ID: Date: Thu, 14 Sep 2006 20:41:43 +0700 From: "Mikhail Fursov" To: harmony-dev@incubator.apache.org Subject: Re: [testing] optimization regressions (was: Re: [result] Re: [vote] HARMONY-1363 - DRLVM fixes and additions) In-Reply-To: <469bff730609140146q3646583fn6bcbdf413b5c2c36@mail.gmail.com> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_Part_22706_1268890.1158241303222" References: <906dd82e0609140105v70948c2br770994bb99591711@mail.gmail.com> <469bff730609140146q3646583fn6bcbdf413b5c2c36@mail.gmail.com> X-Spam-Rating: minotaur.apache.org 1.6.2 0/1000/N ------=_Part_22706_1268890.1158241303222 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Content-Disposition: inline This would be the best solution to test if an optimization works as expected. We can create the following framework inside Jitrino compiler to test individual optimizations and optimizations inter-dependencies: Create a special optimization ("test") that that works only for "special" Java method (jitrino.TestCase.testJitrino) during the compilation. It works in the following way: 1) Cleans current IR 2) Set up some kind of template IR: e.g. IR with 1 loop and a const inside the loop 3) Runs a test that uses internal Jitrino API and checks the results: e.g. runs some loop optimizations and checks that constant is moved out from the loop. 4) Restores initial IR of the method. Such tests could be run from junit with a special adapter as usual Java tests. Does it makes sense? Any other ideas or experience how to test compiler optimizations predictably? On 9/14/06, Pavel Ozhdikhin wrote: > > *Re-sending to the new thread:* > > > The right solution might also be a JIT testing framework which would > understand the JIT IRs and check if some code patterns have been optimized > as expected. Such way we can guarantee necessary optimizations are done > independently of the user environment. > > -- Mikhail Fursov ------=_Part_22706_1268890.1158241303222--