[webkit-changes] [WebKit/WebKit] 930b6e: [JSC] Make binary operation result proven value mo...

[Yusuke Suzuki]

  Branch: refs/heads/main
  Home:   https://github.com/WebKit/WebKit
  Commit: 930b6e82e5228e75c6356aa4f64440e74ed1b6f1
      https://github.com/WebKit/WebKit/commit/930b6e82e5228e75c6356aa4f64440e74ed1b6f1
  Author: Yusuke Suzuki <ysuzuki at apple.com>
  Date:   2024-10-02 (Wed, 02 Oct 2024)

  Changed paths:
    M Source/JavaScriptCore/dfg/DFGAbstractInterpreterInlines.h

  Log Message:
  -----------
  [JSC] Make binary operation result proven value more tight
https://bugs.webkit.org/show_bug.cgi?id=280743
rdar://137106830

Reviewed by Yijia Huang.

This patch is preparation for further optimization in arithmetic
benchmarks. We will offer more tight proven type information for
Abstract Interpreter. For example, when `a | 1` comes, regardless of
`a`'s value, the result is Int32Only because `1` is number. If 1 is
`1n` (BigInt), then the result can be BigInt.

* Source/JavaScriptCore/dfg/DFGAbstractInterpreterInlines.h:
(JSC::DFG::AbstractInterpreter<AbstractStateType>::executeEffects):

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



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