11cb0ef41Sopenharmony_ci// Copyright 2016 the V8 project authors. All rights reserved.
21cb0ef41Sopenharmony_ci// Use of this source code is governed by a BSD-style license that can be
31cb0ef41Sopenharmony_ci// found in the LICENSE file.
41cb0ef41Sopenharmony_ci
51cb0ef41Sopenharmony_ci#ifndef V8_COMPILER_MACHINE_GRAPH_VERIFIER_H_
61cb0ef41Sopenharmony_ci#define V8_COMPILER_MACHINE_GRAPH_VERIFIER_H_
71cb0ef41Sopenharmony_ci
81cb0ef41Sopenharmony_ci#include "src/base/macros.h"
91cb0ef41Sopenharmony_ci
101cb0ef41Sopenharmony_cinamespace v8 {
111cb0ef41Sopenharmony_cinamespace internal {
121cb0ef41Sopenharmony_ciclass Zone;
131cb0ef41Sopenharmony_cinamespace compiler {
141cb0ef41Sopenharmony_ci
151cb0ef41Sopenharmony_ciclass Graph;
161cb0ef41Sopenharmony_ciclass Linkage;
171cb0ef41Sopenharmony_ciclass Schedule;
181cb0ef41Sopenharmony_ci
191cb0ef41Sopenharmony_ci// Verifies properties of a scheduled graph, such as that the nodes' inputs are
201cb0ef41Sopenharmony_ci// of the correct type.
211cb0ef41Sopenharmony_ciclass MachineGraphVerifier {
221cb0ef41Sopenharmony_ci public:
231cb0ef41Sopenharmony_ci  static void Run(Graph* graph, Schedule const* const schedule,
241cb0ef41Sopenharmony_ci                  Linkage* linkage, bool is_stub, const char* name,
251cb0ef41Sopenharmony_ci                  Zone* temp_zone);
261cb0ef41Sopenharmony_ci};
271cb0ef41Sopenharmony_ci
281cb0ef41Sopenharmony_ci}  // namespace compiler
291cb0ef41Sopenharmony_ci}  // namespace internal
301cb0ef41Sopenharmony_ci}  // namespace v8
311cb0ef41Sopenharmony_ci
321cb0ef41Sopenharmony_ci#endif  // V8_COMPILER_MACHINE_GRAPH_VERIFIER_H_
33