[Webkit-unassigned] [Bug 152224] New: B3 should not give ValueReps for the non-stackmap children of a CheckValue to the generator callback

[bugzilla-daemon at webkit.org]

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

            Bug ID: 152224
           Summary: B3 should not give ValueReps for the non-stackmap
                    children of a CheckValue to the generator callback
    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

Right now, a stackmap generator for a Check has to know how many children the B3 value for the Check had at the time of code generation.  That means that B3 cannot change the kind of Check that it was - for example it cannot turn a Check into a Patchpoint and it cannot turn a CheckAdd into a Check.  But just changing the contract so that the stackmap generation params only get the stackmap children of the check means that B3 can transform Checks as it likes.

This is meant to aid sinking values into checks.

-- 
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/20151213/4f0f4fcb/attachment.html>