You are viewing a plain text version of this content. The canonical link for it is here.

Posted to commits@harmony.apache.org by "Naveen Neelakantam (JIRA)" <ji...@apache.org> on 2006/10/03 05:18:21 UTC

[jira] Updated: (HARMONY-1564) patch for possible ABCD bug

     [ http://issues.apache.org/jira/browse/HARMONY-1564?page=all ]

Naveen Neelakantam updated HARMONY-1564:
----------------------------------------

    Attachment: naveen_1.patch

uploaded patch against Egor's solver

> 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-original.tar.gz, abcd.patch, BidirectionalBubbleSort.java, naveen_1.patch
>
>
> 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