Branch: refs/heads/main
Home: https://github.com/WebKit/WebKit
Commit: e6bb7d08e4b7821cc4f018d0c17e3f918e577868
https://github.com/WebKit/WebKit/commit/e6bb7d08e4b7821cc4f018d0c17e3f918e577868
Author: Yusuke Suzuki <ysuz...@apple.com>
Date: 2025-08-20 (Wed, 20 Aug 2025)
Changed paths:
M Source/JavaScriptCore/wasm/WasmBBQJIT64.cpp
M Source/JavaScriptCore/wasm/WasmOMGIRGenerator.cpp
M Source/JavaScriptCore/wasm/WasmTypeDefinition.cpp
M Source/JavaScriptCore/wasm/generateWasmOpsHeader.py
Log Message:
-----------
[JSC] Do not check Cell / WebAssemblyGCObject types when incoming static type
proves it
https://bugs.webkit.org/show_bug.cgi?id=297638
rdar://158734753
Reviewed by Justin Michaud.
Now input types are propagated well, and we can easily remove
unnecessary cell checks / WebAssemblyGCObject checks based on the proven
types of the input value. This patch adds definitelyIsCellOrNull and
definitelyIsWasmGCObjectOrNull, and using them to remove unnecessary
checks in wasm RefTest / RefCast.
* Source/JavaScriptCore/wasm/WasmBBQJIT64.cpp:
(JSC::Wasm::BBQJITImpl::BBQJIT::emitRefTestOrCast):
* Source/JavaScriptCore/wasm/WasmOMGIRGenerator.cpp:
(JSC::Wasm::OMGIRGenerator::emitRefTestOrCast):
* Source/JavaScriptCore/wasm/WasmTypeDefinition.cpp:
(JSC::Wasm::Type::definitelyIsCellOrNull const):
(JSC::Wasm::Type::definitelyIsWasmGCObjectOrNull const):
* Source/JavaScriptCore/wasm/generateWasmOpsHeader.py:
Canonical link: https://commits.webkit.org/298961@main
To unsubscribe from these emails, change your notification settings at
https://github.com/WebKit/WebKit/settings/notifications
_______________________________________________
webkit-changes mailing list
webkit-changes@lists.webkit.org
https://lists.webkit.org/mailman/listinfo/webkit-changes
