LLZK 0.1.0
Veridise's ZK Language IR
Loading...
Searching...
No Matches
SymbolHelper.cpp File Reference

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>
Include dependency graph for SymbolHelper.cpp:

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< StructDefOpllzk::verifyStructTypeResolution (SymbolTableCollection &tables, StructType ty, Operation *origin)
 
LogicalResult llzk::verifyTypeResolution (SymbolTableCollection &tables, Operation *origin, Type ty)
 

Detailed Description

This file contains the implementations for symbol helper functions.

Definition in file SymbolHelper.cpp.

Macro Definition Documentation

◆ DEBUG_TYPE

#define DEBUG_TYPE   "llzk-symbol-helpers"

Definition at line 27 of file SymbolHelper.cpp.