summaryrefslogtreecommitdiff
path: root/Source/JavaScriptCore/bytecode/GetByIdVariant.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'Source/JavaScriptCore/bytecode/GetByIdVariant.cpp')
-rw-r--r--Source/JavaScriptCore/bytecode/GetByIdVariant.cpp145
1 files changed, 145 insertions, 0 deletions
diff --git a/Source/JavaScriptCore/bytecode/GetByIdVariant.cpp b/Source/JavaScriptCore/bytecode/GetByIdVariant.cpp
new file mode 100644
index 000000000..a869d4a1c
--- /dev/null
+++ b/Source/JavaScriptCore/bytecode/GetByIdVariant.cpp
@@ -0,0 +1,145 @@
+/*
+ * Copyright (C) 2014, 2015 Apple Inc. All rights reserved.
+ *
+ * Redistribution and use in source and binary forms, with or without
+ * modification, are permitted provided that the following conditions
+ * are met:
+ * 1. Redistributions of source code must retain the above copyright
+ * notice, this list of conditions and the following disclaimer.
+ * 2. Redistributions in binary form must reproduce the above copyright
+ * notice, this list of conditions and the following disclaimer in the
+ * documentation and/or other materials provided with the distribution.
+ *
+ * THIS SOFTWARE IS PROVIDED BY APPLE INC. ``AS IS'' AND ANY
+ * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
+ * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
+ * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL APPLE INC. OR
+ * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
+ * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
+ * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
+ * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY
+ * OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
+ * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
+ * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+ */
+
+#include "config.h"
+#include "GetByIdVariant.h"
+
+#include "CallLinkStatus.h"
+#include "JSCInlines.h"
+#include <wtf/ListDump.h>
+
+namespace JSC {
+
+GetByIdVariant::GetByIdVariant(
+ const StructureSet& structureSet, PropertyOffset offset,
+ const ObjectPropertyConditionSet& conditionSet,
+ std::unique_ptr<CallLinkStatus> callLinkStatus,
+ JSFunction* intrinsicFunction)
+ : m_structureSet(structureSet)
+ , m_conditionSet(conditionSet)
+ , m_offset(offset)
+ , m_callLinkStatus(WTFMove(callLinkStatus))
+ , m_intrinsicFunction(intrinsicFunction)
+{
+ if (!structureSet.size()) {
+ ASSERT(offset == invalidOffset);
+ ASSERT(conditionSet.isEmpty());
+ }
+ if (intrinsicFunction)
+ ASSERT(intrinsic() != NoIntrinsic);
+}
+
+GetByIdVariant::~GetByIdVariant() { }
+
+GetByIdVariant::GetByIdVariant(const GetByIdVariant& other)
+ : GetByIdVariant()
+{
+ *this = other;
+}
+
+GetByIdVariant& GetByIdVariant::operator=(const GetByIdVariant& other)
+{
+ m_structureSet = other.m_structureSet;
+ m_conditionSet = other.m_conditionSet;
+ m_offset = other.m_offset;
+ m_intrinsicFunction = other.m_intrinsicFunction;
+ if (other.m_callLinkStatus)
+ m_callLinkStatus = std::make_unique<CallLinkStatus>(*other.m_callLinkStatus);
+ else
+ m_callLinkStatus = nullptr;
+ return *this;
+}
+
+inline bool GetByIdVariant::canMergeIntrinsicStructures(const GetByIdVariant& other) const
+{
+ if (m_intrinsicFunction != other.m_intrinsicFunction)
+ return false;
+ switch (intrinsic()) {
+ case TypedArrayByteLengthIntrinsic: {
+ // We can merge these sets as long as the element size of the two sets is the same.
+ TypedArrayType thisType = (*m_structureSet.begin())->classInfo()->typedArrayStorageType;
+ TypedArrayType otherType = (*other.m_structureSet.begin())->classInfo()->typedArrayStorageType;
+
+ ASSERT(isTypedView(thisType) && isTypedView(otherType));
+
+ return logElementSize(thisType) == logElementSize(otherType);
+ }
+
+ default:
+ return true;
+ }
+ RELEASE_ASSERT_NOT_REACHED();
+}
+
+bool GetByIdVariant::attemptToMerge(const GetByIdVariant& other)
+{
+ if (m_offset != other.m_offset)
+ return false;
+ if (m_callLinkStatus || other.m_callLinkStatus)
+ return false;
+
+ if (!canMergeIntrinsicStructures(other))
+ return false;
+
+ if (m_conditionSet.isEmpty() != other.m_conditionSet.isEmpty())
+ return false;
+
+ ObjectPropertyConditionSet mergedConditionSet;
+ if (!m_conditionSet.isEmpty()) {
+ mergedConditionSet = m_conditionSet.mergedWith(other.m_conditionSet);
+ if (!mergedConditionSet.isValid() || !mergedConditionSet.hasOneSlotBaseCondition())
+ return false;
+ }
+ m_conditionSet = mergedConditionSet;
+
+ m_structureSet.merge(other.m_structureSet);
+
+ return true;
+}
+
+void GetByIdVariant::dump(PrintStream& out) const
+{
+ dumpInContext(out, 0);
+}
+
+void GetByIdVariant::dumpInContext(PrintStream& out, DumpContext* context) const
+{
+ if (!isSet()) {
+ out.print("<empty>");
+ return;
+ }
+
+ out.print(
+ "<", inContext(structureSet(), context), ", ", inContext(m_conditionSet, context));
+ out.print(", offset = ", offset());
+ if (m_callLinkStatus)
+ out.print(", call = ", *m_callLinkStatus);
+ if (m_intrinsicFunction)
+ out.print(", intrinsic = ", *m_intrinsicFunction);
+ out.print(">");
+}
+
+} // namespace JSC
+