725061 - IonMonkey: Assertion failure: opd->type() == phi->type(), at ion/Lowering.cpp:1302

Status: RESOLVED FIXED

(Core :: JavaScript Engine, defect)

Description

[Christian Holler (:decoder)]

The following testcase asserts on ionmonkey revision c34398f961e7 (run with --ion -n -m), tested on 64 bit:


function testInt(n, result) {
    var x = 0;
    for (var i = 0; i < 15; i++) {
        if (x % 2 == 0)
            x = 10;
        else
            x %=  0;
    }
    for (var i = 0; i < 15; i++) {    }
}
testInt(2147483647, 2147483647);
testInt(-2147483648, -2147483648);

Comment 1

[David Anderson [:dvander] - inactive, e-mail if emergency]

Attachment: fix

Don't fold MMod when doing so could change its result type.

Comment 2

[David Anderson [:dvander] - inactive, e-mail if emergency]

http://hg.mozilla.org/projects/ionmonkey/rev/fa22733dd172

Comment 3

[Christian Holler (:decoder)]

A testcase for this bug was automatically identified at js/src/jit-test/tests/ion/bug725061.js.