1/*
2 * Copyright (C) 2014, 2015 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 "ComplexGetStatus.h"
28
29#include "JSCInlines.h"
30
31namespace JSC {
32
33ComplexGetStatus ComplexGetStatus::computeFor(
34 Structure* headStructure, const ObjectPropertyConditionSet& conditionSet, UniquedStringImpl* uid)
35{
36 // FIXME: We should assert that we never see a structure that
37 // getOwnPropertySlotIsImpure() but for which we don't
38 // newImpurePropertyFiresWatchpoints(). We're not at a point where we can do
39 // that, yet.
40 // https://bugs.webkit.org/show_bug.cgi?id=131810
41
42 ASSERT(conditionSet.isValid());
43
44 if (headStructure->takesSlowPathInDFGForImpureProperty())
45 return takesSlowPath();
46
47 ComplexGetStatus result;
48 result.m_kind = Inlineable;
49
50 if (!conditionSet.isEmpty()) {
51 result.m_conditionSet = conditionSet;
52
53 if (!result.m_conditionSet.structuresEnsureValidity())
54 return skip();
55
56 unsigned numberOfSlotBases =
57 result.m_conditionSet.numberOfConditionsWithKind(PropertyCondition::Presence);
58 RELEASE_ASSERT(numberOfSlotBases <= 1);
59 if (!numberOfSlotBases) {
60 ASSERT(result.m_offset == invalidOffset);
61 return result;
62 }
63 ObjectPropertyCondition base = result.m_conditionSet.slotBaseCondition();
64 ASSERT(base.kind() == PropertyCondition::Presence);
65
66 result.m_offset = base.offset();
67 } else
68 result.m_offset = headStructure->getConcurrently(uid);
69
70 if (!isValidOffset(result.m_offset))
71 return takesSlowPath();
72
73 return result;
74}
75
76} // namespace JSC
77
78
79