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] Commented: (HARMONY-1564) [drlvm][jit] patch for possible ABCD bug
Date Thu, 15 Mar 2007 15:29:09 GMT

    [ https://issues.apache.org/jira/browse/HARMONY-1564?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel#action_12481184

Naveen Neelakantam commented on HARMONY-1564:

Alexey, I wouldn't do anything with this yet.

I have finished Egor Pasko's reimplementation of ABCD, but haven't contributed it yet.

I'm hoping to contribute it in the next week or so (I'm waiting on Geir).

> [drlvm][jit] patch for possible ABCD bug
> ----------------------------------------
>                 Key: HARMONY-1564
>                 URL: https://issues.apache.org/jira/browse/HARMONY-1564
>             Project: Harmony
>          Issue Type: Bug
>          Components: DRLVM
>            Reporter: Naveen Neelakantam
>         Assigned To: Alexey Varlamov
>         Attachments: abcd-original.tar.gz, abcd.patch, BidirectionalBubbleSort.java,
naveen_1.patch, naveen_2.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.
You can reply to this email to add a comment to the issue online.

View raw message