|
LLZK 0.1.0
Veridise's ZK Language IR
|
#include "llzk/Dialect/Function/IR/Ops.h"#include <mlir/IR/Builders.h>#include <mlir/IR/MLIRContext.h>#include <llvm/ADT/DenseMap.h>#include <llvm/ADT/DenseSet.h>#include <deque>#include <unordered_map>Go to the source code of this file.
Classes | |
| class | llzk::ModuleBuilder |
| Builds out a LLZK-compliant module and provides utilities for populating that module. More... | |
Namespaces | |
| namespace | llzk |
Functions | |
| mlir::Location | llzk::getUnknownLoc (mlir::MLIRContext *context) |
| mlir::OwningOpRef< mlir::ModuleOp > | llzk::createLLZKModule (mlir::MLIRContext *context, mlir::Location loc) |
| mlir::OwningOpRef< mlir::ModuleOp > | llzk::createLLZKModule (mlir::MLIRContext *context) |
| void | llzk::addLangAttrForLLZKDialect (mlir::ModuleOp mod) |