LLVMInterfaces.h

Go to the documentation of this file.

//===- LLVMInterfaces.h - LLVM Interfaces -----------------------*- C++ -*-===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//
//
// This file defines op interfaces for the LLVM dialect in MLIR.
//
//===----------------------------------------------------------------------===//
 
#ifndef MLIR_DIALECT_LLVMIR_LLVMINTERFACES_H_
#define MLIR_DIALECT_LLVMIR_LLVMINTERFACES_H_
 
#include "mlir/Dialect/LLVMIR/LLVMAttrs.h"
 
#include <type_traits>
 
namespace mlir {
 
class LLVMTypeConverter;
class RewriterBase;
 
namespace LLVM {
namespace detail {
 
/// Verifies the access groups attribute of memory operations that implement the
/// access group interface.
LogicalResult verifyAccessGroupOpInterface(Operation *op);
 
/// Verifies the alias analysis attributes of memory operations that implement
/// the alias analysis interface.
LogicalResult verifyAliasAnalysisOpInterface(Operation *op);
 
/// Verifies that the tbaa.struct field offsets of memory operations that
/// implement the tbaa.struct interface are non-decreasing.
LogicalResult verifyTBAAStructOpInterface(Operation *op);
 
/// Verifies that the operation implementing the dereferenceable interface has
/// exactly one result of LLVM pointer type.
LogicalResult verifyDereferenceableOpInterface(Operation *op);
 
/// Verifies that the range of an operation implementing the range interface
/// matches the bitwidth of its single integer (element) result.
LogicalResult verifyRangeOpInterface(Operation *op);
} // namespace detail
} // namespace LLVM
} // namespace mlir
 
#include "mlir/Dialect/LLVMIR/LLVMInterfaces.h.inc"
 
#endif // MLIR_DIALECT_LLVMIR_LLVMINTERFACES_H_