d071b0d4d39138b083860625bce530aad4ca3a9c
[WebKit-https.git] / Source / JavaScriptCore / bytecode / ArrayProfile.cpp
1 /*
2  * Copyright (C) 2012, 2013 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 "ArrayProfile.h"
28
29 #include "CodeBlock.h"
30 #include "JSCInlines.h"
31 #include <wtf/CommaPrinter.h>
32 #include <wtf/StringPrintStream.h>
33
34 namespace JSC {
35
36 void dumpArrayModes(PrintStream& out, ArrayModes arrayModes)
37 {
38     if (!arrayModes) {
39         out.print("<empty>");
40         return;
41     }
42     
43     if (arrayModes == ALL_ARRAY_MODES) {
44         out.print("TOP");
45         return;
46     }
47     
48     CommaPrinter comma("|");
49     if (arrayModes & asArrayModes(NonArray))
50         out.print(comma, "NonArray");
51     if (arrayModes & asArrayModes(NonArrayWithInt32))
52         out.print(comma, "NonArrayWithInt32");
53     if (arrayModes & asArrayModes(NonArrayWithDouble))
54         out.print(comma, "NonArrayWithDouble");
55     if (arrayModes & asArrayModes(NonArrayWithContiguous))
56         out.print(comma, "NonArrayWithContiguous");
57     if (arrayModes & asArrayModes(NonArrayWithArrayStorage))
58         out.print(comma, "NonArrayWithArrayStorage");
59     if (arrayModes & asArrayModes(NonArrayWithSlowPutArrayStorage))
60         out.print(comma, "NonArrayWithSlowPutArrayStorage");
61     if (arrayModes & asArrayModes(ArrayClass))
62         out.print(comma, "ArrayClass");
63     if (arrayModes & asArrayModes(ArrayWithUndecided))
64         out.print(comma, "ArrayWithUndecided");
65     if (arrayModes & asArrayModes(ArrayWithInt32))
66         out.print(comma, "ArrayWithInt32");
67     if (arrayModes & asArrayModes(ArrayWithDouble))
68         out.print(comma, "ArrayWithDouble");
69     if (arrayModes & asArrayModes(ArrayWithContiguous))
70         out.print(comma, "ArrayWithContiguous");
71     if (arrayModes & asArrayModes(ArrayWithArrayStorage))
72         out.print(comma, "ArrayWithArrayStorage");
73     if (arrayModes & asArrayModes(ArrayWithSlowPutArrayStorage))
74         out.print(comma, "ArrayWithSlowPutArrayStorage");
75     if (arrayModes & asArrayModes(CopyOnWriteArrayWithInt32))
76         out.print(comma, "CopyOnWriteArrayWithInt32");
77     if (arrayModes & asArrayModes(CopyOnWriteArrayWithDouble))
78         out.print(comma, "CopyOnWriteArrayWithDouble");
79     if (arrayModes & asArrayModes(CopyOnWriteArrayWithContiguous))
80         out.print(comma, "CopyOnWriteArrayWithContiguous");
81
82     if (arrayModes & Int8ArrayMode)
83         out.print(comma, "Int8ArrayMode");
84     if (arrayModes & Int16ArrayMode)
85         out.print(comma, "Int16ArrayMode");
86     if (arrayModes & Int32ArrayMode)
87         out.print(comma, "Int32ArrayMode");
88     if (arrayModes & Uint8ArrayMode)
89         out.print(comma, "Uint8ArrayMode");
90     if (arrayModes & Uint8ClampedArrayMode)
91         out.print(comma, "Uint8ClampedArrayMode");
92     if (arrayModes & Uint16ArrayMode)
93         out.print(comma, "Uint16ArrayMode");
94     if (arrayModes & Uint32ArrayMode)
95         out.print(comma, "Uint32ArrayMode");
96     if (arrayModes & Float32ArrayMode)
97         out.print(comma, "Float32ArrayMode");
98     if (arrayModes & Float64ArrayMode)
99         out.print(comma, "Float64ArrayMode");
100 }
101
102 void ArrayProfile::computeUpdatedPrediction(const ConcurrentJSLocker& locker, CodeBlock* codeBlock)
103 {
104     if (!m_lastSeenStructureID)
105         return;
106     
107     Structure* lastSeenStructure = codeBlock->heap()->structureIDTable().get(m_lastSeenStructureID);
108     computeUpdatedPrediction(locker, codeBlock, lastSeenStructure);
109     m_lastSeenStructureID = 0;
110 }
111
112 void ArrayProfile::computeUpdatedPrediction(const ConcurrentJSLocker&, CodeBlock* codeBlock, Structure* lastSeenStructure)
113 {
114     m_observedArrayModes |= arrayModeFromStructure(lastSeenStructure);
115     
116     if (!m_didPerformFirstRunPruning
117         && hasTwoOrMoreBitsSet(m_observedArrayModes)) {
118         m_observedArrayModes = arrayModeFromStructure(lastSeenStructure);
119         m_didPerformFirstRunPruning = true;
120     }
121     
122     m_mayInterceptIndexedAccesses |=
123         lastSeenStructure->typeInfo().interceptsGetOwnPropertySlotByIndexEvenWhenLengthIsNotZero();
124     JSGlobalObject* globalObject = codeBlock->globalObject();
125     if (!globalObject->isOriginalArrayStructure(lastSeenStructure)
126         && !globalObject->isOriginalTypedArrayStructure(lastSeenStructure))
127         m_usesOriginalArrayStructures = false;
128 }
129
130 void ArrayProfile::observeIndexedRead(VM& vm, JSCell* cell, unsigned index)
131 {
132     m_lastSeenStructureID = cell->structureID();
133
134     if (JSObject* object = jsDynamicCast<JSObject*>(vm, cell)) {
135         if (hasAnyArrayStorage(object->indexingType()) && index >= object->getVectorLength())
136             setOutOfBounds();
137         else if (index >= object->getArrayLength())
138             setOutOfBounds();
139     }
140
141     if (JSString* string = jsDynamicCast<JSString*>(vm, cell)) {
142         if (index >= string->length())
143             setOutOfBounds();
144     }
145 }
146
147 CString ArrayProfile::briefDescription(const ConcurrentJSLocker& locker, CodeBlock* codeBlock)
148 {
149     computeUpdatedPrediction(locker, codeBlock);
150     return briefDescriptionWithoutUpdating(locker);
151 }
152
153 CString ArrayProfile::briefDescriptionWithoutUpdating(const ConcurrentJSLocker&)
154 {
155     StringPrintStream out;
156     CommaPrinter comma;
157
158     if (m_observedArrayModes)
159         out.print(comma, ArrayModesDump(m_observedArrayModes));
160     if (m_mayStoreToHole)
161         out.print(comma, "Hole");
162     if (m_outOfBounds)
163         out.print(comma, "OutOfBounds");
164     if (m_mayInterceptIndexedAccesses)
165         out.print(comma, "Intercept");
166     if (m_usesOriginalArrayStructures)
167         out.print(comma, "Original");
168
169     return out.toCString();
170 }
171
172 } // namespace JSC
173