1  /*
 2   * Copyright (C) 2018 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  #pragma once
27  
28  #include "ArrayProfile.h"
29  #include "BytecodeStructs.h"
30  #include "Instruction.h"
31  #include "InterpreterInlines.h"
32  #include "Opcode.h"
33  
34  namespace JSC {
35  
36  enum OpcodeShape {
37      AnyOpcodeShape,
38      OpCallShape,
39  };
40  
41  template<OpcodeShape shape, typename = std::enable_if_t<shape != AnyOpcodeShape>>
42  inline bool isOpcodeShape(OpcodeID opcodeID)
43  {
44      if (shape == OpCallShape) {
45          return opcodeID == op_call
46              || opcodeID == op_tail_call
47              || opcodeID == op_call_eval
48              || opcodeID == op_call_varargs
49              || opcodeID == op_tail_call_varargs
50              || opcodeID == op_tail_call_forward_arguments;
51      }
52  
53      RELEASE_ASSERT_NOT_REACHED();
54  }
55  
56  template<OpcodeShape shape, typename = std::enable_if_t<shape != AnyOpcodeShape>>
57  inline bool isOpcodeShape(const Instruction* instruction)
58  {
59      return isOpcodeShape<shape>(instruction->opcodeID());
60  }
61  
62  template<typename T, typename... Args>
63  void getOpcodeType(OpcodeID opcodeID, Args&&... args)
64  {
65  
66  #define CASE(__Op) \
67      case __Op::opcodeID: \
68          T::template withOpcodeType<__Op>(std::forward<Args>(args)...); \
69          break; \
70  
71      switch (opcodeID) {
72          FOR_EACH_BYTECODE_STRUCT(CASE)
73      default:
74          ASSERT_NOT_REACHED();
75      }
76  
77  #undef CASE
78  }
79  
80  } // namespace JSC