harmony-commits mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From "Mikhail Fursov (JIRA)" <j...@apache.org>
Subject [jira] Updated: (HARMONY-4073) [drlvm][jit] RCE must not substitute EFLAGS values produced by CMP with ones produced by SBB
Date Wed, 06 Jun 2007 13:14:26 GMT

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


Mime
View raw message