LLVM
20.0.0git
include
llvm
IR
ConvergenceVerifier.h
Go to the documentation of this file.
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
GenericConvergenceVerifier.h
A verifier for the static rules of convergence control tokens that works with both LLVM IR and MIR.
SSAContext.h
This file declares a specialization of the GenericSSAContext<X> class template for LLVM IR.
llvm::GenericConvergenceVerifier
Definition:
GenericConvergenceVerifier.h:23
llvm
This is an optimization pass for GlobalISel generic memory operations.
Definition:
AddressRanges.h:18
Generated on Fri Dec 20 2024 01:02:59 for LLVM by
1.9.6