[webkit-changes] [WebKit/WebKit] ebf14e: [JSC] Make DFG mayExit more precise

[Yusuke Suzuki]

  Branch: refs/heads/main
  Home:   https://github.com/WebKit/WebKit
  Commit: ebf14ebb81f87305eac0b0951f3d09a4fbd46667
      https://github.com/WebKit/WebKit/commit/ebf14ebb81f87305eac0b0951f3d09a4fbd46667
  Author: Yusuke Suzuki <ysuzuki at apple.com>
  Date:   2023-06-12 (Mon, 12 Jun 2023)

  Changed paths:
    M Source/JavaScriptCore/dfg/DFGMayExit.cpp

  Log Message:
  -----------
  [JSC] Make DFG mayExit more precise
https://bugs.webkit.org/show_bug.cgi?id=257951
rdar://110628197

Reviewed by Justin Michaud.

Making this precise is particularly important for numerical compute-intensive functions,
so that we can avoid unnecessary OSR exit-driven MovHint, which keeps some of unnecessary
arithmetic ops alive.

* Source/JavaScriptCore/dfg/DFGMayExit.cpp:

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