DFG should have some facility for recognizing redundant CheckArrays and Arrayifies
[WebKit-https.git] / Source / JavaScriptCore / bytecode / ArrayProfile.cpp
1 /*
2  * Copyright (C) 2012 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 <wtf/StringExtras.h>
30
31 namespace JSC {
32
33 const char* arrayModesToString(ArrayModes arrayModes)
34 {
35     if (!arrayModes)
36         return "0:<empty>";
37     
38     if (arrayModes == ALL_ARRAY_MODES)
39         return "TOP";
40
41     bool isNonArray = !!(arrayModes & NonArray);
42     bool isNonArrayWithContiguous = !!(arrayModes & NonArrayWithContiguous);
43     bool isNonArrayWithArrayStorage = !!(arrayModes & NonArrayWithArrayStorage);
44     bool isNonArrayWithSlowPutArrayStorage = !!(arrayModes & NonArrayWithSlowPutArrayStorage);
45     bool isArray = !!(arrayModes & ArrayClass);
46     bool isArrayWithContiguous = !!(arrayModes & ArrayWithContiguous);
47     bool isArrayWithArrayStorage = !!(arrayModes & ArrayWithArrayStorage);
48     bool isArrayWithSlowPutArrayStorage = !!(arrayModes & ArrayWithSlowPutArrayStorage);
49     
50     static char result[256];
51     snprintf(
52         result, sizeof(result),
53         "%u:%s%s%s%s%s%s%s%s",
54         arrayModes,
55         isNonArray ? "NonArray" : "",
56         isNonArrayWithContiguous ? "NonArrayWithContiguous" : "",
57         isNonArrayWithArrayStorage ? " NonArrayWithArrayStorage" : "",
58         isNonArrayWithSlowPutArrayStorage ? "NonArrayWithSlowPutArrayStorage" : "",
59         isArray ? "ArrayClass" : "",
60         isArrayWithContiguous ? "ArrayWithContiguous" : "",
61         isArrayWithArrayStorage ? " ArrayWithArrayStorage" : "",
62         isArrayWithSlowPutArrayStorage ? "ArrayWithSlowPutArrayStorage" : "");
63     
64     return result;
65 }
66
67 void ArrayProfile::computeUpdatedPrediction(OperationInProgress operation)
68 {
69     if (m_lastSeenStructure) {
70         m_observedArrayModes |= arrayModeFromStructure(m_lastSeenStructure);
71         m_mayInterceptIndexedAccesses |=
72             m_lastSeenStructure->typeInfo().interceptsGetOwnPropertySlotByIndexEvenWhenLengthIsNotZero();
73         if (!m_structureIsPolymorphic) {
74             if (!m_expectedStructure)
75                 m_expectedStructure = m_lastSeenStructure;
76             else if (m_expectedStructure != m_lastSeenStructure) {
77                 m_expectedStructure = 0;
78                 m_structureIsPolymorphic = true;
79             }
80         }
81         m_lastSeenStructure = 0;
82     }
83     
84     if (hasTwoOrMoreBitsSet(m_observedArrayModes)) {
85         m_structureIsPolymorphic = true;
86         m_expectedStructure = 0;
87     }
88     
89     if (operation == Collection
90         && m_expectedStructure
91         && !Heap::isMarked(m_expectedStructure)) {
92         m_expectedStructure = 0;
93         m_structureIsPolymorphic = true;
94     }
95 }
96
97 } // namespace JSC
98