CutRewriter.cpp File Reference

#include "circt/Dialect/Synth/Transforms/CutRewriter.h"
#include "circt/Dialect/Comb/CombOps.h"
#include "circt/Dialect/HW/HWOps.h"
#include "circt/Dialect/Synth/SynthOpInterfaces.h"
#include "circt/Dialect/Synth/SynthOps.h"
#include "circt/Support/LLVM.h"
#include "circt/Support/TruthTable.h"
#include "circt/Support/UnusedOpPruner.h"
#include "mlir/Analysis/TopologicalSortUtils.h"
#include "mlir/IR/Builders.h"
#include "mlir/IR/Operation.h"
#include "mlir/IR/RegionKindInterface.h"
#include "mlir/IR/Value.h"
#include "mlir/IR/ValueRange.h"
#include "mlir/IR/Visitors.h"
#include "mlir/Support/LLVM.h"
#include "llvm/ADT/APInt.h"
#include "llvm/ADT/Bitset.h"
#include "llvm/ADT/DenseMap.h"
#include "llvm/ADT/MapVector.h"
#include "llvm/ADT/STLExtras.h"
#include "llvm/ADT/ScopeExit.h"
#include "llvm/ADT/SetVector.h"
#include "llvm/ADT/SmallVector.h"
#include "llvm/ADT/TypeSwitch.h"
#include "llvm/ADT/iterator.h"
#include "llvm/Support/Debug.h"
#include "llvm/Support/ErrorHandling.h"
#include "llvm/Support/LogicalResult.h"
#include <algorithm>
#include <functional>
#include <memory>
#include <optional>
#include <string>

Include dependency graph for CutRewriter.cpp:

Go to the source code of this file.

Macros
#define	DEBUG_TYPE   "synth-cut-rewriter"

Functions
static bool	isAlwaysCutInput (const LogicNetwork &network, uint32_t index)
static bool	compareDelayAndArea (OptimizationStrategy strategy, double newArea, ArrayRef< DelayType > newDelay, double oldArea, ArrayRef< DelayType > oldDelay)
static llvm::APInt	applyGateSemantics (LogicNetworkGate::Kind kind, const llvm::APInt &a)
	Simulate a gate and return its truth table.
static llvm::APInt	applyGateSemantics (LogicNetworkGate::Kind kind, const llvm::APInt &a, const llvm::APInt &b)
static llvm::APInt	applyGateSemantics (LogicNetworkGate::Kind kind, const llvm::APInt &a, const llvm::APInt &b, const llvm::APInt &c)
static void	removeDuplicateAndNonMinimalCuts (SmallVectorImpl< Cut * > &cuts)
static StringRef	getTestVariableName (Value value, DenseMap< OperationName, unsigned > &opCounter)
	Generate a human-readable name for a value used in test output.

Macro Definition Documentation

DEBUG_TYPE

#define DEBUG_TYPE   "synth-cut-rewriter"

Definition at line 59 of file CutRewriter.cpp.

Function Documentation

applyGateSemantics() [1/3]

llvm::APInt applyGateSemantics ( LogicNetworkGate::Kind kind, const llvm::APInt & a )

inlinestatic

Simulate a gate and return its truth table.

Definition at line 493 of file CutRewriter.cpp.

References circt::synth::LogicNetworkGate::Identity.

applyGateSemantics() [2/3]

llvm::APInt applyGateSemantics ( LogicNetworkGate::Kind kind, const llvm::APInt & a, const llvm::APInt & b )

inlinestatic

Definition at line 503 of file CutRewriter.cpp.

References circt::synth::LogicNetworkGate::And2, and circt::synth::LogicNetworkGate::Xor2.

applyGateSemantics() [3/3]

llvm::APInt applyGateSemantics ( LogicNetworkGate::Kind kind, const llvm::APInt & a, const llvm::APInt & b, const llvm::APInt & c )

inlinestatic

Definition at line 517 of file CutRewriter.cpp.

References circt::synth::LogicNetworkGate::Dot3, circt::synth::evaluateDotLogic(), circt::synth::evaluateGambleLogic(), circt::synth::evaluateMajorityLogic(), circt::synth::evaluateMuxLogic(), circt::synth::evaluateOneHotLogic(), circt::synth::LogicNetworkGate::Gamble3, circt::synth::LogicNetworkGate::Maj3, circt::synth::LogicNetworkGate::Mux3, and circt::synth::LogicNetworkGate::OneHot3.

compareDelayAndArea()

bool compareDelayAndArea ( OptimizationStrategy strategy, double newArea, ArrayRef< DelayType > newDelay, double oldArea, ArrayRef< DelayType > oldDelay )

static

Definition at line 284 of file CutRewriter.cpp.

References circt::synth::OptimizationStrategyArea, and circt::synth::OptimizationStrategyTiming.

Referenced by circt::synth::CutSet::finalize(), and circt::synth::CutRewriter::patternMatchCut().

getTestVariableName()

StringRef getTestVariableName ( Value value, DenseMap< OperationName, unsigned > & opCounter )

static

Generate a human-readable name for a value used in test output.

This function creates meaningful names for values to make debug output and test results more readable and understandable.

Definition at line 1203 of file CutRewriter.cpp.

Referenced by circt::synth::CutEnumerator::dump().

isAlwaysCutInput()

bool isAlwaysCutInput ( const LogicNetwork & network, uint32_t index )

static

Definition at line 277 of file CutRewriter.cpp.

References circt::synth::LogicNetwork::getGate(), and circt::synth::LogicNetworkGate::isAlwaysCutInput().

Referenced by circt::synth::Cut::getInputArrivalTimes(), and circt::synth::CutRewriter::runBottomUpRewrite().

removeDuplicateAndNonMinimalCuts()

void removeDuplicateAndNonMinimalCuts ( SmallVectorImpl< Cut * > & cuts )

static

Definition at line 730 of file CutRewriter.cpp.

References circt::synth::Cut::getInputSize(), and circt::synth::Cut::inputs.

Referenced by circt::synth::CutSet::finalize().