703035 - Interpreter producing incorrect value of 1/-0 in 47.16

Status: VERIFIED FIXED

(Tamarin Graveyard :: Interpreter, defect, P2)

Description

[Brent Baker]

Code:
var z = 0;
print(1/-z);

Expected output:
-Infinity

You will get the expected output if compile WITHOUT -abcfuture (46.16) and run in jit or interp mode. However if you compile with -abcfuture (47.16) then you will get the correct value with jit but will get positive Infinity with the interpreter.

Testmedia:
ecma3/TypeConversion/e9_3_1_3_rt.as

Comment 1

[Lars T Hansen]

Also true for eval (which creates 47.16 content always on tr-float), so not an ASC problem.

Comment 2

[Lars T Hansen]

The problem is negate:

-0 => 0

Comment 3

[Lars T Hansen]

op_negate neglects to check for zeroIntAtom.

Comment 4

[Tamarin Bot]

changeset: 6967:a3c96881e1fb
user:      Brent Baker <[e-mail]>
summary:   Bug 703035 - Interpreter producing incorrect value of 1/-0 in 47.16, mark expected failure

http://hg.mozilla.org/tamarin-redux/rev/a3c96881e1fb

Comment 5

[Tamarin Bot]

changeset: 6985:04fdfa8cdce5
user:      Lars T Hansen <[e-mail]>
summary:   Fix 703035 - Interpreter producing incorrect value of 1/-0 in 47.16

http://hg.mozilla.org/tamarin-redux/rev/04fdfa8cdce5