CIRCT  19.0.0git
Classes | Namespaces | Functions
HWReductions.h File Reference
#include "circt/Reduce/Reduction.h"
Include dependency graph for HWReductions.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.


struct  circt::hw::HWReducePatternDialectInterface
 A dialect interface to provide reduction patterns to a reducer tool. More...


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


void circt::hw::registerReducePatternDialectInterface (mlir::DialectRegistry &registry)
 Register the HW Reduction pattern dialect interface to the given registry. More...