[Webkit-unassigned] [Bug 152162] New: B3 should have general sinking and this should even work with Check

[bugzilla-daemon at webkit.org]

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

            Bug ID: 152162
           Summary: B3 should have general sinking and this should even
                    work with Check
    Classification: Unclassified
           Product: WebKit
           Version: WebKit Nightly Build
          Hardware: All
                OS: All
            Status: NEW
          Severity: Normal
          Priority: P2
         Component: JavaScriptCore
          Assignee: webkit-unassigned at lists.webkit.org
          Reporter: fpizlo at apple.com

B3 should sink sinkable operations to the lowest dominating point in the CFG. In case an operation's output is only used for the stackmap of Check, we should turn this:

    @a = Foo(...)
    Check(@p, @a)

into this:

    Branch(@p, #exit, #continuation)

  exit:
    @a = Foo(...)
    Check(false, @a)

  contination:
    ...

This will help with the useless Shr that we will see on some array bounds checks from asm.js code.

-- 
You are receiving this mail because:
You are the assignee for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.webkit.org/pipermail/webkit-unassigned/attachments/20151211/80dcf50b/attachment-0001.html>