|
LLZK 0.1.0
Veridise's ZK Language IR
|
#include "llzk/Dialect/Array/IR/Types.h"#include "llzk/Dialect/Function/IR/Ops.h"#include "llzk/Dialect/LLZK/IR/AttributeHelper.h"#include "llzk/Dialect/Struct/IR/Ops.h"#include "llzk/Util/AffineHelper.h"#include "llzk/Util/Constants.h"#include "llzk/Util/StreamHelper.h"#include "llzk/Util/SymbolHelper.h"#include <mlir/IR/IRMapping.h>#include <mlir/IR/OpImplementation.h>#include <llvm/ADT/MapVector.h>#include <llvm/ADT/STLExtras.h>#include <llvm/ADT/StringSet.h>#include <optional>#include "llzk/Dialect/Struct/IR/OpInterfaces.cpp.inc"#include "llzk/Dialect/Struct/IR/Ops.cpp.inc"Go to the source code of this file.
Namespaces | |
| namespace | llzk |
| namespace | llzk::component |
Macros | |
| #define | GET_OP_CLASSES |
Functions | |
| bool | llzk::component::isInStruct (Operation *op) |
| FailureOr< StructDefOp > | llzk::component::verifyInStruct (Operation *op) |
| bool | llzk::component::isInStructFunctionNamed (Operation *op, char const *funcName) |
| InFlightDiagnostic | llzk::component::genCompareErr (StructDefOp expected, Operation *origin, const char *aspect) |
| LogicalResult | llzk::component::checkSelfType (SymbolTableCollection &tables, StructDefOp expectedStruct, Type actualType, Operation *origin, const char *aspect) |
| Verifies that the given actualType matches the StructDefOp given (i.e., for the "self" type parameter and return of the struct functions). | |