[Webkit-unassigned] [Bug 83744] New: It is incorrect to short-circuit Branch(LogicalNot(@a)) if boolean speculations on @a may fail

[bugzilla-daemon at webkit.org]

https://bugs.webkit.org/show_bug.cgi?id=83744

           Summary: It is incorrect to short-circuit
                    Branch(LogicalNot(@a)) if boolean speculations on @a
                    may fail
           Product: WebKit
           Version: 528+ (Nightly build)
          Platform: All
        OS/Version: All
            Status: NEW
          Keywords: InRadar
          Severity: Normal
          Priority: P2
         Component: JavaScriptCore
        AssignedTo: webkit-unassigned at lists.webkit.org
        ReportedBy: fpizlo at apple.com


Since that would mean that the branch will OSR exit to a bytecode branch that expects the LogicalNot to already have been performed.

<rdar://problem/11206946>

-- 
Configure bugmail: https://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.