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

Go to the source code of this file.


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


void circt::populateGenericReducePatterns (MLIRContext *context, ReducePatternSet &patterns)
 Populate reduction patterns that are not specific to certain operations or dialects. More...