You are viewing a plain text version of this content. The canonical link for it is here.
Posted to commits@harmony.apache.org by "Mikhail Fursov (JIRA)" <ji...@apache.org> on 2007/06/06 15:14:26 UTC

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

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

Mikhail Fursov updated HARMONY-4073:
------------------------------------

    Description: 
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 'false' 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

  was:
I found that LongTest from luni module fails when run with OPT.
The minimized testcase for thios issue is:

    System.out.println(foo(Long.MIN_VALUE));

    static boolean foo(long v) {
        v = -v;
        return v < 0;    
    }


RI prints 'false' 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


> [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
>
> 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 'false' 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.