From 6882a04fb36642862b11efe514251d32070c3d65 Mon Sep 17 00:00:00 2001 From: Konstantin Tokarev Date: Thu, 25 Aug 2016 19:20:41 +0300 Subject: Imported QtWebKit TP3 (git b57bc6801f1876c3220d5a4bfea33d620d477443) Change-Id: I3b1d8a2808782c9f34d50240000e20cb38d3680f Reviewed-by: Konstantin Tokarev --- .../JavaScriptCore/runtime/ControlFlowProfiler.cpp | 137 +++++++++++++++++++++ 1 file changed, 137 insertions(+) create mode 100644 Source/JavaScriptCore/runtime/ControlFlowProfiler.cpp (limited to 'Source/JavaScriptCore/runtime/ControlFlowProfiler.cpp') diff --git a/Source/JavaScriptCore/runtime/ControlFlowProfiler.cpp b/Source/JavaScriptCore/runtime/ControlFlowProfiler.cpp new file mode 100644 index 000000000..ebb42992d --- /dev/null +++ b/Source/JavaScriptCore/runtime/ControlFlowProfiler.cpp @@ -0,0 +1,137 @@ +/* + * Copyright (C) 2014 Apple Inc. All rights reserved. + * Copyright (C) 2014 Saam Barati. + * + * 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 "ControlFlowProfiler.h" + +#include "VM.h" + +namespace JSC { + +ControlFlowProfiler::ControlFlowProfiler() + : m_dummyBasicBlock(BasicBlockLocation(-1, -1)) +{ +} + +ControlFlowProfiler::~ControlFlowProfiler() +{ + for (const BlockLocationCache& cache : m_sourceIDBuckets.values()) { + for (BasicBlockLocation* block : cache.values()) + delete block; + } +} + +BasicBlockLocation* ControlFlowProfiler::getBasicBlockLocation(intptr_t sourceID, int startOffset, int endOffset) +{ + auto addResult = m_sourceIDBuckets.add(sourceID, BlockLocationCache()); + BlockLocationCache& blockLocationCache = addResult.iterator->value; + BasicBlockKey key(startOffset, endOffset); + auto addResultForBasicBlock = blockLocationCache.add(key, nullptr); + if (addResultForBasicBlock.isNewEntry) + addResultForBasicBlock.iterator->value = new BasicBlockLocation(startOffset, endOffset); + return addResultForBasicBlock.iterator->value; +} + +void ControlFlowProfiler::dumpData() const +{ + auto iter = m_sourceIDBuckets.begin(); + auto end = m_sourceIDBuckets.end(); + for (; iter != end; ++iter) { + dataLog("SourceID: ", iter->key, "\n"); + for (const BasicBlockLocation* block : iter->value.values()) + block->dumpData(); + } +} + +Vector ControlFlowProfiler::getBasicBlocksForSourceID(intptr_t sourceID, VM& vm) const +{ + Vector result(0); + auto bucketFindResult = m_sourceIDBuckets.find(sourceID); + if (bucketFindResult == m_sourceIDBuckets.end()) + return result; + + const BlockLocationCache& cache = bucketFindResult->value; + for (const BasicBlockLocation* block : cache.values()) { + bool hasExecuted = block->hasExecuted(); + size_t executionCount = block->executionCount(); + const Vector& blockRanges = block->getExecutedRanges(); + for (BasicBlockLocation::Gap gap : blockRanges) { + BasicBlockRange range; + range.m_hasExecuted = hasExecuted; + range.m_executionCount = executionCount; + range.m_startOffset = gap.first; + range.m_endOffset = gap.second; + result.append(range); + } + } + + const Vector>& functionRanges = vm.functionHasExecutedCache()->getFunctionRanges(sourceID); + for (const auto& functionRange : functionRanges) { + BasicBlockRange range; + range.m_hasExecuted = std::get<0>(functionRange); + range.m_startOffset = static_cast(std::get<1>(functionRange)); + range.m_endOffset = static_cast(std::get<2>(functionRange)); + range.m_executionCount = range.m_hasExecuted ? 1 : 0; // This is a hack. We don't actually count this. + result.append(range); + } + + return result; +} + +static BasicBlockRange findBasicBlockAtTextOffset(int offset, const Vector& blocks) +{ + int bestDistance = INT_MAX; + BasicBlockRange bestRange; + bestRange.m_startOffset = bestRange.m_endOffset = -1; + bestRange.m_hasExecuted = false; // Suppress MSVC warning. + // Because some ranges may overlap because of function boundaries, make sure to find the smallest range enclosing the offset. + for (BasicBlockRange range : blocks) { + if (range.m_startOffset <= offset && offset <= range.m_endOffset && (range.m_endOffset - range.m_startOffset) < bestDistance) { + RELEASE_ASSERT(range.m_endOffset - range.m_startOffset >= 0); + bestDistance = range.m_endOffset - range.m_startOffset; + bestRange = range; + } + } + + RELEASE_ASSERT(bestRange.m_startOffset != -1 && bestRange.m_endOffset != -1); + return bestRange; +} + +bool ControlFlowProfiler::hasBasicBlockAtTextOffsetBeenExecuted(int offset, intptr_t sourceID, VM& vm) +{ + const Vector& blocks = getBasicBlocksForSourceID(sourceID, vm); + BasicBlockRange range = findBasicBlockAtTextOffset(offset, blocks); + return range.m_hasExecuted; +} + +size_t ControlFlowProfiler::basicBlockExecutionCountAtTextOffset(int offset, intptr_t sourceID, VM& vm) +{ + const Vector& blocks = getBasicBlocksForSourceID(sourceID, vm); + BasicBlockRange range = findBasicBlockAtTextOffset(offset, blocks); + return range.m_executionCount; +} + +} // namespace JSC -- cgit v1.2.1