Return-Path: Delivered-To: apmail-harmony-dev-archive@www.apache.org Received: (qmail 43484 invoked from network); 18 Apr 2007 04:34:51 -0000 Received: from hermes.apache.org (HELO mail.apache.org) (140.211.11.2) by minotaur.apache.org with SMTP; 18 Apr 2007 04:34:51 -0000 Received: (qmail 83533 invoked by uid 500); 18 Apr 2007 04:34:57 -0000 Delivered-To: apmail-harmony-dev-archive@harmony.apache.org Received: (qmail 82957 invoked by uid 500); 18 Apr 2007 04:34:55 -0000 Mailing-List: contact dev-help@harmony.apache.org; run by ezmlm Precedence: bulk List-Help: List-Unsubscribe: List-Post: List-Id: Reply-To: dev@harmony.apache.org Delivered-To: mailing list dev@harmony.apache.org Received: (qmail 82948 invoked by uid 99); 18 Apr 2007 04:34:55 -0000 Received: from herse.apache.org (HELO herse.apache.org) (140.211.11.133) by apache.org (qpsmtpd/0.29) with ESMTP; Tue, 17 Apr 2007 21:34:55 -0700 X-ASF-Spam-Status: No, hits=2.0 required=10.0 tests=HTML_MESSAGE,SPF_PASS X-Spam-Check-By: apache.org Received-SPF: pass (herse.apache.org: domain of mike.fursov@gmail.com designates 72.14.204.232 as permitted sender) Received: from [72.14.204.232] (HELO qb-out-0506.google.com) (72.14.204.232) by apache.org (qpsmtpd/0.29) with ESMTP; Tue, 17 Apr 2007 21:34:48 -0700 Received: by qb-out-0506.google.com with SMTP id d7so101258qbd for ; Tue, 17 Apr 2007 21:34:27 -0700 (PDT) DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:message-id:date:from:to:subject:in-reply-to:mime-version:content-type:references; b=KHKDAov3diKlYpyxYdnzN4tBRhQkaE8omFhkpsz6jAbVSjnlLzSBCGVxYgcRLGkjrOyikZN8z8R01/0wSc8zUBhgnu6bw/FqQdix6ADuziHyf89kLy2LQkELBKBoC5010N5/ZS9yBwYwg8Hsqk3SzcsmGoeOT5R26Sa8SXUdXjQ= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:to:subject:in-reply-to:mime-version:content-type:references; b=cY0LX7dLwjOZzOYUWlWGgAWNShNqC30Sesv0SUwoDtjKAkidbJNLA4yZEL50H3q4w7nslvSxdrSTecBAOVt0bUib8A0q53AId1PoQA6hOPaBDTGa6FVlcuU1Ybl/34ztjXasIKS0mzv5XlTeCyXkaHsGid9NoFGKg5OhqstOSpA= Received: by 10.114.133.1 with SMTP id g1mr52712wad.1176870866577; Tue, 17 Apr 2007 21:34:26 -0700 (PDT) Received: by 10.115.95.12 with HTTP; Tue, 17 Apr 2007 21:34:26 -0700 (PDT) Message-ID: Date: Wed, 18 Apr 2007 11:34:26 +0700 From: "Mikhail Fursov" To: dev@harmony.apache.org Subject: Re: [drvm][jit] ABCD does not eliminate upper bound check In-Reply-To: MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_Part_74210_22702761.1176870866498" References: <2DEC434D-8BC6-4BF4-8DD6-1E3A1A6C6671@uiuc.edu> X-Virus-Checked: Checked by ClamAV on apache.org ------=_Part_74210_22702761.1176870866498 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Content-Disposition: inline On 4/18/07, Maksim Ananjev wrote: > > Mikhail, thanks! Your guidelines helped. > > Now I see that ABCD fully eliminates the check in my example if placed > between uce and lower: > > -XX:jit.CS_OPT.path.optimizer=ssa > ,devirt,inline,uce,purge,simplify,dce,uce,lazyexc, > memopt,simplify,dce,uce,classic_abcd,lower,dessa,statprof,markglobals > > I tried to place classic_abcd earlier in the optimization path, but > got segmentation fault or upper bound was not eliminated. That looks a > bit strange for me, because I thought that ABCD relies only on ssa. > But if classic_abcd is placed just after ssa, check won't be > eliminated > Be careful with dead and unreachable code. Not all algorithms know how to work with it. So the most simple advice is to append 'simplify,dce,uce' sequence after any optimiation that modifies IR. -- Mikhail Fursov ------=_Part_74210_22702761.1176870866498--