Roll out r108309, r108323, and r108326
[WebKit-https.git] / Source / JavaScriptCore / bytecode / GetByIdStatus.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 "GetByIdStatus.h"
28
29 #include "CodeBlock.h"
30
31 namespace JSC {
32
33 GetByIdStatus GetByIdStatus::computeFor(CodeBlock* profiledBlock, unsigned bytecodeIndex, Identifier& ident)
34 {
35     UNUSED_PARAM(profiledBlock);
36     UNUSED_PARAM(bytecodeIndex);
37     UNUSED_PARAM(ident);
38 #if ENABLE(JIT) && ENABLE(VALUE_PROFILER)
39     // First check if it makes either calls, in which case we want to be super careful, or
40     // if it's not set at all, in which case we punt.
41     StructureStubInfo& stubInfo = profiledBlock->getStubInfo(bytecodeIndex);
42     if (!stubInfo.seen)
43         return GetByIdStatus(NoInformation, StructureSet(), notFound);
44     
45     PolymorphicAccessStructureList* list;
46     int listSize;
47     switch (stubInfo.accessType) {
48     case access_get_by_id_self_list:
49         list = stubInfo.u.getByIdSelfList.structureList;
50         listSize = stubInfo.u.getByIdSelfList.listSize;
51         break;
52     case access_get_by_id_proto_list:
53         list = stubInfo.u.getByIdProtoList.structureList;
54         listSize = stubInfo.u.getByIdProtoList.listSize;
55         break;
56     default:
57         list = 0;
58         listSize = 0;
59         break;
60     }
61     for (int i = 0; i < listSize; ++i) {
62         if (!list->list[i].isDirect)
63             return GetByIdStatus(MakesCalls, StructureSet(), notFound);
64     }
65     
66     // Next check if it takes slow case, in which case we want to be kind of careful.
67     if (profiledBlock->likelyToTakeSlowCase(bytecodeIndex))
68         return GetByIdStatus(TakesSlowPath, StructureSet(), notFound);
69     
70     // Finally figure out if we can derive an access strategy.
71     GetByIdStatus result;
72     switch (stubInfo.accessType) {
73     case access_unset:
74         return GetByIdStatus(NoInformation, StructureSet(), notFound);
75         
76     case access_get_by_id_self: {
77         Structure* structure = stubInfo.u.getByIdSelf.baseObjectStructure.get();
78         result.m_offset = structure->get(*profiledBlock->globalData(), ident);
79         
80         if (result.m_offset != notFound)
81             result.m_structureSet.add(structure);
82         
83         if (result.m_offset != notFound)
84             ASSERT(result.m_structureSet.size());
85         break;
86     }
87         
88     case access_get_by_id_self_list: {
89         PolymorphicAccessStructureList* list = stubInfo.u.getByIdProtoList.structureList;
90         unsigned size = stubInfo.u.getByIdProtoList.listSize;
91         for (unsigned i = 0; i < size; ++i) {
92             ASSERT(list->list[i].isDirect);
93             
94             Structure* structure = list->list[i].base.get();
95             if (result.m_structureSet.contains(structure))
96                 continue;
97             
98             size_t myOffset = structure->get(*profiledBlock->globalData(), ident);
99             
100             if (myOffset == notFound) {
101                 result.m_offset = notFound;
102                 break;
103             }
104                     
105             if (!i)
106                 result.m_offset = myOffset;
107             else if (result.m_offset != myOffset) {
108                 result.m_offset = notFound;
109                 break;
110             }
111                     
112             result.m_structureSet.add(structure);
113         }
114                     
115         if (result.m_offset != notFound)
116             ASSERT(result.m_structureSet.size());
117         break;
118     }
119         
120     default:
121         ASSERT(result.m_offset == notFound);
122         break;
123     }
124     
125     if (result.m_offset == notFound) {
126         result.m_state = TakesSlowPath;
127         result.m_structureSet.clear();
128     } else
129         result.m_state = SimpleDirect;
130     
131     return result;
132 #else // ENABLE(JIT)
133     return GetByIdStatus(NoInformation, StructureSet(), notFound);
134 #endif // ENABLE(JIT)
135 }
136
137 } // namespace JSC
138