#include "circt/Dialect/Calyx/CalyxOps.h"
#include "circt/Dialect/FSM/FSMOps.h"
#include "circt/Support/LLVM.h"
#include <memory>

Include dependency graph for CalyxToFSM.h:

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

Namespaces
	mlir

	circt
	This file defines an intermediate representation for circuits acting as an abstraction for constraints defined over an SMT's solver context.

	circt::calyxToFSM

Functions
std::unique_ptr< mlir::Pass >	circt::createCalyxToFSMPass ()

std::unique_ptr< mlir::Pass >	circt::createMaterializeCalyxToFSMPass ()

std::unique_ptr< mlir::Pass >	circt::createRemoveGroupsFromFSMPass ()

Variables
static constexpr std::string_view	circt::calyxToFSM::sEntryStateName = "fsm_entry"

static constexpr std::string_view	circt::calyxToFSM::sExitStateName = "fsm_exit"

static constexpr std::string_view	circt::calyxToFSM::sGroupDoneInputs

static constexpr std::string_view	circt::calyxToFSM::sGroupGoOutputs

static constexpr std::string_view	circt::calyxToFSM::sSSAInputIndices = "calyx.fsm_ssa_inputs"

static constexpr std::string_view	circt::calyxToFSM::sFSMTopLevelGoIndex

static constexpr std::string_view	circt::calyxToFSM::sFSMTopLevelDoneIndex

Namespaces

Functions