LLZK 0.1.0
Veridise's ZK Language IR
Loading...
Searching...
No Matches
Ops.cpp File Reference
#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"
Include dependency graph for Ops.cpp:

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< StructDefOpllzk::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.
 

Macro Definition Documentation

◆ GET_OP_CLASSES

#define GET_OP_CLASSES

Definition at line 28 of file Ops.cpp.