Branch: refs/heads/main
Home: https://github.com/WebKit/WebKit
Commit: 96115d871706f429c57ee37a65f5064022f01025
https://github.com/WebKit/WebKit/commit/96115d871706f429c57ee37a65f5064022f01025
Author: Yusuke Suzuki <[email protected]>
Date: 2026-10-13 (Tue, 13 Oct 2026)
Changed paths:
A JSTests/stress/logical-not-does-not-propagate-truncation.js
M Source/JavaScriptCore/dfg/DFGBackwardsPropagationPhase.cpp
Log Message:
-----------
[JSC] DFG backwards propagation should not pass LogicalNot's use flags to its
operand
https://bugs.webkit.org/show_bug.cgi?id=327354
rdar://189876762
Reviewed by Dan Hecht.
LogicalNot's its own flag does not tell anything for the operand's flag
as its just true/false. This patch correctly construct the flag we
request to the input of LogicalNot.
Test: JSTests/stress/logical-not-does-not-propagate-truncation.js
* JSTests/stress/logical-not-does-not-propagate-truncation.js: Added.
(shouldBe):
(notOfAdd):
(notOfMul):
(notOfDiv):
* Source/JavaScriptCore/dfg/DFGBackwardsPropagationPhase.cpp:
(JSC::DFG::BackwardsPropagationPhase::propagate):
Canonical link: https://commits.webkit.org/323639@main
To unsubscribe from these emails, change your notification settings at
https://github.com/WebKit/WebKit/settings/notifications
