Passes.h File Reference

#include "mlir/Pass/Pass.h"
#include "circt/Tools/circt-bmc/Passes.h.inc"

Include dependency graph for Passes.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces
namespace	circt
	The InstanceGraph op interface, see InstanceGraphInterface.td for more details.

Macros
#define	GEN_PASS_DECL_LOWERTOBMC
	Generate the code for registering passes.
#define	GEN_PASS_DECL_EXTERNALIZEREGISTERS
#define	GEN_PASS_DECL_MATERIALIZEDEBUGVARIABLES
#define	GEN_PASS_REGISTRATION

Macro Definition Documentation

GEN_PASS_DECL_EXTERNALIZEREGISTERS

#define GEN_PASS_DECL_EXTERNALIZEREGISTERS

Definition at line 26 of file Passes.h.

GEN_PASS_DECL_LOWERTOBMC

#define GEN_PASS_DECL_LOWERTOBMC

Generate the code for registering passes.

Definition at line 25 of file Passes.h.

GEN_PASS_DECL_MATERIALIZEDEBUGVARIABLES

#define GEN_PASS_DECL_MATERIALIZEDEBUGVARIABLES

Definition at line 27 of file Passes.h.

GEN_PASS_REGISTRATION

#define GEN_PASS_REGISTRATION

Definition at line 28 of file Passes.h.