We should support CreateThis in the FTL
[WebKit-https.git] / Source / JavaScriptCore / bytecode / CodeOrigin.cpp
1 /*
2  * Copyright (C) 2012-2018 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 "CodeOrigin.h"
28
29 #include "CallFrame.h"
30 #include "CodeBlock.h"
31 #include "InlineCallFrame.h"
32 #include "JSCInlines.h"
33
34 namespace JSC {
35
36 unsigned CodeOrigin::inlineDepthForCallFrame(InlineCallFrame* inlineCallFrame)
37 {
38     unsigned result = 1;
39     for (InlineCallFrame* current = inlineCallFrame; current; current = current->directCaller.inlineCallFrame)
40         result++;
41     return result;
42 }
43
44 unsigned CodeOrigin::inlineDepth() const
45 {
46     return inlineDepthForCallFrame(inlineCallFrame);
47 }
48
49 bool CodeOrigin::isApproximatelyEqualTo(const CodeOrigin& other, InlineCallFrame* terminal) const
50 {
51     CodeOrigin a = *this;
52     CodeOrigin b = other;
53
54     if (!a.isSet())
55         return !b.isSet();
56     if (!b.isSet())
57         return false;
58     
59     if (a.isHashTableDeletedValue())
60         return b.isHashTableDeletedValue();
61     if (b.isHashTableDeletedValue())
62         return false;
63     
64     for (;;) {
65         ASSERT(a.isSet());
66         ASSERT(b.isSet());
67         
68         if (a.bytecodeIndex != b.bytecodeIndex)
69             return false;
70         
71         bool aHasInlineCallFrame = !!a.inlineCallFrame && a.inlineCallFrame != terminal;
72         bool bHasInlineCallFrame = !!b.inlineCallFrame;
73         if (aHasInlineCallFrame != bHasInlineCallFrame)
74             return false;
75         
76         if (!aHasInlineCallFrame)
77             return true;
78         
79         if (a.inlineCallFrame->baselineCodeBlock.get() != b.inlineCallFrame->baselineCodeBlock.get())
80             return false;
81         
82         a = a.inlineCallFrame->directCaller;
83         b = b.inlineCallFrame->directCaller;
84     }
85 }
86
87 unsigned CodeOrigin::approximateHash(InlineCallFrame* terminal) const
88 {
89     if (!isSet())
90         return 0;
91     if (isHashTableDeletedValue())
92         return 1;
93     
94     unsigned result = 2;
95     CodeOrigin codeOrigin = *this;
96     for (;;) {
97         result += codeOrigin.bytecodeIndex;
98         
99         if (!codeOrigin.inlineCallFrame)
100             return result;
101         
102         if (codeOrigin.inlineCallFrame == terminal)
103             return result;
104         
105         result += WTF::PtrHash<JSCell*>::hash(codeOrigin.inlineCallFrame->baselineCodeBlock.get());
106         
107         codeOrigin = codeOrigin.inlineCallFrame->directCaller;
108     }
109 }
110
111 Vector<CodeOrigin> CodeOrigin::inlineStack() const
112 {
113     Vector<CodeOrigin> result(inlineDepth());
114     result.last() = *this;
115     unsigned index = result.size() - 2;
116     for (InlineCallFrame* current = inlineCallFrame; current; current = current->directCaller.inlineCallFrame)
117         result[index--] = current->directCaller;
118     RELEASE_ASSERT(!result[0].inlineCallFrame);
119     return result;
120 }
121
122 CodeBlock* CodeOrigin::codeOriginOwner() const
123 {
124     if (!inlineCallFrame)
125         return 0;
126     return inlineCallFrame->baselineCodeBlock.get();
127 }
128
129 int CodeOrigin::stackOffset() const
130 {
131     if (!inlineCallFrame)
132         return 0;
133     
134     return inlineCallFrame->stackOffset;
135 }
136
137 void CodeOrigin::dump(PrintStream& out) const
138 {
139     if (!isSet()) {
140         out.print("<none>");
141         return;
142     }
143     
144     Vector<CodeOrigin> stack = inlineStack();
145     for (unsigned i = 0; i < stack.size(); ++i) {
146         if (i)
147             out.print(" --> ");
148         
149         if (InlineCallFrame* frame = stack[i].inlineCallFrame) {
150             out.print(frame->briefFunctionInformation(), ":<", RawPointer(frame->baselineCodeBlock.get()), "> ");
151             if (frame->isClosureCall)
152                 out.print("(closure) ");
153         }
154         
155         out.print("bc#", stack[i].bytecodeIndex);
156     }
157 }
158
159 void CodeOrigin::dumpInContext(PrintStream& out, DumpContext*) const
160 {
161     dump(out);
162 }
163
164 } // namespace JSC