harmony-commits mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From "Naveen Neelakantam (JIRA)" <j...@apache.org>
Subject [jira] Created: (HARMONY-1564) patch for possible ABCD bug
Date Sun, 24 Sep 2006 20:01:22 GMT
patch for possible ABCD bug

                 Key: HARMONY-1564
                 URL: http://issues.apache.org/jira/browse/HARMONY-1564
             Project: Harmony
          Issue Type: Bug
          Components: DRLVM
            Reporter: Naveen Neelakantam
         Attachments: abcd.patch, BidirectionalBubbleSort.java

I've been reading through the ABCD implementation in jitrino, and if I understand it correctly,
I found a bug.  I've attached a patch to fix it.  Someone who actually understands the code
should verify this.

Also, did anyone ever test this ABCD pass?  I ask because I've tried running it on a bidirectional
bubble sort as mentioned in the original paper.  The paper mentions that the pass should be
able to prove all of the bounds checks in the sort method as redundant/unnecessary.  However,
when I try running the abcd pass on a bidirectional bubble sort (attached), none of the bounds
checks are eliminated.

The bidirectional bubble sort program is based on code I found here: http://www.cs.ubc.ca/~harrison/Java/sorting-demo.html

This message is automatically generated by JIRA.
If you think it was sent incorrectly contact one of the administrators: http://issues.apache.org/jira/secure/Administrators.jspa
For more information on JIRA, see: http://www.atlassian.com/software/jira


View raw message