diff options
Diffstat (limited to 'Source/JavaScriptCore/ftl/FTLAbstractHeapRepository.h')
| -rw-r--r-- | Source/JavaScriptCore/ftl/FTLAbstractHeapRepository.h | 179 |
1 files changed, 145 insertions, 34 deletions
diff --git a/Source/JavaScriptCore/ftl/FTLAbstractHeapRepository.h b/Source/JavaScriptCore/ftl/FTLAbstractHeapRepository.h index f811c8be5..4268179c3 100644 --- a/Source/JavaScriptCore/ftl/FTLAbstractHeapRepository.h +++ b/Source/JavaScriptCore/ftl/FTLAbstractHeapRepository.h @@ -1,5 +1,5 @@ /* - * Copyright (C) 2013 Apple Inc. All rights reserved. + * Copyright (C) 2013-2017 Apple Inc. All rights reserved. * * Redistribution and use in source and binary forms, with or without * modification, are permitted provided that the following conditions @@ -23,55 +23,122 @@ * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. */ -#ifndef FTLAbstractHeapRepository_h -#define FTLAbstractHeapRepository_h - -#include <wtf/Platform.h> +#pragma once #if ENABLE(FTL_JIT) +#include "B3Value.h" +#include "DFGArrayMode.h" #include "FTLAbstractHeap.h" +#include "HasOwnPropertyCache.h" #include "IndexingType.h" +#include "JSFixedArray.h" +#include "JSMap.h" +#include "JSSet.h" +#include "Symbol.h" namespace JSC { namespace FTL { #define FOR_EACH_ABSTRACT_HEAP(macro) \ - macro(length) \ - macro(typedArrayProperties) \ - macro(WriteBarrierBuffer_bufferContents) + macro(typedArrayProperties) #define FOR_EACH_ABSTRACT_FIELD(macro) \ + macro(ArrayBuffer_data, ArrayBuffer::offsetOfData()) \ + macro(Butterfly_arrayBuffer, Butterfly::offsetOfArrayBuffer()) \ macro(Butterfly_publicLength, Butterfly::offsetOfPublicLength()) \ macro(Butterfly_vectorLength, Butterfly::offsetOfVectorLength()) \ macro(CallFrame_callerFrame, CallFrame::callerFrameOffset()) \ + macro(DirectArguments_callee, DirectArguments::offsetOfCallee()) \ + macro(DirectArguments_length, DirectArguments::offsetOfLength()) \ + macro(DirectArguments_minCapacity, DirectArguments::offsetOfMinCapacity()) \ + macro(DirectArguments_mappedArguments, DirectArguments::offsetOfMappedArguments()) \ + macro(DirectArguments_modifiedArgumentsDescriptor, DirectArguments::offsetOfModifiedArgumentsDescriptor()) \ + macro(GetterSetter_getter, GetterSetter::offsetOfGetter()) \ + macro(GetterSetter_setter, GetterSetter::offsetOfSetter()) \ macro(JSArrayBufferView_length, JSArrayBufferView::offsetOfLength()) \ macro(JSArrayBufferView_mode, JSArrayBufferView::offsetOfMode()) \ macro(JSArrayBufferView_vector, JSArrayBufferView::offsetOfVector()) \ - macro(JSCell_structure, JSCell::structureOffset()) \ + macro(JSCell_cellState, JSCell::cellStateOffset()) \ + macro(JSCell_header, 0) \ + macro(JSCell_indexingTypeAndMisc, JSCell::indexingTypeAndMiscOffset()) \ + macro(JSCell_structureID, JSCell::structureIDOffset()) \ + macro(JSCell_typeInfoFlags, JSCell::typeInfoFlagsOffset()) \ + macro(JSCell_typeInfoType, JSCell::typeInfoTypeOffset()) \ + macro(JSCell_usefulBytes, JSCell::indexingTypeAndMiscOffset()) \ + macro(JSFunction_executable, JSFunction::offsetOfExecutable()) \ + macro(JSFunction_scope, JSFunction::offsetOfScopeChain()) \ + macro(JSFunction_rareData, JSFunction::offsetOfRareData()) \ macro(JSObject_butterfly, JSObject::butterflyOffset()) \ + macro(JSPropertyNameEnumerator_cachedInlineCapacity, JSPropertyNameEnumerator::cachedInlineCapacityOffset()) \ + macro(JSPropertyNameEnumerator_cachedPropertyNamesVector, JSPropertyNameEnumerator::cachedPropertyNamesVectorOffset()) \ + macro(JSPropertyNameEnumerator_cachedStructureID, JSPropertyNameEnumerator::cachedStructureIDOffset()) \ + macro(JSPropertyNameEnumerator_endGenericPropertyIndex, JSPropertyNameEnumerator::endGenericPropertyIndexOffset()) \ + macro(JSPropertyNameEnumerator_endStructurePropertyIndex, JSPropertyNameEnumerator::endStructurePropertyIndexOffset()) \ + macro(JSPropertyNameEnumerator_indexLength, JSPropertyNameEnumerator::indexedLengthOffset()) \ macro(JSScope_next, JSScope::offsetOfNext()) \ + macro(JSString_flags, JSString::offsetOfFlags()) \ macro(JSString_length, JSString::offsetOfLength()) \ macro(JSString_value, JSString::offsetOfValue()) \ - macro(JSVariableObject_registers, JSVariableObject::offsetOfRegisters()) \ - macro(MarkedAllocator_freeListHead, MarkedAllocator::offsetOfFreeListHead()) \ - macro(MarkedBlock_markBits, MarkedBlock::offsetOfMarks()) \ + macro(JSSymbolTableObject_symbolTable, JSSymbolTableObject::offsetOfSymbolTable()) \ + macro(JSWrapperObject_internalValue, JSWrapperObject::internalValueOffset()) \ + macro(RegExpConstructor_cachedResult_lastRegExp, RegExpConstructor::offsetOfCachedResult() + RegExpCachedResult::offsetOfLastRegExp()) \ + macro(RegExpConstructor_cachedResult_lastInput, RegExpConstructor::offsetOfCachedResult() + RegExpCachedResult::offsetOfLastInput()) \ + macro(RegExpConstructor_cachedResult_result_start, RegExpConstructor::offsetOfCachedResult() + RegExpCachedResult::offsetOfResult() + OBJECT_OFFSETOF(MatchResult, start)) \ + macro(RegExpConstructor_cachedResult_result_end, RegExpConstructor::offsetOfCachedResult() + RegExpCachedResult::offsetOfResult() + OBJECT_OFFSETOF(MatchResult, end)) \ + macro(RegExpConstructor_cachedResult_reified, RegExpConstructor::offsetOfCachedResult() + RegExpCachedResult::offsetOfReified()) \ + macro(RegExpObject_lastIndex, RegExpObject::offsetOfLastIndex()) \ + macro(RegExpObject_lastIndexIsWritable, RegExpObject::offsetOfLastIndexIsWritable()) \ + macro(ShadowChicken_Packet_callee, OBJECT_OFFSETOF(ShadowChicken::Packet, callee)) \ + macro(ShadowChicken_Packet_frame, OBJECT_OFFSETOF(ShadowChicken::Packet, frame)) \ + macro(ShadowChicken_Packet_callerFrame, OBJECT_OFFSETOF(ShadowChicken::Packet, callerFrame)) \ + macro(ShadowChicken_Packet_thisValue, OBJECT_OFFSETOF(ShadowChicken::Packet, thisValue)) \ + macro(ShadowChicken_Packet_scope, OBJECT_OFFSETOF(ShadowChicken::Packet, scope)) \ + macro(ShadowChicken_Packet_codeBlock, OBJECT_OFFSETOF(ShadowChicken::Packet, codeBlock)) \ + macro(ShadowChicken_Packet_callSiteIndex, OBJECT_OFFSETOF(ShadowChicken::Packet, callSiteIndex)) \ + macro(ScopedArguments_overrodeThings, ScopedArguments::offsetOfOverrodeThings()) \ + macro(ScopedArguments_scope, ScopedArguments::offsetOfScope()) \ + macro(ScopedArguments_table, ScopedArguments::offsetOfTable()) \ + macro(ScopedArguments_totalLength, ScopedArguments::offsetOfTotalLength()) \ + macro(ScopedArgumentsTable_arguments, ScopedArgumentsTable::offsetOfArguments()) \ + macro(ScopedArgumentsTable_length, ScopedArgumentsTable::offsetOfLength()) \ macro(StringImpl_data, StringImpl::dataOffset()) \ macro(StringImpl_hashAndFlags, StringImpl::flagsOffset()) \ + macro(StringImpl_length, StringImpl::lengthMemoryOffset()) \ macro(Structure_classInfo, Structure::classInfoOffset()) \ macro(Structure_globalObject, Structure::globalObjectOffset()) \ - macro(Structure_indexingType, Structure::indexingTypeOffset()) \ - macro(Structure_typeInfoFlags, Structure::typeInfoFlagsOffset()) \ - macro(Structure_typeInfoType, Structure::typeInfoTypeOffset()) + macro(Structure_prototype, Structure::prototypeOffset()) \ + macro(Structure_structureID, Structure::structureIDOffset()) \ + macro(Structure_inlineCapacity, Structure::inlineCapacityOffset()) \ + macro(Structure_indexingTypeIncludingHistory, Structure::indexingTypeIncludingHistoryOffset()) \ + macro(JSMap_hashMapImpl, JSMap::offsetOfHashMapImpl()) \ + macro(JSSet_hashMapImpl, JSSet::offsetOfHashMapImpl()) \ + macro(HashMapImpl_capacity, HashMapImpl<HashMapBucket<HashMapBucketDataKey>>::offsetOfCapacity()) \ + macro(HashMapImpl_buffer, HashMapImpl<HashMapBucket<HashMapBucketDataKey>>::offsetOfBuffer()) \ + macro(HashMapBucket_value, HashMapBucket<HashMapBucketDataKeyValue>::offsetOfValue()) \ + macro(HashMapBucket_key, HashMapBucket<HashMapBucketDataKeyValue>::offsetOfKey()) \ + macro(Symbol_symbolImpl, Symbol::offsetOfSymbolImpl()) \ + macro(JSFixedArray_size, JSFixedArray::offsetOfSize()) \ #define FOR_EACH_INDEXED_ABSTRACT_HEAP(macro) \ - macro(characters8, sizeof(LChar)) \ - macro(characters16, sizeof(UChar)) \ - macro(indexedInt32Properties, sizeof(EncodedJSValue)) \ - macro(indexedDoubleProperties, sizeof(double)) \ - macro(indexedContiguousProperties, sizeof(EncodedJSValue)) \ - macro(indexedArrayStorageProperties, sizeof(EncodedJSValue)) \ - macro(singleCharacterStrings, sizeof(JSString*)) \ - macro(variables, sizeof(Register)) + macro(DirectArguments_storage, DirectArguments::storageOffset(), sizeof(EncodedJSValue)) \ + macro(JSEnvironmentRecord_variables, JSEnvironmentRecord::offsetOfVariables(), sizeof(EncodedJSValue)) \ + macro(JSPropertyNameEnumerator_cachedPropertyNamesVectorContents, 0, sizeof(WriteBarrier<JSString>)) \ + macro(JSRopeString_fibers, JSRopeString::offsetOfFibers(), sizeof(WriteBarrier<JSString>)) \ + macro(ScopedArguments_overflowStorage, ScopedArguments::overflowStorageOffset(), sizeof(EncodedJSValue)) \ + macro(Subspace_allocatorForSizeStep, Subspace::offsetOfAllocatorForSizeStep(), sizeof(MarkedAllocator*)) \ + macro(WriteBarrierBuffer_bufferContents, 0, sizeof(JSCell*)) \ + macro(characters8, 0, sizeof(LChar)) \ + macro(characters16, 0, sizeof(UChar)) \ + macro(indexedInt32Properties, 0, sizeof(EncodedJSValue)) \ + macro(indexedDoubleProperties, 0, sizeof(double)) \ + macro(indexedContiguousProperties, 0, sizeof(EncodedJSValue)) \ + macro(indexedArrayStorageProperties, 0, sizeof(EncodedJSValue)) \ + macro(scopedArgumentsTableArguments, 0, sizeof(int32_t)) \ + macro(singleCharacterStrings, 0, sizeof(JSString*)) \ + macro(structureTable, 0, sizeof(Structure*)) \ + macro(variables, 0, sizeof(Register)) \ + macro(HasOwnPropertyCache, 0, sizeof(HasOwnPropertyCache::Entry)) \ + macro(JSFixedArray_buffer, JSFixedArray::offsetOfData(), sizeof(EncodedJSValue)) \ #define FOR_EACH_NUMBERED_ABSTRACT_HEAP(macro) \ macro(properties) @@ -82,7 +149,7 @@ namespace JSC { namespace FTL { class AbstractHeapRepository { WTF_MAKE_NONCOPYABLE(AbstractHeapRepository); public: - AbstractHeapRepository(LContext); + AbstractHeapRepository(); ~AbstractHeapRepository(); AbstractHeap root; @@ -91,13 +158,13 @@ public: FOR_EACH_ABSTRACT_HEAP(ABSTRACT_HEAP_DECLARATION) #undef ABSTRACT_HEAP_DECLARATION -#define ABSTRACT_FIELD_DECLARATION(name, offset) AbstractField name; +#define ABSTRACT_FIELD_DECLARATION(name, offset) AbstractHeap name; FOR_EACH_ABSTRACT_FIELD(ABSTRACT_FIELD_DECLARATION) #undef ABSTRACT_FIELD_DECLARATION - AbstractField& JSCell_freeListNext; + AbstractHeap& JSCell_freeListNext; -#define INDEXED_ABSTRACT_HEAP_DECLARATION(name, size) IndexedAbstractHeap name; +#define INDEXED_ABSTRACT_HEAP_DECLARATION(name, offset, size) IndexedAbstractHeap name; FOR_EACH_INDEXED_ABSTRACT_HEAP(INDEXED_ABSTRACT_HEAP_DECLARATION) #undef INDEXED_ABSTRACT_HEAP_DECLARATION @@ -131,17 +198,61 @@ public: return 0; } } + + IndexedAbstractHeap& forArrayType(DFG::Array::Type type) + { + switch (type) { + case DFG::Array::Int32: + return indexedInt32Properties; + case DFG::Array::Double: + return indexedDoubleProperties; + case DFG::Array::Contiguous: + return indexedContiguousProperties; + case DFG::Array::ArrayStorage: + case DFG::Array::SlowPutArrayStorage: + return indexedArrayStorageProperties; + default: + RELEASE_ASSERT_NOT_REACHED(); + return indexedInt32Properties; + } + } + + void decorateMemory(const AbstractHeap*, B3::Value*); + void decorateCCallRead(const AbstractHeap*, B3::Value*); + void decorateCCallWrite(const AbstractHeap*, B3::Value*); + void decoratePatchpointRead(const AbstractHeap*, B3::Value*); + void decoratePatchpointWrite(const AbstractHeap*, B3::Value*); + void decorateFenceRead(const AbstractHeap*, B3::Value*); + void decorateFenceWrite(const AbstractHeap*, B3::Value*); + + void computeRangesAndDecorateInstructions(); private: - friend class AbstractHeap; - - LContext m_context; - unsigned m_tbaaKind; + + struct HeapForValue { + HeapForValue() + { + } + + HeapForValue(const AbstractHeap* heap, B3::Value* value) + : heap(heap) + , value(value) + { + } + + const AbstractHeap* heap { nullptr }; + B3::Value* value { nullptr }; + }; + + Vector<HeapForValue> m_heapForMemory; + Vector<HeapForValue> m_heapForCCallRead; + Vector<HeapForValue> m_heapForCCallWrite; + Vector<HeapForValue> m_heapForPatchpointRead; + Vector<HeapForValue> m_heapForPatchpointWrite; + Vector<HeapForValue> m_heapForFenceRead; + Vector<HeapForValue> m_heapForFenceWrite; }; } } // namespace JSC::FTL #endif // ENABLE(FTL_JIT) - -#endif // FTLAbstractHeapRepository_h - |