[webkit-changes] [WebKit/WebKit] fd57a4: [JSC] Should model BigInt with side effects

[Yijia Huang]

  Branch: refs/heads/main
  Home:   https://github.com/WebKit/WebKit
  Commit: fd57a49d07c9c285780495344073350182fd7c7c
      https://github.com/WebKit/WebKit/commit/fd57a49d07c9c285780495344073350182fd7c7c
  Author: Yijia Huang <hyjorc1 at gmail.com>
  Date:   2022-10-10 (Mon, 10 Oct 2022)

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

  Log Message:
  -----------
  [JSC] Should model BigInt with side effects
https://bugs.webkit.org/show_bug.cgi?id=246291
rdar://100494823

Reviewed by Yusuke Suzuki.

Operations with two BigInt operands have side effects,
which should not be hoisted from loops.

* Source/JavaScriptCore/dfg/DFGClobberize.cpp:
(JSC::DFG::doesWrites):
* Source/JavaScriptCore/dfg/DFGClobberize.h:
(JSC::DFG::clobberize):

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