Polymorphic call inlining should be based on polymorphic call inline caching rather...
[WebKit-https.git] / Source / JavaScriptCore / bytecode / CallLinkInfo.cpp
1 /*
2  * Copyright (C) 2012, 2013, 2014 Apple Inc. All rights reserved.
3  *
4  * Redistribution and use in source and binary forms, with or without
5  * modification, are permitted provided that the following conditions
6  * are met:
7  * 1. Redistributions of source code must retain the above copyright
8  *    notice, this list of conditions and the following disclaimer.
9  * 2. Redistributions in binary form must reproduce the above copyright
10  *    notice, this list of conditions and the following disclaimer in the
11  *    documentation and/or other materials provided with the distribution.
12  *
13  * THIS SOFTWARE IS PROVIDED BY APPLE INC. ``AS IS'' AND ANY
14  * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
15  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
16  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL APPLE INC. OR
17  * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
18  * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
19  * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
20  * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY
21  * OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
22  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
23  * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 
24  */
25
26 #include "config.h"
27 #include "CallLinkInfo.h"
28
29 #include "DFGOperations.h"
30 #include "DFGThunks.h"
31 #include "JSCInlines.h"
32 #include "Repatch.h"
33 #include "RepatchBuffer.h"
34 #include <wtf/ListDump.h>
35 #include <wtf/NeverDestroyed.h>
36
37 #if ENABLE(JIT)
38 namespace JSC {
39
40 void CallLinkInfo::unlink(RepatchBuffer& repatchBuffer)
41 {
42     if (!isLinked()) {
43         // We could be called even if we're not linked anymore because of how polymorphic calls
44         // work. Each callsite within the polymorphic call stub may separately ask us to unlink().
45         RELEASE_ASSERT(!isOnList());
46         return;
47     }
48     
49     unlinkFor(
50         repatchBuffer, *this,
51         (callType == Construct || callType == ConstructVarargs)? CodeForConstruct : CodeForCall,
52         isFTL ? MustPreserveRegisters : RegisterPreservationNotRequired);
53
54     // It will be on a list if the callee has a code block.
55     if (isOnList())
56         remove();
57 }
58
59 void CallLinkInfo::visitWeak(RepatchBuffer& repatchBuffer)
60 {
61     if (isLinked()) {
62         if (stub) {
63             if (!stub->visitWeak(repatchBuffer)) {
64                 if (Options::verboseOSR()) {
65                     dataLog(
66                         "Clearing closure call from ", *repatchBuffer.codeBlock(), " to ",
67                         listDump(stub->variants()), ", stub routine ", RawPointer(stub.get()),
68                         ".\n");
69                 }
70                 unlink(repatchBuffer);
71             }
72         } else if (!Heap::isMarked(callee.get())) {
73             if (Options::verboseOSR()) {
74                 dataLog(
75                     "Clearing call from ", *repatchBuffer.codeBlock(), " to ",
76                     RawPointer(callee.get()), " (",
77                     callee.get()->executable()->hashFor(specializationKind()),
78                     ").\n");
79             }
80             unlink(repatchBuffer);
81         }
82     }
83     if (!!lastSeenCallee && !Heap::isMarked(lastSeenCallee.get()))
84         lastSeenCallee.clear();
85 }
86
87 CallLinkInfo& CallLinkInfo::dummy()
88 {
89     static NeverDestroyed<CallLinkInfo> dummy;
90     return dummy;
91 }
92
93 } // namespace JSC
94 #endif // ENABLE(JIT)
95