1 // Copyright 2014 the V8 project authors. All rights reserved.
2 // Use of this source code is governed by a BSD-style license that can be
3 // found in the LICENSE file.
5 #ifndef V8_COMPILER_VERIFIER_H_
6 #define V8_COMPILER_VERIFIER_H_
8 #include "src/base/macros.h"
19 // Verifies properties of a graph, such as the well-formedness of inputs to
23 enum Typing { TYPED, UNTYPED };
25 static void Run(Graph* graph, Typing typing = TYPED);
28 // Verifies consistency of node inputs and uses:
29 // - node inputs should agree with the input count computed from
30 // the node's operator.
31 // - effect inputs should have effect outputs.
32 // - control inputs should have control outputs.
33 // - frame state inputs should be frame states.
34 // - if the node has control uses, it should produce control.
35 // - if the node has effect uses, it should produce effect.
36 // - if the node has frame state uses, it must be a frame state.
37 static void VerifyNode(Node* node);
39 // Verify that {replacement} has the required outputs
40 // (effect, control or frame state) to be used as an input for {edge}.
41 static void VerifyEdgeInputReplacement(const Edge& edge,
42 const Node* replacement);
44 static void VerifyNode(Node* node) {}
45 static void VerifyEdgeInputReplacement(const Edge& edge,
46 const Node* replacement) {}
51 DISALLOW_COPY_AND_ASSIGN(Verifier);
54 // Verifies properties of a schedule, such as dominance, phi placement, etc.
55 class ScheduleVerifier {
57 static void Run(Schedule* schedule);
61 } // namespace v8::internal::compiler
63 #endif // V8_COMPILER_VERIFIER_H_