[jira] Assigned: (HARMONY-4073) [drlvm][jit] RCE must not substitute EFLAGS values produced by CMP with ones produced by SBB

["Alexey Varlamov (JIRA)" <ji...@apache.org>]

     [ https://issues.apache.org/jira/browse/HARMONY-4073?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]

Alexey Varlamov reassigned HARMONY-4073:
----------------------------------------

    Assignee: Alexey Varlamov

> [drlvm][jit] RCE must not substitute EFLAGS values produced by CMP with ones produced by SBB
> --------------------------------------------------------------------------------------------
>
>                 Key: HARMONY-4073
>                 URL: https://issues.apache.org/jira/browse/HARMONY-4073
>             Project: Harmony
>          Issue Type: Bug
>          Components: DRLVM
>            Reporter: Mikhail Fursov
>            Assignee: Alexey Varlamov
>         Attachments: i8.fix
>
>
> I found that LongTest from luni module fails when run with OPT.
> The minimized testcase is:
>     System.out.println(foo(Long.MIN_VALUE));
>     static boolean foo(long v) {
>         v = -v;
>         return v < 0;    
>     }
> RI prints 'true' but DRLVM in -Xem:opt mode prints 'false' here.
> The reason of failure is illegal RCE behaviour: it must not substitute EFLAGS values produced by CMP with ones produced by SBB

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