This changes the behavior of constructing MLIRContext to no longer load globally
registered dialects on construction. Instead Dialects are only loaded explicitly
on demand:
- the Parser is lazily loading Dialects in the context as it encounters them
during parsing. This is the only purpose for registering dialects and not load
them in the context.
- Passes are expected to declare the dialects they will create entity from
(Operations, Attributes, or Types), and the PassManager is loading Dialects into
the Context when starting a pipeline.
This changes simplifies the configuration of the registration: a compiler only
need to load the dialect for the IR it will emit, and the optimizer is
self-contained and load the required Dialects. For example in the Toy tutorial,
the compiler only needs to load the Toy dialect in the Context, all the others
(linalg, affine, std, LLVM, ...) are automatically loaded depending on the
optimization pipeline enabled.
To adjust to this change, stop using the existing dialect registration: the
global registry will be removed soon.
1) For passes, you need to override the method:
virtual void getDependentDialects(DialectRegistry ®istry) const {}
and registery on the provided registry any dialect that this pass can produce.
Passes defined in TableGen can provide this list in the dependentDialects list
field.
2) For dialects, on construction you can register dependent dialects using the
provided MLIRContext: `context.getOrLoadDialect<DialectName>()`
This is useful if a dialect may canonicalize or have interfaces involving
another dialect.
3) For loading IR, dialect that can be in the input file must be explicitly
registered with the context. `MlirOptMain()` is taking an explicit registry for
this purpose. See how the standalone-opt.cpp example is setup:
mlir::DialectRegistry registry;
mlir::registerDialect<mlir::standalone::StandaloneDialect>();
mlir::registerDialect<mlir::StandardOpsDialect>();
Only operations from these two dialects can be in the input file. To include all
of the dialects in MLIR Core, you can populate the registry this way:
mlir::registerAllDialects(registry);
4) For `mlir-translate` callback, as well as frontend, Dialects can be loaded in
the context before emitting the IR: context.getOrLoadDialect<ToyDialect>()
int main(int argc, char **argv) {
mlir::registerAllDialects();
mlir::registerAllPasses();
+ // TODO: Register standalone passes here.
+ mlir::DialectRegistry registry;
mlir::registerDialect<mlir::standalone::StandaloneDialect>();
- // TODO: Register standalone passes here.
+ mlir::registerDialect<mlir::StandardOpsDialect>();
+ // Add the following to include *all* MLIR Core dialects, or selectively
+ // include what you need like above. You only need to register dialects that
+ // will be *parsed* by the tool, not the one generated
+ // registerAllDialects(registry);
- return failed(mlir::MlirOptMain(argc, argv, "Standalone optimizer driver\n"));
+ return failed(
+ mlir::MlirOptMain(argc, argv, "Standalone optimizer driver\n", registry));
}
}
int dumpMLIR() {
- // Register our Dialect with MLIR.
- mlir::registerDialect<mlir::toy::ToyDialect>();
-
- mlir::MLIRContext context;
+ mlir::MLIRContext context(/*loadAllDialects=*/false);
+ // Load our Dialect in this MLIR Context.
+ context.getOrLoadDialect<mlir::toy::ToyDialect>();
// Handle '.toy' input to the compiler.
if (inputType != InputType::MLIR &&
}
int dumpMLIR() {
- // Register our Dialect with MLIR.
- mlir::registerDialect<mlir::toy::ToyDialect>();
+ mlir::MLIRContext context(/*loadAllDialects=*/false);
+ // Load our Dialect in this MLIR Context.
+ context.getOrLoadDialect<mlir::toy::ToyDialect>();
- mlir::MLIRContext context;
mlir::OwningModuleRef module;
llvm::SourceMgr sourceMgr;
mlir::SourceMgrDiagnosticHandler sourceMgrHandler(sourceMgr, &context);
}
int dumpMLIR() {
- // Register our Dialect with MLIR.
- mlir::registerDialect<mlir::toy::ToyDialect>();
+ mlir::MLIRContext context(/*loadAllDialects=*/false);
+ // Load our Dialect in this MLIR Context.
+ context.getOrLoadDialect<mlir::toy::ToyDialect>();
- mlir::MLIRContext context;
mlir::OwningModuleRef module;
llvm::SourceMgr sourceMgr;
mlir::SourceMgrDiagnosticHandler sourceMgrHandler(sourceMgr, &context);
namespace {
struct ToyToAffineLoweringPass
: public PassWrapper<ToyToAffineLoweringPass, FunctionPass> {
+ void getDependentDialects(DialectRegistry ®istry) const override {
+ registry.insert<AffineDialect, StandardOpsDialect>();
+ }
void runOnFunction() final;
};
} // end anonymous namespace.
}
int dumpMLIR() {
- // Register our Dialect with MLIR.
- mlir::registerDialect<mlir::toy::ToyDialect>();
+ mlir::MLIRContext context(/*loadAllDialects=*/false);
+ // Load our Dialect in this MLIR Context.
+ context.getOrLoadDialect<mlir::toy::ToyDialect>();
- mlir::MLIRContext context;
mlir::OwningModuleRef module;
llvm::SourceMgr sourceMgr;
mlir::SourceMgrDiagnosticHandler sourceMgrHandler(sourceMgr, &context);
namespace {
struct ToyToAffineLoweringPass
: public PassWrapper<ToyToAffineLoweringPass, FunctionPass> {
+ void getDependentDialects(DialectRegistry ®istry) const override {
+ registry.insert<AffineDialect, StandardOpsDialect>();
+ }
void runOnFunction() final;
};
} // end anonymous namespace.
namespace {
struct ToyToLLVMLoweringPass
: public PassWrapper<ToyToLLVMLoweringPass, OperationPass<ModuleOp>> {
+ void getDependentDialects(DialectRegistry ®istry) const override {
+ registry.insert<LLVM::LLVMDialect, scf::SCFDialect>();
+ }
void runOnOperation() final;
};
} // end anonymous namespace
// If we aren't dumping the AST, then we are compiling with/to MLIR.
- // Register our Dialect with MLIR.
- mlir::registerDialect<mlir::toy::ToyDialect>();
+ mlir::MLIRContext context(/*loadAllDialects=*/false);
+ // Load our Dialect in this MLIR Context.
+ context.getOrLoadDialect<mlir::toy::ToyDialect>();
- mlir::MLIRContext context;
mlir::OwningModuleRef module;
if (int error = loadAndProcessMLIR(context, module))
return error;
namespace {
struct ToyToAffineLoweringPass
: public PassWrapper<ToyToAffineLoweringPass, FunctionPass> {
+ void getDependentDialects(DialectRegistry ®istry) const override {
+ registry.insert<AffineDialect, StandardOpsDialect>();
+ }
void runOnFunction() final;
};
} // end anonymous namespace.
namespace {
struct ToyToLLVMLoweringPass
: public PassWrapper<ToyToLLVMLoweringPass, OperationPass<ModuleOp>> {
+ void getDependentDialects(DialectRegistry ®istry) const override {
+ registry.insert<LLVM::LLVMDialect, scf::SCFDialect>();
+ }
void runOnOperation() final;
};
} // end anonymous namespace
// If we aren't dumping the AST, then we are compiling with/to MLIR.
- // Register our Dialect with MLIR.
- mlir::registerDialect<mlir::toy::ToyDialect>();
+ mlir::MLIRContext context(/*loadAllDialects=*/false);
+ // Load our Dialect in this MLIR Context.
+ context.getOrLoadDialect<mlir::toy::ToyDialect>();
- mlir::MLIRContext context;
mlir::OwningModuleRef module;
if (int error = loadAndProcessMLIR(context, module))
return error;
/** Takes an MLIR context owned by the caller and destroys it. */
void mlirContextDestroy(MlirContext context);
+/** Load all the globally registered dialects in the provided context.
+ * TODO: remove the concept of globally registered dialect by exposing the
+ * DialectRegistry.
+ */
+void mlirContextLoadAllDialects(MlirContext context);
+
/*============================================================================*/
/* Location API. */
/*============================================================================*/
`affine.apply`.
}];
let constructor = "mlir::createLowerAffinePass()";
+ let dependentDialects = [
+ "scf::SCFDialect",
+ "StandardOpsDialect",
+ "vector::VectorDialect"
+ ];
}
//===----------------------------------------------------------------------===//
let summary = "Convert the operations from the avx512 dialect into the LLVM "
"dialect";
let constructor = "mlir::createConvertAVX512ToLLVMPass()";
+ let dependentDialects = ["LLVM::LLVMDialect", "LLVM::LLVMAVX512Dialect"];
}
//===----------------------------------------------------------------------===//
def ConvertGpuOpsToNVVMOps : Pass<"convert-gpu-to-nvvm", "gpu::GPUModuleOp"> {
let summary = "Generate NVVM operations for gpu operations";
let constructor = "mlir::createLowerGpuOpsToNVVMOpsPass()";
+ let dependentDialects = ["NVVM::NVVMDialect"];
let options = [
Option<"indexBitwidth", "index-bitwidth", "unsigned",
/*default=kDeriveIndexBitwidthFromDataLayout*/"0",
def ConvertGpuOpsToROCDLOps : Pass<"convert-gpu-to-rocdl", "gpu::GPUModuleOp"> {
let summary = "Generate ROCDL operations for gpu operations";
let constructor = "mlir::createLowerGpuOpsToROCDLOpsPass()";
+ let dependentDialects = ["ROCDL::ROCDLDialect"];
let options = [
Option<"indexBitwidth", "index-bitwidth", "unsigned",
/*default=kDeriveIndexBitwidthFromDataLayout*/"0",
def ConvertGPUToSPIRV : Pass<"convert-gpu-to-spirv", "ModuleOp"> {
let summary = "Convert GPU dialect to SPIR-V dialect";
let constructor = "mlir::createConvertGPUToSPIRVPass()";
+ let dependentDialects = ["spirv::SPIRVDialect"];
}
//===----------------------------------------------------------------------===//
: Pass<"convert-gpu-launch-to-vulkan-launch", "ModuleOp"> {
let summary = "Convert gpu.launch_func to vulkanLaunch external call";
let constructor = "mlir::createConvertGpuLaunchFuncToVulkanLaunchFuncPass()";
+ let dependentDialects = ["spirv::SPIRVDialect"];
}
def ConvertVulkanLaunchFuncToVulkanCalls
let summary = "Convert vulkanLaunch external call to Vulkan runtime external "
"calls";
let constructor = "mlir::createConvertVulkanLaunchFuncToVulkanCallsPass()";
+ let dependentDialects = ["LLVM::LLVMDialect"];
}
//===----------------------------------------------------------------------===//
let summary = "Convert the operations from the linalg dialect into the LLVM "
"dialect";
let constructor = "mlir::createConvertLinalgToLLVMPass()";
+ let dependentDialects = ["scf::SCFDialect", "LLVM::LLVMDialect"];
}
//===----------------------------------------------------------------------===//
let summary = "Convert the operations from the linalg dialect into the "
"Standard dialect";
let constructor = "mlir::createConvertLinalgToStandardPass()";
+ let dependentDialects = ["StandardOpsDialect"];
}
//===----------------------------------------------------------------------===//
def ConvertLinalgToSPIRV : Pass<"convert-linalg-to-spirv", "ModuleOp"> {
let summary = "Convert Linalg ops to SPIR-V ops";
let constructor = "mlir::createLinalgToSPIRVPass()";
+ let dependentDialects = ["spirv::SPIRVDialect"];
}
//===----------------------------------------------------------------------===//
let summary = "Convert SCF dialect to Standard dialect, replacing structured"
" control flow with a CFG";
let constructor = "mlir::createLowerToCFGPass()";
+ let dependentDialects = ["StandardOpsDialect"];
}
//===----------------------------------------------------------------------===//
def ConvertAffineForToGPU : FunctionPass<"convert-affine-for-to-gpu"> {
let summary = "Convert top-level AffineFor Ops to GPU kernels";
let constructor = "mlir::createAffineForToGPUPass()";
+ let dependentDialects = ["gpu::GPUDialect"];
let options = [
Option<"numBlockDims", "gpu-block-dims", "unsigned", /*default=*/"1u",
"Number of GPU block dimensions for mapping">,
def ConvertParallelLoopToGpu : Pass<"convert-parallel-loops-to-gpu"> {
let summary = "Convert mapped scf.parallel ops to gpu launch operations";
let constructor = "mlir::createParallelLoopToGpuPass()";
+ let dependentDialects = ["AffineDialect", "gpu::GPUDialect"];
}
//===----------------------------------------------------------------------===//
let summary = "Convert operations from the shape dialect into the standard "
"dialect";
let constructor = "mlir::createConvertShapeToStandardPass()";
+ let dependentDialects = ["StandardOpsDialect"];
}
//===----------------------------------------------------------------------===//
def ConvertShapeToSCF : FunctionPass<"convert-shape-to-scf"> {
let summary = "Convert operations from the shape dialect to the SCF dialect";
let constructor = "mlir::createConvertShapeToSCFPass()";
+ let dependentDialects = ["scf::SCFDialect"];
}
//===----------------------------------------------------------------------===//
def ConvertSPIRVToLLVM : Pass<"convert-spirv-to-llvm", "ModuleOp"> {
let summary = "Convert SPIR-V dialect to LLVM dialect";
let constructor = "mlir::createConvertSPIRVToLLVMPass()";
+ let dependentDialects = ["LLVM::LLVMDialect"];
}
//===----------------------------------------------------------------------===//
LLVM IR types.
}];
let constructor = "mlir::createLowerToLLVMPass()";
+ let dependentDialects = ["LLVM::LLVMDialect"];
let options = [
Option<"useAlignedAlloc", "use-aligned-alloc", "bool", /*default=*/"false",
"Use aligned_alloc in place of malloc for heap allocations">,
def LegalizeStandardForSPIRV : Pass<"legalize-std-for-spirv"> {
let summary = "Legalize standard ops for SPIR-V lowering";
let constructor = "mlir::createLegalizeStdOpsForSPIRVLoweringPass()";
+ let dependentDialects = ["spirv::SPIRVDialect"];
}
def ConvertStandardToSPIRV : Pass<"convert-std-to-spirv", "ModuleOp"> {
let summary = "Convert Standard Ops to SPIR-V dialect";
let constructor = "mlir::createConvertStandardToSPIRVPass()";
+ let dependentDialects = ["spirv::SPIRVDialect"];
}
//===----------------------------------------------------------------------===//
let summary = "Lower the operations from the vector dialect into the SCF "
"dialect";
let constructor = "mlir::createConvertVectorToSCFPass()";
+ let dependentDialects = ["AffineDialect", "scf::SCFDialect"];
let options = [
Option<"fullUnroll", "full-unroll", "bool", /*default=*/"false",
"Perform full unrolling when converting vector transfers to SCF">,
let summary = "Lower the operations from the vector dialect into the LLVM "
"dialect";
let constructor = "mlir::createConvertVectorToLLVMPass()";
+ let dependentDialects = ["LLVM::LLVMDialect"];
let options = [
Option<"reassociateFPReductions", "reassociate-fp-reductions",
"bool", /*default=*/"false",
let summary = "Lower the operations from the vector dialect into the ROCDL "
"dialect";
let constructor = "mlir::createConvertVectorToROCDLPass()";
+ let dependentDialects = ["ROCDL::ROCDLDialect"];
}
#endif // MLIR_CONVERSION_PASSES
def AffineVectorize : FunctionPass<"affine-super-vectorize"> {
let summary = "Vectorize to a target independent n-D vector abstraction";
let constructor = "mlir::createSuperVectorizePass()";
+ let dependentDialects = ["vector::VectorDialect"];
let options = [
ListOption<"vectorSizes", "virtual-vector-size", "int64_t",
"Specify an n-D virtual vector size for vectorization",
#define MLIR_DIALECT_LLVMIR_LLVMDIALECT_H_
#include "mlir/Dialect/LLVMIR/LLVMTypes.h"
+#include "mlir/Dialect/OpenMP/OpenMPDialect.h"
#include "mlir/IR/Dialect.h"
#include "mlir/IR/Function.h"
#include "mlir/IR/OpDefinition.h"
def LLVM_Dialect : Dialect {
let name = "llvm";
let cppNamespace = "LLVM";
+
+ /// FIXME: at the moment this is a dependency of the translation to LLVM IR,
+ /// not really one of this dialect per-se.
+ let dependentDialects = ["omp::OpenMPDialect"];
+
let hasRegionArgAttrVerify = 1;
let hasOperationAttrVerify = 1;
let extraClassDeclaration = [{
#ifndef MLIR_DIALECT_LLVMIR_NVVMDIALECT_H_
#define MLIR_DIALECT_LLVMIR_NVVMDIALECT_H_
+#include "mlir/Dialect/LLVMIR/LLVMDialect.h"
#include "mlir/IR/Dialect.h"
#include "mlir/IR/OpDefinition.h"
#include "mlir/Interfaces/SideEffectInterfaces.h"
def NVVM_Dialect : Dialect {
let name = "nvvm";
let cppNamespace = "NVVM";
+ let dependentDialects = ["LLVM::LLVMDialect"];
}
//===----------------------------------------------------------------------===//
#ifndef MLIR_DIALECT_LLVMIR_ROCDLDIALECT_H_
#define MLIR_DIALECT_LLVMIR_ROCDLDIALECT_H_
+#include "mlir/Dialect/LLVMIR/LLVMDialect.h"
#include "mlir/IR/Dialect.h"
#include "mlir/IR/OpDefinition.h"
#include "mlir/Interfaces/SideEffectInterfaces.h"
def ROCDL_Dialect : Dialect {
let name = "rocdl";
let cppNamespace = "ROCDL";
+ let dependentDialects = ["LLVM::LLVMDialect"];
}
//===----------------------------------------------------------------------===//
def LinalgFusionOfTensorOps : Pass<"linalg-fusion-for-tensor-ops"> {
let summary = "Fuse operations on RankedTensorType in linalg dialect";
let constructor = "mlir::createLinalgFusionOfTensorOpsPass()";
+ let dependentDialects = ["AffineDialect"];
}
def LinalgLowerToAffineLoops : FunctionPass<"convert-linalg-to-affine-loops"> {
let summary = "Lower the operations from the linalg dialect into affine "
"loops";
let constructor = "mlir::createConvertLinalgToAffineLoopsPass()";
+ let dependentDialects = ["AffineDialect"];
}
def LinalgLowerToLoops : FunctionPass<"convert-linalg-to-loops"> {
let summary = "Lower the operations from the linalg dialect into loops";
let constructor = "mlir::createConvertLinalgToLoopsPass()";
+ let dependentDialects = ["scf::SCFDialect", "AffineDialect"];
}
def LinalgOnTensorsToBuffers : Pass<"convert-linalg-on-tensors-to-buffers", "ModuleOp"> {
let summary = "Lower the operations from the linalg dialect into parallel "
"loops";
let constructor = "mlir::createConvertLinalgToParallelLoopsPass()";
+ let dependentDialects = ["AffineDialect", "scf::SCFDialect"];
}
def LinalgPromotion : FunctionPass<"linalg-promote-subviews"> {
def LinalgTiling : FunctionPass<"linalg-tile"> {
let summary = "Tile operations in the linalg dialect";
let constructor = "mlir::createLinalgTilingPass()";
+ let dependentDialects = [
+ "AffineDialect", "scf::SCFDialect"
+ ];
let options = [
ListOption<"tileSizes", "linalg-tile-sizes", "int64_t",
"Test generation of dynamic promoted buffers",
"Test generation of dynamic promoted buffers",
"llvm::cl::ZeroOrMore, llvm::cl::MiscFlags::CommaSeparated">
];
+ let dependentDialects = ["AffineDialect", "scf::SCFDialect"];
}
#endif // MLIR_DIALECT_LINALG_PASSES
"Factors to tile parallel loops by",
"llvm::cl::ZeroOrMore, llvm::cl::MiscFlags::CommaSeparated">
];
+ let dependentDialects = ["AffineDialect"];
}
#endif // MLIR_DIALECT_SCF_PASSES
#include "mlir/IR/OperationSupport.h"
#include "mlir/Support/TypeID.h"
+#include <map>
+
namespace mlir {
class DialectAsmParser;
class DialectAsmPrinter;
class OpBuilder;
class Type;
-using DialectAllocatorFunction = std::function<void(MLIRContext *)>;
+using DialectAllocatorFunction = std::function<Dialect *(MLIRContext *)>;
/// Dialects are groups of MLIR operations and behavior associated with the
/// entire group. For example, hooks into other systems for constant folding,
/// A collection of registered dialect interfaces.
DenseMap<TypeID, std::unique_ptr<DialectInterface>> registeredInterfaces;
- /// Registers a specific dialect creation function with the global registry.
- /// Used through the registerDialect template.
- /// Registrations are deduplicated by dialect TypeID and only the first
- /// registration will be used.
- static void
- registerDialectAllocator(TypeID typeID,
- const DialectAllocatorFunction &function);
- template <typename ConcreteDialect>
friend void registerDialect();
friend class MLIRContext;
};
-/// Registers all dialects and hooks from the global registries with the
-/// specified MLIRContext.
+/// The DialectRegistry maps a dialect namespace to a constructor for the
+/// matching dialect.
+/// This allows for decoupling the list of dialects "available" from the
+/// dialects loaded in the Context. The parser in particular will lazily load
+/// dialects in in the Context as operations are encountered.
+class DialectRegistry {
+ using MapTy =
+ std::map<std::string, std::pair<TypeID, DialectAllocatorFunction>>;
+
+public:
+ template <typename ConcreteDialect>
+ void insert() {
+ insert(TypeID::get<ConcreteDialect>(),
+ ConcreteDialect::getDialectNamespace(),
+ static_cast<DialectAllocatorFunction>(([](MLIRContext *ctx) {
+ // Just allocate the dialect, the context
+ // takes ownership of it.
+ return ctx->getOrLoadDialect<ConcreteDialect>();
+ })));
+ }
+
+ template <typename ConcreteDialect, typename OtherDialect,
+ typename... MoreDialects>
+ void insert() {
+ insert<ConcreteDialect>();
+ insert<OtherDialect, MoreDialects...>();
+ }
+
+ /// Add a new dialect constructor to the registry.
+ void insert(TypeID typeID, StringRef name, DialectAllocatorFunction ctor);
+
+ /// Load a dialect for this namespace in the provided context.
+ Dialect *loadByName(StringRef name, MLIRContext *context);
+
+ // Register all dialects available in the current registry with the registry
+ // in the provided context.
+ void appendTo(DialectRegistry &destination) {
+ for (const auto &nameAndRegistrationIt : registry)
+ destination.insert(nameAndRegistrationIt.second.first,
+ nameAndRegistrationIt.first,
+ nameAndRegistrationIt.second.second);
+ }
+ // Load all dialects available in the registry in the provided context.
+ void loadAll(MLIRContext *context) {
+ for (const auto &nameAndRegistrationIt : registry)
+ nameAndRegistrationIt.second.second(context);
+ }
+
+ MapTy::const_iterator begin() const { return registry.begin(); }
+ MapTy::const_iterator end() const { return registry.end(); }
+
+private:
+ MapTy registry;
+};
+
+/// Deprecated: this provides a global registry for convenience, while we're
+/// transitionning the registration mechanism to a stateless approach.
+DialectRegistry &getGlobalDialectRegistry();
+
+/// Registers all dialects from the global registries with the
+/// specified MLIRContext. This won't load the dialects in the context,
+/// but only make them available for lazy loading by name.
/// Note: This method is not thread-safe.
void registerAllDialects(MLIRContext *context);
+/// Register and return the dialect with the given namespace in the provided
+/// context. Returns nullptr is there is no constructor registered for this
+/// dialect.
+inline Dialect *registerDialect(StringRef name, MLIRContext *context) {
+ return getGlobalDialectRegistry().loadByName(name, context);
+}
+
/// Utility to register a dialect. Client can register their dialect with the
/// global registry by calling registerDialect<MyDialect>();
/// Note: This method is not thread-safe.
template <typename ConcreteDialect> void registerDialect() {
- Dialect::registerDialectAllocator(
- TypeID::get<ConcreteDialect>(),
- [](MLIRContext *ctx) { ctx->getOrCreateDialect<ConcreteDialect>(); });
+ getGlobalDialectRegistry().insert<ConcreteDialect>();
}
/// DialectRegistration provides a global initializer that registers a Dialect
if (!attr.first.strref().contains('.'))
return funcOp.emitOpError("arguments may only have dialect attributes");
auto dialectNamePair = attr.first.strref().split('.');
- if (auto *dialect = ctx->getRegisteredDialect(dialectNamePair.first)) {
+ if (auto *dialect = ctx->getLoadedDialect(dialectNamePair.first)) {
if (failed(dialect->verifyRegionArgAttribute(op, /*regionIndex=*/0,
/*argIndex=*/i, attr)))
return failure();
if (!attr.first.strref().contains('.'))
return funcOp.emitOpError("results may only have dialect attributes");
auto dialectNamePair = attr.first.strref().split('.');
- if (auto *dialect = ctx->getRegisteredDialect(dialectNamePair.first)) {
+ if (auto *dialect = ctx->getLoadedDialect(dialectNamePair.first)) {
if (failed(dialect->verifyRegionResultAttribute(op, /*regionIndex=*/0,
/*resultIndex=*/i,
attr)))
class AbstractOperation;
class DiagnosticEngine;
class Dialect;
+class DialectRegistry;
class InFlightDiagnostic;
class Location;
class MLIRContextImpl;
class StorageUniquer;
+DialectRegistry &getGlobalDialectRegistry();
/// MLIRContext is the top-level object for a collection of MLIR modules. It
/// holds immortal uniqued objects like types, and the tables used to unique
///
class MLIRContext {
public:
- explicit MLIRContext();
+ /// Create a new Context.
+ /// The loadAllDialects parameters allows to load all dialects from the global
+ /// registry on Context construction. It is deprecated and will be removed
+ /// soon.
+ explicit MLIRContext(bool loadAllDialects = true);
~MLIRContext();
- /// Return information about all registered IR dialects.
- std::vector<Dialect *> getRegisteredDialects();
+ /// Return information about all IR dialects loaded in the context.
+ std::vector<Dialect *> getLoadedDialects();
+
+ /// Return the dialect registry associated with this context.
+ DialectRegistry &getDialectRegistry();
+
+ /// Return information about all available dialects in the registry in this
+ /// context.
+ std::vector<StringRef> getAvailableDialects();
/// Get a registered IR dialect with the given namespace. If an exact match is
/// not found, then return nullptr.
- Dialect *getRegisteredDialect(StringRef name);
+ Dialect *getLoadedDialect(StringRef name);
/// Get a registered IR dialect for the given derived dialect type. The
/// derived type must provide a static 'getDialectNamespace' method.
- template <typename T> T *getRegisteredDialect() {
- return static_cast<T *>(getRegisteredDialect(T::getDialectNamespace()));
+ template <typename T>
+ T *getLoadedDialect() {
+ return static_cast<T *>(getLoadedDialect(T::getDialectNamespace()));
}
/// Get (or create) a dialect for the given derived dialect type. The derived
/// type must provide a static 'getDialectNamespace' method.
template <typename T>
- T *getOrCreateDialect() {
- return static_cast<T *>(getOrCreateDialect(
- T::getDialectNamespace(), TypeID::get<T>(), [this]() {
+ T *getOrLoadDialect() {
+ return static_cast<T *>(
+ getOrLoadDialect(T::getDialectNamespace(), TypeID::get<T>(), [this]() {
std::unique_ptr<T> dialect(new T(this));
- dialect->dialectID = TypeID::get<T>();
return dialect;
}));
}
+ /// Load a dialect in the context.
+ template <typename Dialect>
+ void loadDialect() {
+ getOrLoadDialect<Dialect>();
+ }
+
+ /// Load a list dialects in the context.
+ template <typename Dialect, typename OtherDialect, typename... MoreDialects>
+ void loadDialect() {
+ getOrLoadDialect<Dialect>();
+ loadDialect<OtherDialect, MoreDialects...>();
+ }
+
+ /// Deprecated: load all globally registered dialects into this context.
+ /// This method will be removed soon, it can be used temporarily as we're
+ /// phasing out the global registry.
+ void loadAllGloballyRegisteredDialects();
+
+ /// Get (or create) a dialect for the given derived dialect name.
+ /// The dialect will be loaded from the registry if no dialect is found.
+ /// If no dialect is loaded for this name and none is available in the
+ /// registry, returns nullptr.
+ Dialect *getOrLoadDialect(StringRef name);
+
/// Return true if we allow to create operation for unregistered dialects.
bool allowsUnregisteredDialects();
const std::unique_ptr<MLIRContextImpl> impl;
/// Get a dialect for the provided namespace and TypeID: abort the program if
- /// a dialect exist for this namespace with different TypeID. Returns a
- /// pointer to the dialect owned by the context.
- Dialect *getOrCreateDialect(StringRef dialectNamespace, TypeID dialectID,
- function_ref<std::unique_ptr<Dialect>()> ctor);
+ /// a dialect exist for this namespace with different TypeID. If a dialect has
+ /// not been loaded for this namespace/TypeID yet, use the provided ctor to
+ /// create one on the fly and load it. Returns a pointer to the dialect owned
+ /// by the context.
+ Dialect *getOrLoadDialect(StringRef dialectNamespace, TypeID dialectID,
+ function_ref<std::unique_ptr<Dialect>()> ctor);
MLIRContext(const MLIRContext &) = delete;
void operator=(const MLIRContext &) = delete;
// The description of the dialect.
string description = ?;
+ // A list of dialects this dialect will load on construction as dependencies.
+ // These are dialects that this dialect may involved in canonicalization
+ // pattern or interfaces.
+ list<string> dependentDialects = [];
+
// The C++ namespace that ops of this dialect should be placed into.
//
// By default, uses the name of the dialect as the only namespace. To avoid
namespace mlir {
+// Add all the MLIR dialects to the provided registry.
+inline void registerAllDialects(DialectRegistry ®istry) {
+ // clang-format off
+ registry.insert<acc::OpenACCDialect,
+ AffineDialect,
+ avx512::AVX512Dialect,
+ gpu::GPUDialect,
+ LLVM::LLVMAVX512Dialect,
+ LLVM::LLVMDialect,
+ linalg::LinalgDialect,
+ scf::SCFDialect,
+ omp::OpenMPDialect,
+ quant::QuantizationDialect,
+ spirv::SPIRVDialect,
+ StandardOpsDialect,
+ vector::VectorDialect,
+ NVVM::NVVMDialect,
+ ROCDL::ROCDLDialect,
+ SDBMDialect,
+ shape::ShapeDialect>();
+ // clang-format on
+}
+
// This function should be called before creating any MLIRContext if one expect
// all the possible dialects to be made available to the context automatically.
inline void registerAllDialects() {
- static bool init_once = []() {
- registerDialect<acc::OpenACCDialect>();
- registerDialect<AffineDialect>();
- registerDialect<avx512::AVX512Dialect>();
- registerDialect<gpu::GPUDialect>();
- registerDialect<LLVM::LLVMAVX512Dialect>();
- registerDialect<LLVM::LLVMDialect>();
- registerDialect<linalg::LinalgDialect>();
- registerDialect<scf::SCFDialect>();
- registerDialect<omp::OpenMPDialect>();
- registerDialect<quant::QuantizationDialect>();
- registerDialect<spirv::SPIRVDialect>();
- registerDialect<StandardOpsDialect>();
- registerDialect<vector::VectorDialect>();
- registerDialect<NVVM::NVVMDialect>();
- registerDialect<ROCDL::ROCDLDialect>();
- registerDialect<SDBMDialect>();
- registerDialect<shape::ShapeDialect>();
- return true;
- }();
- (void)init_once;
+ static bool initOnce =
+ ([]() { registerAllDialects(getGlobalDialectRegistry()); }(), true);
+ (void)initOnce;
}
} // namespace mlir
// expects all the possible translations to be made available to the context
// automatically.
inline void registerAllTranslations() {
- static bool init_once = []() {
+ static bool initOnce = []() {
registerFromLLVMIRTranslation();
registerFromSPIRVTranslation();
registerToLLVMIRTranslation();
registerAVX512ToLLVMIRTranslation();
return true;
}();
- (void)init_once;
+ (void)initOnce;
}
} // namespace mlir
#ifndef MLIR_PASS_PASS_H
#define MLIR_PASS_PASS_H
+#include "mlir/IR/Dialect.h"
#include "mlir/IR/Function.h"
#include "mlir/Pass/AnalysisManager.h"
#include "mlir/Pass/PassRegistry.h"
/// Returns the derived pass name.
virtual StringRef getName() const = 0;
+ /// Register dependent dialects for the current pass.
+ /// A pass is expected to register the dialects it will create entities for
+ /// (Operations, Types, Attributes), other than dialect that exists in the
+ /// input. For example, a pass that converts from Linalg to Affine would
+ /// register the Affine dialect but does not need to register Linalg.
+ virtual void getDependentDialects(DialectRegistry ®istry) const {}
+
/// Returns the command line argument used when registering this pass. Return
/// an empty string if one does not exist.
virtual StringRef getArgument() const {
// A C++ constructor call to create an instance of this pass.
code constructor = [{}];
+ // A list of dialects this pass may produce entities in.
+ list<string> dependentDialects = [];
+
// A set of options provided by this pass.
list<Option> options = [];
#ifndef MLIR_PASS_PASSMANAGER_H
#define MLIR_PASS_PASSMANAGER_H
+#include "mlir/IR/Dialect.h"
#include "mlir/IR/OperationSupport.h"
#include "mlir/Support/LogicalResult.h"
#include "llvm/ADT/Optional.h"
pass_iterator end();
iterator_range<pass_iterator> getPasses() { return {begin(), end()}; }
+ using const_pass_iterator = llvm::pointee_iterator<
+ std::vector<std::unique_ptr<Pass>>::const_iterator>;
+ const_pass_iterator begin() const;
+ const_pass_iterator end() const;
+ iterator_range<const_pass_iterator> getPasses() const {
+ return {begin(), end()};
+ }
+
/// Run the held passes over the given operation.
LogicalResult run(Operation *op, AnalysisManager am);
/// Merge the pass statistics of this class into 'other'.
void mergeStatisticsInto(OpPassManager &other);
+ /// Register dependent dialects for the current pass manager.
+ /// This is forwarding to every pass in this PassManager, see the
+ /// documentation for the same method on the Pass class.
+ void getDependentDialects(DialectRegistry &dialects) const;
+
private:
OpPassManager(OperationName name, bool verifyPasses);
} // end namespace llvm
namespace mlir {
+class DialectRegistry;
class PassPipelineCLParser;
/// Perform the core processing behind `mlir-opt`:
/// - outputStream is the stream where the resulting IR is printed.
/// - buffer is the in-memory file to parser and process.
/// - passPipeline is the specification of the pipeline that will be applied.
+/// - registry should contain all the dialects that can be parsed in the source.
/// - splitInputFile will look for a "-----" marker in the input file, and load
/// each chunk in an individual ModuleOp processed separately.
/// - verifyDiagnostics enables a verification mode where comments starting with
/// - verifyPasses enables the IR verifier in-between each pass in the pipeline.
/// - allowUnregisteredDialects allows to parse and create operation without
/// registering the Dialect in the MLIRContext.
+/// - preloadDialectsInContext will trigger the upfront loading of all
+/// dialects from the global registry in the MLIRContext. This option is
+/// deprecated and will be removed soon.
LogicalResult MlirOptMain(llvm::raw_ostream &outputStream,
std::unique_ptr<llvm::MemoryBuffer> buffer,
const PassPipelineCLParser &passPipeline,
- bool splitInputFile, bool verifyDiagnostics,
- bool verifyPasses, bool allowUnregisteredDialects);
+ DialectRegistry ®istry, bool splitInputFile,
+ bool verifyDiagnostics, bool verifyPasses,
+ bool allowUnregisteredDialects,
+ bool preloadDialectsInContext = true);
/// Implementation for tools like `mlir-opt`.
-LogicalResult MlirOptMain(int argc, char **argv, llvm::StringRef toolName);
+/// - toolName is used for the header displayed by `--help`.
+/// - registry should contain all the dialects that can be parsed in the source.
+/// - preloadDialectsInContext will trigger the upfront loading of all
+/// dialects from the global registry in the MLIRContext. This option is
+/// deprecated and will be removed soon.
+LogicalResult MlirOptMain(int argc, char **argv, llvm::StringRef toolName,
+ DialectRegistry ®istry,
+ bool preloadDialectsInContext = true);
} // end namespace mlir
#include "mlir/Support/LLVM.h"
#include <string>
+#include <vector>
namespace llvm {
class Record;
// and provides helper methods for accessing them.
class Dialect {
public:
- explicit Dialect(const llvm::Record *def) : def(def) {}
+ explicit Dialect(const llvm::Record *def);
// Returns the name of this dialect.
StringRef getName() const;
// Returns the description of the dialect. Returns empty string if none.
StringRef getDescription() const;
+ // Returns the list of dialect (class names) that this dialect depends on.
+ // These are dialects that will be loaded on construction of this dialect.
+ ArrayRef<StringRef> getDependentDialects() const;
+
// Returns the dialects extra class declaration code.
llvm::Optional<StringRef> getExtraClassDeclaration() const;
private:
const llvm::Record *def;
+ std::vector<StringRef> dependentDialects;
};
} // end namespace tblgen
} // end namespace mlir
/// Return the C++ constructor call to create an instance of this pass.
StringRef getConstructor() const;
+ /// Return the dialects this pass needs to be registered.
+ ArrayRef<StringRef> getDependentDialects() const;
+
/// Return the options provided by this pass.
ArrayRef<PassOption> getOptions() const;
private:
const llvm::Record *def;
+ std::vector<StringRef> dependentDialects;
std::vector<PassOption> options;
std::vector<PassStatistic> statistics;
};
}];
let constructor = "mlir::createBufferPlacementPass()";
+ // TODO: this pass likely shouldn't depend on Linalg?
+ let dependentDialects = ["linalg::LinalgDialect"];
}
def Canonicalizer : Pass<"canonicalize"> {
#include "mlir/CAPI/IR.h"
#include "mlir/IR/Attributes.h"
+#include "mlir/IR/Dialect.h"
#include "mlir/IR/Module.h"
#include "mlir/IR/Operation.h"
#include "mlir/IR/Types.h"
+#include "mlir/InitAllDialects.h"
#include "mlir/Parser.h"
#include "llvm/Support/raw_ostream.h"
/* ========================================================================== */
MlirContext mlirContextCreate() {
- auto *context = new MLIRContext;
+ auto *context = new MLIRContext(/*loadAllDialects=*/false);
return wrap(context);
}
void mlirContextDestroy(MlirContext context) { delete unwrap(context); }
+void mlirContextLoadAllDialects(MlirContext context) {
+ registerAllDialects(unwrap(context));
+ getGlobalDialectRegistry().loadAll(unwrap(context));
+}
+
/* ========================================================================== */
/* Location API. */
/* ========================================================================== */
#include "../PassDetail.h"
#include "mlir/Conversion/GPUToVulkan/ConvertGPUToVulkanPass.h"
#include "mlir/Dialect/GPU/GPUDialect.h"
+#include "mlir/Dialect/SPIRV/SPIRVDialect.h"
#include "mlir/Dialect/SPIRV/SPIRVOps.h"
#include "mlir/Dialect/SPIRV/Serialization.h"
#include "mlir/Dialect/StandardOps/IR/Ops.h"
#include "mlir/Dialect/Linalg/IR/LinalgOps.h"
#include "mlir/Dialect/Linalg/IR/LinalgTypes.h"
#include "mlir/Dialect/Linalg/Passes.h"
+#include "mlir/Dialect/SCF/SCF.h"
#include "mlir/Dialect/StandardOps/EDSC/Intrinsics.h"
#include "mlir/IR/AffineExpr.h"
#include "mlir/IR/AffineMap.h"
#include "mlir/Pass/Pass.h"
namespace mlir {
+class AffineDialect;
+class StandardOpsDialect;
+
+// Forward declaration from Dialect.h
+template <typename ConcreteDialect>
+void registerDialect(DialectRegistry ®istry);
namespace gpu {
+class GPUDialect;
class GPUModuleOp;
} // end namespace gpu
+namespace LLVM {
+class LLVMDialect;
+class LLVMAVX512Dialect;
+} // end namespace LLVM
+
+namespace NVVM {
+class NVVMDialect;
+} // end namespace NVVM
+
+namespace ROCDL {
+class ROCDLDialect;
+} // end namespace ROCDL
+
+namespace scf {
+class SCFDialect;
+} // end namespace scf
+
+namespace spirv {
+class SPIRVDialect;
+} // end namespace spirv
+
+namespace vector {
+class VectorDialect;
+} // end namespace vector
+
#define GEN_PASS_CLASSES
#include "mlir/Conversion/Passes.h.inc"
/// Create an LLVMTypeConverter using custom LowerToLLVMOptions.
LLVMTypeConverter::LLVMTypeConverter(MLIRContext *ctx,
const LowerToLLVMOptions &options)
- : llvmDialect(ctx->getRegisteredDialect<LLVM::LLVMDialect>()),
+ : llvmDialect(ctx->getOrLoadDialect<LLVM::LLVMDialect>()),
options(options) {
assert(llvmDialect && "LLVM IR dialect is not registered");
if (options.indexBitwidth == kDeriveIndexBitwidthFromDataLayout)
#include "../PassDetail.h"
#include "mlir/Conversion/StandardToSPIRV/ConvertStandardToSPIRV.h"
#include "mlir/Conversion/StandardToSPIRV/ConvertStandardToSPIRVPass.h"
+#include "mlir/Dialect/SPIRV/SPIRVDialect.h"
#include "mlir/Dialect/StandardOps/IR/Ops.h"
#include "mlir/Dialect/Vector/VectorOps.h"
#include "mlir/IR/PatternMatch.h"
#include "mlir/Pass/Pass.h"
namespace mlir {
+// Forward declaration from Dialect.h
+template <typename ConcreteDialect>
+void registerDialect(DialectRegistry ®istry);
+
+namespace linalg {
+class LinalgDialect;
+} // end namespace linalg
+namespace vector {
+class VectorDialect;
+} // end namespace vector
#define GEN_PASS_CLASSES
#include "mlir/Dialect/Affine/Passes.h.inc"
static ParseResult parseNamedStructuredOp(OpAsmParser &parser,
OperationState &result) {
SmallVector<OpAsmParser::OperandType, 8> operandsInfo;
+ result.getContext()->getOrLoadDialect<StandardOpsDialect>();
// Optional attributes may be added.
if (parser.parseOperandList(operandsInfo) ||
#ifndef DIALECT_LINALG_TRANSFORMS_PASSDETAIL_H_
#define DIALECT_LINALG_TRANSFORMS_PASSDETAIL_H_
+#include "mlir/Dialect/Affine/IR/AffineOps.h"
+#include "mlir/IR/Dialect.h"
#include "mlir/Pass/Pass.h"
namespace mlir {
+// Forward declaration from Dialect.h
+template <typename ConcreteDialect>
+void registerDialect(DialectRegistry ®istry);
+
+namespace scf {
+class SCFDialect;
+} // end namespace scf
#define GEN_PASS_CLASSES
#include "mlir/Dialect/Linalg/Passes.h.inc"
#include "mlir/Pass/Pass.h"
namespace mlir {
+// Forward declaration from Dialect.h
+template <typename ConcreteDialect>
+void registerDialect(DialectRegistry ®istry);
+
+class AffineDialect;
#define GEN_PASS_CLASSES
#include "mlir/Dialect/SCF/Passes.h.inc"
SDBMDialect *dialect;
} converter;
- converter.dialect = affine.getContext()->getRegisteredDialect<SDBMDialect>();
+ converter.dialect = affine.getContext()->getOrLoadDialect<SDBMDialect>();
if (auto result = converter.visit(affine))
return result;
}
}
- MLIRContext context;
+ MLIRContext context(/*loadAllDialects=*/false);
+ registerAllDialects(&context);
+
auto m = parseMLIRInput(options.inputFilename, &context);
if (!m) {
llvm::errs() << "could not parse the input IR\n";
//===----------------------------------------------------------------------===//
/// Registry for all dialect allocation functions.
-static llvm::ManagedStatic<llvm::MapVector<TypeID, DialectAllocatorFunction>>
- dialectRegistry;
-
-void Dialect::registerDialectAllocator(
- TypeID typeID, const DialectAllocatorFunction &function) {
- assert(function &&
- "Attempting to register an empty dialect initialize function");
- dialectRegistry->insert({typeID, function});
-}
+static llvm::ManagedStatic<DialectRegistry> dialectRegistry;
+DialectRegistry &mlir::getGlobalDialectRegistry() { return *dialectRegistry; }
-/// Registers all dialects and hooks from the global registries with the
-/// specified MLIRContext.
void mlir::registerAllDialects(MLIRContext *context) {
- for (const auto &it : *dialectRegistry)
- it.second(context);
+ dialectRegistry->appendTo(context->getDialectRegistry());
+}
+
+Dialect *DialectRegistry::loadByName(StringRef name, MLIRContext *context) {
+ auto it = registry.find(name.str());
+ if (it == registry.end())
+ return nullptr;
+ return it->second.second(context);
+}
+
+void DialectRegistry::insert(TypeID typeID, StringRef name,
+ DialectAllocatorFunction ctor) {
+ auto inserted =
+ registry.insert(std::make_pair(name, std::make_pair(typeID, ctor)));
+ if (!inserted.second && inserted.first->second.first != typeID) {
+ llvm::report_fatal_error(
+ "Trying to register different dialects for the same namespace: " +
+ name);
+ }
}
//===----------------------------------------------------------------------===//
DialectInterfaceCollectionBase::DialectInterfaceCollectionBase(
MLIRContext *ctx, TypeID interfaceKind) {
- for (auto *dialect : ctx->getRegisteredDialects()) {
+ for (auto *dialect : ctx->getLoadedDialects()) {
if (auto *interface = dialect->getRegisteredInterface(interfaceKind)) {
interfaces.insert(interface);
orderedInterfaces.push_back(interface);
#include "llvm/ADT/Twine.h"
#include "llvm/Support/Allocator.h"
#include "llvm/Support/CommandLine.h"
+#include "llvm/Support/Debug.h"
#include "llvm/Support/RWMutex.h"
#include "llvm/Support/raw_ostream.h"
#include <memory>
+#define DEBUG_TYPE "mlircontext"
+
using namespace mlir;
using namespace mlir::detail;
/// This is a list of dialects that are created referring to this context.
/// The MLIRContext owns the objects.
- std::vector<std::unique_ptr<Dialect>> dialects;
+ DenseMap<StringRef, std::unique_ptr<Dialect>> loadedDialects;
+ DialectRegistry dialectsRegistry;
/// This is a mapping from operation name to AbstractOperation for registered
/// operations.
};
} // end namespace mlir
-MLIRContext::MLIRContext() : impl(new MLIRContextImpl()) {
+MLIRContext::MLIRContext(bool loadAllDialects) : impl(new MLIRContextImpl()) {
// Initialize values based on the command line flags if they were provided.
if (clOptions.isConstructed()) {
disableMultithreading(clOptions->disableThreading);
}
// Register dialects with this context.
- getOrCreateDialect<BuiltinDialect>();
- registerAllDialects(this);
+ getOrLoadDialect<BuiltinDialect>();
+ if (loadAllDialects)
+ loadAllGloballyRegisteredDialects();
// Initialize several common attributes and types to avoid the need to lock
// the context when accessing them.
// Dialect and Operation Registration
//===----------------------------------------------------------------------===//
+DialectRegistry &MLIRContext::getDialectRegistry() {
+ return impl->dialectsRegistry;
+}
+
/// Return information about all registered IR dialects.
-std::vector<Dialect *> MLIRContext::getRegisteredDialects() {
+std::vector<Dialect *> MLIRContext::getLoadedDialects() {
std::vector<Dialect *> result;
- result.reserve(impl->dialects.size());
- for (auto &dialect : impl->dialects)
- result.push_back(dialect.get());
+ result.reserve(impl->loadedDialects.size());
+ for (auto &dialect : impl->loadedDialects)
+ result.push_back(dialect.second.get());
+ llvm::array_pod_sort(result.begin(), result.end(),
+ [](Dialect *const *lhs, Dialect *const *rhs) -> int {
+ return (*lhs)->getNamespace() < (*rhs)->getNamespace();
+ });
+ return result;
+}
+std::vector<StringRef> MLIRContext::getAvailableDialects() {
+ std::vector<StringRef> result;
+ for (auto &dialect : impl->dialectsRegistry)
+ result.push_back(dialect.first);
return result;
}
/// Get a registered IR dialect with the given namespace. If none is found,
/// then return nullptr.
-Dialect *MLIRContext::getRegisteredDialect(StringRef name) {
+Dialect *MLIRContext::getLoadedDialect(StringRef name) {
// Dialects are sorted by name, so we can use binary search for lookup.
- auto it = llvm::lower_bound(
- impl->dialects, name,
- [](const auto &lhs, StringRef rhs) { return lhs->getNamespace() < rhs; });
- return (it != impl->dialects.end() && (*it)->getNamespace() == name)
- ? (*it).get()
- : nullptr;
+ auto it = impl->loadedDialects.find(name);
+ return (it != impl->loadedDialects.end()) ? it->second.get() : nullptr;
+}
+
+Dialect *MLIRContext::getOrLoadDialect(StringRef name) {
+ Dialect *dialect = getLoadedDialect(name);
+ if (dialect)
+ return dialect;
+ return impl->dialectsRegistry.loadByName(name, this);
}
/// Get a dialect for the provided namespace and TypeID: abort the program if a
/// dialect exist for this namespace with different TypeID. Returns a pointer to
/// the dialect owned by the context.
Dialect *
-MLIRContext::getOrCreateDialect(StringRef dialectNamespace, TypeID dialectID,
- function_ref<std::unique_ptr<Dialect>()> ctor) {
+MLIRContext::getOrLoadDialect(StringRef dialectNamespace, TypeID dialectID,
+ function_ref<std::unique_ptr<Dialect>()> ctor) {
auto &impl = getImpl();
// Get the correct insertion position sorted by namespace.
- auto insertPt =
- llvm::lower_bound(impl.dialects, nullptr,
- [&](const std::unique_ptr<Dialect> &lhs,
- const std::unique_ptr<Dialect> &rhs) {
- if (!lhs)
- return dialectNamespace < rhs->getNamespace();
- return lhs->getNamespace() < dialectNamespace;
- });
+ std::unique_ptr<Dialect> &dialect = impl.loadedDialects[dialectNamespace];
+
+ if (!dialect) {
+ LLVM_DEBUG(llvm::dbgs()
+ << "Load new dialect in Context" << dialectNamespace);
+ dialect = ctor();
+ assert(dialect && "dialect ctor failed");
+ return dialect.get();
+ }
// Abort if dialect with namespace has already been registered.
- if (insertPt != impl.dialects.end() &&
- (*insertPt)->getNamespace() == dialectNamespace) {
- if ((*insertPt)->getTypeID() == dialectID)
- return insertPt->get();
+ if (dialect->getTypeID() != dialectID)
llvm::report_fatal_error("a dialect with namespace '" + dialectNamespace +
"' has already been registered");
- }
- auto it = impl.dialects.insert(insertPt, ctor());
- return &**it;
+
+ return dialect.get();
+}
+
+void MLIRContext::loadAllGloballyRegisteredDialects() {
+ getGlobalDialectRegistry().loadAll(this);
}
bool MLIRContext::allowsUnregisteredDialects() {
// If this operation hasn't been registered or doesn't have abstract
// operation, try looking up the dialect name in the context.
- return getContext()->getRegisteredDialect(getName().getDialect());
+ return getContext()->getLoadedDialect(getName().getDialect());
}
Region *Operation::getParentRegion() {
Dialect *getDialectForAttribute(const NamedAttribute &attr) {
assert(attr.first.strref().contains('.') && "expected dialect attribute");
auto dialectNamePair = attr.first.strref().split('.');
- return ctx->getRegisteredDialect(dialectNamePair.first);
+ return ctx->getLoadedDialect(dialectNamePair.first);
}
private:
auto it = dialectAllowsUnknownOps.find(dialectPrefix);
if (it == dialectAllowsUnknownOps.end()) {
// If the operation dialect is registered, query it directly.
- if (auto *dialect = ctx->getRegisteredDialect(dialectPrefix))
+ if (auto *dialect = ctx->getLoadedDialect(dialectPrefix))
it = dialectAllowsUnknownOps
.try_emplace(dialectPrefix, dialect->allowsUnknownOperations())
.first;
#include "Parser.h"
#include "mlir/IR/AffineMap.h"
+#include "mlir/IR/Dialect.h"
#include "mlir/IR/IntegerSet.h"
#include "mlir/IR/StandardTypes.h"
#include "llvm/ADT/StringExtras.h"
return emitError("duplicate key in dictionary attribute");
consumeToken();
+ // Lazy load a dialect in the context if there is a possible namespace.
+ auto splitName = nameId->strref().split('.');
+ if (!splitName.second.empty())
+ getContext()->getOrLoadDialect(splitName.first);
+
// Try to parse the '=' for the attribute value.
if (!consumeIf(Token::equal)) {
// If there is no '=', we treat this as a unit attribute.
return (emitError("expected dialect namespace"), nullptr);
auto name = getToken().getStringValue();
- auto *dialect = builder.getContext()->getRegisteredDialect(name);
+ // Lazy load a dialect in the context if there is a possible namespace.
+ Dialect *dialect = builder.getContext()->getOrLoadDialect(name);
+
// TODO: Allow for having an unknown dialect on an opaque
// attribute. Otherwise, it can't be roundtripped without having the dialect
// registered.
return Attribute();
// If we found a registered dialect, then ask it to parse the attribute.
- if (auto *dialect = state.context->getRegisteredDialect(dialectName)) {
+ if (Dialect *dialect =
+ builder.getContext()->getOrLoadDialect(dialectName)) {
return parseSymbol<Attribute>(
symbolData, state.context, state.symbols, [&](Parser &parser) {
CustomDialectAsmParser customParser(symbolData, parser);
[&](StringRef dialectName, StringRef symbolData,
llvm::SMLoc loc) -> Type {
// If we found a registered dialect, then ask it to parse the type.
- if (auto *dialect = state.context->getRegisteredDialect(dialectName)) {
+ auto *dialect = state.context->getOrLoadDialect(dialectName);
+
+ if (dialect) {
return parseSymbol<Type>(
symbolData, state.context, state.symbols, [&](Parser &parser) {
CustomDialectAsmParser customParser(symbolData, parser);
#include "Parser.h"
#include "mlir/IR/AffineMap.h"
+#include "mlir/IR/Dialect.h"
#include "mlir/IR/Module.h"
#include "mlir/IR/Verifier.h"
#include "mlir/Parser.h"
// Get location information for the operation.
auto srcLocation = getEncodedSourceLocation(getToken().getLoc());
- auto name = getToken().getStringValue();
+ std::string name = getToken().getStringValue();
if (name.empty())
return (emitError("empty operation name is invalid"), nullptr);
if (name.find('\0') != StringRef::npos)
OperationState result(srcLocation, name);
+ // Lazy load dialects in the context as needed.
+ if (!result.name.getAbstractOperation()) {
+ StringRef dialectName = StringRef(name).split('.').first;
+ if (!getContext()->getLoadedDialect(dialectName) &&
+ getContext()->getOrLoadDialect(dialectName)) {
+ result.name = OperationName(name, getContext());
+ }
+ }
+
// Parse the operand list.
SmallVector<SSAUseInfo, 8> operandInfos;
if (parseToken(Token::l_paren, "expected '(' to start operand list") ||
Operation *
OperationParser::parseCustomOperation(ArrayRef<ResultRecord> resultIDs) {
- auto opLoc = getToken().getLoc();
- auto opName = getTokenSpelling();
+ llvm::SMLoc opLoc = getToken().getLoc();
+ StringRef opName = getTokenSpelling();
auto *opDefinition = AbstractOperation::lookup(opName, getContext());
- if (!opDefinition && !opName.contains('.')) {
- // If the operation name has no namespace prefix we treat it as a standard
- // operation and prefix it with "std".
- // TODO: Would it be better to just build a mapping of the registered
- // operations in the standard dialect?
- opDefinition =
- AbstractOperation::lookup(Twine("std." + opName).str(), getContext());
+ if (!opDefinition) {
+ if (opName.contains('.')) {
+ // This op has a dialect, we try to check if we can register it in the
+ // context on the fly.
+ StringRef dialectName = opName.split('.').first;
+ if (!getContext()->getLoadedDialect(dialectName) &&
+ getContext()->getOrLoadDialect(dialectName)) {
+ opDefinition = AbstractOperation::lookup(opName, getContext());
+ }
+ } else {
+ // If the operation name has no namespace prefix we treat it as a standard
+ // operation and prefix it with "std".
+ // TODO: Would it be better to just build a mapping of the registered
+ // operations in the standard dialect?
+ if (getContext()->getOrLoadDialect("std"))
+ opDefinition = AbstractOperation::lookup(Twine("std." + opName).str(),
+ getContext());
+ }
}
if (!opDefinition) {
}
OpPassManager::pass_iterator OpPassManager::end() { return impl->passes.end(); }
+OpPassManager::const_pass_iterator OpPassManager::begin() const {
+ return impl->passes.begin();
+}
+OpPassManager::const_pass_iterator OpPassManager::end() const {
+ return impl->passes.end();
+}
+
/// Run all of the passes in this manager over the current operation.
LogicalResult OpPassManager::run(Operation *op, AnalysisManager am) {
// Run each of the held passes.
::printAsTextualPipeline(impl->passes, os);
}
+static void registerDialectsForPipeline(const OpPassManager &pm,
+ DialectRegistry &dialects) {
+ for (const Pass &pass : pm.getPasses())
+ pass.getDependentDialects(dialects);
+}
+
+void OpPassManager::getDependentDialects(DialectRegistry &dialects) const {
+ registerDialectsForPipeline(*this, dialects);
+}
+
//===----------------------------------------------------------------------===//
// OpToOpPassAdaptor
//===----------------------------------------------------------------------===//
mgrs.emplace_back(std::move(mgr));
}
+void OpToOpPassAdaptor::getDependentDialects(DialectRegistry &dialects) const {
+ for (auto &pm : mgrs)
+ pm.getDependentDialects(dialects);
+}
+
/// Merge the current pass adaptor into given 'rhs'.
void OpToOpPassAdaptor::mergeInto(OpToOpPassAdaptor &rhs) {
for (auto &pm : mgrs) {
// pipeline.
getImpl().coalesceAdjacentAdaptorPasses();
+ // Register all dialects for the current pipeline.
+ DialectRegistry dependentDialects;
+ getDependentDialects(dependentDialects);
+ dependentDialects.loadAll(module.getContext());
+
// Construct an analysis manager for the pipeline.
ModuleAnalysisManager am(module, instrumentor.get());
/// Returns the pass managers held by this adaptor.
MutableArrayRef<OpPassManager> getPassManagers() { return mgrs; }
+ /// Populate the set of dependent dialects for the passes in the current
+ /// adaptor.
+ void getDependentDialects(DialectRegistry &dialects) const override;
+
/// Return the async pass managers held by this parallel adaptor.
MutableArrayRef<SmallVector<OpPassManager, 1>> getParallelPassManagers() {
return asyncExecutors;
std::unique_ptr<MemoryBuffer> ownedBuffer,
bool verifyDiagnostics, bool verifyPasses,
bool allowUnregisteredDialects,
- const PassPipelineCLParser &passPipeline) {
+ bool preloadDialectsInContext,
+ const PassPipelineCLParser &passPipeline,
+ DialectRegistry ®istry) {
// Tell sourceMgr about this buffer, which is what the parser will pick up.
SourceMgr sourceMgr;
sourceMgr.AddNewSourceBuffer(std::move(ownedBuffer), SMLoc());
// Parse the input file.
- MLIRContext context;
+ MLIRContext context(/*loadAllDialects=*/preloadDialectsInContext);
+ registry.appendTo(context.getDialectRegistry());
+ if (preloadDialectsInContext)
+ registry.loadAll(&context);
context.allowUnregisteredDialects(allowUnregisteredDialects);
context.printOpOnDiagnostic(!verifyDiagnostics);
LogicalResult mlir::MlirOptMain(raw_ostream &outputStream,
std::unique_ptr<MemoryBuffer> buffer,
const PassPipelineCLParser &passPipeline,
- bool splitInputFile, bool verifyDiagnostics,
- bool verifyPasses,
- bool allowUnregisteredDialects) {
+ DialectRegistry ®istry, bool splitInputFile,
+ bool verifyDiagnostics, bool verifyPasses,
+ bool allowUnregisteredDialects,
+ bool preloadDialectsInContext) {
// The split-input-file mode is a very specific mode that slices the file
// up into small pieces and checks each independently.
if (splitInputFile)
[&](std::unique_ptr<MemoryBuffer> chunkBuffer, raw_ostream &os) {
return processBuffer(os, std::move(chunkBuffer), verifyDiagnostics,
verifyPasses, allowUnregisteredDialects,
- passPipeline);
+ preloadDialectsInContext, passPipeline,
+ registry);
},
outputStream);
return processBuffer(outputStream, std::move(buffer), verifyDiagnostics,
- verifyPasses, allowUnregisteredDialects, passPipeline);
+ verifyPasses, allowUnregisteredDialects,
+ preloadDialectsInContext, passPipeline, registry);
}
-LogicalResult mlir::MlirOptMain(int argc, char **argv, StringRef toolName) {
+LogicalResult mlir::MlirOptMain(int argc, char **argv, llvm::StringRef toolName,
+ DialectRegistry ®istry,
+ bool preloadDialectsInContext) {
static cl::opt<std::string> inputFilename(
cl::Positional, cl::desc("<input file>"), cl::init("-"));
{
llvm::raw_string_ostream os(helpHeader);
MLIRContext context;
- interleaveComma(context.getRegisteredDialects(), os, [&](Dialect *dialect) {
- StringRef name = dialect->getNamespace();
- // filter the builtin dialect.
- if (name.empty())
- os << "<builtin>";
- else
- os << name;
+ interleaveComma(registry, os, [&](auto ®istryEntry) {
+ StringRef name = registryEntry.first;
+ os << name;
});
}
// Parse pass names in main to ensure static initialization completed.
cl::ParseCommandLineOptions(argc, argv, helpHeader);
if (showDialects) {
- llvm::outs() << "Registered Dialects:\n";
- MLIRContext context;
+ llvm::outs() << "Available Dialects:\n";
interleave(
- context.getRegisteredDialects(), llvm::outs(),
- [](Dialect *dialect) { llvm::outs() << dialect->getNamespace(); },
- "\n");
+ registry, llvm::outs(),
+ [](auto ®istryEntry) { llvm::outs() << registryEntry.first; }, "\n");
return success();
}
return failure();
}
- if (failed(MlirOptMain(output->os(), std::move(file), passPipeline,
+ if (failed(MlirOptMain(output->os(), std::move(file), passPipeline, registry,
splitInputFile, verifyDiagnostics, verifyPasses,
- allowUnregisteredDialects)))
+ allowUnregisteredDialects, preloadDialectsInContext)))
return failure();
// Keep the output file if the invocation of MlirOptMain was successful.
using namespace mlir;
using namespace mlir::tblgen;
+Dialect::Dialect(const llvm::Record *def) : def(def) {
+ for (StringRef dialect : def->getValueAsListOfStrings("dependentDialects"))
+ dependentDialects.push_back(dialect);
+}
StringRef Dialect::getName() const { return def->getValueAsString("name"); }
return getAsStringOrEmpty(*def, "description");
}
+ArrayRef<StringRef> Dialect::getDependentDialects() const {
+ return dependentDialects;
+}
+
llvm::Optional<StringRef> Dialect::getExtraClassDeclaration() const {
auto value = def->getValueAsString("extraClassDeclaration");
return value.empty() ? llvm::Optional<StringRef>() : value;
options.push_back(PassOption(init));
for (auto *init : def->getValueAsListOfDefs("statistics"))
statistics.push_back(PassStatistic(init));
+ for (StringRef dialect : def->getValueAsListOfStrings("dependentDialects"))
+ dependentDialects.push_back(dialect);
}
StringRef Pass::getArgument() const {
StringRef Pass::getConstructor() const {
return def->getValueAsString("constructor");
}
+ArrayRef<StringRef> Pass::getDependentDialects() const {
+ return dependentDialects;
+}
ArrayRef<PassOption> Pass::getOptions() const { return options; }
OwningModuleRef
mlir::translateLLVMIRToModule(std::unique_ptr<llvm::Module> llvmModule,
MLIRContext *context) {
+ context->loadDialect<LLVMDialect>();
OwningModuleRef module(ModuleOp::create(
FileLineColLoc::get("", /*line=*/0, /*column=*/0, context)));
: mlirModule(module), llvmModule(std::move(llvmModule)),
debugTranslation(
std::make_unique<DebugTranslation>(module, *this->llvmModule)),
- ompDialect(
- module->getContext()->getRegisteredDialect<omp::OpenMPDialect>()),
+ ompDialect(module->getContext()->getOrLoadDialect<omp::OpenMPDialect>()),
typeTranslator(this->llvmModule->getContext()) {
assert(satisfiesLLVMModule(mlirModule) &&
"mlirModule should honor LLVM's module semantics.");
std::unique_ptr<llvm::Module> ModuleTranslation::prepareLLVMModule(
Operation *m, llvm::LLVMContext &llvmContext, StringRef name) {
+ m->getContext()->getOrLoadDialect<LLVM::LLVMDialect>();
auto llvmModule = std::make_unique<llvm::Module>(name, llvmContext);
-
if (auto dataLayoutAttr =
m->getAttr(LLVM::LLVMDialect::getDataLayoutAttrName()))
llvmModule->setDataLayout(dataLayoutAttr.cast<StringAttr>().getValue());
#include "mlir/Pass/Pass.h"
namespace mlir {
+// Forward declaration from Dialect.h
+template <typename ConcreteDialect>
+void registerDialect(DialectRegistry ®istry);
+
+namespace linalg {
+class LinalgDialect;
+} // end namespace linalg
#define GEN_PASS_CLASSES
#include "mlir/Transforms/Passes.h.inc"
int main() {
mlirRegisterAllDialects();
MlirContext ctx = mlirContextCreate();
+ mlirContextLoadAllDialects(ctx);
MlirLocation location = mlirLocationUnknownGet(ctx);
MlirModule moduleOp = makeAdd(ctx, location);
using namespace mlir::edsc::intrinsics;
static MLIRContext &globalContext() {
- static bool init_once = []() {
- registerDialect<AffineDialect>();
- registerDialect<linalg::LinalgDialect>();
- registerDialect<scf::SCFDialect>();
- registerDialect<StandardOpsDialect>();
- registerDialect<vector::VectorDialect>();
+ static thread_local MLIRContext context(/*loadAllDialects=*/false);
+ static thread_local bool initOnce = [&]() {
+ // clang-format off
+ context.loadDialect<AffineDialect,
+ scf::SCFDialect,
+ linalg::LinalgDialect,
+ StandardOpsDialect,
+ vector::VectorDialect>();
+ // clang-format on
return true;
}();
- (void)init_once;
- static thread_local MLIRContext context;
+ (void)initOnce;
context.allowUnregisteredDialects();
return context;
}
using namespace mlir;
-// Load the SDBM dialect
-static DialectRegistration<SDBMDialect> SDBMRegistration;
static MLIRContext *ctx() {
- static thread_local MLIRContext context;
+ static thread_local MLIRContext context(/*loadAllDialects=*/false);
+ static thread_local bool once =
+ (context.getOrLoadDialect<SDBMDialect>(), true);
+ (void)once;
return &context;
}
static SDBMDialect *dialect() {
static thread_local SDBMDialect *d = nullptr;
if (!d) {
- d = ctx()->getRegisteredDialect<SDBMDialect>();
+ d = ctx()->getOrLoadDialect<SDBMDialect>();
}
return d;
}
#include "mlir/Analysis/NestedMatcher.h"
#include "mlir/Analysis/SliceAnalysis.h"
#include "mlir/Dialect/Affine/IR/AffineOps.h"
+#include "mlir/Dialect/Vector/VectorOps.h"
#include "mlir/Dialect/Vector/VectorUtils.h"
#include "mlir/IR/Builders.h"
#include "mlir/IR/Diagnostics.h"
: public PassWrapper<VectorizerTestPass, FunctionPass> {
static constexpr auto kTestAffineMapOpName = "test_affine_map";
static constexpr auto kTestAffineMapAttrName = "affine_map";
+ void getDependentDialects(DialectRegistry ®istry) const override {
+ registry.insert<vector::VectorDialect>();
+ }
void runOnFunction() override;
void testVectorShapeRatio(llvm::raw_ostream &outs);
auto f = getFunction();
llvm::outs() << f.getName() << "\n";
- Dialect *spvDialect = getContext().getRegisteredDialect("spv");
+ Dialect *spvDialect = getContext().getLoadedDialect("spv");
f.getOperation()->walk([&](Operation *op) {
if (op->getDialect() != spvDialect)
using namespace mlir;
+void mlir::registerTestDialect(DialectRegistry ®istry) {
+ registry.insert<TestDialect>();
+}
+
//===----------------------------------------------------------------------===//
// TestDialect Interfaces
//===----------------------------------------------------------------------===//
#define GET_OP_CLASSES
#include "TestOps.h.inc"
+void registerTestDialect(DialectRegistry ®istry);
+
} // end namespace mlir
#endif // MLIR_TESTDIALECT_H
struct TestTypeConversionDriver
: public PassWrapper<TestTypeConversionDriver, OperationPass<ModuleOp>> {
+ void getDependentDialects(DialectRegistry ®istry) const override {
+ registry.insert<TestDialect>();
+ }
+
void runOnOperation() override {
// Initialize the type converter.
TypeConverter converter;
//===----------------------------------------------------------------------===//
#include "mlir/Dialect/GPU/Passes.h"
+#include "mlir/Dialect/StandardOps/IR/Ops.h"
#include "mlir/IR/PatternMatch.h"
#include "mlir/Pass/Pass.h"
namespace {
struct TestAllReduceLoweringPass
: public PassWrapper<TestAllReduceLoweringPass, OperationPass<ModuleOp>> {
+ void getDependentDialects(DialectRegistry ®istry) const override {
+ registry.insert<StandardOpsDialect>();
+ }
void runOnOperation() override {
OwningRewritePatternList patterns;
populateGpuRewritePatterns(&getContext(), patterns);
patterns->insert<GenericOpConverter>(context, placer, converter);
}
+ void getDependentDialects(DialectRegistry ®istry) const override {
+ registry.insert<linalg::LinalgDialect>();
+ }
+
void runOnOperation() override {
MLIRContext &context = this->getContext();
ConversionTarget target(context);
#include "mlir/Dialect/GPU/GPUDialect.h"
#include "mlir/Dialect/GPU/MemoryPromotion.h"
+#include "mlir/Dialect/SCF/SCF.h"
+#include "mlir/Dialect/SPIRV/SPIRVDialect.h"
+#include "mlir/Dialect/StandardOps/IR/Ops.h"
#include "mlir/IR/Attributes.h"
#include "mlir/Pass/Pass.h"
class TestGpuMemoryPromotionPass
: public PassWrapper<TestGpuMemoryPromotionPass,
OperationPass<gpu::GPUFuncOp>> {
+ void getDependentDialects(DialectRegistry ®istry) const override {
+ registry.insert<StandardOpsDialect, scf::SCFDialect>();
+ }
+
void runOnOperation() override {
gpu::GPUFuncOp op = getOperation();
for (unsigned i = 0, e = op.getNumArguments(); i < e; ++i) {
//
//===----------------------------------------------------------------------===//
+#include "mlir/Dialect/Affine/IR/AffineOps.h"
#include "mlir/Dialect/Linalg/IR/LinalgOps.h"
#include "mlir/Dialect/Linalg/Transforms/Hoisting.h"
#include "mlir/Pass/Pass.h"
: public PassWrapper<TestLinalgHoisting, FunctionPass> {
TestLinalgHoisting() = default;
TestLinalgHoisting(const TestLinalgHoisting &pass) {}
+ void getDependentDialects(DialectRegistry ®istry) const override {
+ registry.insert<AffineDialect>();
+ }
void runOnFunction() override;
#include "mlir/Dialect/Linalg/IR/LinalgOps.h"
#include "mlir/Dialect/Linalg/Transforms/Transforms.h"
#include "mlir/Dialect/Linalg/Utils/Utils.h"
+#include "mlir/Dialect/StandardOps/IR/Ops.h"
#include "mlir/Dialect/Vector/VectorOps.h"
#include "mlir/IR/PatternMatch.h"
#include "mlir/Pass/Pass.h"
TestLinalgTransforms() = default;
TestLinalgTransforms(const TestLinalgTransforms &pass) {}
+ void getDependentDialects(DialectRegistry ®istry) const override {
+ // clang-format off
+ registry.insert<AffineDialect,
+ scf::SCFDialect,
+ StandardOpsDialect,
+ vector::VectorDialect,
+ gpu::GPUDialect>();
+ // clang-format on
+ }
+
void runOnFunction() override;
Option<bool> testPatterns{*this, "test-patterns",
#include <type_traits>
+#include "mlir/Dialect/Affine/IR/AffineOps.h"
+#include "mlir/Dialect/Linalg/IR/LinalgOps.h"
+#include "mlir/Dialect/SCF/SCF.h"
#include "mlir/Dialect/StandardOps/IR/Ops.h"
#include "mlir/Dialect/Vector/VectorOps.h"
#include "mlir/Dialect/Vector/VectorTransforms.h"
TestVectorTransferFullPartialSplitPatterns() = default;
TestVectorTransferFullPartialSplitPatterns(
const TestVectorTransferFullPartialSplitPatterns &pass) {}
+
+ void getDependentDialects(DialectRegistry ®istry) const override {
+ registry.insert<AffineDialect, linalg::LinalgDialect, scf::SCFDialect>();
+ }
+
Option<bool> useLinalgOps{
*this, "use-linalg-copy",
llvm::cl::desc("Split using a unmasked vector.transfer + linalg.fill + "
// RUN: mlir-opt --show-dialects | FileCheck %s
-// CHECK: Registered Dialects:
+// CHECK: Available Dialects:
// CHECK: affine
// CHECK: gpu
// CHECK: linalg
if (testEmitIncludeTdHeader)
output->os() << "include \"mlir/Dialect/Linalg/IR/LinalgStructuredOps.td\"";
- MLIRContext context;
+ MLIRContext context(/*loadAllDialects=*/false);
llvm::SourceMgr mgr;
mgr.AddNewSourceBuffer(std::move(file), llvm::SMLoc());
Parser parser(mgr, &context);
void registerTestConvertGPUKernelToCubinPass();
void registerTestConvertGPUKernelToHsacoPass();
void registerTestDominancePass();
+void registerTestDialect(DialectRegistry &);
void registerTestExpandTanhPass();
void registerTestFunc();
void registerTestGpuMemoryPromotionPass();
#ifdef MLIR_INCLUDE_TESTS
registerTestPasses();
#endif
- return failed(MlirOptMain(argc, argv, "MLIR modular optimizer driver"));
+ DialectRegistry registry;
+ registerAllDialects(registry);
+ registerTestDialect(registry);
+ return failed(MlirOptMain(argc, argv, "MLIR modular optimizer driver\n",
+ registry,
+ /*preloadDialectsInContext=*/false));
}
///
/// {0}: The name of the dialect class.
/// {1}: The dialect namespace.
+/// {2}: initialization code that is emitted in the ctor body before calling
+/// initialize()
static const char *const dialectDeclBeginStr = R"(
class {0} : public ::mlir::Dialect {
explicit {0}(::mlir::MLIRContext *context)
: ::mlir::Dialect(getDialectNamespace(), context,
::mlir::TypeID::get<{0}>()) {{
+ {2}
initialize();
}
void initialize();
static ::llvm::StringRef getDialectNamespace() { return "{1}"; }
)";
+/// Registration for a single dependent dialect: to be inserted in the ctor
+/// above for each dependent dialect.
+const char *const dialectRegistrationTemplate = R"(
+ getContext()->getOrLoadDialect<{0}>();
+)";
+
/// The code block for the attribute parser/printer hooks.
static const char *const attrParserDecl = R"(
/// Parse an attribute registered to this dialect.
iterator_range<DialectFilterIterator> dialectAttrs,
iterator_range<DialectFilterIterator> dialectTypes,
raw_ostream &os) {
+ /// Build the list of dependent dialects
+ std::string dependentDialectRegistrations;
+ {
+ llvm::raw_string_ostream dialectsOs(dependentDialectRegistrations);
+ for (StringRef dependentDialect : dialect.getDependentDialects())
+ dialectsOs << llvm::formatv(dialectRegistrationTemplate,
+ dependentDialect);
+ }
// Emit the start of the decl.
std::string cppName = dialect.getCppClassName();
- os << llvm::formatv(dialectDeclBeginStr, cppName, dialect.getName());
+ os << llvm::formatv(dialectDeclBeginStr, cppName, dialect.getName(),
+ dependentDialectRegistrations);
// Check for any attributes/types registered to this dialect. If there are,
// add the hooks for parsing/printing.
/// {0}: The def name of the pass record.
/// {1}: The base class for the pass.
/// {2): The command line argument for the pass.
+/// {3}: The dependent dialects registration.
const char *const passDeclBegin = R"(
//===----------------------------------------------------------------------===//
// {0}
return std::make_unique<DerivedT>(*static_cast<const DerivedT *>(this));
}
+ /// Return the dialect that must be loaded in the context before this pass.
+ void getDependentDialects(::mlir::DialectRegistry ®istry) const override {
+ {3}
+ }
+
protected:
)";
+/// Registration for a single dependent dialect, to be inserted for each
+/// dependent dialect in the `getDependentDialects` above.
+const char *const dialectRegistrationTemplate = R"(
+ registry.insert<{0}>();
+)";
+
/// Emit the declarations for each of the pass options.
static void emitPassOptionDecls(const Pass &pass, raw_ostream &os) {
for (const PassOption &opt : pass.getOptions()) {
static void emitPassDecl(const Pass &pass, raw_ostream &os) {
StringRef defName = pass.getDef()->getName();
+ std::string dependentDialectRegistrations;
+ {
+ llvm::raw_string_ostream dialectsOs(dependentDialectRegistrations);
+ for (StringRef dependentDialect : pass.getDependentDialects())
+ dialectsOs << llvm::formatv(dialectRegistrationTemplate,
+ dependentDialect);
+ }
os << llvm::formatv(passDeclBegin, defName, pass.getBaseClass(),
- pass.getArgument());
+ pass.getArgument(), dependentDialectRegistrations);
emitPassOptionDecls(pass, os);
emitPassStatisticDecls(pass, os);
os << "};\n";
// Processes the memory buffer with a new MLIRContext.
auto processBuffer = [&](std::unique_ptr<llvm::MemoryBuffer> ownedBuffer,
raw_ostream &os) {
- MLIRContext context;
+ MLIRContext context(false);
+ registerAllDialects(&context);
context.allowUnregisteredDialects();
context.printOpOnDiagnostic(!verifyDiagnostics);
llvm::SourceMgr sourceMgr;
using namespace mlir;
using namespace mlir::quant;
-// Load the quant dialect
-static DialectRegistration<QuantizationDialect> QuantOpsRegistration;
-
namespace {
// Test UniformQuantizedValueConverter converts all APFloat to a magic number 5.
}
TEST(QuantizationUtilsTest, convertFloatAttrUniform) {
- MLIRContext ctx;
+ MLIRContext ctx(/*loadAllDialects=*/false);
+ ctx.getOrLoadDialect<QuantizationDialect>();
IntegerType convertedType = IntegerType::get(8, &ctx);
auto quantizedType = getTestQuantizedType(convertedType, &ctx);
TestUniformQuantizedValueConverter converter(quantizedType);
}
TEST(QuantizationUtilsTest, convertRankedDenseAttrUniform) {
- MLIRContext ctx;
+ MLIRContext ctx(/*loadAllDialects=*/false);
+ ctx.getOrLoadDialect<QuantizationDialect>();
IntegerType convertedType = IntegerType::get(8, &ctx);
auto quantizedType = getTestQuantizedType(convertedType, &ctx);
TestUniformQuantizedValueConverter converter(quantizedType);
}
TEST(QuantizationUtilsTest, convertRankedSplatAttrUniform) {
- MLIRContext ctx;
+ MLIRContext ctx(/*loadAllDialects=*/false);
+ ctx.getOrLoadDialect<QuantizationDialect>();
IntegerType convertedType = IntegerType::get(8, &ctx);
auto quantizedType = getTestQuantizedType(convertedType, &ctx);
TestUniformQuantizedValueConverter converter(quantizedType);
}
TEST(QuantizationUtilsTest, convertRankedSparseAttrUniform) {
- MLIRContext ctx;
+ MLIRContext ctx(/*loadAllDialects=*/false);
+ ctx.getOrLoadDialect<QuantizationDialect>();
IntegerType convertedType = IntegerType::get(8, &ctx);
auto quantizedType = getTestQuantizedType(convertedType, &ctx);
TestUniformQuantizedValueConverter converter(quantizedType);
/// diagnostic checking utilities.
class DeserializationTest : public ::testing::Test {
protected:
- DeserializationTest() {
+ DeserializationTest() : context(/*loadAllDialects=*/false) {
+ context.getOrLoadDialect<mlir::spirv::SPIRVDialect>();
// Register a diagnostic handler to capture the diagnostic so that we can
// check it later.
context.getDiagEngine().registerHandler([&](Diagnostic &diag) {
class SerializationTest : public ::testing::Test {
protected:
- SerializationTest() { createModuleOp(); }
+ SerializationTest() : context(/*loadAllDialects=*/false) {
+ context.getOrLoadDialect<mlir::spirv::SPIRVDialect>();
+ createModuleOp();
+ }
void createModuleOp() {
OpBuilder builder(&context);
namespace {
TEST(DenseSplatTest, BoolSplat) {
- MLIRContext context;
+ MLIRContext context(false);
IntegerType boolTy = IntegerType::get(1, &context);
RankedTensorType shape = RankedTensorType::get({2, 2}, boolTy);
TEST(DenseSplatTest, LargeBoolSplat) {
constexpr int64_t boolCount = 56;
- MLIRContext context;
+ MLIRContext context(false);
IntegerType boolTy = IntegerType::get(1, &context);
RankedTensorType shape = RankedTensorType::get({boolCount}, boolTy);
}
TEST(DenseSplatTest, BoolNonSplat) {
- MLIRContext context;
+ MLIRContext context(false);
IntegerType boolTy = IntegerType::get(1, &context);
RankedTensorType shape = RankedTensorType::get({6}, boolTy);
TEST(DenseSplatTest, OddIntSplat) {
// Test detecting a splat with an odd(non 8-bit) integer bitwidth.
- MLIRContext context;
+ MLIRContext context(false);
constexpr size_t intWidth = 19;
IntegerType intTy = IntegerType::get(intWidth, &context);
APInt value(intWidth, 10);
}
TEST(DenseSplatTest, Int32Splat) {
- MLIRContext context;
+ MLIRContext context(false);
IntegerType intTy = IntegerType::get(32, &context);
int value = 64;
}
TEST(DenseSplatTest, IntAttrSplat) {
- MLIRContext context;
+ MLIRContext context(false);
IntegerType intTy = IntegerType::get(85, &context);
Attribute value = IntegerAttr::get(intTy, 109);
}
TEST(DenseSplatTest, F32Splat) {
- MLIRContext context;
+ MLIRContext context(false);
FloatType floatTy = FloatType::getF32(&context);
float value = 10.0;
}
TEST(DenseSplatTest, F64Splat) {
- MLIRContext context;
+ MLIRContext context(false);
FloatType floatTy = FloatType::getF64(&context);
double value = 10.0;
}
TEST(DenseSplatTest, FloatAttrSplat) {
- MLIRContext context;
+ MLIRContext context(false);
FloatType floatTy = FloatType::getF32(&context);
Attribute value = FloatAttr::get(floatTy, 10.0);
}
TEST(DenseSplatTest, BF16Splat) {
- MLIRContext context;
+ MLIRContext context(false);
FloatType floatTy = FloatType::getBF16(&context);
Attribute value = FloatAttr::get(floatTy, 10.0);
}
TEST(DenseSplatTest, StringSplat) {
- MLIRContext context;
+ MLIRContext context(false);
Type stringType =
OpaqueType::get(Identifier::get("test", &context), "string", &context);
StringRef value = "test-string";
}
TEST(DenseSplatTest, StringAttrSplat) {
- MLIRContext context;
+ MLIRContext context(false);
Type stringType =
OpaqueType::get(Identifier::get("test", &context), "string", &context);
Attribute stringAttr = StringAttr::get("test-string", stringType);
}
TEST(DenseComplexTest, ComplexFloatSplat) {
- MLIRContext context;
+ MLIRContext context(false);
ComplexType complexType = ComplexType::get(FloatType::getF32(&context));
std::complex<float> value(10.0, 15.0);
testSplat(complexType, value);
}
TEST(DenseComplexTest, ComplexIntSplat) {
- MLIRContext context;
+ MLIRContext context(false);
ComplexType complexType = ComplexType::get(IntegerType::get(64, &context));
std::complex<int64_t> value(10, 15);
testSplat(complexType, value);
}
TEST(DenseComplexTest, ComplexAPFloatSplat) {
- MLIRContext context;
+ MLIRContext context(false);
ComplexType complexType = ComplexType::get(FloatType::getF32(&context));
std::complex<APFloat> value(APFloat(10.0f), APFloat(15.0f));
testSplat(complexType, value);
}
TEST(DenseComplexTest, ComplexAPIntSplat) {
- MLIRContext context;
+ MLIRContext context(false);
ComplexType complexType = ComplexType::get(IntegerType::get(64, &context));
std::complex<APInt> value(APInt(64, 10), APInt(64, 15));
testSplat(complexType, value);
};
TEST(DialectDeathTest, MultipleDialectsWithSameNamespace) {
- MLIRContext context;
+ MLIRContext context(false);
// Registering a dialect with the same namespace twice should result in a
// failure.
- context.getOrCreateDialect<TestDialect>();
- ASSERT_DEATH(context.getOrCreateDialect<AnotherTestDialect>(), "");
+ context.loadDialect<TestDialect>();
+ ASSERT_DEATH(context.loadDialect<AnotherTestDialect>(), "");
}
} // end namespace
namespace {
TEST(OperandStorageTest, NonResizable) {
- MLIRContext context;
+ MLIRContext context(false);
Builder builder(&context);
Operation *useOp =
}
TEST(OperandStorageTest, Resizable) {
- MLIRContext context;
+ MLIRContext context(false);
Builder builder(&context);
Operation *useOp =
}
TEST(OperandStorageTest, RangeReplace) {
- MLIRContext context;
+ MLIRContext context(false);
Builder builder(&context);
Operation *useOp =
}
TEST(OperandStorageTest, MutableRange) {
- MLIRContext context;
+ MLIRContext context(false);
Builder builder(&context);
Operation *useOp =
};
TEST(AnalysisManagerTest, FineGrainModuleAnalysisPreservation) {
- MLIRContext context;
+ MLIRContext context(false);
// Test fine grain invalidation of the module analysis manager.
OwningModuleRef module(ModuleOp::create(UnknownLoc::get(&context)));
}
TEST(AnalysisManagerTest, FineGrainFunctionAnalysisPreservation) {
- MLIRContext context;
+ MLIRContext context(false);
Builder builder(&context);
// Create a function and a module.
}
TEST(AnalysisManagerTest, FineGrainChildFunctionAnalysisPreservation) {
- MLIRContext context;
+ MLIRContext context(false);
Builder builder(&context);
// Create a function and a module.
};
TEST(AnalysisManagerTest, CustomInvalidation) {
- MLIRContext context;
+ MLIRContext context(false);
Builder builder(&context);
// Create a function and a module.
using namespace mlir;
-/// Load the SDBM dialect.
-static DialectRegistration<SDBMDialect> SDBMRegistration;
static MLIRContext *ctx() {
- static thread_local MLIRContext context;
+ static thread_local MLIRContext context(false);
+ context.getOrLoadDialect<SDBMDialect>();
return &context;
}
static SDBMDialect *dialect() {
static thread_local SDBMDialect *d = nullptr;
if (!d) {
- d = ctx()->getRegisteredDialect<SDBMDialect>();
+ d = ctx()->getOrLoadDialect<SDBMDialect>();
}
return d;
}
// Test Fixture
//===----------------------------------------------------------------------===//
+static MLIRContext &getContext() {
+ static MLIRContext ctx(false);
+ ctx.getOrLoadDialect<TestDialect>();
+ return ctx;
+}
/// Test fixture for providing basic utilities for testing.
class OpBuildGenTest : public ::testing::Test {
protected:
OpBuildGenTest()
- : ctx{}, builder(&ctx), loc(builder.getUnknownLoc()),
+ : ctx(getContext()), builder(&ctx), loc(builder.getUnknownLoc()),
i32Ty(builder.getI32Type()), f32Ty(builder.getF32Type()),
cstI32(builder.create<TableGenConstant>(loc, i32Ty)),
cstF32(builder.create<TableGenConstant>(loc, f32Ty)),
}
protected:
- MLIRContext ctx;
+ MLIRContext &ctx;
OpBuilder builder;
Location loc;
Type i32Ty;
/// Validates that test::TestStruct::classof correctly identifies a valid
/// test::TestStruct.
TEST(StructsGenTest, ClassofTrue) {
- mlir::MLIRContext context;
+ mlir::MLIRContext context(false);
auto structAttr = getTestStruct(&context);
ASSERT_TRUE(test::TestStruct::classof(structAttr));
}