Branch: refs/heads/main
  Home:   https://github.com/WebKit/WebKit
  Commit: 6ecf0ccc21e95a8664a7e4594428292a07c1fce1
      
https://github.com/WebKit/WebKit/commit/6ecf0ccc21e95a8664a7e4594428292a07c1fce1
  Author: Yusuke Suzuki <[email protected]>
  Date:   2026-02-19 (Thu, 19 Feb 2026)

  Changed paths:
    M Source/JavaScriptCore/b3/B3ReduceStrength.cpp
    M Source/JavaScriptCore/b3/B3Value.h
    M Source/JavaScriptCore/b3/B3ValueInlines.h
    M Source/JavaScriptCore/b3/testb3.h
    M Source/JavaScriptCore/b3/testb3_1.cpp
    M Source/JavaScriptCore/b3/testb3_2.cpp
    M Source/JavaScriptCore/b3/testb3_3.cpp
    M Source/JavaScriptCore/b3/testb3_7.cpp

  Log Message:
  -----------
  [JSC] Add FP Mul / Div strength reductions
https://bugs.webkit.org/show_bug.cgi?id=308190
rdar://170688947

Reviewed by Sosuke Suzuki.

This patch adds strength reduction rules for FP Mul and Div.

1. Mul(value, 2.0) -> Add(value, value)
2. Mul(value, -1.0) -> Sub(-0.0, value)
    We do not make `Neg(value)` as it does not produce canonical NaN bit
    patterns.
3. Mul(value, -2.0) -> Sub(-0.0, Add(value, value))
4. Div(value, -1.0) -> Sub(-0.0, value)
5. Div(value, power_of_2) -> Mul(value, 1.0 / power_of_2)

Tests: Source/JavaScriptCore/b3/testb3_1.cpp
       Source/JavaScriptCore/b3/testb3_2.cpp
       Source/JavaScriptCore/b3/testb3_3.cpp
       Source/JavaScriptCore/b3/testb3_7.cpp

* Source/JavaScriptCore/b3/B3ReduceStrength.cpp:
* Source/JavaScriptCore/b3/B3Value.h:
* Source/JavaScriptCore/b3/B3ValueInlines.h:
(JSC::B3::Value::isFP const):
* Source/JavaScriptCore/b3/testb3.h:
* Source/JavaScriptCore/b3/testb3_1.cpp:
(run):
* Source/JavaScriptCore/b3/testb3_2.cpp:
(testMulDoubleByTwo):
(testMulFloatByTwo):
(testMulDoubleByNegOne):
(testMulFloatByNegOne):
(testMulDoubleByNegTwo):
(testMulFloatByNegTwo):
(testDivDoubleByNegOne):
(testDivFloatByNegOne):
(testDivDoubleByPowerOfTwo):
(testDivFloatByPowerOfTwo):
* Source/JavaScriptCore/b3/testb3_3.cpp:
(addArgTests):
* Source/JavaScriptCore/b3/testb3_7.cpp:
(testReduceStrengthMulDoubleByTwo):
(testReduceStrengthMulFloatByTwo):
(testReduceStrengthMulDoubleByNegOne):
(testReduceStrengthMulFloatByNegOne):
(testReduceStrengthMulDoubleByNegTwo):
(testReduceStrengthMulFloatByNegTwo):
(testReduceStrengthDivDoubleByNegOne):
(testReduceStrengthDivFloatByNegOne):
(testReduceStrengthDivDoubleByTwo):
(testReduceStrengthDivFloatByTwo):
(testReduceStrengthDivDoubleByFour):
(testReduceStrengthDivDoubleByNegTwo):
(testReduceStrengthDivFloatByFour):
(testReduceStrengthDivFloatByNegTwo):

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



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

Reply via email to