LLZK 0.1.0
Veridise's ZK Language IR
Loading...
Searching...
No Matches
Attrs.h.inc
Go to the documentation of this file.
1/*===- TableGen'erated file -------------------------------------*- C++ -*-===*\
2|* *|
3|* AttrDef Declarations *|
4|* *|
5|* Automatically generated file, do not edit! *|
6|* *|
7\*===----------------------------------------------------------------------===*/
8
9#ifdef GET_ATTRDEF_CLASSES
10#undef GET_ATTRDEF_CLASSES
11
12
13namespace mlir {
14class AsmParser;
15class AsmPrinter;
16} // namespace mlir
17namespace llzk {
18namespace felt {
19class FeltConstAttr;
20namespace detail {
21struct FeltConstAttrStorage;
22} // namespace detail
23class FeltConstAttr : public ::mlir::Attribute::AttrBase<FeltConstAttr, ::mlir::Attribute, detail::FeltConstAttrStorage, ::mlir::TypedAttr::Trait> {
24public:
25 using Base::Base;
26 ::mlir::Type getType() const;
27 static constexpr ::llvm::StringLiteral name = "felt.const";
28 static constexpr ::llvm::StringLiteral dialectName = "felt";
29 static FeltConstAttr get(::mlir::MLIRContext *context, ::llvm::APInt value);
30 static FeltConstAttr get(::mlir::MLIRContext *context, unsigned numBits, ::llvm::StringRef str);
31 static FeltConstAttr get(::mlir::MLIRContext *context, unsigned numBits, ::llvm::ArrayRef<uint64_t> parts);
32 static constexpr ::llvm::StringLiteral getMnemonic() {
33 return {"const"};
34 }
35
36 static ::mlir::Attribute parse(::mlir::AsmParser &odsParser, ::mlir::Type odsType);
37 void print(::mlir::AsmPrinter &odsPrinter) const;
38 ::llvm::APInt getValue() const;
39};
40} // namespace felt
41} // namespace llzk
42MLIR_DECLARE_EXPLICIT_TYPE_ID(::llzk::felt::FeltConstAttr)
43
44#endif // GET_ATTRDEF_CLASSES
45
MlirStringRef name
Definition Poly.cpp:48