SharedImpl.h File Reference

Common private implementation for poly dialect passes. More...

#include "llzk/Dialect/Array/IR/Ops.h"
#include "llzk/Dialect/Constrain/IR/Ops.h"
#include "llzk/Dialect/Function/IR/Ops.h"
#include "llzk/Dialect/Global/IR/Ops.h"
#include "llzk/Dialect/Polymorphic/IR/Ops.h"
#include "llzk/Dialect/Shared/TypeConversionPatterns.h"
#include "llzk/Dialect/Struct/IR/Ops.h"
#include <mlir/Dialect/Arith/IR/Arith.h>
#include <mlir/Dialect/SCF/IR/SCF.h>
#include <mlir/Dialect/SCF/Transforms/Patterns.h>
#include <mlir/IR/Attributes.h>
#include <mlir/IR/BuiltinAttributes.h>
#include <mlir/IR/MLIRContext.h>
#include <mlir/IR/Operation.h>
#include <mlir/IR/PatternMatch.h>
#include <mlir/Transforms/DialectConversion.h>
#include <llvm/ADT/STLExtras.h>
#include <llvm/ADT/SmallVector.h>
#include <llvm/Support/Debug.h>
#include <tuple>

Include dependency graph for SharedImpl.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	llzk::polymorphic::detail::LegalityCheckCallback
class	llzk::polymorphic::detail::EmptyLegalityCheckCallback

Namespaces
namespace	llzk
namespace	llzk::polymorphic
namespace	llzk::polymorphic::detail

Macros
#define	DEBUG_TYPE   "poly-dialect-shared"

Functions
mlir::ConversionTarget	llzk::polymorphic::detail::newBaseTarget (mlir::MLIRContext *ctx)
	Return a new ConversionTarget allowing all LLZK-required dialects.
template<typename... AdditionalOpClasses, typename... AdditionalChecks>
mlir::ConversionTarget	llzk::polymorphic::detail::newConverterDefinedTarget (mlir::TypeConverter &tyConv, mlir::MLIRContext *ctx, AdditionalChecks &&...checks)
	Return a new ConversionTarget allowing all LLZK-required dialects and defining Op legality based on the given TypeConverter for Ops listed in both members of OpClassesWithStructTypes and in AdditionalOpClasses.
template<typename... AdditionalOpClasses, typename... AdditionalChecks>
mlir::ConversionTarget	llzk::polymorphic::detail::newConverterDefinedTargetWithCallback (mlir::TypeConverter &tyConv, mlir::MLIRContext *ctx, LegalityCheckCallback &cb, AdditionalChecks &&...checks)
	Return a new ConversionTarget allowing all LLZK-required dialects and defining Op legality based on the given TypeConverter for Ops listed in both members of OpClassesWithStructTypes and in AdditionalOpClasses.

Detailed Description

Common private implementation for poly dialect passes.

Definition in file SharedImpl.h.

Macro Definition Documentation

DEBUG_TYPE

#define DEBUG_TYPE   "poly-dialect-shared"

Definition at line 41 of file SharedImpl.h.