#include "circt/Dialect/Comb/CombOps.h"#include "circt/Dialect/HW/HWOps.h"#include "circt/Dialect/Synth/SynthOps.h"#include "circt/Dialect/Synth/Transforms/CutRewriter.h"#include "circt/Dialect/Synth/Transforms/SynthPasses.h"#include "mlir/IR/Attributes.h"#include "mlir/IR/Builders.h"#include "mlir/IR/BuiltinOps.h"#include "mlir/IR/PatternMatch.h"#include "mlir/Pass/Pass.h"#include "mlir/Support/LogicalResult.h"#include "llvm/ADT/APInt.h"#include "llvm/ADT/ArrayRef.h"#include "llvm/ADT/DenseMap.h"#include "llvm/ADT/MapVector.h"#include "llvm/ADT/SmallVector.h"#include "llvm/ADT/StringRef.h"#include "llvm/ADT/TypeSwitch.h"#include "llvm/Support/Debug.h"#include <random>#include "circt/Dialect/Synth/Transforms/SynthPasses.h.inc"
Include dependency graph for FunctionalReduction.cpp:
Go to the source code of this file.
Namespaces | |
| namespace | circt |
| The InstanceGraph op interface, see InstanceGraphInterface.td for more details. | |
| namespace | circt::synth |
Macros | |
| #define | DEBUG_TYPE "synth-functional-reduction" |
| #define | GEN_PASS_DEF_FUNCTIONALREDUCTION |
Variables | |
| static constexpr llvm::StringLiteral | kTestClassAttrName |
Macro Definition Documentation
◆ DEBUG_TYPE
| #define DEBUG_TYPE "synth-functional-reduction" |
Definition at line 37 of file FunctionalReduction.cpp.
◆ GEN_PASS_DEF_FUNCTIONALREDUCTION
| #define GEN_PASS_DEF_FUNCTIONALREDUCTION |
Definition at line 44 of file FunctionalReduction.cpp.
Variable Documentation
◆ kTestClassAttrName
|
staticconstexpr |
Initial value:
=
"synth.test.fc_equiv_class"
Definition at line 39 of file FunctionalReduction.cpp.
