[jira] Commented: (HARMONY-6044) [drlvm][jit] An assertion failure about array bound checking elimination

["Xiaoming Gu (JIRA)" <ji...@apache.org>]

    [ https://issues.apache.org/jira/browse/HARMONY-6044?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=12672559#action_12672559 ] 

Xiaoming Gu commented on HARMONY-6044:
--------------------------------------

This bug is from an inconsistence between loop peeling and dynamic array bound checking elimination. Because of the rotating in peeling, the array base address operand in "addindex" instruction has to be defined in duplicateNode() in FlowGraph.cpp by creating a "ldvar" instruction. But in DABCE, the array base address of "addindex" is required from a "ldbase" instruction. So the assertion fails.

I'm going to change duplicateNode() to generate "ldbase" instruction when necessary.

> [drlvm][jit] An assertion failure about array bound checking elimination
> ------------------------------------------------------------------------
>
>                 Key: HARMONY-6044
>                 URL: https://issues.apache.org/jira/browse/HARMONY-6044
>             Project: Harmony
>          Issue Type: Bug
>          Components: DRLVM
>         Environment: IA32 + Windows
>            Reporter: Xiaoming Gu
>
> An assertion failure (dabce.cpp line 783) happens when testing scimark.lu.small and scimark.lu.large with -Xem:server_static.

-- 
This message is automatically generated by JIRA.
-
You can reply to this email to add a comment to the issue online.