122 lines
3.8 KiB
C++
122 lines
3.8 KiB
C++
/*
|
|
* Copyright (C) 2018 Yusuke Suzuki <utatane.tea@gmail.com>.
|
|
* Copyright (C) 2018-2021 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 "InByVariant.h"
|
|
|
|
#include "CacheableIdentifierInlines.h"
|
|
|
|
namespace JSC {
|
|
|
|
InByVariant::InByVariant(CacheableIdentifier identifier, const StructureSet& structureSet, PropertyOffset offset, const ObjectPropertyConditionSet& conditionSet)
|
|
: m_structureSet(structureSet)
|
|
, m_conditionSet(conditionSet)
|
|
, m_offset(offset)
|
|
, m_identifier(WTFMove(identifier))
|
|
{
|
|
if (!structureSet.size()) {
|
|
ASSERT(offset == invalidOffset);
|
|
ASSERT(conditionSet.isEmpty());
|
|
}
|
|
}
|
|
|
|
bool InByVariant::attemptToMerge(const InByVariant& other)
|
|
{
|
|
if (!!m_identifier != !!other.m_identifier)
|
|
return false;
|
|
|
|
if (m_identifier && (m_identifier != other.m_identifier))
|
|
return false;
|
|
|
|
if (m_offset != other.m_offset)
|
|
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())
|
|
return false;
|
|
// If this is a hit variant, one slot base should exist. If this is not a hit variant, the slot base is not necessary.
|
|
if (isHit() && !mergedConditionSet.hasOneSlotBaseCondition())
|
|
return false;
|
|
}
|
|
m_conditionSet = mergedConditionSet;
|
|
|
|
m_structureSet.merge(other.m_structureSet);
|
|
|
|
return true;
|
|
}
|
|
|
|
template<typename Visitor>
|
|
void InByVariant::visitAggregateImpl(Visitor& visitor)
|
|
{
|
|
m_identifier.visitAggregate(visitor);
|
|
}
|
|
|
|
DEFINE_VISIT_AGGREGATE(InByVariant);
|
|
|
|
template<typename Visitor>
|
|
void InByVariant::markIfCheap(Visitor& visitor)
|
|
{
|
|
m_structureSet.markIfCheap(visitor);
|
|
}
|
|
|
|
template void InByVariant::markIfCheap(AbstractSlotVisitor&);
|
|
template void InByVariant::markIfCheap(SlotVisitor&);
|
|
|
|
bool InByVariant::finalize(VM& vm)
|
|
{
|
|
if (!m_structureSet.isStillAlive(vm))
|
|
return false;
|
|
if (!m_conditionSet.areStillLive(vm))
|
|
return false;
|
|
return true;
|
|
}
|
|
|
|
void InByVariant::dump(PrintStream& out) const
|
|
{
|
|
dumpInContext(out, nullptr);
|
|
}
|
|
|
|
void InByVariant::dumpInContext(PrintStream& out, DumpContext* context) const
|
|
{
|
|
out.print("<id='", m_identifier, "', ");
|
|
if (!isSet()) {
|
|
out.print("empty>");
|
|
return;
|
|
}
|
|
|
|
out.print(inContext(structureSet(), context), ", ", inContext(m_conditionSet, context));
|
|
out.print(", offset = ", offset());
|
|
out.print(">");
|
|
}
|
|
|
|
} // namespace JSC
|
|
|