LLZK 0.1.0
Veridise's ZK Language IR
Loading...
Searching...
No Matches
Public Member Functions | Protected Member Functions | List of all members
llzk::FunctionTypeConverter Class Referenceabstract

General helper for converting a FuncDefOp by changing its input and/or result types and the associated attributes for those types. More...

#include <LLZKConversionUtils.h>

Public Member Functions

virtual ~FunctionTypeConverter ()=default
 
void convert (function::FuncDefOp op, mlir::RewriterBase &rewriter)
 

Protected Member Functions

virtual llvm::SmallVector< mlir::Type > convertInputs (mlir::ArrayRef< mlir::Type > origTypes)=0
 
virtual llvm::SmallVector< mlir::Type > convertResults (mlir::ArrayRef< mlir::Type > origTypes)=0
 
virtual mlir::ArrayAttr convertInputAttrs (mlir::ArrayAttr origAttrs, llvm::SmallVector< mlir::Type > newTypes)=0
 
virtual mlir::ArrayAttr convertResultAttrs (mlir::ArrayAttr origAttrs, llvm::SmallVector< mlir::Type > newTypes)=0
 
virtual void processBlockArgs (mlir::Block &entryBlock, mlir::RewriterBase &rewriter)=0
 

Detailed Description

General helper for converting a FuncDefOp by changing its input and/or result types and the associated attributes for those types.

Definition at line 18 of file LLZKConversionUtils.h.

Constructor & Destructor Documentation

◆ ~FunctionTypeConverter()

virtual llzk::FunctionTypeConverter::~FunctionTypeConverter ( )
virtualdefault

Member Function Documentation

◆ convert()

void llzk::FunctionTypeConverter::convert ( function::FuncDefOp op,
mlir::RewriterBase & rewriter )
inline

Definition at line 34 of file LLZKConversionUtils.h.

◆ convertInputAttrs()

virtual mlir::ArrayAttr llzk::FunctionTypeConverter::convertInputAttrs ( mlir::ArrayAttr origAttrs,
llvm::SmallVector< mlir::Type > newTypes )
protectedpure virtual

◆ convertInputs()

virtual llvm::SmallVector< mlir::Type > llzk::FunctionTypeConverter::convertInputs ( mlir::ArrayRef< mlir::Type > origTypes)
protectedpure virtual

◆ convertResultAttrs()

virtual mlir::ArrayAttr llzk::FunctionTypeConverter::convertResultAttrs ( mlir::ArrayAttr origAttrs,
llvm::SmallVector< mlir::Type > newTypes )
protectedpure virtual

◆ convertResults()

virtual llvm::SmallVector< mlir::Type > llzk::FunctionTypeConverter::convertResults ( mlir::ArrayRef< mlir::Type > origTypes)
protectedpure virtual

◆ processBlockArgs()

virtual void llzk::FunctionTypeConverter::processBlockArgs ( mlir::Block & entryBlock,
mlir::RewriterBase & rewriter )
protectedpure virtual
The documentation for this class was generated from the following file: