13#ifndef CIRCT_TOOLS_CIRCT_LEC_PASSES_H
14#define CIRCT_TOOLS_CIRCT_LEC_PASSES_H
16#include "mlir/Pass/Pass.h"
34#define GEN_PASS_DECL_CONSTRUCTLEC
35#define GEN_PASS_REGISTRATION
36#include "circt/Tools/circt-lec/Passes.h.inc"
@ None
Don't insert any LLVM code.
@ Main
Insert a main function for AOT compilation.
@ Reporting
Insert LLVM code to report the LEC result from an SMT solver.
The InstanceGraph op interface, see InstanceGraphInterface.td for more details.