#include "circt/Support/LLVM.h"#include "circt/Support/Namespace.h"#include "mlir/Dialect/LLVMIR/LLVMDialect.h"#include "llvm/ADT/StringRef.h"#include <memory>#include "circt/Conversion/Passes.h.inc"
Include dependency graph for SMTToZ3LLVM.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Classes | |
| struct | circt::SMTGlobalsHandler |
| A symbol cache for LLVM globals and functions relevant to SMT lowering patterns. More... | |
Namespaces | |
| circt | |
| The InstanceGraph op interface, see InstanceGraphInterface.td for more details. | |
Macros | |
| #define | GEN_PASS_DECL_LOWERSMTTOZ3LLVM |
Functions | |
| void | circt::populateSMTToZ3LLVMTypeConverter (TypeConverter &converter) |
| Populate the given type converter with the SMT to LLVM type conversions. More... | |
| void | circt::populateSMTToZ3LLVMConversionPatterns (RewritePatternSet &patterns, TypeConverter &converter, SMTGlobalsHandler &globals, const LowerSMTToZ3LLVMOptions &options) |
| Add the SMT to LLVM IR conversion patterns to 'patterns'. More... | |
Macro Definition Documentation
◆ GEN_PASS_DECL_LOWERSMTTOZ3LLVM
| #define GEN_PASS_DECL_LOWERSMTTOZ3LLVM |
Definition at line 20 of file SMTToZ3LLVM.h.
