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) |