123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180 |
- /*
- * Copyright (C) 2012, 2013 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"
- #if !ENABLE(DETACHED_JIT)
- #include "DFGDisassembler.h"
- #if ENABLE(DFG_JIT)
- #include "CodeBlockWithJITType.h"
- #include "DFGGraph.h"
- namespace JSC { namespace DFG {
- Disassembler::Disassembler(Graph& graph)
- : m_graph(graph)
- {
- m_labelForBlockIndex.resize(graph.m_blocks.size());
- }
- void Disassembler::dump(PrintStream& out, LinkBuffer& linkBuffer)
- {
- Vector<DumpedOp> ops = createDumpList(linkBuffer);
- for (unsigned i = 0; i < ops.size(); ++i)
- out.print(ops[i].text);
- }
- void Disassembler::dump(LinkBuffer& linkBuffer)
- {
- dump(WTF::dataFile(), linkBuffer);
- }
- void Disassembler::reportToProfiler(Profiler::Compilation* compilation, LinkBuffer& linkBuffer)
- {
- Vector<DumpedOp> ops = createDumpList(linkBuffer);
-
- for (unsigned i = 0; i < ops.size(); ++i) {
- Profiler::OriginStack stack;
- #if ENABLE(DETACHED_JIT)
- #pragma message "[SECURE JSCORE] profiler disabled"
- RELEASE_ASSERT_NOT_REACHED();
- #else
- if (ops[i].codeOrigin.isSet())
- stack = Profiler::OriginStack(*m_graph.m_vm.m_perBytecodeProfiler, m_graph.m_codeBlock, ops[i].codeOrigin);
- #endif
- compilation->addDescription(Profiler::CompiledBytecode(stack, ops[i].text));
- }
- }
- void Disassembler::dumpHeader(PrintStream& out, LinkBuffer& linkBuffer)
- {
- out.print("Generated DFG JIT code for ", CodeBlockWithJITType(m_graph.m_codeBlock, JITCode::DFGJIT), ", instruction count = ", m_graph.m_codeBlock->instructionCount(), ":\n");
- out.print(" Optimized with execution counter = ", m_graph.m_profiledBlock->jitExecuteCounter(), "\n");
- out.print(" Source: ", m_graph.m_codeBlock->sourceCodeOnOneLine(), "\n");
- out.print(" Code at [", RawPointer(linkBuffer.debugAddress()), ", ", RawPointer(static_cast<char*>(linkBuffer.debugAddress()) + linkBuffer.debugSize()), "):\n");
- }
- void Disassembler::append(Vector<Disassembler::DumpedOp>& result, StringPrintStream& out, CodeOrigin& previousOrigin)
- {
- result.append(DumpedOp(previousOrigin, out.toCString()));
- previousOrigin = CodeOrigin();
- out.reset();
- }
- Vector<Disassembler::DumpedOp> Disassembler::createDumpList(LinkBuffer& linkBuffer)
- {
- StringPrintStream out;
- Vector<DumpedOp> result;
-
- CodeOrigin previousOrigin = CodeOrigin();
- dumpHeader(out, linkBuffer);
- append(result, out, previousOrigin);
-
- m_graph.m_dominators.computeIfNecessary(m_graph);
-
- const char* prefix = " ";
- const char* disassemblyPrefix = " ";
-
- Node* lastNode = 0;
- MacroAssembler::Label previousLabel = m_startOfCode;
- for (size_t blockIndex = 0; blockIndex < m_graph.m_blocks.size(); ++blockIndex) {
- BasicBlock* block = m_graph.m_blocks[blockIndex].get();
- if (!block)
- continue;
- dumpDisassembly(out, disassemblyPrefix, linkBuffer, previousLabel, m_labelForBlockIndex[blockIndex], lastNode);
- append(result, out, previousOrigin);
- m_graph.dumpBlockHeader(out, prefix, blockIndex, Graph::DumpLivePhisOnly);
- append(result, out, previousOrigin);
- Node* lastNodeForDisassembly = block->at(0);
- for (size_t i = 0; i < block->size(); ++i) {
- if (!block->at(i)->willHaveCodeGenOrOSR() && !Options::showAllDFGNodes())
- continue;
- MacroAssembler::Label currentLabel;
- HashMap<Node*, MacroAssembler::Label>::iterator iter = m_labelForNode.find(block->at(i));
- if (iter != m_labelForNode.end())
- currentLabel = iter->value;
- else {
- // Dump the last instruction by using the first label of the next block
- // as the end point. This case is hit either during peephole compare
- // optimizations (the Branch won't have its own label) or if we have a
- // forced OSR exit.
- if (blockIndex + 1 < m_graph.m_blocks.size())
- currentLabel = m_labelForBlockIndex[blockIndex + 1];
- else
- currentLabel = m_endOfMainPath;
- }
- dumpDisassembly(out, disassemblyPrefix, linkBuffer, previousLabel, currentLabel, lastNodeForDisassembly);
- append(result, out, previousOrigin);
- previousOrigin = block->at(i)->codeOrigin;
- if (m_graph.dumpCodeOrigin(out, prefix, lastNode, block->at(i))) {
- append(result, out, previousOrigin);
- previousOrigin = block->at(i)->codeOrigin;
- }
- m_graph.dump(out, prefix, block->at(i));
- lastNode = block->at(i);
- lastNodeForDisassembly = block->at(i);
- }
- }
- dumpDisassembly(out, disassemblyPrefix, linkBuffer, previousLabel, m_endOfMainPath, lastNode);
- append(result, out, previousOrigin);
- out.print(prefix, "(End Of Main Path)\n");
- append(result, out, previousOrigin);
- dumpDisassembly(out, disassemblyPrefix, linkBuffer, previousLabel, m_endOfCode, 0);
- append(result, out, previousOrigin);
-
- return result;
- }
- void Disassembler::dumpDisassembly(PrintStream& out, const char* prefix, LinkBuffer& linkBuffer, MacroAssembler::Label& previousLabel, MacroAssembler::Label currentLabel, Node* context)
- {
- size_t prefixLength = strlen(prefix);
- int amountOfNodeWhiteSpace;
- if (!context)
- amountOfNodeWhiteSpace = 0;
- else
- amountOfNodeWhiteSpace = Graph::amountOfNodeWhiteSpace(context);
- OwnArrayPtr<char> prefixBuffer = adoptArrayPtr(new char[prefixLength + amountOfNodeWhiteSpace + 1]);
- strcpy(prefixBuffer.get(), prefix);
- for (int i = 0; i < amountOfNodeWhiteSpace; ++i)
- prefixBuffer[i + prefixLength] = ' ';
- prefixBuffer[prefixLength + amountOfNodeWhiteSpace] = 0;
-
- CodeLocationLabel start = linkBuffer.locationOf(previousLabel);
- CodeLocationLabel end = linkBuffer.locationOf(currentLabel);
- previousLabel = currentLabel;
- ASSERT(bitwise_cast<uintptr_t>(end.executableAddress()) >= bitwise_cast<uintptr_t>(start.executableAddress()));
- disassemble(start, bitwise_cast<uintptr_t>(end.executableAddress()) - bitwise_cast<uintptr_t>(start.executableAddress()), prefixBuffer.get(), out);
- }
- } } // namespace JSC::DFG
- #endif // ENABLE(DFG_JIT)
- #endif // #if !ENABLE(DETACHED_JIT)
|