| // Copyright 2013 the V8 project authors. All rights reserved. |
| // Use of this source code is governed by a BSD-style license that can be |
| // found in the LICENSE file. |
| |
| #ifndef V8_COMPILER_NODE_PROPERTIES_H_ |
| #define V8_COMPILER_NODE_PROPERTIES_H_ |
| |
| #include "src/compiler/node.h" |
| #include "src/types.h" |
| |
| namespace v8 { |
| namespace internal { |
| namespace compiler { |
| |
| class Graph; |
| class Operator; |
| class CommonOperatorBuilder; |
| |
| // A facade that simplifies access to the different kinds of inputs to a node. |
| class NodeProperties final { |
| public: |
| // --------------------------------------------------------------------------- |
| // Input layout. |
| // Inputs are always arranged in order as follows: |
| // 0 [ values, context, frame state, effects, control ] node->InputCount() |
| |
| static int FirstValueIndex(Node* node) { return 0; } |
| static int FirstContextIndex(Node* node) { return PastValueIndex(node); } |
| static int FirstFrameStateIndex(Node* node) { return PastContextIndex(node); } |
| static int FirstEffectIndex(Node* node) { return PastFrameStateIndex(node); } |
| static int FirstControlIndex(Node* node) { return PastEffectIndex(node); } |
| static int PastValueIndex(Node* node); |
| static int PastContextIndex(Node* node); |
| static int PastFrameStateIndex(Node* node); |
| static int PastEffectIndex(Node* node); |
| static int PastControlIndex(Node* node); |
| |
| |
| // --------------------------------------------------------------------------- |
| // Input accessors. |
| |
| static Node* GetValueInput(Node* node, int index); |
| static Node* GetContextInput(Node* node); |
| static Node* GetFrameStateInput(Node* node, int index); |
| static Node* GetEffectInput(Node* node, int index = 0); |
| static Node* GetControlInput(Node* node, int index = 0); |
| |
| |
| // --------------------------------------------------------------------------- |
| // Edge kinds. |
| |
| static bool IsValueEdge(Edge edge); |
| static bool IsContextEdge(Edge edge); |
| static bool IsFrameStateEdge(Edge edge); |
| static bool IsEffectEdge(Edge edge); |
| static bool IsControlEdge(Edge edge); |
| |
| |
| // --------------------------------------------------------------------------- |
| // Miscellaneous predicates. |
| |
| static bool IsCommon(Node* node) { |
| return IrOpcode::IsCommonOpcode(node->opcode()); |
| } |
| static bool IsControl(Node* node) { |
| return IrOpcode::IsControlOpcode(node->opcode()); |
| } |
| static bool IsConstant(Node* node) { |
| return IrOpcode::IsConstantOpcode(node->opcode()); |
| } |
| static bool IsPhi(Node* node) { |
| return IrOpcode::IsPhiOpcode(node->opcode()); |
| } |
| |
| // Determines whether exceptions thrown by the given node are handled locally |
| // within the graph (i.e. an IfException projection is present). |
| static bool IsExceptionalCall(Node* node); |
| |
| // --------------------------------------------------------------------------- |
| // Miscellaneous mutators. |
| |
| static void ReplaceValueInput(Node* node, Node* value, int index); |
| static void ReplaceContextInput(Node* node, Node* context); |
| static void ReplaceControlInput(Node* node, Node* control); |
| static void ReplaceEffectInput(Node* node, Node* effect, int index = 0); |
| static void ReplaceFrameStateInput(Node* node, int index, Node* frame_state); |
| static void RemoveFrameStateInput(Node* node, int index); |
| static void RemoveNonValueInputs(Node* node); |
| static void RemoveValueInputs(Node* node); |
| |
| // Replaces all value inputs of {node} with the single input {value}. |
| static void ReplaceValueInputs(Node* node, Node* value); |
| |
| // Merge the control node {node} into the end of the graph, introducing a |
| // merge node or expanding an existing merge node if necessary. |
| static void MergeControlToEnd(Graph* graph, CommonOperatorBuilder* common, |
| Node* node); |
| |
| // Replace all uses of {node} with the given replacement nodes. All occurring |
| // use kinds need to be replaced, {nullptr} is only valid if a use kind is |
| // guaranteed not to exist. |
| static void ReplaceUses(Node* node, Node* value, Node* effect = nullptr, |
| Node* success = nullptr, Node* exception = nullptr); |
| |
| // Safe wrapper to mutate the operator of a node. Checks that the node is |
| // currently in a state that satisfies constraints of the new operator. |
| static void ChangeOp(Node* node, const Operator* new_op); |
| |
| // --------------------------------------------------------------------------- |
| // Miscellaneous utilities. |
| |
| static Node* FindProjection(Node* node, size_t projection_index); |
| |
| // Collect the branch-related projections from a node, such as IfTrue, |
| // IfFalse, IfSuccess, IfException, IfValue and IfDefault. |
| // - Branch: [ IfTrue, IfFalse ] |
| // - Call : [ IfSuccess, IfException ] |
| // - Switch: [ IfValue, ..., IfDefault ] |
| static void CollectControlProjections(Node* node, Node** proj, size_t count); |
| |
| // --------------------------------------------------------------------------- |
| // Context. |
| |
| // Try to retrieve the specialization context from the given {node}, |
| // optionally utilizing the knowledge about the (outermost) function |
| // {context}. |
| static MaybeHandle<Context> GetSpecializationContext( |
| Node* node, MaybeHandle<Context> context = MaybeHandle<Context>()); |
| |
| // Try to retrieve the specialization native context from the given |
| // {node}, optionally utilizing the knowledge about the (outermost) |
| // {native_context}. |
| static MaybeHandle<Context> GetSpecializationNativeContext( |
| Node* node, MaybeHandle<Context> native_context = MaybeHandle<Context>()); |
| |
| // Try to retrieve the specialization global object from the given |
| // {node}, optionally utilizing the knowledge about the (outermost) |
| // {native_context}. |
| static MaybeHandle<JSGlobalObject> GetSpecializationGlobalObject( |
| Node* node, MaybeHandle<Context> native_context = MaybeHandle<Context>()); |
| |
| // --------------------------------------------------------------------------- |
| // Type. |
| |
| static bool IsTyped(Node* node) { return node->type() != nullptr; } |
| static Type* GetType(Node* node) { |
| DCHECK(IsTyped(node)); |
| return node->type(); |
| } |
| static Type* GetTypeOrAny(Node* node); |
| static void SetType(Node* node, Type* type) { |
| DCHECK_NOT_NULL(type); |
| node->set_type(type); |
| } |
| static void RemoveType(Node* node) { node->set_type(nullptr); } |
| static bool AllValueInputsAreTyped(Node* node); |
| |
| private: |
| static inline bool IsInputRange(Edge edge, int first, int count); |
| }; |
| |
| } // namespace compiler |
| } // namespace internal |
| } // namespace v8 |
| |
| #endif // V8_COMPILER_NODE_PROPERTIES_H_ |