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/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/StringSet.h>
#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. | |