[Webkit-unassigned] [Bug 204317] New: [JSC] DFG terminal's liveness should respect caller's opcodeID

[bugzilla-daemon at webkit.org]

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

            Bug ID: 204317
           Summary: [JSC] DFG terminal's liveness should respect caller's
                    opcodeID
           Product: WebKit
           Version: WebKit Nightly Build
          Hardware: Unspecified
                OS: Unspecified
            Status: NEW
          Severity: Normal
          Priority: P2
         Component: JavaScriptCore
          Assignee: webkit-unassigned at lists.webkit.org
          Reporter: ysuzuki at apple.com

Let's consider the following example,

"use strict";

function assertImpl(cond)
{
    if (!cond)
        throw new Error();
}

function assert()
{
    assertImpl.apply(undefined, arguments);
}
noInline(assert);

When compiling `throw`, we emit a terminal and put Phantom/PhantomLocal based on the bytecode liveness.
At this point, we use `op_tail_call_varargs`'s bytecode index for the liveness in "assert" function. And this involves `arguments`.
But this is not necessary in fact.

-- 
You are receiving this mail because:
You are the assignee for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.webkit.org/pipermail/webkit-unassigned/attachments/20191118/d8b3fd00/attachment-0001.htm>