|
LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
#include "llzk/Util/DynamicAPIntHelper.h"#include "llzk/Util/StreamHelper.h"#include <mlir/IR/DialectImplementation.h>#include <llvm/ADT/APInt.h>#include <llvm/ADT/Hashing.h>#include <utility>Go to the source code of this file.
Classes | |
| struct | mlir::FieldParser< llvm::APInt > |
| class | llzk::DynamicAPIntValue |
| Attribute storage adapter providing numeric hashing for DynamicAPInt. More... | |
Namespaces | |
| namespace | llzk |
Functions | |
| mlir::FailureOr< DynamicAPIntValue > | llzk::parseDynamicAPIntValue (mlir::AsmParser &parser) |
| Parse MLIR's signed integer literal and discard its encoding width. | |
| llvm::DynamicAPInt | llzk::integerAttrToDynamicAPInt (mlir::IntegerAttr attr) |
| Decode an MLIR integer using its signedness; signless i1 denotes a boolean. | |
| int64_t | llzk::fromAPInt (const llvm::APInt &i) |
| Extract a verified MLIR index value; malformed internal IR is a fatal error. | |
| bool | llzk::isNullOrEmpty (mlir::ArrayAttr a) |
| bool | llzk::isNullOrEmpty (mlir::DenseArrayAttr a) |
| bool | llzk::isNullOrEmpty (mlir::DictionaryAttr a) |
| void | llzk::appendWithoutType (mlir::raw_ostream &os, mlir::Attribute a) |
| std::string | llzk::stringWithoutType (mlir::Attribute a) |
| void | llzk::printAttrs (mlir::AsmPrinter &printer, mlir::ArrayRef< mlir::Attribute > attrs, const mlir::StringRef &separator) |