MemRefToLLVM.cpp File Reference

#include "mlir/Conversion/MemRefToLLVM/MemRefToLLVM.h"
#include "mlir/Analysis/DataLayoutAnalysis.h"
#include "mlir/Conversion/ConvertToLLVM/ToLLVMInterface.h"
#include "mlir/Conversion/LLVMCommon/ConversionTarget.h"
#include "mlir/Conversion/LLVMCommon/Pattern.h"
#include "mlir/Conversion/LLVMCommon/TypeConverter.h"
#include "mlir/Dialect/Arith/IR/Arith.h"
#include "mlir/Dialect/Func/IR/FuncOps.h"
#include "mlir/Dialect/LLVMIR/FunctionCallUtils.h"
#include "mlir/Dialect/LLVMIR/LLVMDialect.h"
#include "mlir/Dialect/LLVMIR/LLVMTypes.h"
#include "mlir/Dialect/MemRef/IR/MemRef.h"
#include "mlir/Dialect/MemRef/Utils/MemRefUtils.h"
#include "mlir/IR/AffineMap.h"
#include "mlir/IR/BuiltinTypes.h"
#include "mlir/IR/IRMapping.h"
#include "mlir/Pass/Pass.h"
#include "llvm/Support/DebugLog.h"
#include "llvm/Support/MathExtras.h"
#include <optional>
#include "mlir/Conversion/Passes.h.inc"

Go to the source code of this file.

Classes
class	mlir::impl::FinalizeMemRefToLLVMConversionPassBase< DerivedT >

Namespaces
namespace	mlir
	Include the generated interface declarations.
namespace	mlir::impl
	Attribute collections provide a dictionary-like interface.

Macros
#define	DEBUG_TYPE   "memref-to-llvm"
#define	GEN_PASS_DEF_FINALIZEMEMREFTOLLVMCONVERSIONPASS

Functions
std::unique_ptr<::mlir::Pass >	mlir::impl::createFinalizeMemRefToLLVMConversionPass ()
std::unique_ptr<::mlir::Pass >	mlir::impl::createFinalizeMemRefToLLVMConversionPass (FinalizeMemRefToLLVMConversionPassOptions options)
std::unique_ptr<::mlir::Pass >	mlir::createFinalizeMemRefToLLVMConversionPass ()
std::unique_ptr<::mlir::Pass >	mlir::createFinalizeMemRefToLLVMConversionPass (FinalizeMemRefToLLVMConversionPassOptions options)
static LLVM::GEPNoWrapFlags	getLoadStoreNoWrapFlags (MemRefType type)
	Returns GEP no-wrap flags for a memref load/store.

Macro Definition Documentation

DEBUG_TYPE

#define DEBUG_TYPE   "memref-to-llvm"

Definition at line 32 of file MemRefToLLVM.cpp.

GEN_PASS_DEF_FINALIZEMEMREFTOLLVMCONVERSIONPASS

#define GEN_PASS_DEF_FINALIZEMEMREFTOLLVMCONVERSIONPASS

Definition at line 35 of file MemRefToLLVM.cpp.

Function Documentation

getLoadStoreNoWrapFlags()

LLVM::GEPNoWrapFlags getLoadStoreNoWrapFlags ( MemRefType type )

static

Returns GEP no-wrap flags for a memref load/store.

inbounds is always valid when indices are in-bounds per the memref spec. nuw requires every index*stride term to not unsigned-wrap, which holds iff all strides are statically non-negative. Negative strides would make the intermediate mul nuw overflow (e.g., idx * (-1 as u64) wraps for idx > 0).

Definition at line 46 of file MemRefToLLVM.cpp.