Loading [MathJax]/extensions/tex2jax.js
CIRCT 21.0.0git
All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
Passes.h
Go to the documentation of this file.
1//===- Passes.h - Pass Entrypoints ------------------------------*- 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// This header file defines prototypes for CIRCT LEC transformation passes.
10//
11//===----------------------------------------------------------------------===//
12
13#ifndef CIRCT_TOOLS_CIRCT_LEC_PASSES_H
14#define CIRCT_TOOLS_CIRCT_LEC_PASSES_H
15
16#include "mlir/Pass/Pass.h"
17
18namespace circt {
19
20namespace lec {
22 /// Don't insert any LLVM code.
23 None,
24
25 /// Insert LLVM code to report the LEC result from an SMT solver.
27
28 /// Insert a main function for AOT compilation.
29 Main,
30};
31}
32
33/// Generate the code for registering passes.
34#define GEN_PASS_DECL_CONSTRUCTLEC
35#define GEN_PASS_REGISTRATION
36#include "circt/Tools/circt-lec/Passes.h.inc"
37
38} // namespace circt
39
40#endif // CIRCT_TOOLS_CIRCT_LEC_PASSES_H
InsertAdditionalModeEnum
Definition Passes.h:21
@ 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.