9#ifdef GET_ATTRDEF_CLASSES
10#undef GET_ATTRDEF_CLASSES
20class PublicAttr :
public ::mlir::Attribute::AttrBase<PublicAttr, ::mlir::Attribute, ::mlir::AttributeStorage> {
23 static constexpr ::llvm::StringLiteral name =
"llzk.pub";
24 static constexpr ::llvm::StringLiteral getMnemonic() {
30struct LoopBoundsAttrStorage;
32class LoopBoundsAttr :
public ::mlir::Attribute::AttrBase<LoopBoundsAttr, ::mlir::Attribute, detail::LoopBoundsAttrStorage> {
35 static constexpr ::llvm::StringLiteral name =
"llzk.loopbounds";
36 static LoopBoundsAttr get(::mlir::MLIRContext *context, ::llvm::APInt lower, ::llvm::APInt upper, ::llvm::APInt step);
37 static constexpr ::llvm::StringLiteral getMnemonic() {
38 return {
"loopbounds"};
41 static ::mlir::Attribute parse(::mlir::AsmParser &odsParser, ::mlir::Type odsType);
42 void print(::mlir::AsmPrinter &odsPrinter)
const;
43 ::llvm::APInt getLower()
const;
44 ::llvm::APInt getUpper()
const;
45 ::llvm::APInt getStep()
const;
48MLIR_DECLARE_EXPLICIT_TYPE_ID(::llzk::PublicAttr)
49MLIR_DECLARE_EXPLICIT_TYPE_ID(::llzk::LoopBoundsAttr)