Passes.h File Reference

#include "circt/Dialect/HW/HWOpInterfaces.h"
#include "mlir/IR/BuiltinOps.h"
#include "mlir/Pass/Pass.h"
#include <limits>
#include "circt/Transforms/Passes.h.inc"

Include dependency graph for Passes.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	circt::SSAMaximizationStrategy
	Strategy class to control the behavior of SSA maximization. More...

Namespaces
	circt
	This file defines an intermediate representation for circuits acting as an abstraction for constraints defined over an SMT's solver context.

Macros
#define	GEN_PASS_REGISTRATION
	Generate the code for registering passes. More...

Functions
std::unique_ptr< mlir::Pass >	circt::createMapArithToCombPass ()
std::unique_ptr< mlir::Pass >	circt::createFlattenMemRefPass ()
std::unique_ptr< mlir::Pass >	circt::createFlattenMemRefCallsPass ()
std::unique_ptr< mlir::Pass >	circt::createStripDebugInfoWithPredPass (const std::function< bool(mlir::Location)> &pred)
	Creates a pass to strip debug information from a function. More...
std::unique_ptr< mlir::Pass >	circt::createMaximizeSSAPass ()
std::unique_ptr< mlir::Pass >	circt::createInsertMergeBlocksPass ()
bool	circt::isUniDimensional (mlir::MemRefType memref)
bool	circt::isRegionSSAMaximized (Region &region)
LogicalResult	circt::maximizeSSA (Value value, PatternRewriter &rewriter)
	Converts a single value within a function into maximal SSA form. More...
LogicalResult	circt::maximizeSSA (Operation *op, SSAMaximizationStrategy &strategy, PatternRewriter &rewriter)
	Considers all of an operation's results for SSA maximization, following a provided strategy. More...
LogicalResult	circt::maximizeSSA (Block *block, SSAMaximizationStrategy &strategy, PatternRewriter &rewriter)
	Considers all values defined by a block (i.e., block arguments and operation results within the block) for SSA maximization, following a provided strategy. More...
LogicalResult	circt::maximizeSSA (Region &region, SSAMaximizationStrategy &strategy, PatternRewriter &rewriter)
	Considers all blocks within a region for SSA maximization, following a provided strategy. More...
mlir::LogicalResult	circt::insertMergeBlocks (mlir::Region &r, mlir::ConversionPatternRewriter &rewriter)
	Insert additional blocks that serve as counterparts to the blocks that diverged the control flow. More...

Macro Definition Documentation

GEN_PASS_REGISTRATION

#define GEN_PASS_REGISTRATION

Generate the code for registering passes.

Definition at line 115 of file Passes.h.