CIRCT  20.0.0git
CombToSMT.h
Go to the documentation of this file.
1 //===- CombToSMT.h - Comb to SMT dialect conversion ---------*- C++ -*-===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8 
9 #ifndef CIRCT_CONVERSION_COMBTOSMT_H
10 #define CIRCT_CONVERSION_COMBTOSMT_H
11 
12 #include "circt/Support/LLVM.h"
13 #include <memory>
14 
15 namespace circt {
16 
17 /// Get the HW to SMT conversion patterns.
18 void populateCombToSMTConversionPatterns(TypeConverter &converter,
19  RewritePatternSet &patterns);
20 
21 #define GEN_PASS_DECL_CONVERTCOMBTOSMT
22 #include "circt/Conversion/Passes.h.inc"
23 
24 } // namespace circt
25 
26 #endif // CIRCT_CONVERSION_COMBTOSMT_H
The InstanceGraph op interface, see InstanceGraphInterface.td for more details.
Definition: DebugAnalysis.h:21
void populateCombToSMTConversionPatterns(TypeConverter &converter, RewritePatternSet &patterns)
Get the HW to SMT conversion patterns.
Definition: CombToSMT.cpp:261