[webkit-changes] [WebKit/WebKit] 382919: [JSC] Make ArithNegate / ArithAbs ImpureNaN propag...

[Yusuke Suzuki]

  Branch: refs/heads/main
  Home:   https://github.com/WebKit/WebKit
  Commit: 382919880a00d89bcd736751d6117a225277ebda
      https://github.com/WebKit/WebKit/commit/382919880a00d89bcd736751d6117a225277ebda
  Author: Yusuke Suzuki <ysuzuki at apple.com>
  Date:   2025-02-05 (Wed, 05 Feb 2025)

  Changed paths:
    M Source/JavaScriptCore/b3/B3ReduceStrength.cpp
    M Source/JavaScriptCore/b3/testb3.h
    M Source/JavaScriptCore/b3/testb3_1.cpp
    M Source/JavaScriptCore/b3/testb3_2.cpp
    M Source/JavaScriptCore/bytecode/SpeculatedType.cpp
    M Source/JavaScriptCore/dfg/DFGStrengthReductionPhase.cpp
    M Source/JavaScriptCore/runtime/PureNaN.h

  Log Message:
  -----------
  [JSC] Make ArithNegate / ArithAbs ImpureNaN propagation more precise
https://bugs.webkit.org/show_bug.cgi?id=287081
rdar://144224569

Reviewed by Yijia Huang.

This patch makes ArithNegate / ArithAbs ImpureNaN propagation more precise.
On ARM64, we have native instructions for them in Double, and they will
produce pure NaN for impure NaN input.

* Source/JavaScriptCore/b3/B3ReduceStrength.cpp:
* Source/JavaScriptCore/b3/testb3.h:
* Source/JavaScriptCore/b3/testb3_1.cpp:
(run):
* Source/JavaScriptCore/b3/testb3_2.cpp:
(testImpureNaN):
* Source/JavaScriptCore/bytecode/SpeculatedType.cpp:
(JSC::typeOfDoubleNegation):
* Source/JavaScriptCore/dfg/DFGStrengthReductionPhase.cpp:
(JSC::DFG::StrengthReductionPhase::handleNode):
* Source/JavaScriptCore/runtime/PureNaN.h:

Canonical link: https://commits.webkit.org/289880@main



To unsubscribe from these emails, change your notification settings at https://github.com/WebKit/WebKit/settings/notifications