b919d62eae
In this PR, I added a C API for each (upstream) MLIR type to retrieve
its type name (for example, `IntegerType` -> `mlirIntegerTypeGetName()`
-> `"builtin.integer"`), and exposed a corresponding `type_name` class
attribute in the Python bindings (e.g., `IntegerType.type_name` ->
`"builtin.integer"`). This can be used in various places to avoid
hard-coded strings, such as eliminating the manual string in
`irdl.base("!builtin.integer")`.
Note that parts of this PR (mainly mechanical changes) were produced via
GitHub Copilot and GPT-5.2. I have manually reviewed the changes and
verified them with tests to ensure correctness.
129 lines
4.1 KiB
C++
129 lines
4.1 KiB
C++
//===- Transform.cpp - C Interface for Transform dialect ------------------===//
|
|
//
|
|
// 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
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#include "mlir-c/Dialect/Transform.h"
|
|
#include "mlir-c/Support.h"
|
|
#include "mlir/CAPI/Registration.h"
|
|
#include "mlir/Dialect/Transform/IR/TransformDialect.h"
|
|
#include "mlir/Dialect/Transform/IR/TransformTypes.h"
|
|
|
|
using namespace mlir;
|
|
|
|
MLIR_DEFINE_CAPI_DIALECT_REGISTRATION(Transform, transform,
|
|
transform::TransformDialect)
|
|
|
|
//===---------------------------------------------------------------------===//
|
|
// AnyOpType
|
|
//===---------------------------------------------------------------------===//
|
|
|
|
bool mlirTypeIsATransformAnyOpType(MlirType type) {
|
|
return isa<transform::AnyOpType>(unwrap(type));
|
|
}
|
|
|
|
MlirTypeID mlirTransformAnyOpTypeGetTypeID(void) {
|
|
return wrap(transform::AnyOpType::getTypeID());
|
|
}
|
|
|
|
MlirType mlirTransformAnyOpTypeGet(MlirContext ctx) {
|
|
return wrap(transform::AnyOpType::get(unwrap(ctx)));
|
|
}
|
|
|
|
MlirStringRef mlirTransformAnyOpTypeGetName(void) {
|
|
return wrap(transform::AnyOpType::name);
|
|
}
|
|
|
|
//===---------------------------------------------------------------------===//
|
|
// AnyParamType
|
|
//===---------------------------------------------------------------------===//
|
|
|
|
bool mlirTypeIsATransformAnyParamType(MlirType type) {
|
|
return isa<transform::AnyParamType>(unwrap(type));
|
|
}
|
|
|
|
MlirTypeID mlirTransformAnyParamTypeGetTypeID(void) {
|
|
return wrap(transform::AnyParamType::getTypeID());
|
|
}
|
|
|
|
MlirType mlirTransformAnyParamTypeGet(MlirContext ctx) {
|
|
return wrap(transform::AnyParamType::get(unwrap(ctx)));
|
|
}
|
|
|
|
MlirStringRef mlirTransformAnyParamTypeGetName(void) {
|
|
return wrap(transform::AnyParamType::name);
|
|
}
|
|
|
|
//===---------------------------------------------------------------------===//
|
|
// AnyValueType
|
|
//===---------------------------------------------------------------------===//
|
|
|
|
bool mlirTypeIsATransformAnyValueType(MlirType type) {
|
|
return isa<transform::AnyValueType>(unwrap(type));
|
|
}
|
|
|
|
MlirTypeID mlirTransformAnyValueTypeGetTypeID(void) {
|
|
return wrap(transform::AnyValueType::getTypeID());
|
|
}
|
|
|
|
MlirType mlirTransformAnyValueTypeGet(MlirContext ctx) {
|
|
return wrap(transform::AnyValueType::get(unwrap(ctx)));
|
|
}
|
|
|
|
MlirStringRef mlirTransformAnyValueTypeGetName(void) {
|
|
return wrap(transform::AnyValueType::name);
|
|
}
|
|
|
|
//===---------------------------------------------------------------------===//
|
|
// OperationType
|
|
//===---------------------------------------------------------------------===//
|
|
|
|
bool mlirTypeIsATransformOperationType(MlirType type) {
|
|
return isa<transform::OperationType>(unwrap(type));
|
|
}
|
|
|
|
MlirTypeID mlirTransformOperationTypeGetTypeID(void) {
|
|
return wrap(transform::OperationType::getTypeID());
|
|
}
|
|
|
|
MlirType mlirTransformOperationTypeGet(MlirContext ctx,
|
|
MlirStringRef operationName) {
|
|
return wrap(
|
|
transform::OperationType::get(unwrap(ctx), unwrap(operationName)));
|
|
}
|
|
|
|
MlirStringRef mlirTransformOperationTypeGetName(void) {
|
|
return wrap(transform::OperationType::name);
|
|
}
|
|
|
|
MlirStringRef mlirTransformOperationTypeGetOperationName(MlirType type) {
|
|
return wrap(cast<transform::OperationType>(unwrap(type)).getOperationName());
|
|
}
|
|
|
|
//===---------------------------------------------------------------------===//
|
|
// ParamType
|
|
//===---------------------------------------------------------------------===//
|
|
|
|
bool mlirTypeIsATransformParamType(MlirType type) {
|
|
return isa<transform::ParamType>(unwrap(type));
|
|
}
|
|
|
|
MlirTypeID mlirTransformParamTypeGetTypeID(void) {
|
|
return wrap(transform::ParamType::getTypeID());
|
|
}
|
|
|
|
MlirType mlirTransformParamTypeGet(MlirContext ctx, MlirType type) {
|
|
return wrap(transform::ParamType::get(unwrap(ctx), unwrap(type)));
|
|
}
|
|
|
|
MlirStringRef mlirTransformParamTypeGetName(void) {
|
|
return wrap(transform::ParamType::name);
|
|
}
|
|
|
|
MlirType mlirTransformParamTypeGetType(MlirType type) {
|
|
return wrap(cast<transform::ParamType>(unwrap(type)).getType());
|
|
}
|