1482359 - Use StrictEq semantics for more cases in Object.is

Status: RESOLVED FIXED

(Core :: JavaScript Engine: JIT, enhancement)

Description

[André Bargull [:anba]]

Bug 1433432 was a bit conservative when to convert Object.is() into JSOP_STRICTEQ, for example MCompare::Compare_Bitwise is currently not enabled.

Comment 1

[André Bargull [:anba]]

Attachment: bug1482359.patch

Use JSOP_STRICTEQ for more cases in Object.is():
- When both operands are typed as MIRType::Value, but are definitely not floating-point types, we can use JSOP_STRICTEQ.
- When one operand is typed as MIRType::Value, but also definitely not a floating-point type, we can use JSOP_STRICTEQ, too.

And when inlining Object.is() as JSOP_STRICTEQ, directly call |jsop_compare| instead of just |compareTrySpecialized| to be able to use MCompare::Compare_Bitwise via |compareTryBitwise|.


Improves test cases like this one from 240ms to 28ms for me:
---
function f() {
    var xs = [1,2,3,null];
    var ys = [1,2,3,null];
    var q = 0;
    var t = dateNow();
    for (var i = 0; i < 10000000; ++i) {
        if (Object.is(xs[i & 3], ys[i & 3]))
            ++q;
    }
    print(dateNow() - t, q);
}
f();
---

Comment 2

[Jan de Mooij [:jandem]]

Comment on attachment 8999149 [details] [diff] [review]
bug1482359.patch

Review of attachment 8999149 [details] [diff] [review]:
-----------------------------------------------------------------

Nice speedup and I like reusing more/most of the jsop_compare code.

::: js/src/jit/MCallOptimize.cpp
@@ +2499,5 @@
> +        // they aren't floating-point types or values which might be floating-
> +        // point types. Otherwise we need to use MSameValue.
> +        strictEq = leftType != MIRType::Value
> +                   ? !IsFloatingPointType(leftType)
> +                   : !mightBeFloatingPointType(left) && !mightBeFloatingPointType(right);

Nit: I would add parentheses around the && because I never remember the evaluation order in such cases and I'm too lazy to look it up :)

Comment 3

[André Bargull [:anba]]

Attachment: bug1482359.patch

Updated per review comments, carrying r+.

Comment 4

[André Bargull [:anba]]

Try: https://treeherder.mozilla.org/#/jobs?repo=try&revision=b13369c7fdc8e89a107dc875edeadd773704063e

Comment 5

[André Bargull [:anba]]

Clearing "checkin-needed" because the patch needs to be rebased now that bug 1341261 has landed.

Comment 6

[André Bargull [:anba]]

Attachment: bug1482359.patch

Rebased patch to apply cleanly on inbound.

Comment 7

[André Bargull [:anba]]

Try: https://treeherder.mozilla.org/#/jobs?repo=try&revision=3cb5d99316ca2b617ce8399a719519279725176a

Comment 8

[Pulsebot]

Pushed by [e-mail]:
https://hg.mozilla.org/integration/mozilla-inbound/rev/a23c3d37ae2b
Use more JSOP_STRICTEQ optimizations for Object.is(). r=jandem

Comment 9

[Andreea Pavel [:apavel]]

https://hg.mozilla.org/mozilla-central/rev/a23c3d37ae2b