forked from OSchip/llvm-project
[mlir] Split dialect definition constructs out of OpBase into DialectBase
OpBase is currently extremely overbloated with constructs. This commit continues the current process of cleaning this up, by splitting out dialect definition constructs. This maps the ODS side more closely to the C++ side. Differential Revision: https://reviews.llvm.org/D123257
This commit is contained in:
River Riddle
parent
0c13d97e2b
commit
a19fe7b640
|
|
@ -0,0 +1,99 @@
|
|||
//===-- DialectBase.td - Base Dialect definition file ------*- tablegen -*-===//
|
||||
//
|
||||
// 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 contains the base set of constructs for defining Dialect classes.
|
||||
//
|
||||
//===----------------------------------------------------------------------===//
|
||||
|
||||
#ifndef DIALECTBASE_TD
|
||||
#define DIALECTBASE_TD
|
||||
|
||||
//===----------------------------------------------------------------------===//
|
||||
// Dialect definitions
|
||||
//===----------------------------------------------------------------------===//
|
||||
|
||||
// "Enum" values for emitAccessorPrefix of Dialect.
|
||||
defvar kEmitAccessorPrefix_Raw = 0; // Don't emit any getter/setter prefix.
|
||||
defvar kEmitAccessorPrefix_Prefixed = 1; // Only emit with getter/setter prefix.
|
||||
defvar kEmitAccessorPrefix_Both = 2; // Emit without and with prefix.
|
||||
|
||||
class Dialect {
|
||||
// The name of the dialect.
|
||||
string name = ?;
|
||||
|
||||
// Short summary of the dialect.
|
||||
string summary = ?;
|
||||
|
||||
// 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 involve 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
|
||||
// placing in any namespace, use "". To specify nested namespaces, use "::"
|
||||
// as the delimiter, e.g., given "A::B", ops will be placed in
|
||||
// `namespace A { namespace B { <ops> } }`.
|
||||
//
|
||||
// Note that this works in conjunction with dialect C++ code. Depending on how
|
||||
// the generated files are included into the dialect, you may want to specify
|
||||
// a full namespace path or a partial one.
|
||||
string cppNamespace = name;
|
||||
|
||||
// An optional code block containing extra declarations to place in the
|
||||
// dialect declaration.
|
||||
code extraClassDeclaration = "";
|
||||
|
||||
// If this dialect overrides the hook for materializing constants.
|
||||
bit hasConstantMaterializer = 0;
|
||||
|
||||
/// If the dialect definition provides a non-default destructor.
|
||||
/// If false, a default destructor implementation will be generated.
|
||||
bit hasNonDefaultDestructor = 0;
|
||||
|
||||
// If this dialect overrides the hook for verifying operation attributes.
|
||||
bit hasOperationAttrVerify = 0;
|
||||
|
||||
// If this dialect overrides the hook for verifying region argument
|
||||
// attributes.
|
||||
bit hasRegionArgAttrVerify = 0;
|
||||
|
||||
// If this dialect overrides the hook for verifying region result attributes.
|
||||
bit hasRegionResultAttrVerify = 0;
|
||||
|
||||
// If this dialect overrides the hook for op interface fallback.
|
||||
bit hasOperationInterfaceFallback = 0;
|
||||
|
||||
// If this dialect should use default generated attribute parser boilerplate:
|
||||
// it'll dispatch the parsing to every individual attributes directly.
|
||||
bit useDefaultAttributePrinterParser = 1;
|
||||
|
||||
// If this dialect should use default generated type parser boilerplate:
|
||||
// it'll dispatch the parsing to every individual types directly.
|
||||
bit useDefaultTypePrinterParser = 1;
|
||||
|
||||
// If this dialect overrides the hook for canonicalization patterns.
|
||||
bit hasCanonicalizer = 0;
|
||||
|
||||
// Whether to emit raw/with no prefix or format changes, or emit with
|
||||
// accessor with prefix only and UpperCamel suffix or to emit accessors with
|
||||
// both.
|
||||
//
|
||||
// If emitting with prefix is specified then the attribute/operand's
|
||||
// name is converted to UpperCamel from snake_case (which would result in
|
||||
// leaving UpperCamel unchanged while also converting lowerCamel to
|
||||
// UpperCamel) and prefixed with `get` or `set` depending on if it is a getter
|
||||
// or setter.
|
||||
int emitAccessorPrefix = kEmitAccessorPrefix_Raw;
|
||||
}
|
||||
|
||||
#endif // DIALECTBASE_TD
|
||||
|
|
@ -13,6 +13,8 @@
|
|||
#ifndef OP_BASE
|
||||
#define OP_BASE
|
||||
|
||||
include "mlir/IR/DialectBase.td"
|
||||
|
||||
//===----------------------------------------------------------------------===//
|
||||
// Common utilities for defining TableGen mechanisms
|
||||
//===----------------------------------------------------------------------===//
|
||||
|
|
@ -258,89 +260,6 @@ def HasStaticShapePred :
|
|||
// Whether a type is a TupleType.
|
||||
def IsTupleTypePred : CPred<"$_self.isa<::mlir::TupleType>()">;
|
||||
|
||||
//===----------------------------------------------------------------------===//
|
||||
// Dialect definitions
|
||||
//===----------------------------------------------------------------------===//
|
||||
|
||||
// "Enum" values for emitAccessorPrefix of Dialect.
|
||||
defvar kEmitAccessorPrefix_Raw = 0; // Don't emit any getter/setter prefix.
|
||||
defvar kEmitAccessorPrefix_Prefixed = 1; // Only emit with getter/setter prefix.
|
||||
defvar kEmitAccessorPrefix_Both = 2; // Emit without and with prefix.
|
||||
|
||||
class Dialect {
|
||||
// The name of the dialect.
|
||||
string name = ?;
|
||||
|
||||
// Short summary of the dialect.
|
||||
string summary = ?;
|
||||
|
||||
// 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 involve 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
|
||||
// placing in any namespace, use "". To specify nested namespaces, use "::"
|
||||
// as the delimiter, e.g., given "A::B", ops will be placed in
|
||||
// `namespace A { namespace B { <ops> } }`.
|
||||
//
|
||||
// Note that this works in conjunction with dialect C++ code. Depending on how
|
||||
// the generated files are included into the dialect, you may want to specify
|
||||
// a full namespace path or a partial one.
|
||||
string cppNamespace = name;
|
||||
|
||||
// An optional code block containing extra declarations to place in the
|
||||
// dialect declaration.
|
||||
code extraClassDeclaration = "";
|
||||
|
||||
// If this dialect overrides the hook for materializing constants.
|
||||
bit hasConstantMaterializer = 0;
|
||||
|
||||
/// If the dialect definition provides a non-default destructor.
|
||||
/// If false, a default destructor implementation will be generated.
|
||||
bit hasNonDefaultDestructor = 0;
|
||||
|
||||
// If this dialect overrides the hook for verifying operation attributes.
|
||||
bit hasOperationAttrVerify = 0;
|
||||
|
||||
// If this dialect overrides the hook for verifying region argument
|
||||
// attributes.
|
||||
bit hasRegionArgAttrVerify = 0;
|
||||
|
||||
// If this dialect overrides the hook for verifying region result attributes.
|
||||
bit hasRegionResultAttrVerify = 0;
|
||||
|
||||
// If this dialect overrides the hook for op interface fallback.
|
||||
bit hasOperationInterfaceFallback = 0;
|
||||
|
||||
// If this dialect should use default generated attribute parser boilerplate:
|
||||
// it'll dispatch the parsing to every individual attributes directly.
|
||||
bit useDefaultAttributePrinterParser = 1;
|
||||
|
||||
// If this dialect should use default generated type parser boilerplate:
|
||||
// it'll dispatch the parsing to every individual types directly.
|
||||
bit useDefaultTypePrinterParser = 1;
|
||||
|
||||
// If this dialect overrides the hook for canonicalization patterns.
|
||||
bit hasCanonicalizer = 0;
|
||||
|
||||
// Whether to emit raw/with no prefix or format changes, or emit with
|
||||
// accessor with prefix only and UpperCamel suffix or to emit accessors with
|
||||
// both.
|
||||
//
|
||||
// If emitting with prefix is specified then the attribute/operand's
|
||||
// name is converted to UpperCamel from snake_case (which would result in
|
||||
// leaving UpperCamel unchanged while also converting lowerCamel to
|
||||
// UpperCamel) and prefixed with `get` or `set` depending on if it is a getter
|
||||
// or setter.
|
||||
int emitAccessorPrefix = kEmitAccessorPrefix_Raw;
|
||||
}
|
||||
|
||||
//===----------------------------------------------------------------------===//
|
||||
// Type definitions
|
||||
//===----------------------------------------------------------------------===//
|
||||
|
|
|
|||
Loading…
Reference in New Issue