CutRewriter.h File Reference

#include "circt/Dialect/Synth/Transforms/SynthPasses.h"
#include "circt/Support/LLVM.h"
#include "circt/Support/NPNClass.h"
#include "mlir/IR/Operation.h"
#include "llvm/ADT/APInt.h"
#include "llvm/ADT/SetVector.h"
#include "llvm/ADT/SmallVector.h"
#include "llvm/Support/LogicalResult.h"
#include "llvm/Support/raw_ostream.h"
#include <memory>
#include <optional>

Include dependency graph for CutRewriter.h:

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

Go to the source code of this file.

Classes
class	circt::synth::MatchedPattern
	Represents a cut that has been successfully matched to a rewriting pattern. More...
class	circt::synth::Cut
	Represents a cut in the combinational logic network. More...
class	circt::synth::CutSet
	Manages a collection of cuts for a single logic node using priority cuts algorithm. More...
struct	circt::synth::CutRewriterOptions
	Configuration options for the cut-based rewriting algorithm. More...
class	circt::synth::CutEnumerator
	Cut enumeration engine for combinational logic networks. More...
struct	circt::synth::CutRewritePattern
	Base class for cut rewriting patterns used in combinational logic optimization. More...
class	circt::synth::CutRewritePatternSet
	Manages a collection of rewriting patterns for combinational logic optimization. More...
class	circt::synth::CutRewriter
	Main cut-based rewriting algorithm for combinational logic optimization. More...

Namespaces
namespace	circt
	The InstanceGraph op interface, see InstanceGraphInterface.td for more details.
namespace	circt::synth

Typedefs
using	circt::synth::DelayType = int64_t

Functions
LogicalResult	circt::synth::topologicallySortLogicNetwork (mlir::Operation *op)
FailureOr< BinaryTruthTable >	circt::synth::getTruthTable (ValueRange values, Block *block)

Variables
static constexpr unsigned	circt::synth::maxTruthTableInputs = 16
	Maximum number of inputs supported for truth table generation.