[clang] [CIR] Create CIR_TypedAttr common class (PR #136852)
Henrich Lauko via cfe-commits
cfe-commits at lists.llvm.org
Wed Apr 23 04:56:17 PDT 2025
https://github.com/xlauko created https://github.com/llvm/llvm-project/pull/136852
Introduce common base class for attributes with single type parameter.
This mirrors incubator changes introduced in https://github.com/llvm/clangir/pull/1583
>From 4dc6ea34144040e52ce5818baab39180ec257616 Mon Sep 17 00:00:00 2001
From: xlauko <xlauko at mail.muni.cz>
Date: Wed, 23 Apr 2025 13:55:54 +0200
Subject: [PATCH] [CIR] Create CIR_TypedAttr common class
Introduce common base class for attributes with single type parameter.
This mirrors incubator changes introduced in https://github.com/llvm/clangir/pull/1583
---
.../include/clang/CIR/Dialect/IR/CIRAttrs.td | 38 ++++++++-----------
1 file changed, 16 insertions(+), 22 deletions(-)
diff --git a/clang/include/clang/CIR/Dialect/IR/CIRAttrs.td b/clang/include/clang/CIR/Dialect/IR/CIRAttrs.td
index cce63c5cae608..fb3f7b1632436 100644
--- a/clang/include/clang/CIR/Dialect/IR/CIRAttrs.td
+++ b/clang/include/clang/CIR/Dialect/IR/CIRAttrs.td
@@ -27,6 +27,20 @@ class CIR_Attr<string name, string attrMnemonic, list<Trait> traits = []>
let mnemonic = attrMnemonic;
}
+class CIR_TypedAttr<string name, string attrMnemonic, list<Trait> traits = []>
+ : CIR_Attr<name, attrMnemonic, !listconcat(traits, [TypedAttrInterface])> {
+
+ let parameters = (ins AttributeSelfTypeParameter<"">:$type);
+
+ let builders = [
+ AttrBuilderWithInferredContext<(ins "mlir::Type":$type), [{
+ return $_get(type.getContext(), type);
+ }]>
+ ];
+
+ let assemblyFormat = [{}];
+}
+
class CIRUnitAttr<string name, string attrMnemonic, list<Trait> traits = []>
: CIR_Attr<name, attrMnemonic, traits> {
let returnType = "bool";
@@ -64,43 +78,23 @@ def CIR_BoolAttr : CIR_Attr<"Bool", "bool", [TypedAttrInterface]> {
// ZeroAttr
//===----------------------------------------------------------------------===//
-def ZeroAttr : CIR_Attr<"Zero", "zero", [TypedAttrInterface]> {
+def ZeroAttr : CIR_TypedAttr<"Zero", "zero"> {
let summary = "Attribute to represent zero initialization";
let description = [{
The ZeroAttr is used to indicate zero initialization on structs.
}];
-
- let parameters = (ins AttributeSelfTypeParameter<"">:$type);
-
- let builders = [
- AttrBuilderWithInferredContext<(ins "mlir::Type":$type), [{
- return $_get(type.getContext(), type);
- }]>
- ];
-
- let assemblyFormat = [{}];
}
//===----------------------------------------------------------------------===//
// UndefAttr
//===----------------------------------------------------------------------===//
-def UndefAttr : CIR_Attr<"Undef", "undef", [TypedAttrInterface]> {
+def UndefAttr : CIR_TypedAttr<"Undef", "undef"> {
let summary = "Represent an undef constant";
let description = [{
The UndefAttr represents an undef constant, corresponding to LLVM's notion
of undef.
}];
-
- let parameters = (ins AttributeSelfTypeParameter<"">:$type);
-
- let builders = [
- AttrBuilderWithInferredContext<(ins "mlir::Type":$type), [{
- return $_get(type.getContext(), type);
- }]>
- ];
-
- let assemblyFormat = [{}];
}
//===----------------------------------------------------------------------===//
More information about the cfe-commits
mailing list