LLZK 0.1.0
Veridise's ZK Language IR
|
This file contains the implementations for symbol helper functions. More...
#include "llzk/Dialect/Array/IR/Ops.h"
#include "llzk/Dialect/Function/IR/Ops.h"
#include "llzk/Dialect/Global/IR/Ops.h"
#include "llzk/Dialect/Polymorphic/IR/Types.h"
#include "llzk/Util/SymbolHelper.h"
#include "llzk/Util/SymbolLookup.h"
#include <mlir/IR/BuiltinOps.h>
#include <mlir/IR/Operation.h>
#include <llvm/Support/Debug.h>
Go to the source code of this file.
Namespaces | |
namespace | llzk |
Macros | |
#define | DEBUG_TYPE "llzk-symbol-helpers" |
Functions | |
llvm::SmallVector< StringRef > | llzk::getNames (SymbolRefAttr ref) |
llvm::SmallVector< FlatSymbolRefAttr > | llzk::getPieces (SymbolRefAttr ref) |
SymbolRefAttr | llzk::replaceLeaf (SymbolRefAttr orig, FlatSymbolRefAttr newLeaf) |
SymbolRefAttr | llzk::appendLeaf (SymbolRefAttr orig, FlatSymbolRefAttr newLeaf) |
SymbolRefAttr | llzk::appendLeafName (SymbolRefAttr orig, const Twine &newLeafSuffix) |
FailureOr< ModuleOp > | llzk::getRootModule (Operation *from) |
FailureOr< SymbolRefAttr > | llzk::getPathFromRoot (StructDefOp &to) |
FailureOr< SymbolRefAttr > | llzk::getPathFromRoot (FuncDefOp &to) |
FailureOr< ModuleOp > | llzk::getTopRootModule (Operation *from) |
FailureOr< SymbolRefAttr > | llzk::getPathFromTopRoot (StructDefOp &to) |
FailureOr< SymbolRefAttr > | llzk::getPathFromTopRoot (FuncDefOp &to) |
bool | llzk::hasUsesWithin (Operation *symbol, Operation *from) |
LogicalResult | llzk::verifyParamOfType (SymbolTableCollection &tables, SymbolRefAttr param, Type parameterizedType, Operation *origin) |
LogicalResult | llzk::verifyParamsOfType (SymbolTableCollection &tables, ArrayRef< Attribute > tyParams, Type parameterizedType, Operation *origin) |
FailureOr< StructDefOp > | llzk::verifyStructTypeResolution (SymbolTableCollection &tables, StructType ty, Operation *origin) |
LogicalResult | llzk::verifyTypeResolution (SymbolTableCollection &tables, Operation *origin, Type ty) |
This file contains the implementations for symbol helper functions.
Definition in file SymbolHelper.cpp.
#define DEBUG_TYPE "llzk-symbol-helpers" |
Definition at line 27 of file SymbolHelper.cpp.