9 #ifndef CIRCT_CONVERSION_COMBTOSMT_H
10 #define CIRCT_CONVERSION_COMBTOSMT_H
21 #define GEN_PASS_DECL_CONVERTCOMBTOSMT
22 #include "circt/Conversion/Passes.h.inc"
The InstanceGraph op interface, see InstanceGraphInterface.td for more details.
void populateCombToSMTConversionPatterns(TypeConverter &converter, RewritePatternSet &patterns)
Get the HW to SMT conversion patterns.