1 //===- ConvergenceVerifier.h - Verify convergenctrl -------------*- C++ -*-===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8 /// \file
9 ///
10 /// This file declares the LLVM IR specialization of the
11 /// GenericConvergenceVerifier template.
12 ///
13 //===----------------------------------------------------------------------===//
14 
15 #ifndef LLVM_IR_CONVERGENCEVERIFIER_H
16 #define LLVM_IR_CONVERGENCEVERIFIER_H
17 
18 #include "llvm/ADT/GenericConvergenceVerifier.h"
19 #include "llvm/IR/SSAContext.h"
20 
21 namespace llvm {
22 
23 using ConvergenceVerifier = GenericConvergenceVerifier<SSAContext>;
24 
25 } // namespace llvm
26 
27 #endif // LLVM_IR_CONVERGENCEVERIFIER_H
28