dfg/DFGCapabilities.cpp

   1 /*
   2  * Copyright (C) 2011 Apple Inc. All rights reserved.
   3  *
   4  * Redistribution and use in source and binary forms, with or without
   5  * modification, are permitted provided that the following conditions
   6  * are met:
   7  * 1. Redistributions of source code must retain the above copyright
   8  *    notice, this list of conditions and the following disclaimer.
   9  * 2. Redistributions in binary form must reproduce the above copyright
  10  *    notice, this list of conditions and the following disclaimer in the
  11  *    documentation and/or other materials provided with the distribution.
  12  *
  13  * THIS SOFTWARE IS PROVIDED BY APPLE INC. ``AS IS'' AND ANY
  14  * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
  15  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
  16  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL APPLE INC. OR
  17  * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
  18  * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
  19  * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
  20  * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY
  21  * OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
  22  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
  23  * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  24  */
  25
  26 #include "config.h"
  27 #include "DFGCapabilities.h"
  28
  29 #include "CodeBlock.h"
  30 #include "DFGCommon.h"
  31 #include "Interpreter.h"
  32
  33 namespace JSC { namespace DFG {
  34
  35 #if ENABLE(DFG_JIT)
  36
  37 static inline void debugFail(CodeBlock* codeBlock, OpcodeID opcodeID)
  38 {
  39 #if DFG_ENABLE(DEBUG_VERBOSE)
  40     dataLog("Cannot handle code block %p because of opcode %s.\n", codeBlock, opcodeNames[opcodeID]);
  41 #else
  42     UNUSED_PARAM(codeBlock);
  43     UNUSED_PARAM(opcodeID);
  44 #endif
  45 }
  46
  47 template<bool (*canHandleOpcode)(OpcodeID)>
  48 bool canHandleOpcodes(CodeBlock* codeBlock)
  49 {
  50     Interpreter* interpreter = codeBlock->globalData()->interpreter;
  51     Instruction* instructionsBegin = codeBlock->instructions().begin();
  52     unsigned instructionCount = codeBlock->instructions().size();
  53
  54     for (unsigned bytecodeOffset = 0; bytecodeOffset < instructionCount; ) {
  55         switch (interpreter->getOpcodeID(instructionsBegin[bytecodeOffset].u.opcode)) {
  56 #define DEFINE_OP(opcode, length)               \
  57         case opcode:                            \
  58             if (!canHandleOpcode(opcode)) {     \
  59                 debugFail(codeBlock, opcode);   \
  60                 return false;                   \
  61             }                                   \
  62             bytecodeOffset += length;           \
  63             break;
  64             FOR_EACH_OPCODE_ID(DEFINE_OP)
  65 #undef DEFINE_OP
  66         default:
  67             ASSERT_NOT_REACHED();
  68             break;
  69         }
  70     }
  71
  72     return true;
  73 }
  74
  75 bool canCompileOpcodes(CodeBlock* codeBlock)
  76 {
  77     if (!MacroAssembler::supportsFloatingPoint())
  78         return false;
  79     return canHandleOpcodes<canCompileOpcode>(codeBlock);
  80 }
  81
  82 bool canInlineOpcodes(CodeBlock* codeBlock)
  83 {
  84     return canHandleOpcodes<canInlineOpcode>(codeBlock);
  85 }
  86
  87 #endif
  88
  89 } } // namespace JSC::DFG
  90